Evolving Mach 3.0 to A Migrating Thread Model

USENIX Winter 1994 Technical Conference

Volumn , Issue , 1994, Pages 97-114

  Ford, Bryan ^a   Leprean, Jay ^a  

^a UNIVERSITY OF UTAH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

ADDITIONAL CONTROL; CLIENT PROGRAMS; EXECUTION CONTEXT; LOGICAL COMPLEXITY; OPERATING SYSTEM DESIGN; REMOTE PROCEDURE CALLS; THREAD MANIPULATION; TRANSFER OF CONTROLS;

MESSAGE PASSING;

EID: 0005146134     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (29)

1. Thomas E. Anderson, Brian N. Bershad, Edward D. Lazowska, and Henry M. Levy. Scheduler activations: Effective kernel support for the user-level management of parallelism. ACM Transactions on Computer Systems, 10(1) :53-79, February 1992.
2. J. S. Barrera. A fast Mach network IPC implementation. In Proc. of the Second USENIX Mach Symposium, pages 1-12, 1991.
3. Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, and Henry M. Levy. Lightweight remote procedure call. ACM Transactions on Computer Systems, 8(1):37-55, February 1990.
4. Andrew D. Birrell. An introduction to programming with threads. Technical Report SRC-35, DEC Systems Research Center, January 1989.
5. A. P. Black, N. Huchinson, E. Jul H. Levy, and L. Carter. Distribution and abstract types in Emerald. IEEE Trans on Software Engineering, SE-13(1):65-76, 1987
6. Alan C. Bomberger and Norman Hardy. The KeyKOS nanokernel architecture. In Proc. of the USENIX Workshop on Micro-kernels and Other Kernel Architectures, pages 95-112, Seattle, WA, April 1992.
7. John B. Carter, Bryan Ford, Mike Hibler, Ravindra Kuramkote, Jeffrey Law, Jay Lepreau, Douglas B. Orr, Leigh Stoller, and Mark Swanson. FLEX: A tool for building efficient and flexible systems. In Proc. Fourth Workshop on Workstation Operating Systems, October 1993.
8. D. R. Cheriton. The V distributed system. Communications of the ACM, 31(3):314-333, March 1988.
9. Roger S. Chin and Samuel T. Chanson. Distributed object-based programming systems. ACM Computing Surveys, 23(1), March 1991.
10. David D. Clark. The structuring of systems using upcalls. In Proc. of the 10th ACM Symposium on Operating Systems Principles, pages 171-180, Orcas Island, WA, December 1985.
11. Raymond K. Clark, E. Douglas Jensen, and Franklin D. Reynolds. An architectural overview of the Alpha real-Time distributed kernel. In Proc. of the USENIX Workshop on Micro-kernels and Other Kernel Architectures, pages 127-146, Seattle, WA, April 1992.
12. Michael Condict. Personal communication, November 1993.
13. Sadegh Davari and Lui Sha. Sources of unbounded priority inversions in real-Time systems and a comparative study of possible solutions. ACM Operating Systems Review, 23(2):110-120, April 1992.
14. Richard P. Draves, Brian N. Bershad, Richard F. Rashid, and Randall W. Dean. Using continuations to implement thread management and communication in operating systems. In Proc. of the 13th ACM Symposium on Operating Systems Principles, Asilomar, CA, October 1991.
15. Peter Druschel, Larry L. Peterson, and Norman C. Hutchinson. Beyond micro-kernel design: Decoupling modularity and protection in Lipto. In Proc. of the 12th International Conference on Distributed Computing Systems, pages 512-520, Yokohama, Japan, June 1992.
16. Partha Dasgupta et al. The design and implementation of the Clouds distributed operating system. Computing Systems, 3(1), Winter 1990.
17. Bryan Ford, Mike Hibler, and Jay Lepreau. Notes on thread models in Mach 3.0. Technical Report UUCS-93-012, University of Utah Computer Science Department, April 1993.
18. Bryan Ford and Jay Lepreau. Evolving Mach 3.0 to use migrating threads. Technical Report UUCS93-022, University of Utah, November 1993.
19. Graham Hamilton and Panos Kougiouris. The Spring nucleus: A microkernel for objects. In Proc. of the Summer 1993 USENIX Conference, pages 147-159, Cincinnati, OH, June 1993.
20. Dan Hildebrand. An architectural overview of QNX. In Proc. of the USENIX Workshop on Micro-kernels and Other Kernel Architectures, pages 113-126, Seattle, WA, April 1992.
21. D.B. Johnson and W. Zwaenepoel. The Peregrine high-performance RPC system. Software Practice and Experience, 23(2):201-221, February 1993.
22. Jay Lepreau, Mike Hibler, Bryan Ford, and Jeff Law. In-kernel servers on Mach 3.0: Implementation and performance. In Proc. of the Third USENIX Mach Symposium, pages 39-55, April 1993.
23. Jochen Liedtke. Improving IPC by kernel design. In Proc. of the 14th ACM Symposium on Operating Systems Principles, Asheville, NC, December 1993.
24. Open Systems Foundation and Carnegie Mellon Univ. MACH 3 Kernel Interface, 1992.
25. Simon Patience. Redirecting system calls in Mach 3.0: An alternative to the emulator. In Proc. of the Third USENIX Mach Symposium, pages 57-73, Santa Fe, NM, April 1993.
26. M. Rozier, V. Abrossimov, F. Armand, I. Boule, M. Gien, M. Guillemont, F. Herrmann, C. Kaiser, S. Langlois, P. Leonard, and W. Neuhauser. The Chorus distributed operating system. Computing Systems, 1(4):287-338, December 1989.
27. Michael L. Scott, Thomas J. LeBlanc, and Brian D. Marsh. Design rationale for Psyche, a general-purpose multiprocessor operating system. In Proc. of the 1988 International Conference on Parallel Processing, pages 255-262, August 1988.
28. Daniel Stodolsky, J. Bradley Chen, and Brian N. Bershad. Fast interrupt priority management in operating system kernels. In Proc. of the Second USENIX Workshop on Micro-kernels and Other Kernel Architectures, San Diego, CA, September 1993.
29. Vrije Universiteit, Amsterdam, NL. The Amoeba 5.0 Reference Manual: Programming Guide, 1992. rpc manual page; ftp.cs.vu.nl:amoeba/manuals/pro.ps.Z.