[sv-ec] killing a process blocked on a semaphore get

What happens when you kill a process that is blocked on, say,
a "get(3)" of a semaphore?  Imagine that the process blocks
with no available keys and 2 put operations occur before the
blocked process is killed.  Do the 2 keys disappear or does
the blocked process die and the 2 keys now become available
to the next process in the semaphore queue?

The LRM is silent on the behavior but I think that the key
assignment should be "atomic" in the sense that either
3 keys go or none do.

I can enter a mantis on this and if there is consensus on
my suggested solution, I'll add a proposal as well.

Gord.
-- 
--------------------------------------------------------------------
Gordon Vreugdenhil                                503-685-0808
Model Technology (Mentor Graphics)                gordonv@model.com


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.