26 May 1953|
|Died||10 June 2001(aged 48)|
|Fields||Computer science, Operating Systems|
|Institutions||GMD, Thomas J. Watson Research Center, University of Karlsruhe|
|Alma mater||Bielefeld University, Technical University of Berlin|
|Doctoral advisor||Prof Stefan Jähnichen|
|Doctoral students||Volkmar Uhlig, PhD Karlsruhe 2005; Uwe Dannowski, PhD Karlsruhe 2007|
|Known for||L3 and L4 microkernel|
In the mid-1970s Liedtke studied for a diploma degree in mathematics at the University of Bielefeld. His thesis project was to build a compiler for the ELAN programming language, which had been launched for teaching programming in German schools; the compiler was written in Elan itself. After his graduation in 1977, he remained at Bielefeld and worked on an Elan environment for the Zilog Z80 microprocessor. This required a run-time environment, which he called 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 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 but also to legal practices as a text-processing platform.
In 1984, he joined the GMD (Gesellschaft für Mathematik und Datenverarbeitung, the German National Research Center for Computer Science, which is now a part of the Fraunhofer Society), where 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 re-design was required. 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 of implementing 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 (for political reason called the “Lava Nucleus” or short “LN”, microkernels were not fashionable at IBM after the Workplace OS disaster). 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. In Karlsruhe 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 (as opposed 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.
- 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, NC, USA. pp. 2–11.
- Chen, Bradley; Bershad, Brian (December 1993). "The impact of operating system structure on memory system performance". 14th ACM Symposium on Operating System Principles. Asheville, NC, USA. pp. 120–133.
- Liedtke, Jochen (September 1996). "Toward Real Microkernels". communications of the ACM. 39 (9): 70–77.
- 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, J. (December 1995). On µ-Kernel Construction. 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.