Re: Hello!
Julian Stecklina <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
-----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-----