N. Hutchinson
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.
- Acce86.M. Accetta, et. al. Mach: A New Kernel Foundation for UNIX Development. In Proceedings of Summer Usenix, July 1986.]]Google Scholar
- Andr88.G.R. Andrews, et. al. An overview of the SR language and implementation. ACM Transactions on Programming Languages and Systems, 10(1), 51-86, January 1988.]] Google ScholarDigital Library
- AT&T87.AT&T. UNIX System V Streams Programmer's Guide. Prentice-Hall, }987.]] Google ScholarDigital Library
- Blac87.A. Black, N. Hutchinson, E. Jul, H. Levy, and L. Carter. Distribution and abstract types in Emerald. IEEE Transactions on Software Engineering, 13(1 ):65-76, January 1987.]] Google ScholarDigital Library
- Cher85.D. Cheriton and W. Zwaenepoel. Distributed Process Groups in the V Kernel. ACM Transactions on Computer Systems, 3(2), 77-107, May 1985.]] Google ScholarDigital Library
- Cher87.D. Cheriton. VMTP: A transport protocol for the next generation of communications systems. In Proceedings of SIGCOMM '86 (Aug. 1987), 406- 415.]] Google ScholarDigital Library
- Clar85.D.D. Clark. The structuring of systems using upcalls. In Proceedings of the Ninth Symposium on Operating System Principles, 171-180, December 1985.]] Google ScholarDigital Library
- Habe76.A.N. Habermann, L. Flon, and L. Cooprider. Modularization and hierarchy in a family of operating systems. Communications of the ACM, 19(5):266-272, May 1976.]] Google ScholarDigital Library
- Hutc87.N.C. Hutchinson. Emerald, An Object-Based Language for Distributed Programming. PhD dissertation, Department of Computer Science, University of Washington, Seattle, WA 98195, january 1987.]] Google ScholarDigital Library
- Hutc88.N.C. Hutchinson, S. Mishra, L.L. Peterson, and V. Thomas. Tools for Implementing Network Protocols. In preparation.]]Google Scholar
- Leff78.S.J. Leffler, R.S. Fabray, and W.N. Joy. A 4.2BSD interprocess communication primer. In Unix Programmer's Manual, Volume 2C, University of California at Berkeley, 1978.]]Google Scholar
- Leff83.S.J. Leffler, W.N. Joy, and R.S. Fabray. 4.2BSD Networking Implementation Notex. In Unix Programmer's Manual, Volume 2C, University of California at Berkeley, 1983.]]Google Scholar
- Mock87.P. Mockapetris. Domain Names--Implementation and Specification. Request For Comments 1035. USC Information Sciences Institute, Marina del Ray, Calif., November 1987.]] Google ScholarDigital Library
- Pete87.L.L. Peterson. Preserving context information in an IPC abstraction. In Proceedings of the Sixth Symposium on Reliability in Distributed Software and Database Systems, pages 22-31, March 1987.]]Google Scholar
- Plum82.D. Plummer. An Ethernet Address Resolution Protocol. Request For Comments 826, USC Information Sciences Institute, Marina del Ray, Calif., November 1982.]] Google ScholarDigital Library
- Post80.J. PosteI. User Datagram ProtocoI. Request For Comments 768, USC Information Sciences Institute, Marina del Ray, Calif., August 1980.]] Google ScholarDigital Library
- Post81a.J. PosteI. Internet Protocol. Request For Comments 791, USC Information Sciences Institute, Marina del Ray, Calif., September 1981.]]Google Scholar
- Post81b.J. Postel. Internet Message Control Protocol. Request For Comments 792, USC Information Sciences Institute, Marina del Ray, Calif., September 1981.]]Google Scholar
- Ritc84.D. M. Ritchie. A stream input-output system. A T&T Bell Laboratories Technical Journal, 63(8):311-324, October 1984.]]Google ScholarCross Ref
- Scot87.M.L. Scott and T.J. LeBlanc. Psyche: A General- Purpose Operating System for Shared-Memory Multiprocessors. Butterfly Project Report 19, Computer Science Department, University of Rochester, Rochester, N.Y., july 1987.]] Google ScholarDigital Library
- SUN86.SUN Microsystems Inc. Remote Procedure Call Programming Guide. February 1986.]]Google Scholar
- USC81.USC Information Science Institute. Transmission Control Protocol. Request For Comments 793, Marina del Ray, Calif., September 1981.]]Google Scholar
Index Terms
- Design of the x-kernel
Recommendations
RPC in the x-Kernel: evaluating new design techniques
SOSP '89: Proceedings of the twelfth ACM symposium on Operating systems principlesThis paper reports our experiences implementing remote procedure call (RPC) protocols in the x-kernel. This exercise is interesting because the RPC protocols exploit two novel design techniques: virtual protocols and layered protocols. These techniques ...
The X-Kernel: An Architecture for Implementing Network Protocols
A description is given of an operating system kernel, called the x-Kernel, that provides an explicit architecture for constructing and composing network protocols. The authors' experience implementing and evaluation several protocols in the x-Kernel ...
Design of the x-kernel
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 ...
Comments