-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
On 02/15/2014 07:15 PM, Blaine Garst wrote:
let IPC be as pure as trap, swap mmu, jump
Since IPC on L4-like kernels usually allows capability/rights delegation, it is not quite as simple, but when I look at NOVA's IPC path[1] it roughly fits your description, even with some form of migrating threads. Check out the original paper[2] and another paper that describes the design of the IPC system in more detail[3].
That being said, in practice IPC performance is not as important as it may initially seem.
Julian
[1] https://github.com/udosteinberg/NOVA/blob/master/src/syscall.cpp Starts at sys_call.
[2] https://os.inf.tu-dresden.de/papers_ps/steinberg_eurosys2010.pdf [3] https://os.inf.tu-dresden.de/papers_ps/ospert2010_steinberg_boettcher_kauer....