RE: [sv-ec] [sv-bc] Semaphore question

From: Steven Sharp <sharp_at_.....>
Date: Thu Sep 15 2005 - 14:06:48 PDT
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.com
Received 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