A few questions

[Geoff Humphreys]

Hello.  I have been writing my own microkernel using ideas from L4 and other 
kernels.

I am curious as to whether or not there would be an appreciable performance 
increase if the L4 system calls were split up into multiple calls.  For 
example, the IPC call is be used to send messages, recieve messages, and to 
do RPC.  Wouldn't it be faster if each of those were separate system calls 
(since it would require less if-then logic and bit manipulation)?  Is there 
any reason not to do this?

In addition, I am seeking well-commented, easy to understand scheduling 
algorithms or detailed descriptions of them.  Right now I am using a nice, 
simple round-robin scheduler that doesn't even take priorities into account. 
  It is very efficient, however.  8-)

Also, does L4 have any support for semaphores?  I was unable to find 
anything in the documentation.

Thanks
Geoff

______________________________________________________
Get Your Private, Free Email at http://www.hotmail.com