[cap-talk] Cap type safe OS questions

[David-Sarah Hopwood]

Sam Mason wrote:
> On Sun, Aug 02, 2009 at 03:48:39PM +0800, Ben Kloosterman wrote:
>> At present the kernel only access "user" address spaces to add
>> received messages to the queue
> 
> Most of the micro-kernel research (i.e. just not ocap related) says
> that unbuffered, synchronous IPC is the easiest way to get reasonable
> performance.

That's for microkernels using hardware memory protection. Ben's
proposed system is running in a single address space. In that case,
communication between protection domains is not a performance bottleneck.

-- 
David-Sarah Hopwood  ⚥  http://davidsarah.livejournal.com