Design of the <i>x</i> -kernel
Published 1 August 1988
N.C. Hutchinson, Larry Peterson
Citations55
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
The x-kernel's underlying architecture provides a rich set of abstractions that are used to construct and compose communication protocols that are both general enough to accommodate a wide range of protocols and efficient enough to provide a useful testbed in which protocol performance can be accurately measured.
Abstract
The x-kernel is a configurable operating system kernel designed to support experimentation in interprocess communication and distributed programming. The x-kernel's underlying architecture provides a rich set of abstractions that are used to construct and compose communication protocols. The architecture is interesting because the abstractions are both general enough to accommodate a wide range of protocols and efficient enough to provide a useful testbed in which protocol performance can be accurately measured.
Keywords
Computer Science
User Datagram Protocol
1,551 Citations1980J. Postel
UDP does not guarantee reliability or ordering in the way that TCP does, but its stateless nature is also useful for servers that answer small queries from huge numbers of clients.
Domain names - implementation and specification
1,230 Citations1987Paul V. Mockapetris
This RFC is the revised specification of the protocol and format used in the implementation of the Domain Name System and it obsoletes RFC-883.
USENIX SummerMach: A New Kernel Foundation for UNIX Development.
918 Citations1986Michael J. Accetta, R. Baron +5 more
Mach is a multiprocessor operating system kernel and environment under development at Carnegie Mellon University that provides a new foundation for UNIX development that spans networks of uniprocessors and multiprocessionors.
IEEE Transactions on Software EngineeringDistrbution and Abstract Types in Emerald
408 Citations1987Andrew P. Black, N.C. Hutchinson +3 more
The goals of Em-erald are outlined, Emerald to previous work is related, its type system and distribution support are described, and a prototype implementation of Emerald is constructed.
Ethernet Address Resolution Protocol: Or Converting Network Protocol Addresses to 48.bit Ethernet Address for Transmission on Ethernet Hardware
401 Citations1982D. C. Plummer
A protocol that allows dynamic distribution of the information needed to build tables totranslate an address A in protocol P's address space into a 48.bit Ethernet address is presented.
ACM Transactions on Computer SystemsDistributed process groups in the V Kernel
354 Citations1985David R. Cheriton, Willy Zwaenepoel
This paper describes the extension of the V kernel to support process groups, which provides an application-level abstraction of network multicast andpects of the implementation and performance, and initial experience with applications are discussed.
ACM SIGOPS Operating Systems ReviewThe structuring of systems using upcalls
255 Citations1985David D. Clark
A stream input-output system
249 Citations1990Dennis M. Ritchie
In a new version of the Unix operating system, a flexible coroutine-based design replaces the traditional rigid connection between processes and terminals or networks, providing interprocess communication.
Communications of the ACMModularization and hierarchy in a family of operating systems
193 Citations1976A. N. Habermann, Lawrence Flon +1 more
This paper describes the design philosophy used in the construction of a family of operating systems and shows that the concepts of module and level do not coincide in a hierarchy of functions.
ACM Transactions on Programming Languages and SystemsAn overview of the SR language and implementation
179 Citations1988Gregory R. Andrews, Michael H. Coffin +5 more
The current version of SR is described and an overview of its implementation is given, which shows that by basing SR on a small number of well-integrated concepts, the language has proved easy to learn and use, and it has a reasonably efficient implementation.
ACM SIGCOMM Computer Communication ReviewVMTP: a transport protocol for the next generation of communication systems
177 Citations1986David R. Cheriton
AT&T Bell Laboratories Technical Journal<i>The</i>UNIX<i>System</i>: A Stream Input-Output System
132 Citations1984Dennis M. Ritchie
In a new version of the UNIX™ operating system, a flexible-coroutine-based design replaces the traditional rigid connection between processes and terminals or networks, providing interprocess communication.
EMERALD: An object-based language for distributed programming
47 Citations1987N.C. Hutchinson
A programming language called Emerald is presented that simplifies distributed programming by extending the concepts of object-based languages to the distributed environment by incorporating a type system that deals only with the specification of objects--ignoring differences in implementation.
A 4.2bsd Interprocess Communication Primer
35 Citations1983Samuel J. Leffler, R. S. Fabry +1 more
The report documents the internal structure of the networking system, which is based on several central abstractions which structure the external (user) view of network communication as well as the internal (system) implementation.
Software Practice and ExperienceTools for implementing network protocols
34 Citations1989Norman C. Hutchinson, Shivakant Mishra +2 more
This paper describes two software tools used to implement network protocols, a message manager and a map manager, provided as part of the x‐kernel, an operating system kernel designed to support the construction and composition of protocols.
Psyche: A General-Purpose Operating System for Shared-Memory Multiprocessors
5 Citations1987Michael L. Scott, T.J. LeBlanc
The Psyche project at the University of Rochester aims to develop a high-performance operating system to support a wide variety of models for parallel programming on a shared-memory multiprocessor to balance the conflicting goals of efficiency, flexibility, and security.