"Queue"

[nickdrozd]

The word "queue" is used a few times, especially in section 3.8, to describe threads waiting on a semaphore. "Queue" typically implies (in both CS jargon and in common language) FIFO ordering, but that isn't the case with semaphores, right? No particular thread is guaranteed to be unblocked at a particular time, so it's more like a pool than a queue. I suggest adding a comment somewhere to clarify.

[platipo]

No particular thread is guaranteed to be unblocked at a particular time, so it's more like a pool than a queue.

Actually with "queue" the author refers to strong semaphore, which guarantees avoiding starvation by using a FIFO policy.

On the other hand, there is the weak semaphore which does not specify the order in which processes are unlocked.