Microkernels meet recursive virtual machines

2nd USENIX Symposium on Operating Systems Design and Implementation, OSDI 1996

Volumn , Issue , 1996, Pages

  Ford, Bryan ^a   Hibler, Mike ^a   Lepreau, Jay ^a   Tullmann, Patrick ^a   Back, Godmar ^a   Clawson, Stephen ^a  

^a UNIVERSITY OF UTAH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; NETWORK SECURITY; SYSTEMS ANALYSIS;

DEBUGGING SUPPORT; MACHINE CONCEPTS; PROCESS MANAGEMENT; PROTOTYPE IMPLEMENTATIONS; SECURITY MONITORS; SYSTEM FUNCTIONALITY; VIRTUAL MACHINE INTERFACES; VIRTUAL MACHINE MONITORS;

VIRTUAL MACHINE;

EID: 85086058271     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/238721.238769     Document Type: Conference Paper

References (54)

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 Proc. of the Summer 1986 USENIX Conf., pages 93–112, June 1986.
2. A. Adl-Tabatabai, G. Langdale, S. Lucco, and R. Wahbe. Efficient and Language-Independent Mobile Programs. In Proc. ACM SIG-PLAN Symp. on Programming Language Design and Implementation, pages 127–136, May 1996.
3. A. Appel and K. Li. Virtual Memory Primitives for User Programs. In Proceedings of the 4th Symposium on Architectural Support for Programming Languages and Operating Systems, pages 96–107, June 1991.
4. N. Batlivala, B. Gleeson, J. Hamrick, S. Lurndal, D. Price, and J. Soddy. Experience With SVR4 Over Chorus. In Proc. of the USENIX Workshop on Micro-kernels and Other Kernel Architectures, pages 223–241, Seattle, WA, Apr. 1992.
5. B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. E. Fiuczynski, D. Becker, C. Chambers, and S. Eggers. Extensibility, Safety, and Performance in the SPIN Operating System. In Proc. of the 15th ACM Symp. on Operating Systems Principles, pages 267–284, Copper Mountain, CO, Dec. 1995.
6. A. C. Bomberger and N. Hardy. The KeyKOS Nanokernel Architecture. In Proc. of the USENIX Workshop on Micro-kernels and Other Kernel Architectures, pages 95–112, Seattle, WA, Apr. 1992.
7. T. C. Bressoud and F. B. Schneider. Hyporvisor-based Fault-tolerance. In Proc. of the 15th ACM Symp. on Operating Systems Principles, pages 1–11, Dec. 1995.
8. M. I. Bushnell. Towards a New Strategy of OS Design. In GNU’s Bulletin, Cambridge, MA, Jan. 1994. Also http://www.cs.pdx.edu/trent/gnu/hurd-paper.html.
9. P. Cao, E. W. Felten, and K. Li. Implementation and Performance of Application-Controlled File Caching. In Proc. of the First Symp. on Operating Systems Design and Implementation, pages 165–177, Monterey, CA, Nov. 1994. USENIX Assoc.
10. J. Carter, D. Khandekar, and L. Kamb. Distributed Shared Memory: Where We Are and Where We Should Be Headed. In Proceedings of the Fifth Workshop on Hot Topics in Operating Systems, pages 119–122, May 1995.
11. K. Chandy and L. Lamport. Distributed Snapshots: Determining Global States of Distributed Systems. ACM Transactions on Computer Systems, 3(1):63–75, Feb. 1985.
12. J. S. Chase, H. M. Levy, M. J. Feeley, and E. D. Lazowska. Sharing and Protection in a Single Address Space Operating System. Technical Report UW-CSE-93-04-02, University of Washington Computer Science Department, Apr. 1993.
13. J. B. Chen and B. N. Bershad. The Impact of Operating System Structure on Memory System Performance. In Proc. of the 14th ACM Symp. on Operating Systems Principles, pages 120–133, 1993.
14. D. R. Cheriton and K. J. Duda. A Caching Model of Operating System Kernel Functionality. In Proc. of the First Symp. on Operating Systems Design and Implementation, pages 179–193. USENIX Assoc., Nov. 1994.
15. G. Deconinck, J. Vounckx, R. Cuyvers, and R. Lauwereins. Survey of Checkpointing and Rollback Techniques. Technical Report O3.1.8 and O3.1.12, ESAT-ACCA Laboratory Katholieke Universiteit Leuven, Belgium, June 1993.
16. R. P. Draves. A Revised IPC Interface. In Proc. of the USENIX Mach Workshop, pages 101–121, Oct. 1990.
17. E. N. Elnozahy, D. B. Johnson, and W. Zwaenepoel. The Performance of Consistent Checkpointing. In 11th Symposium on Reliable Distributed Systems, pages 39–47, Oct. 1992.
18. D. R. Engler, M. F. Kaashoek, and J. O’Toole Jr. Exokernel: An Operating System Architecture for Application-level Resource Management. In Proc. of the 15th ACM Symp. on Operating Systems Principles, pages 251–266, Copper Mountain, CO, Dec. 1995.
19. B. Ford and Flux Project Members. The Flux Operating System Toolkit. University of Utah. Postscript and HTML available under http://www.cs.utah.edu/projects/flux/oskit/html/, 1996.
20. B. Ford, M. Hibler, and Flux Project Members. Fluke: Flexible-kernel Environment (draft documents). University of Utah. Postscript and HTML available under http://www.cs.utah.edu/projects/flux/fluke/html/, 1996.
21. B. Ford and S. Susarla. CPU Inheritance Scheduling. In Proc. of the Second Symp. on Operating Systems Design and Implementation, Seattle, WA, Oct. 1996. USENIX Assoc.
22. R. P. Goldberg. Architecture of Virtual Machines. In AFIPS Conf. Proc., June 1973.
23. R. P. Goldberg. Survey of Virtual Machine Reseach. IEEE Computer Magazine, pages 34–45, June 1974.
24. D. Golub, R. Dean, A. Forin, and R. Rashid. Unix as an Application Program. In Proc. of the Summer 1990 USENIX Conf., pages 87–96, Anaheim, CA, June 1990.
25. J. Gosling and H. McGilton. The Java Language Environment: A White Paper. Technical report, Sun Microsystems Computer Company, 1996. Available as http://java.sun.com/doc/language environment/.
26. P. Goyal, X. Guo, and H. M. Vin. A Hierarchical CPU Scheduler For Multimedia Operations. In Proc. of the Second Symp. on Operating Systems Design and Implementation, Seattle, WA, Oct. 1996. USENIX Assoc.
27. N. Hardy. The KeyKos Architecture. Operating Systems Review, Sept. 1985.
28. IBM Virtual Machine Facility /370 Planning Guide. Technical Report GC20-1801-0, IBM Corporation, 1972.
29. IBM Virtual Machine Facility /370: Release 2 Planning Guide. Technical Report GC20-1814-0, IBM Corporation, 1973.
30. Intel. i960 Extended Architecture Programmer’s Reference Manual, 1994.
31. M. Jones. Interposition Agents: Transparently Interposing User Code at the System Interface. In Proc. of the 14th ACM Symp. on Operating Systems Principles, pages 80–93, Dec. 1993.
32. P. Keleher, A. L. Cox, S. Dwarkadas, and W. Zwaenepoel. Tread-Marks: Distributed Shared Memory on Standard Workstations and Operating Systems. In Proc. of the 1994 Winter USENIX Conf., pages 115–132, Jan. 1994.
33. Y. A. Khalidi and M. N. Nelson. Extensible File Systems in Spring. In Proc. of the 14th ACM Symp. on Operating Systems Principles, pages 1–14, 1993.
34. C. Landau. The Checkpoint Mechanism in KeyKOS. In Proc. Second International Workshop on Object Orientation in Operating Systems, Sept. 1992.
35. H. C. Lauer and D. Wyeth. A Recursive Virtual Machine Architecture. In ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems, pages 113–116, Mar. 1973.
36. C. H. Lee, M. C. Chen, and R. C. Chang. HiPEC: High Performance External Virtual Memory Caching. In Proc. of the First Symp. on Operating Systems Design and Implementation, pages 153–164, Monterey, CA, Nov. 1994. USENIX Assoc.
37. H. M. Levy. Capability Based Computer Systems. Digital Press, 1984.
38. J. Liedtke. Clans and Chiefs. In Proc. 12. GI/ITG-Fachtagung Architektur von Rechensystemen, 1992.
39. J. Liedtke. A Persistent System in Real Use – Experiences of the First 13 Years. In Proc. of the Third International Workshop on Object Orientation in Operating Systems, pages 2–11, Dec. 1993.
40. J. Liedtke. On Micro-Kernel Construction. In Proc. of the 15th ACM Symp. on Operating Systems Principles, pages 237–250, Copper Mountain, CO, Dec. 1995.
41. A. Lindstrom, J. Rosenberg, and A. Dearle. The Grand Unified Theory of Address Spaces. In Proc. of the Fifth Workshop on Hot Topics in Operating Systems, May 1995.
42. M. Litzkow and M. Solomon. Supporting Checkpointing and Process Migration Outside the UNIX Kernel. In Proc. of the Winter 1992 USENIX Conf., 1992.
43. K. Loepere et al. MK++ Kernel Executive Summary. Technical report, Open Software Foundation, 1995.
44. L. McVoy and C. Staelin. lmbench: Portable Tools for Performance Analysis. In Proc. of 1996 USENIX Conf., Jan. 1996.
45. Microsoft Corporation. Win32Programmer’sReference, 1993. 999 pp.
46. A. B. Montz, D. Mosberger, S. W. O’Malley, L. L. Peterson, T. A. Proebsting, and J. H. Hartman. Scout: A Communications-oriented Operating System. Technical Report 94–20, University of Arizona, Dept. of Computer Science, June 1994.
47. S. J. Mullender. Experiences with Distributed Systems, chapter Process Management in Distributed Operating Systems. Lecture Notes in Computer Science no. 309. Springer-Verlag, 1987.
48. J. S. Plank, M. Beck, G. Kingsley, and K. Li. Libckpt: Transparent Checkpointing under Unix. In Proc. of the Winter 1995 USENIX Technical Conf., Jan. 1995.
49. M. Rosenblum, S. Herrod, E. Witchel, and A. Gupta. Fast and Accurate Multiprocessor Simulation: The SimOS Approach. IEEE Parallel and Distributed Technology, 3(4), 1995.
50. C. Small and M. Seltzer. VINO: An Intergrated Platform for Operating System and Database Research. Technical Report TR-30-94, Harvard University, 1994.
51. P. Tullmann, J. Lepreau, B. Ford, and M. Hibler. User-level Checkpointing Through Exportable Kernel State. In Proc. Fifth International Workshop on Object Orientation in Operating Systems, Seattle, WA, Oct. 1996. IEEE.
52. D. Wagner, I. Goldberg, and R. Thomas. A Secure Environment for Untrusted Helper Applications. In Proc. of the 6th USENIX Unix Security Symp., 1996.
53. C. A. Waldspurger. Lottery and Stride Scheduling: Flexible Proportional-Share Resource Management. PhD thesis, Massachusetts Institute of Technology, Sept. 1995.
54. M. V. Wilkes and R. M. Needham. The Cambridge CAP Computer and its Operating System. North Holland, NY, 1979.