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

From: Neil Korpusik <Neil.Korpusik_at_.....>
Date: Tue Jun 12 2007 - 14:16:55 PDT
In your example I would expect the 2 keys to become available to the
next process in line. They should not "disappear" along with
the process that was killed. The killed process only unblocks
when 3 keys are available, it doesn't "consume" a key at a
time until it has consumed 3.



Gordon Vreugdenhil wrote On 06/12/07 14:09,:
> 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.

-- 
---------------------------------------------------------------------
Neil Korpusik                                     Tel: 408-276-6385
Frontend Technologies (FTAP)                      Fax: 408-276-5092
Sun Microsystems                       email: neil.korpusik@sun.com
---------------------------------------------------------------------


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Jun 12 14:17:25 2007

This archive was generated by hypermail 2.1.8 : Tue Jun 12 2007 - 14:17:47 PDT