Chapter 7

Alta demonstrates the applicability of operating system concepts to a Java virtual machine, leveraging type-safety where a traditional operating system would leverage hardware-based protection mechanisms. Alta is also evidence that standard operating system abstractions can be easily implemented in Java, and that traditional kernel implementation techniques are applicable in a Java-based operating system.

The work presented in this thesis makes the following four additional contributions to language-based operating system research: