Каким образом семафор управляет синхронизацией и ожиданием завершения работы нескольких потоков?