Experience

Showed comparable global performance for a mix of applications. Argue exokernels can provide superior global performance to current systems.

• good to allow kernel data structures to be mapped into application memory.

• Relink vs. Reboot (easier development)

• exokernel interface is not simple to design

• lose information about operating system abstractions (virtual memory and file system) by implementing at application level.

• self-paging libOSes---"careful planning is necessary"

• microbenchmark performance is not as important for application performance.

• inexpensive critical sections by disabling software interrupts.