Re: Fiasco.OC Kernel Semaphores r38->r40
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
Hi, On Mon Nov 12, 2012 at 14:03:23 -0800, Daniel Waddington wrote: > I noticed that kernel semaphores seem to have vanished from > Fiasco.OC r40 (when they were definitely there in r38). > > They seem to have been replaced with an ipc/sw irq solution - is > this true? Can someone explain the design rationale behind this? > If we want to back-port them into r40 is there anything we need to > be aware of? Indeed we removed that. We think this is actually redundant as the same can be done via IRQs and atomic ops. Additionally there were cornercase in MP which made it all more complicated then wanted. I think you should also switch a IRQ-based mechanism. Adam -- Adam [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/