Beyond micro-kernel design: Decoupling modularity and protection in Lipto

Proceedings - International Conference on Distributed Computing Systems

Volumn 1992-June, Issue , 1992, Pages 512-520

  Druschel, Peter ^a   Peterson, Larry L ^a   Hutchinson, Norman C ^b  

^a UNIVERSITY OF ARIZONA   (United States)

^b UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COST ENGINEERING; SOFTWARE ENGINEERING;

COMMUNICATION MECHANISMS; CROSS-DOMAIN; MICRO KERNEL; NONLOCAL; OPERATING SYSTEM ARCHITECTURE; PROTECTION DOMAINS; SOFTWARE ENGINEERING PRINCIPLES;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0004722892     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICDCS.1992.235002     Document Type: Conference Paper

References (17)

1. M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian, and M. Young. Mach: A new kernel foundation for Unix development. In Proceedings of the USENIX Summer '86 Conference, July 1986.
2. B. Bershad, T. Anderson, E. Lazowska, and H. Levy. Lightweight remote procedure call. ACM Transactions on Computer Systems, 8(1):37-55, Feb. 1990.
3. A. Birrell and B. Nelson. Implementing remote procedure calls. ACM Transactions on Computer Systems, 2(1):39-59, Feb. 1984.
4. R. H. Campbell, V. Russo, and G. Johnston. Choices: The design of a multiprocessor operating system. In Proceedings of the USEN1C C++ Workshop, pages 109-123, Nov. 1987.
5. P. Dasgupta, R. J. LeBlanc Jr., M. Ahamad, and U. Ra-machandran. The Clouds distributed operating system. IEEE Computer. To appear.
6. P. Druschel and L. L. Peterson. High-performance cross-domain data transfer. Technical Report TR 92-11, Department of Computer Science, University of Arizona, Tucson, Ariz., Mar. 1992.
7. P. Druschel, L. L. Peterson, and N. C. Hutchinson. Service composition in Lipto. In 1991 Workshop on Object Orientation in Operating Systems, pages 108-111, 1991.
8. R. G. Guy, J. S. Heidemann, W. Mak, T. W. Page, G. J. Popek, and D. Rothmeier. Implementation of the ficus replicated file system. In Proceedings of the USENIX Summer '90 Conference, pages 63-71, June 1990.
9. N. C. Hutchinson and L. L. Peterson. The x-Kernel: An architecture for implementing network protocols. IEEE Transactions on Software Engineering, 17(1): 64-76, Jan. 1991.
10. N. C. Hutchinson, L. L. Peterson, M. Abbott, and S. O'Malley. RPC in the x-Kernel: Evaluating new design techniques. In Proceedings of the 12th ACMSymposiumon Operating Systems Principles, pages 91-101, Dec. 1989.
11. Intel Corporation, Santa Clara, California. System432/600 System Reference Manual, 1981.
12. E. Jul, H. Levy, N. Hutchinson, and A. Black. Fine-grained mobility in the Emerald system. ACM Transactions on Computer Systems, 6(1):109-133, Feb. 1988.
13. M. Rozier, V. Abrossimov, F. Armand, I. Boule, M. Gien, M. Guillemont, F. Herrmann, C. Kaiser, S. Langlois, P. Leonard, and W. Neuhauser. Chorus distributed operating systems. Computing Systems Journal, 1(4):305-370, Dec. 1988.
14. M. Shapiro. Structure and encapsulation in distributed systems: The proxy principle. In Proceedings of the Sixth International Conference on Distributed Computing Systems, pages 198-204, Boston, Mass., May 1986.
15. R. E. Strom. Hermes: An integrated language and system for distributed programming. In 1990 Workshop on Experimental Distributed Systems, Oct. 1990.
16. M. Wilkes and R. Needham. The Cambridge CAP Computer and Its Operating System. North Holland, Reading, MA, 1979.
17. W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack. Hydra: The kernel of a multiprocessor operating system. Communications of the ACM, 17(6):337-345, June 1974.