Graham Hamilton
ABSTRACT
A key problem in operating systems is permitting the orderly introduction of new properties and new implementation techniques. We describe a mechanism, subcontract, that within the context of an object-oriented distributed system permits application programmers control over fundamental object mechanisms. This allows programmers to define new object communication mechanisms without modifying the base system. We describe how new subcontracts can be introduced as alternative communication mechanisms in the place of existing subcontracts. We also briefly describe some of the uses we have made of the subcontract mechanism to support caching, crash recovery, and replication.
- Acetta et al 1986.M. Acceta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian & M. Young. "Mach: A New Kernel Foundation For UNIX Development.'' Proc. of the 1986 Summer USENIX Conference, Atlanta, June 1986.Google Scholar
- Almes et al 1985.Guy T. Almes, Andrew P. Black, Edward D. Lazowska, and Jerre D. Noe. "The Eden System: A Technical Review." IEEE Trans. on Software Engineering, i1(1), January 1985.Google ScholarDigital Library
- Bershad et al 1990.B. N. Bershad, T.E. Anderson, E. D. Lazowska, and H. M. Levy. "Lightweight Remote Procedme Call." ACM Trans. on Computer Systems 8(1), February 1990. Google ScholarDigital Library
- Birman & Joseph 1987.K. P. Birman and T. A. Joseph. "Exploiting Virtual Synchrony in Distributed Systems.'' Proc. of the 1 l th Symposium on Operating Systems Principles, Austin, Texas, I)ex~mber 1981. Google ScholarDigital Library
- Birrell & Nelson 1984.A. D. Birrell and B. J. Nelson. "Implementing Remote Procedure Calls." ACM Trans. on Computer Systems, 2(1), February 1984. Google ScholarDigital Library
- Black et al 1987.A. Black, N. Hutchinson, E. Jul, H. Levy, and L. Carter. "Distribution and Abstract Types in Emerald." IRRE Trans. on Software Engineering, 13(1), January 1987. Google ScholarDigital Library
- Draves 1990.R. Draves. "A Revised IPC Interface." Proc. of the Usenix Mach Workshop, Burlington, Vermont, October 1990.Google Scholar
- Foote & Johnson 1989.Brian Foote and Ralph E. Johnson. "Reflective Facilities in Smalltalk-80." Proc. of the Conference on Object-Oriented Systems, Languages, and Applications, October 1989 Google ScholarDigital Library
- Hamilton & Kougiouris 1993.G. Hamilton & P. Kougiouris. "The Spring nucleus: A microkernel for objects." Proc of the 1993 Summer Usenix Conference, Cincinnati, june 1993.Google Scholar
- Herlihy & Liskov 1982.M. P. Herlihy and B. Liskov, "A value transmission mechanism for abstract data types." ACM Trans. on Programming Languages and Systems, 4(4), October 1982. Google ScholarDigital Library
- Khalidi & Nelson 1993A.Y. A. Khalidi and M. N. Nelson. "The Spring Virtual Memory System." Sun Microsystems Laboratories Technical Report SMLI-93-9, March 1993. Google ScholarDigital Library
- Khalidi & Nelson 1993B.Y. A. Khalidi and M. N. Nelson. "An Implementation of UNIX on an Object-oriented Opera~g System." Proc. of the 1993 Winter Usenix Conference, San Diego, January 1993.Google Scholar
- Lazowska et al 1981.E. Lazowska, H. Levy, G. Alines, M. Fischer, R. Fowler, and S. Vestal. "The Architecture of the Eden System." Proc. of the 8th Symposium on Operating Systems Principles, Pacific Grove, California, December 1981. Google ScholarDigital Library
- Liskov 1988.B. Liskov. "Distributed programming in Argus." Communications of the ACM, 31(3), March 1988. Google ScholarDigital Library
- Maes 1987.Pattie Maes. "Concepts and Experiments in Computational Reflection." Proc. of the Conference on Object-Oriented Programming Systems, Languages, and Applications, October 1987. Google ScholarDigital Library
- Nelson 1981.B. I. Nelson. "Remote Procedure Call." Tech report CSL-81-9, Xerox Palo Alto Research Center. Palo Alto, California, 1981.Google Scholar
- Nelson et al 1993.M. N. Nelson, Y. A. Khalidi, and P. W. Madany. "The Spring File System." Sun Microsysterns Laboratories Technical Report SMLI-93-10, March 1993.Google Scholar
- OMG 1991.Object Management Group. "Common Object Request Broker Architecture and Specification." OMG Doctanent Number 91.12.1.Google Scholar
- Schroeder & Burrows 1990.M. D. Schroeder and M. Burrows. "Performance of Firefly RPC." ACM Trans. on Computer Systems 8(1), February 1990. Google ScholarDigital Library
- Schuller et al 1992.P. Schuller, H. Hartig, W. E. Kuhnhauser, and H. Streich. "Performance of the BirliX Operating System." Proc. of the Usenix Workshop on Micro-kernels and Other Kernel Architectures, Seattle, April 1992. Google ScholarDigital Library
Index Terms
- Subcontract: a flexible base for distributed programming
Recommendations
Subcontract: a flexible base for distributed programming
A key problem in operating systems is permitting the orderly introduction of new properties and new implementation techniques. We describe a mechanism, subcontract, that within the context of an object-oriented distributed system permits application ...
Comments