Multiprocessing with the Exokernel Operating System

Exokernel is a minimal operating system kernel that safely multiplexes hardware resources, while leaving allsystem abstractions to applications. An exokernel exhibits better performance and offers more functionalitybecause applications can provide optimized system abstractions, at the user-level, based on their needs.Current design of the exokernel system, however, does not support multiprocessor architectures. This thesispresents a symmetric multiprocessing exokernel and demonstrates that...