[sv-ec] Semaphore Question - 2nd Request

Semaphore Question:

An interesting question that I do not believe has been answered yet, nor
well documented (the FIFO description might be problematic here).

Question: What will happen if there are no keys, process-A requests two
keys (is put on the requesting FIFO) and later process-B requests one key?

Is process-B put on the requesting FIFO behind process-A??

If one key is returned, does process-B come off the not-so-FIFO and become
active??

If two keys are returned instead of one key, does process-A become active
before process-B?

Regards - Cliff