Paper Info
Title
Techniques for the design of java operating systems
Abstract
Language-based extensible systems, such as Java Virtual Machines and SPIN, use type safety to provide memory safety in a single address space. By using software to provide safety, they can support more efficient IPC. Memory safety alone, however, is not sufficient to protect different applications from each other. Such systems need to support a process model that enables the control and management of computational resources. In particular, language-based extensible systems should support resource control mechanisms analogous to those in standard operating systems. They need to support the separation of processes and limit their use of resources, but still support safe and efficient IPC. We demonstrate how this challenge is being addressed in several Java-based systems. First, we lay out the design choices when implementing a process model in Java. Second, we compare the solutions that have been explored in several projects: Alta, K0, and the J-Kernel. Alta closely models the Fluke operating system; K0 is similar to a traditional monolithic kernel; and the J-Kernel resembles a microkernel-based system. We compare how these systems support resource control, and explore the tradeoffs between the various designs.
Year
Venue
Keywords
2000
USENIX Annual Technical Conference, General Track
process model,java operating system,fluke operating system,java virtual machines,memory safety,java-based system,systems support resource control,efficient ipc,language-based extensible system,resource control mechanism,use type safety,type safety,operating system
Field
DocType
Citations 
Address space,Memory safety,Computer science,Microkernel,Real time Java,Real-time computing,Software,Java,Type safety,Monolithic kernel,Operating system
Conference
18
PageRank 
References 
Authors
1.37
32
5
Name
Order
Citations
PageRank
Godmar Back169882.51
Patrick Tullmann216326.45
Leigh Stoller346249.03
Wilson C. Hsieh42532261.94
Jay Lepreau51279159.62