• Publications
  • Influence
Extensibility safety and performance in the SPIN operating system
This paper describes the motivation, architecture and performance of SPIN, an extensible operating system. SPIN provides an extension infrastructure, together with a core set of extensible services,
The Midway distributed shared memory system
The authors describe the motivation, design, and performance of Midway, a programming system for a distributed shared memory multicomputer (DSM) such as an ATM-based cluster, a CM-5, or a Paragon.
Improving the reliability of commodity operating systems
TLDR
Nooks, a reliability subsystem that seeks to greatly enhance operating system reliability by isolating the OS from driver failures, represents a substantial step beyond the specialized architectures and type-safe languages required by previous efforts directed at safe extensibility.
Scheduler activations: effective kernel support for the user-level management of parallelism
TLDR
This paper argues that the performance of kernel threads is inherently worse than that of user-level threads, rather than this being an artifact of existing implementations; managing parallelism at the user level is essential to high-performance parallel computing.
Midway : shared memory parallel programming with entry consistency for distributed memory multiprocessors
TLDR
Midway is a shared memory parallel programming system which addresses the problem of excessive communication in a distributed memory multiprocessor with a new model of memory consistency called entry consistency.
Recovering device drivers
TLDR
A new mechanism is presented that enables applications to run correctly when device drivers fail and assumes the role of the failed driver during recovery, and imposes minimal performance overhead.
PRESTO: A system for object‐oriented parallel programming
PRESTO is a programming system for writing object‐oriented parallel programs in a multiprocessor environment. PRESTO provides the programmer with a set of pre‐defined object types that simplify the
The impact of operating system structure on memory system performance
TLDR
This paper evaluates the memory system behavior of two distinctly different implementations of the UNIX operating system: DEC's Ultrix, a monolithic system, and Mach 3.0 with CMU's UNIX server, a microkernel-based system, showing that the micro kernel- based system executes substantially more non-idle system instructions for an equivalent workload than themonolithic system.
Fast, effective dynamic compilation
TLDR
This work targets general- purpose, imperative programming languages, initially C, and strives for both fast dynamic compilation and high-quality dynamically-compiled code.
SPIN: an extensible microkernel for application-specific operating system services
TLDR
The SPIN operating system enables system services to be defined in an application-specific fashion through an extensible microkernel and offers applications fine-grained control over a machine's logical and physical resources through run-time adaptation of the system to application requirements.
...
...