jsteckli at os.inf.tu-dresden.de
Mon Feb 17 00:25:45 CET 2014
-----BEGIN PGP SIGNED MESSAGE-----
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 it roughly fits your description, even with some form of
migrating threads. Check out the original paper and another paper
that describes the design of the IPC system in more detail.
That being said, in practice IPC performance is not as important as it
may initially seem.
Starts at sys_call.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.22 (GNU/Linux)
-----END PGP SIGNATURE-----
More information about the l4-hackers