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