[elysium-developers] Protected Control Transfer

[Kasper V. L. <ve...@da...>]

Greetings fellow developers,

Does anyone have any suggestions on how to provide (low-level) IPC
support? Basically what we need is one way of tranferring control to
another address space in a safe way. Most systems have a send/receive
mechanism that works either asynchronously or synchronously, but I think
it should be possible to remove those abstractions from the system. Any
opinions?

ExoPC/Xok - another exokernel system - allows the processes to define an
entry point to which other processes can make upcalls. The data
transmitted by such an upcall is the registers, plus an optional amount
of stack. 

/Kasper

-- 
-------------------------------------------------------------------
Kasper Verdich Lund, Computer Science Department, Aarhus University
Office: 34P.218              | Phone: (+45) 8942 5680
Email:  ve...@da...  | WWW: http://www.daimi.au.dk/~verdich