From Wikipedia the free encyclopedia
|Died||10 June 2001(aged 48)|
|Alma mater||Bielefeld University|
Technical University of Berlin
|Known for||L3, L4 microkernels|
Thomas J. Watson Research Center
University of Karlsruhe
|Doctoral advisor||Stefan Jähnichen|
Jochen Liedtke (26 May 1953 – 10 June 2001) was a German computer scientist, noted for his work on microkernel operating systems, especially in creating the L4 microkernel family.
In the mid-1970s Liedtke studied for a diploma degree in mathematics at the Bielefeld University. His thesis project was to build a compiler for the programming language ELAN, which had been launched for teaching programming in German schools. The compiler was written in ELAN.
After his graduation in 1977, he remained at Bielefeld and worked on an Elan environment for the Zilog Z80 microprocessor. This required a runtime system (environment), which he named Eumel ("Extendable Multiuser Microprocessor ELAN-System", but also a colloquial north-German term for a likeable fool). Eumel grew into a complete multi-tasking, multi-user operating system supporting orthogonal persistence, which started shipping (by whom? to whom?) in 1980 and was later ported to Zilog Z8000, Motorola 68000 and Intel 8086 processors. As these processors lacked memory protection, Eumel implemented a virtual machine which added the features missing from the hardware. More than 2000 Eumel systems shipped, mostly to schools, and some to legal practices as a text processing platform.
In 1984, he joined the Gesellschaft für Mathematik und Datenverarbeitung (GMD), the German National Research Center for Computer Science, which is now a part of the Fraunhofer Society. There, he continued his work on Eumel. In 1987, when microprocessors supporting virtual memory became widely available in the form of the Intel 80386, Liedtke started to design a new operating system to succeed Eumel, which he called L3 ("Liedtke's 3rd system", after Eumel and the ALGOL 60 interpreter he had written in high school). L3 was designed to achieve better performance by using the latest hardware features, and was implemented from scratch. It was mostly backward-compatible with Eumel, thus benefiting from the existing Eumel ecosystem. L3 started to ship in 1989, with total deployment of at least 500.
Both Eumel and L3 were microkernel systems, a popular design in the 1980s. However, by the early 1990s, microkernels had received a bad reputation, as systems built on top were performing poorly, culminating in the billion-dollar failure of the IBM Workplace OS. The reason was claimed to be inherent in the operating-system structure imposed by microkernels. Liedtke, however, observed that the message-passing operation (IPC), which is fundamentally important for microkernel performance, was slow in all existing microkernels, including his own L3 system. His conclusion was that radical redesign was needed. He did this by re-implementing L3 from scratch, dramatically simplifying the kernel, resulting in an order-of-magnitude decrease in IPC cost. The resulting kernel was later renamed "L4". Conceptually, the main novelty of L4 was its complete reliance on external pagers (page fault handlers), and the recursive construction of address spaces. This led to a complete family of microkernels, with many independent implementations of the same principles.
Liedtke also worked on computer architecture, inventing guarded page tables as a means to implement a sparsely-mapped 64-bit address space. In 1996, Liedtke completed a PhD on guarded page tables at the Technical University of Berlin.
In the same year he joined the Thomas J. Watson Research Center, where he continued to work on L4, referred to as “Lava Nucleus” (LN) to avoid negative connotations with previously unsuccessful microkernels, such as the one used in Workplace OS. The main project during his IBM time was the Saw Mill project, which attempted to turn Linux into an L4-based multi-server OS.
In April 1999, he took up the System Architecture Chair at the University of Karlsruhe. There, he continued to collaborate with IBM on Saw Mill, but at the same time worked on a new generation of L4 (version 4). Several experimental kernels were developed during that time, including Hazelnut, the first L4 kernel that was ported (in contrast to re-implemented) to a different architecture (from x86 to ARM). Work on the new version was completed after his death by Liedtke's students Volkmar Uhlig, Uwe Dannowski, and Espen Skoglund. It was released under the name Pistachio in 2002.
On Sunday June 10, 2001, he died unexpectedly at Frankfurt Airport while returning from SOSP'01 program committee meeting in Chateau Lake Louise, having being ill earlier in the year and undergone two surgeries (the conference proceedings were dedicated to his memory). He is survived by his wife Adelheid.
- ^ a b Liedtke, Jochen (December 1993). "A persistent system in real use—experiences of the first 13 years". Proceedings of the 3rd International Workshop on Object Orientation in Operating Systems (IWOOOS). Asheville, North Carolina, United States. pp. 2–11. doi:10.1109/IWOOOS.1993.324932.
- ^ Chen, Bradley; Bershad, Brian (December 1993). "The impact of operating system structure on memory system performance". 14th ACM Symposium on Operating System Principles. Asheville, North Carolina, United States. pp. 120–133.
- ^ Liedtke, Jochen (September 1996). "Toward Real Microkernels". Communications of the ACM. 39 (9): 70–77. CiteSeerX 10.1.1.27.8231. doi:10.1145/234215.234473. S2CID 2867357.
- ^ Liedtke, Jochen (December 1993). Improving IPC by Kernel Design. Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles. SOSP '93. New York, NY, USA: Association for Computing Machinery (ACM). pp. 175–188. doi:10.1145/168619.168633. ISBN 0-89791-632-8.
- ^ Liedtke, Jochen (December 1995). On μ-Kernel Construction (PDF). Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles. SOSP '95. New York, NY, USA: Association for Computing Machinery (ACM). pp. 237–250. doi:10.1145/224056.224075. ISBN 0-89791-715-4.
- ^ Jochen Liedtke. "Page Table Structures for Fine-Grain Virtual Memory", Technical Report 872, German National Research Center for Computer Science (GMD), October 1994.
- ^ Marzullo, Keith (December 2001). Operating Systems Review (PDF). Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles. SOSP'01. New York, NY, USA: Association for Computing Machinery (ACM). pp. iii. ISBN 1-58113-389-8.
- In Memoriam Jochen Liedtke (1953 - 2001)
- List of Liedtke's publications related to microkernels