Thread synchronization with semaphores