The thread T8.1 must terminate before T3.4 starts, but T8.4 must start only after T3.4 terminates. semaphore 8_1 and semaphore 8_2 are 2 named semaphores, initialized with 0 permissions. My question is why semaphore 8_1 is not woken up on the “post” call from the function called threads created in process 8, even though that point of the function is reached. The execution stops and enters the infinite loop at that point, when the semaphore thread 8_1 should be woken up.