Toward Real Microkernels

Communications of the ACM

Volumn 39, Issue 9, 1996, Pages 70-77

  Liedtke, Jochen ^a  

^a FRAUNHOFER INSTITUTE FOR APPLIED INFORMATION TECHNOLOGY FIT   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTIONS; APPLICATION PROGRAM INTERFACES; INTERPROCESS COMMUNICATION; MICROKERNELS; MULTITHREADING; REMOTE PROCEDURE CALLS;

COMPUTER APPLICATIONS; COMPUTER ARCHITECTURE; COMPUTER NETWORKS; DATA STORAGE EQUIPMENT; MULTIPROCESSING SYSTEMS; PARALLEL PROCESSING SYSTEMS; PERFORMANCE; REAL TIME SYSTEMS; SYSTEMS ANALYSIS; UNIX; VIRTUAL STORAGE;

COMPUTER OPERATING SYSTEMS;

EID: 0030243542     PISSN: 00010782     EISSN: None     Source Type: Journal    
DOI: 10.1145/234215.234473     Document Type: Article

References (22)

1. Bernabeu-Auban, J.M., Hutto, P.W., and Khalidi, Y.A. The architecture of the Ra kernel. Tech. Rep. GIT-ICS-87/35, Georgia Institute of Technology, Atlanta, 1988.
2. Bershad, B.N., Savage, S., Pardyak, P., Sirer, E.G., Fiuczynski, M., Becker, D., Eggers, S., and Chambers, C. Extensibility, safety, and performance in the Spin operating system. In Proceedings of the 15th ACM Symposium on Operating System Principles (SOSP) (Copper Mountain Resort, Colo, Dec. 1995). ACM Press, 1995, pp. 267-284.
3. Bricker, A., Gien, M., Guillemont, M., Lipkis, J., Orr, D., and Rozier, M. A new look at microkernel-based Unix operating systems. Tech. Rep. CS/TR-91-7, Chorus systèmes, Paris, France, 1991.
4. Campbell, R., Islam, N., Madany, P., and Raila, D. Designing and implementing Choices: An object-oriented system in C++. Commun. ACM 36, 9 (Sept. 1993), 117-126.
5. Cao, P., Felten, E.W., and Li, K. Implementation and performance of application-controlled file caching. In Proceedings of the 1st Usenix Simposium on Operating Systems Design and Implementation (USDI) (Monterey, Calif., Nov. 1994). ACM Press, New York, 1994, pp. 165-178.
6. Chen, J.B. and Bershad, B.N. The impact of operating system structure on memory system performance. In Proceedings of the 14th ACM Symposium on Operating System Principles (SOSP) (Asheville, N.C., Dec. 1993). ACM Press, 1993, pp. 120-133.
7. Cheriton, D.R., Whitehead, G.R., and Sznyter, E.W. Binary emulation of Unix using the V kernel. In Proceedings of the Usenix Summer Conference (Anaheim, Calif., June 1990), pp. 73-86.
8. Condict, M., Bolinger D., McManus, E., Mitchell, D., and Lewontin, S. Microkernel modularity with integrated kernel performance. Tech. Rep., OSF Research Institute, Cambridge, Mass, 1994.
9. Engler, D., Kaashoek, M.F., and O'Toole, J. Exokernel, an operating system architecture for application-level resource management. In Proceedings of the 15th ACM Symposium on Operating System Principles (SOSP) (Copper Mountain Resort, Colo., Dec. 1995) ACM Press, 1995, pp. 251-266.
10. Golub, D., Dean, R., Forin, A., and Rashid, R. Unix as an application program. In Proceedings of the Usenix Summer Conference (Anaheim, Calif., June 1990). Usenix Association, 1990, pp. 87-96.
11. Guillemont, M. The Chorus distributed operating system: Design and implementation. In Proceedings of the ACM International Symposium on Local Computer Networks (Firenze, Italy, Apr. 1982) ACM Press, 1982, pp. 207-223.
12. Kessler, R., and Hill, M.D. Page placement algorithms for large real-indexed caches. ACM Trans. Comput. Syst. 10, 4 (Nov. 1992), 11-22.
13. Khalidi, Y.A., and Nelson, M.N. Extensible file systems in Spring. In Proceedings of the 14th ACM Symposium on Operating System Principles (SOSP) (Asheville, N.C., Dec. 1993). ACM Press, New York, 1993, pp. 1-14.
14. Lee, C.H., Chen, M.C., and Chang, R.C. HiPEC: High performance external virtual memory caching. In Proceedings of the 1st Usenix Symposium on Operating Systems Design and Implementation (OSDI) (Monterey, Calif., Nov. 1994). ACM Press, New York, 1994, pp. 153-164.
15. Liedtke, J. A persistent system in real use - experiences of the first 13 years. In Proceedings of the 3rd International Workshop on Object Orientation in Operating Systems (IWOOOS) (Asheville, N.C., Dec. 1993) IEEE Computer Society Press, Washington, 1993, pp. 2-11.
16. Liedtke, J. On microkernel construction. In Proceedings of the 15th ACM Symposium on Operating System Principles (SOSP) (Copper Mountain Resort, Colo., Dec. 1995). ACM Press, New York, 1995, pp. 237-250.
17. Liedtke, J., Bartling, U., Beyer, U., Heinrichs, D., Ruland, R., and Szalay, G. Two years of experience with a microkernel based operating system. Oper. Syst. Rev. 25, 2 (Apr. 1991), 51-62.
18. Lindstroem, A., Rosenberg, J., and Dearle, A. The grand unified theory of address spaces. In Proceedings of the 5th Workshop on Hot Topics in Operating Systems (HotOS-V) (Orcas Island, Wash., May 1995).
19. Mullender, A.J. The Amoeba distributed operating system: Selected papers 1984-1987. Tech. Rep. Tract. 41, CWI, Amsterdam, 1987.
20. Pu, C., Massalin, H., and Ioannidis, J. The Synthesis kernel. Comput. Syst. 1, 1 (Jan. 1988), 11-32.
21. Romer, T.H., Lee, D.L., Bershad, B.N., and Chen, B. Dynamic page mapping policies for cache conflict resolution on standard hardware. In Proceedings of the 1st Usenix Symposium on Operating Systems Design and Implementation (OSDI) (Monterey, Calif., Nov. 1994). ACM Press, New York, 1994, pp. 255-266.
22. Young, M., Tevanian, A., Rashid, R., Golub, D., Eppinger, J., Chew, J., Bolosky, W., Black, D., and Baron, R. The duality of memory and communication in the implementation of a multiprocessor operating system. In Proceedings of the 11th ACM Symposium on Operating System Principles (SOSP) (Austin, Tex., Nov. 1987). ACM Press, New York, 1987.