Arturo, Then what is the point of specifying the FIFO order for the semaphore wait queue, if you are going to leave this hole? With this hole, it doesn't provide fairness, potentially leaving processes starved forever. It doesn't provide determinism either, since arrival time is not necessarily deterministic. Regardless of the intent, I don't agree that the text is unambiguous. I think that my suggested interpretation is plausible from the existing text, and is supported by the apparent desire for fairness indicated by the FIFO ordering. If the text had said that "the process is added to the semaphore waiting queue and blocks until the keys become available" then it would have been clear. That would have indicated that the semaphore waiting queue consists only of processes that blocked. Steven Sharp sharp@cadence.comReceived on Thu Sep 15 14:07:01 2005
This archive was generated by hypermail 2.1.8 : Thu Sep 15 2005 - 14:07:52 PDT