The packer filter: an efficient mechanism for user-level network code
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Experiences with the Amoeba distributed operating system
Communications of the ACM
The interaction of architecture and operating system design
ASPLOS IV Proceedings of the fourth international conference on Architectural support for programming languages and operating systems
Inside Windows NT
Synthesis: an efficient implementation of fundamental operating system services
Synthesis: an efficient implementation of fundamental operating system services
Application-controlled physical memory using external page-cache management
ASPLOS V Proceedings of the fifth international conference on Architectural support for programming languages and operating systems
Design tradeoffs for software-managed TLBs
ISCA '93 Proceedings of the 20th annual international symposium on computer architecture
The impact of operating system structure on memory system performance
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Efficient software-based fault isolation
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Virtual memory mapped network interface for the SHRIMP multicomputer
ISCA '94 Proceedings of the 21st annual international symposium on Computer architecture
The Stanford FLASH multiprocessor
ISCA '94 Proceedings of the 21st annual international symposium on Computer architecture
DCG: an efficient, retargetable dynamic code generation system
ASPLOS VI Proceedings of the sixth international conference on Architectural support for programming languages and operating systems
Pilot: an operating system for a personal computer
Communications of the ACM
Reflections on an operating system design
Communications of the ACM
The nucleus of a multiprogramming system
Communications of the ACM
SHARER, a time sharing system for the CDC 6600
Communications of the ACM
HYDRA: the kernel of a multiprocessor operating system
Communications of the ACM
In-Kernel Servers on Mach 3.0: Implementation and Performance
USENIX MACH III Symposium
An Architectural Overview of QNX
Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures
Policy/mechanism separation in Hydra
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
An open operating system for a single-user machine
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Accent: A communication oriented network operating system kernel
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
Dynamic Supervisors - their design and construction
SOSP '67 Proceedings of the first ACM symposium on Operating System Principles
Exploring issues of operating systems structuring: from microkernel to extensible systems
ACM SIGOPS Operating Systems Review
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Exokernel: an operating system architecture for application-level resource management
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Extensibility safety and performance in the SPIN operating system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Structuring the Kernel as a Toolkit of Extensible, Reusable Components
IWOOOS '95 Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems
High-speed I/O: the operating system as a signalling mechanism
NICELI '03 Proceedings of the ACM SIGCOMM workshop on Network-I/O convergence: experience, lessons, implications
A caching model of operating system kernel functionality
OSDI '94 Proceedings of the 1st USENIX conference on Operating Systems Design and Implementation
Software prefetching and caching for translation lookaside buffers
OSDI '94 Proceedings of the 1st USENIX conference on Operating Systems Design and Implementation
Nano-kernel: a dynamically reconfigurable kernel for WSN
Proceedings of the 1st international conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications
| Hi-index | 0.00 |
Operating systems should provide only minimal embedded kernel functionality. Exokernels achieve this minimalist goal by presenting to applications the features supported by the underlying hardware resources. Applications customize the operating system by extending the exokernel interface. Code inspection, inlined cross-domain procedure calls, and secure languages are used to allow programmable yet safe additions to the supervisor-mode execution environment. These additions enable applications to benefit from full hardware functionality and performance. To test and evaluate exokernels and their customization techniques a prototype system, Aegis, is being developed.