Mutex benchmark