Interprocess Communication & the L4 Microkernel
By Slade Maurer, November 01, 2005
Modern microkernels such as L4 address many of the problems of older microkernels--specifically, the speed the interprocess communication (IPC) implementation.
November, 2005: Interprocess Communication & the L4 Microkernel
Figure 3: IPC and LIPC system calls.
Generic Programming Interface System-Call Function:
MsgTag Ipc (ThreadId to, ThreadId FromSpecifier, Word Timeouts, ThreadId& from)
MsgTag Lipc (ThreadId to, ThreadId FromSpecifier, Word Timeouts, ThreadId& from)