fixed semaphores and FSSP