Sciweavers

USENIX
1993
13 years 10 months ago
Exploiting In-Kernel Data Paths to Improve I/O Throughput and CPU Availability
We present the motivation, design, implementation, and performance evaluation of a UNIX kernel mechanism capable of establishing fast in-kernel data pathways between I/O objects. ...
Kevin R. Fall, Joseph Pasquale
USENIX
1993
13 years 10 months ago
The Nachos Instructional Operating System
In teaching operating systems at an undergraduate level, we believe that it is important to provide a project that is realistic enough to show how real operating systems work, yet...
Wayne A. Christopher, Steven J. Procter, Thomas E....
QNS
1996
13 years 10 months ago
Real Inferno
Inferno is an operating system well suited to applications that need to be portable, graphical, and networked. This paper describes the fundamental oating point facilities of the...
Eric Grosse
SOSP
1993
ACM
13 years 10 months ago
Authentication in the Taos Operating System
Edward Wobber, Martín Abadi, Michael Burrow...
SOSP
1993
ACM
13 years 10 months ago
Efficient Software-Based Fault Isolation
Robert Wahbe, Steven Lucco, Thomas E. Anderson, Su...
SOSP
1993
ACM
13 years 10 months ago
Lightweight Recoverable Virtual Memory
Mahadev Satyanarayanan, Henry H. Mashburn, Puneet ...
SOSP
1993
ACM
13 years 10 months ago
Improving IPC by Kernel Design
Inter-process communication (ipc) has to be fast and e ective, otherwise programmers will not use remote procedure calls(RPC),multithreadingand multitasking adequately. Thus ipc p...
Jochen Liedtke
SOSP
1993
ACM
13 years 10 months ago
Performance Assertion Checking
Sharon E. Perl, William E. Weihl
SOSP
1993
ACM
13 years 10 months ago
The Information Bus - An Architecture for Extensible Distributed Systems
Research can rarely be performed on large-scale, distributed systems at the level of thousands of workstations. In this paper, we describe the motivating constraints, design princ...
Brian M. Oki, Manfred Pflügl, Alex Siegel, Da...