fixed semaphore-shuffle benchmark