Synchronization wait for semaphore