Hello!

[Julian Stecklina]

-----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.pdf
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.22 (GNU/Linux)

iEYEARECAAYFAlMBSPgACgkQ2EtjUdW3H9mW5ACeMA7gf1iyy7oXTbLR92q4yeMA
bf4AnA2gpk+JkxANRJ0bIB11aMOGf9K8
=YKo4
-----END PGP SIGNATURE-----