1996 · 81 citations · 21 references
ComputingComputer ScienceComputer SystemsFault ToleranceOperating SystemsProgramming LanguagesKernel ArchitectureKernel DesignKernel ProgrammingOperating System InterfacesRuntime SystemsInterpretersOperating System MicrokernelsSoftware Fault Isolation
The current trend in operating systems research is to allow applications to dynamically extend the kernel to improve application performance or extend functionality, but the most effective approach to extensibility remains unclear. Some systems use safe languages to permit code to be downloaded directly into the kernel; other systems provide in-kernel interpreters to execute extension code; still others use software techniques to ensure the safety of kernel extensions. The key characteristics that distinguish these systems are the philosophy behind extensibility and the technology used to implement extensibility. This paper presents a taxonomy of the types of extensions that might be desirable in an extensible operating system, evaluates the performance cost of various extension technologies currently being employed, and compares the cost of adding a kernel extension to the benefit of having the extension in the kernel. Our results show that compiled technologies (e.g. Modula-3 and sof...
21
The MD5 Message-Digest Algorithm
Rivest · Medical Entomology and Zoology · 1992 · 2.9K citations
Efficient software-based fault isolation
Robert Wahbe, Steven Lucco, Thomas E. Anderson et al. · 1993 · 1.2K citations · Full text
Dawson Engler, M. Frans Kaashoek, James W. O’Toole · 1995 · 1.1K citations
Extensibility safety and performance in the SPIN operating system
Brian N. Bershad, Stefan Savage, Przemysław Pardyak et al. · 1995 · 955 citations