From: David V. Winkler (dwinkler_at_windows.microsoft.com)
Date: Mon Mar 01 2004 - 18:22:41 PST
Review:Scale and Performance in the Denali Isolation Kernel.
This paper seems a specialization of the Disco paper. But instead of making the instruction set a complete set, they forbid a number of instructions and added two new instructions. This means that all applications will need a recompile. But the performance that they seem to get makes it seem okay.
Again console, disk, ethernet, have been virtualized. But in Denali, interupts are also virtualized. This allows them to be batched. This eliminates some of the pleasant guarentees of the normal interupts, but does give some performance improvements (as seen in the graph).
'For security' they haven't implemented many of the high level calls that most operating systems export. Instead they use a publicly available library (similar to exokernel).
The performance numbers seem to indicate that this is a worthwhile approach.
This archive was generated by hypermail 2.1.6 : Mon Mar 01 2004 - 18:22:55 PST