Toward real microkernels

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Toward real microkernels

Full text

Pdf (280 KB)

Source

Communications of the ACM archive
Volume 39 , Issue 9 (September 1996) table of contents

Pages: 70 - 77

Year of Publication: 1996

ISSN:0001-0782

Author

Jochen Liedtke

German National Research Center for Information Technology and at IBM's T.J. Watson Research Lab.

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 32, Downloads (12 Months): 248, Citation Count: 28

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/234215.234473 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	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	B. N. Bershad , S. Savage , P. Pardyak , E. G. Sirer , M. E. Fiuczynski , D. Becker , C. Chambers , S. Eggers, Extensibility safety and performance in the SPIN operating system, Proceedings of the fifteenth ACM symposium on Operating systems principles, p.267-283, December 03-06, 1995, Copper Mountain, Colorado, United States
	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	Roy H. Campbell , Nayeem Islam , David Raila , Peter Madany, Designing and implementing Choices: an object-oriented system in C++, Communications of the ACM, v.36 n.9, p.117-126, Sept. 1993 [doi>10.1145/162685.162717]
	5	Cao, P., Felten, E.W., and Li, K. Implementation and performance of application-controlled file caching. In Proceedings of the 1st Usenix 5~ymposium on Operating 5~ystems Design and Implementation (051)I) (Monterey, Calif., Nov. 1994). ACM Press, NewYork, 1994, pp. 165-178.
	6	J. Bradley Chen , Brian N. Bershad, The impact of operating system structure on memory system performance, Proceedings of the fourteenth ACM symposium on Operating systems principles, p.120-133, December 05-08, 1993, Asheville, North Carolina, United States
	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	D. R. Engler , M. F. Kaashoek , J. O'Toole, Jr., Exokernel: an operating system architecture for application-level resource management, Proceedings of the fifteenth ACM symposium on Operating systems principles, p.251-266, December 03-06, 1995, Copper Mountain, Colorado, United States
	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 5~ymposium on Local Computer Networks (Firenze, Italy, Apr. 1982) ACM Press, 1982, pp. 207-223.
	12	R. E. Kessler , Mark D. Hill, Page placement algorithms for large real-indexed caches, ACM Transactions on Computer Systems (TOCS), v.10 n.4, p.338-359, Nov. 1992 [doi>10.1145/138873.138876]
	13	Yousef A. Khalidi , Michael N. Nelson, Extensible file systems in spring, Proceedings of the fourteenth ACM symposium on Operating systems principles, p.1-14, December 05-08, 1993, Asheville, North Carolina, United States
	14	Lee, C.H., Chen, M.C., and Chang, R.C. HiPEC: High performance external virtual memory caching. In Proceedings of the 1st Usenix 5~ymposium on Operating 5~ystems Design and Implementation (05DI) (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 5~ystems (IWO00S) (Asheville, N.C., Dec. 1993) IEEE Computer Society Press, Washington, 1993, pp. 2-11.
	16	J. Liedtke, On micro-kernel construction, Proceedings of the fifteenth ACM symposium on Operating systems principles, p.237-250, December 03-06, 1995, Copper Mountain, Colorado, United States
	17	Jochen Liedtke , Ulrich Bartling , Uwe Beyer , Dietmar Heinrichs , Rudolf Ruland , Gyula Szalay, Two years of experience with a &mgr;-Kernel based OS, ACM SIGOPS Operating Systems Review, v.25 n.2, p.51-62, April 1991 [doi>10.1145/122120.122124]
	18	A. Lindstrom , J. Rosenberg , A. Dearle, The grand unified theory of address spaces, Proceedings of the Fifth Workshop on Hot Topics in Operating Systems (HotOS-V), p.66, May 04-05, 1995
	19	Mullender, AJ. 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. 5~yst. 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 5~ymposium on Operating 5~ystems Design and Implementation (05~DI) (Monterey, Calif., Nov. 1994). ACM Press, NewYork, 1994, pp. 255-266.
	22	M. Young , A. Tevanian , R. Rashid , D. Golub , J. Eppinger, The duality of memory and communication in the implementation of a multiprocessor operating system, Proceedings of the eleventh ACM Symposium on Operating systems principles, p.63-76, November 08-11, 1987, Austin, Texas, United States

CITED BY 28

	Hermann Härtig , Michael Hohmuth , Jochen Liedtke , Sebastian Schönberg , Jean Wolter, The performance of μ-kernel-based systems, ACM SIGOPS Operating Systems Review, v.31 n.5, p.66-77, Dec. 1997
	G. Denys , F. Piessens , F. Matthijs, A survey of customizability in operating systems research, ACM Computing Surveys (CSUR), v.34 n.4, p.450-468, December 2002
	Bruce R. Montague, JN: OS for an Embedded Java Network Computer, IEEE Micro, v.17 n.3, p.54-60, May 1997
	David S. Greenberg , Ron Brightwell , Lee Ann Fisk , Arthur Maccabe , Rolf Riesen, A system software architecture for high-end computing, Proceedings of the 1997 ACM/IEEE conference on Supercomputing (CDROM), p.1-15, November 15-21, 1997, San Jose, CA
	Christoph M. Kirsch , Marco A. A. Sanvido , Thomas A. Henzinger, A programmable microkernel for real-time systems, Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments, June 11-12, 2005, Chicago, IL, USA
	Derek McAuley , Rolf Neugebauer, A case for virtual channel processors, Proceedings of the ACM SIGCOMM workshop on Network-I/O convergence: experience, lessons, implications, August 25-27, 2003, Karlsruhe, Germany
	Mohamed F. Younis , Mohamed Aboutabl , Daeyoung Kim, Software environment for integrating critical real-time control systems, Journal of Systems Architecture: the EUROMICRO Journal, v.50 n.11, p.649-674, November 2004
	Lanfranco Lopriore, Access Control Mechanisms in a Distributed, Persistent Memory System, IEEE Transactions on Parallel and Distributed Systems, v.13 n.10, p.1066-1083, October 2002
	Yair Wiseman, Advanced non-distributed operating systems course, ACM SIGCSE Bulletin, v.37 n.2, June 2005
	Daeyoung Kim , Yann-Hang Lee , Mohamed Younis, Software architecture supporting integrated real-time systems, Journal of Systems and Software, v.65 n.1, p.71-86, 15 January 2003
	Gernot Heiser , Volkmar Uhlig , Joshua LeVasseur, Are virtual-machine monitors microkernels done right?, ACM SIGOPS Operating Systems Review, v.40 n.1, p.95-99, January 2006
	Hermann Härtig, Security architectures revisited, Proceedings of the 10th workshop on ACM SIGOPS European workshop: beyond the PC, July 01-01, 2002, Saint-Emilion, France
	Rafal Kolanski , Gerwin Klein, Formalising the L4 microkernel API, Proceedings of the 12th Computing: The Australasian Theroy Symposium, p.53-68, January 16-19, 2006, Hobart, Australia
	M. K. Revuelta , P. P. Espada , I. G. Tejedor , A. V. Sánchez, Simulation environment for testing and verifying the L4 microkernel mapping database, Proceedings of the 5th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems, p.19-23, February 15-17, 2006, Madrid, Spain
	A real-time programmer's tour of general-purpose L4 microkernels, EURASIP Journal on Embedded Systems, v.2008 n.2, p.1-14, April 2008
	Ihor Kuz , Yan Liu , Ian Gorton , Gernot Heiser, CAmkES: A component model for secure microkernel-based embedded systems, Journal of Systems and Software, v.80 n.5, p.687-699, May, 2007
	Philip Machanick, SMP-SoC is the answer if you ask the right questions, Proceedings of the 2006 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing couuntries, p.12-21, October 09-11, 2006, Somerset West, South Africa
	Galen C. Hunt , James R. Larus , David Tarditi , Ted Wobber, Broad new OS research: challenges and opportunities, Proceedings of the 10th conference on Hot Topics in Operating Systems, p.15-15, June 12-15, 2005, Santa Fe, NM
	Maxwell Krohn , Petros Efstathopoulos , Cliff Frey , Frans Kaashoek , Eddie Kohler , David Mazières , Robert Morris , Michelle Osborne , Steve VanDeBogart , David Ziegler, Make least privilege a right (not a privilege), Proceedings of the 10th conference on Hot Topics in Operating Systems, p.21-21, June 12-15, 2005, Santa Fe, NM
	George Candea , Shinichi Kawamoto , Yuichi Fujiki , Greg Friedman , Armando Fox, Microreboot — A technique for cheap recovery, Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation, p.3-3, December 06-08, 2004, San Francisco, CA
	Anshumal Sinha , Sandeep Sarat , Jonathan S. Shapiro, Network subsystems reloaded: a high-performance, defensible network subsystem, Proceedings of the USENIX Annual Technical Conference 2004 on USENIX Annual Technical Conference, p.19-19, June 27-July 02, 2004, Boston, MA
	Michael Golm , Meik Felser , Christian Wawersich , Jürgen Kleinöder, The JX Operating System, Proceedings of the General Track: 2002 USENIX Annual Technical Conference, p.45-58, June 10-15, 2002
	Philip Derrin , Kevin Elphinstone , Gerwin Klein , David Cock , Manuel M. T. Chakravarty, Running the manual: an approach to high-assurance microkernel development, Proceedings of the 2006 ACM SIGPLAN workshop on Haskell, September 17-17, 2006, Portland, Oregon, USA
	Sergio Ruocco, A real-time programmer's tour of general-purpose L4 microkernels, EURASIP Journal on Embedded Systems, v.8 n.3, p.1-14, January 2008
	Peter J. Denning , Walter F. Tichy , Edward D. Lazowska , Jochen Liedtke, Operating systems, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
	Matthias Daum , Jan Dörrenbächer , Burkhart Wolff, Proving Fairness and Implementation Correctness of a Microkernel Scheduler, Journal of Automated Reasoning, v.42 n.2-4, p.349-388, April 2009
	Marko Wolf , Andre Osterhues , Christian Stueble, Secure offline superdistribution for mobile platforms, International Journal of Applied Cryptography, v.1 n.4, p.251-263, August 2009
	Antonio Mancina , Dario Faggioli , Giuseppe Lipari , Jorrit N. Herder , Ben Gras , Andrew S. Tanenbaum, Enhancing a dependable multiserver operating system with temporal protection via resource reservations, Real-Time Systems, v.43 n.2, p.177-210, October 2009