308:. 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 (
1761:
1751:
33:
357:. 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
295:
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
303:
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
269:
137:
822:
504:. Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles. SOSP '93. New York, NY, USA: Association for Computing Machinery (ACM). pp. 175–188.
342:, 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
547:. Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles. SOSP '95. New York, NY, USA: Association for Computing Machinery (ACM). pp. 237–250.
1812:
598:. Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles. SOSP'01. New York, NY, USA: Association for Computing Machinery (ACM). pp. iii.
384:, having been ill earlier in the year and undergone two surgeries (the conference proceedings were dedicated to his memory). He is survived by his wife Adelheid.
365:). 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
1755:
377:
258:
which added the features missing from the hardware. More than 2000 Eumel systems shipped, mostly to schools, and some to legal practices as a
1802:
655:
1797:
1531:
603:
560:
519:
339:
332:
141:
92:
1556:
1440:
1414:
1408:
1402:
1396:
590:
1595:
627:
1087:
1807:
1009:
207:
1736:
1583:
1333:
1623:
1601:
1498:
1240:
1171:
1126:
1105:
1044:
878:
676:
648:
1616:
1577:
1452:
1158:
1037:
1569:
1364:
1111:
362:
354:
145:
954:
914:
461:
239:
1765:
1280:
1211:
1164:
895:
706:
685:
320:
313:
210:, which had been launched for teaching programming in German schools. The compiler was written in ELAN.
182:
106:
622:
1792:
1787:
1744:
1589:
1251:
871:
641:
199:
88:
1703:
466:
381:
230:("Extendable Multiuser Microprocessor ELAN-System", but also a colloquial north-German term for a
1612:
1147:
830:
579:, Technical Report 872, German National Research Center for Computer Science (GMD), October 1994.
479:
409:
Proceedings of the 3rd
International Workshop on Object Orientation in Operating Systems (IWOOOS)
276:
218:
After his graduation in 1977, he remained at
Bielefeld and worked on an Elan environment for the
171:
1688:
1673:
1653:
733:
599:
556:
539:
515:
373:
974:
925:
712:
548:
505:
471:
412:
328:
275:(GMD), the German National Research Center for Computer Science, which is now a part of the
235:
178:
152:
127:
123:
1658:
1356:
751:
259:
255:
346:. The main project during his IBM time was the Saw Mill project, which attempted to turn
1698:
1663:
1185:
801:
701:
288:
280:
247:
223:
102:
407:(December 1993). "A persistent system in real use—experiences of the first 13 years".
1781:
1708:
1678:
849:
287:, Liedtke started to design a new operating system to succeed Eumel, which he called
312:
handlers), and the recursive construction of address spaces. This led to a complete
1713:
1483:
1463:
1093:
794:
788:
483:
343:
305:
279:. There, he continued his work on Eumel. In 1987, when microprocessors supporting
576:
1543:
1193:
1189:
668:
664:
300:
243:
175:
416:
1645:
1549:
1513:
865:
324:
309:
254:
processors. As these processors lacked memory protection, Eumel implemented a
251:
1693:
1668:
1432:
1302:
1292:
1200:
986:
946:
723:
231:
219:
198:
In the mid-1970s
Liedtke studied for a diploma degree in mathematics at the
32:
633:
431:
552:
510:
475:
331:
address space. In 1996, Liedtke completed a PhD on guarded page tables at
1519:
1476:
1340:
1272:
1080:
960:
888:
856:
740:
292:
203:
1635:
1562:
1525:
1445:
1422:
1391:
1370:
1345:
1318:
1311:
1220:
1001:
992:
907:
901:
432:"The impact of operating system structure on memory system performance"
57:
53:
1629:
1506:
1266:
1260:
1233:
1226:
1152:
1141:
1135:
1056:
1025:
807:
1382:
1178:
1099:
1050:
980:
967:
936:
778:
695:
347:
227:
1063:
766:
760:
316:, with many independent implementations of the same principles.
284:
637:
353:
In April 1999, he took up the System
Architecture Chair at the
1537:
1031:
838:
358:
438:. Asheville, North Carolina, United States. pp. 120–133.
242:, which started shipping () in 1980 and was later ported to
411:. Asheville, North Carolina, United States. pp. 2–11.
234:). Eumel grew into a complete multi-tasking, multi-user
577:"Page Table Structures for Fine-Grain Virtual Memory"
1644:
1611:
1462:
1431:
1381:
1355:
1301:
1291:
1250:
1210:
1125:
1072:
945:
935:
924:
777:
750:
722:
684:
675:
151:
133:
119:
98:
84:
76:
64:
39:
23:
399:
397:
436:14th ACM Symposium on Operating System Principles
372:On Sunday June 10, 2001, he died unexpectedly at
270:Gesellschaft fĂĽr Mathematik und Datenverarbeitung
430:Chen, Bradley; Bershad, Brian (December 1993).
452:(September 1996). "Toward Real Microkernels".
1756:Category: Microkernel-based operating systems
649:
291:("Liedtke's 3rd system", after Eumel and the
8:
267:
283:became widely available in the form of the
1298:
942:
932:
681:
656:
642:
634:
327:as a means to implement a sparsely-mapped
170:(26 May 1953 – 10 June 2001) was a German
31:
20:
509:
465:
623:In Memoriam Jochen Liedtke (1953 - 2001)
393:
7:
1813:Technische Universität Berlin alumni
202:. His thesis project was to build a
350:into an L4-based multi-server OS.
14:
589:Marzullo, Keith (December 2001).
380:'01 program committee meeting in
1760:
1759:
1750:
1749:
340:Thomas J. Watson Research Center
222:microprocessor. This required a
142:Thomas J. Watson Research Center
338:In the same year he joined the
628:List of Liedtke's publications
502:Improving IPC by Kernel Design
226:(environment), which he named
1:
333:Technische Universität Berlin
206:for the programming language
181:, especially in creating the
93:Technische Universität Berlin
1803:Computer systems researchers
296:deployment of at least 500.
1010:Multi-Environment Real-Time
1829:
1798:German computer scientists
417:10.1109/IWOOOS.1993.324932
1722:
454:Communications of the ACM
161:
112:
30:
16:German computer scientist
592:Operating Systems Review
541:On ÎĽ-Kernel Construction
174:, noted for his work on
630:related to microkernels
355:University of Karlsruhe
319:Liedtke also worked on
299:Both Eumel and L3 were
265:In 1984, he joined the
146:University of Karlsruhe
1766:Category: Microkernels
314:family of microkernels
268:
240:orthogonal persistence
553:10.1145/224056.224075
511:10.1145/168619.168633
476:10.1145/234215.234473
376:while returning from
321:computer architecture
183:L4 microkernel family
1745:Open-source software
1252:Java virtual machine
323:, inventing guarded
200:Bielefeld University
89:Bielefeld University
1704:Andrew S. Tanenbaum
382:Chateau Lake Louise
1808:Kernel programmers
277:Fraunhofer Society
172:computer scientist
1775:
1774:
1689:James G. Mitchell
1674:Per Brinch Hansen
1493:
1492:
1328:
1327:
1121:
1120:
817:
816:
734:Mac OS nanokernel
538:(December 1995).
500:(December 1993).
374:Frankfurt Airport
179:operating systems
165:
164:
128:Operating systems
114:Scientific career
1820:
1763:
1762:
1753:
1752:
1299:
1127:Capability-based
943:
933:
682:
658:
651:
644:
635:
610:
609:
597:
586:
580:
575:Jochen Liedtke.
573:
567:
566:
546:
532:
526:
525:
513:
494:
488:
487:
469:
446:
440:
439:
427:
421:
420:
401:
306:IBM Workplace OS
273:
236:operating system
157:Stefan Jähnichen
153:Doctoral advisor
124:Computer science
71:
49:
47:
35:
21:
1828:
1827:
1823:
1822:
1821:
1819:
1818:
1817:
1778:
1777:
1776:
1771:
1748:
1718:
1659:Thomas Bushnell
1640:
1607:
1489:
1458:
1427:
1377:
1351:
1324:
1287:
1246:
1206:
1117:
1068:
927:
920:
813:
773:
746:
718:
671:
662:
619:
614:
613:
606:
595:
588:
587:
583:
574:
570:
563:
544:
536:Liedtke, Jochen
534:
533:
529:
522:
498:Liedtke, Jochen
496:
495:
491:
450:Liedtke, Jochen
448:
447:
443:
429:
428:
424:
405:Liedtke, Jochen
403:
402:
395:
390:
260:text processing
256:virtual machine
216:
196:
191:
144:
140:
126:
107:L4 microkernels
91:
85:Alma mater
69:
60:
51:
45:
43:
26:
17:
12:
11:
5:
1826:
1824:
1816:
1815:
1810:
1805:
1800:
1795:
1790:
1780:
1779:
1773:
1772:
1770:
1769:
1740:
1732:
1730:= discontinued
1723:
1720:
1719:
1717:
1716:
1711:
1706:
1701:
1699:Richard Rashid
1696:
1691:
1686:
1684:Jochen Liedtke
1681:
1676:
1671:
1666:
1664:David Cheriton
1661:
1656:
1650:
1648:
1642:
1641:
1639:
1633:
1627:
1621:
1619:
1609:
1608:
1606:
1605:
1599:
1593:
1574:
1566:
1560:
1553:
1547:
1541:
1535:
1529:
1523:
1517:
1511:
1503:
1494:
1491:
1490:
1488:
1487:
1468:
1466:
1460:
1459:
1457:
1456:
1449:
1443:
1437:
1435:
1429:
1428:
1426:
1425:
1420:
1419:
1418:
1415:Icaros Desktop
1412:
1406:
1394:
1388:
1386:
1379:
1378:
1376:
1361:
1359:
1353:
1352:
1350:
1349:
1341:Classic Mac OS
1337:
1329:
1326:
1325:
1323:
1322:
1315:
1307:
1305:
1296:
1289:
1288:
1286:
1285:
1277:
1256:
1254:
1248:
1247:
1245:
1244:
1238:
1230:
1224:
1217:
1215:
1208:
1207:
1205:
1204:
1186:HarmonyOS NEXT
1182:
1175:
1168:
1162:
1155:
1131:
1129:
1123:
1122:
1119:
1118:
1116:
1115:
1109:
1103:
1097:
1091:
1085:
1076:
1074:
1070:
1069:
1067:
1060:
1053:
1048:
1041:
1035:
1029:
1022:
1006:
998:
997:
996:
990:
978:
971:
964:
958:
951:
949:
940:
930:
922:
921:
919:
918:
911:
908:TI-RTOS kernel
905:
899:
892:
885:
884:Off++ → Plan B
882:
875:
869:
862:
861:
860:
846:
843:
835:
827:
818:
815:
814:
812:
811:
804:
799:
798:
797:
784:
782:
775:
774:
772:
771:
756:
754:
748:
747:
745:
744:
737:
729:
727:
720:
719:
717:
716:
710:
691:
689:
679:
673:
672:
663:
661:
660:
653:
646:
638:
632:
631:
625:
618:
617:External links
615:
612:
611:
604:
581:
568:
561:
527:
520:
489:
467:10.1.1.27.8231
441:
422:
392:
391:
389:
386:
281:virtual memory
248:Motorola 68000
224:runtime system
215:
212:
195:
192:
190:
187:
168:Jochen Liedtke
163:
162:
159:
158:
155:
149:
148:
135:
131:
130:
121:
117:
116:
110:
109:
100:
99:Known for
96:
95:
86:
82:
81:
78:
74:
73:
72:(aged 48)
66:
62:
61:
52:
41:
37:
36:
28:
27:
25:Jochen Liedtke
24:
15:
13:
10:
9:
6:
4:
3:
2:
1825:
1814:
1811:
1809:
1806:
1804:
1801:
1799:
1796:
1794:
1791:
1789:
1786:
1785:
1783:
1768:
1767:
1758:
1757:
1747:
1746:
1741:
1739:
1738:
1733:
1731:
1728:
1725:
1724:
1721:
1715:
1712:
1710:
1709:Avie Tevanian
1707:
1705:
1702:
1700:
1697:
1695:
1692:
1690:
1687:
1685:
1682:
1680:
1679:Gernot Heiser
1677:
1675:
1672:
1670:
1667:
1665:
1662:
1660:
1657:
1655:
1652:
1651:
1649:
1647:
1643:
1637:
1634:
1631:
1628:
1625:
1622:
1620:
1618:
1614:
1610:
1603:
1600:
1597:
1594:
1592:
1591:
1586:
1585:
1580:
1579:
1575:
1572:
1571:
1567:
1564:
1561:
1559:
1558:
1554:
1551:
1548:
1545:
1542:
1539:
1536:
1533:
1530:
1527:
1524:
1521:
1518:
1515:
1512:
1509:
1508:
1504:
1501:
1500:
1496:
1495:
1486:
1485:
1480:
1478:
1473:
1470:
1469:
1467:
1465:
1461:
1455:
1454:
1450:
1447:
1444:
1442:
1439:
1438:
1436:
1434:
1430:
1424:
1421:
1416:
1413:
1410:
1407:
1404:
1401:
1400:
1398:
1395:
1393:
1390:
1389:
1387:
1384:
1380:
1374:
1372:
1367:
1366:
1362:
1360:
1358:
1354:
1347:
1343:
1342:
1338:
1336:
1335:
1331:
1330:
1321:
1320:
1316:
1314:
1313:
1309:
1308:
1306:
1304:
1300:
1297:
1294:
1290:
1283:
1282:
1278:
1275:
1274:
1270:^ integrates
1269:
1268:
1263:
1262:
1258:
1257:
1255:
1253:
1249:
1242:
1239:
1236:
1235:
1231:
1228:
1225:
1222:
1219:
1218:
1216:
1213:
1209:
1203:
1202:
1197:
1195:
1191:
1187:
1183:
1181:
1180:
1176:
1174:
1173:
1169:
1166:
1163:
1161:
1160:
1156:
1154:
1150:
1149:
1144:
1143:
1138:
1137:
1133:
1132:
1130:
1128:
1124:
1113:
1110:
1107:
1104:
1101:
1098:
1095:
1092:
1089:
1086:
1084:
1082:
1078:
1077:
1075:
1071:
1066:
1065:
1061:
1059:
1058:
1054:
1052:
1049:
1047:
1046:
1042:
1039:
1036:
1033:
1030:
1028:
1027:
1023:
1020:
1016:
1012:
1011:
1007:
1004:
1003:
999:
994:
991:
988:
985:
984:
982:
979:
977:
976:
972:
970:
969:
965:
962:
959:
957:
956:
952:
950:
948:
944:
941:
938:
934:
931:
929:
923:
917:
916:
912:
909:
906:
903:
900:
898:
897:
893:
891:
890:
886:
883:
881:
880:
876:
873:
870:
868:
867:
863:
858:
855:
854:
852:
851:
847:
845:Little Kernel
844:
841:
840:
836:
833:
832:
828:
825:
824:
820:
819:
810:
809:
805:
803:
800:
796:
793:
792:
791:
790:
786:
785:
783:
780:
776:
769:
768:
763:
762:
758:
757:
755:
753:
749:
743:
742:
738:
736:
735:
731:
730:
728:
725:
721:
714:
711:
708:
704:
703:
698:
697:
693:
692:
690:
687:
683:
680:
678:
674:
670:
666:
659:
654:
652:
647:
645:
640:
639:
636:
629:
626:
624:
621:
620:
616:
607:
605:1-58113-389-8
601:
594:
593:
585:
582:
578:
572:
569:
564:
562:0-89791-715-4
558:
554:
550:
543:
542:
537:
531:
528:
523:
521:0-89791-632-8
517:
512:
507:
503:
499:
493:
490:
485:
481:
477:
473:
468:
463:
459:
455:
451:
445:
442:
437:
433:
426:
423:
418:
414:
410:
406:
400:
398:
394:
387:
385:
383:
379:
375:
370:
368:
364:
360:
356:
351:
349:
345:
341:
336:
334:
330:
326:
322:
317:
315:
311:
307:
302:
297:
294:
290:
286:
282:
278:
274:
272:
271:
263:
261:
257:
253:
249:
245:
241:
237:
233:
232:likeable fool
229:
225:
221:
213:
211:
209:
205:
201:
193:
188:
186:
184:
180:
177:
173:
169:
160:
156:
154:
150:
147:
143:
139:
136:
132:
129:
125:
122:
118:
115:
111:
108:
104:
101:
97:
94:
90:
87:
83:
79:
75:
67:
63:
59:
55:
42:
38:
34:
29:
22:
19:
1764:
1754:
1742:
1734:
1729:
1726:
1714:William Wulf
1683:
1588:
1582:
1576:
1568:
1555:
1505:
1497:
1484:Workplace OS
1482:
1475:
1471:
1464:AIM alliance
1451:
1369:
1363:
1339:
1332:
1317:
1310:
1279:
1271:
1265:
1259:
1232:
1199:
1184:
1177:
1170:
1157:
1146:
1140:
1134:
1094:Nucleus RTOS
1079:
1062:
1055:
1043:
1024:
1018:
1014:
1008:
1000:
973:
966:
953:
913:
894:
887:
877:
864:
848:
837:
829:
821:
806:
787:
765:
759:
739:
732:
700:
694:
665:Microkernels
591:
584:
571:
540:
535:
530:
501:
497:
492:
460:(9): 70–77.
457:
453:
449:
444:
435:
425:
408:
404:
371:
366:
352:
344:Workplace OS
337:
318:
298:
266:
264:
217:
197:
167:
166:
134:Institutions
113:
70:(2001-06-10)
68:10 June 2001
18:
1793:2001 deaths
1788:1953 births
1654:Gordon Bell
1544:OpenComRTOS
1441:Singularity
1267:Chorus/Jazz
1190:OpenHarmony
669:nanokernels
325:page tables
301:microkernel
285:Intel 80386
244:Zilog Z8000
238:supporting
176:microkernel
77:Nationality
50:26 May 1953
1782:Categories
1646:Developers
1613:Frameworks
1550:Phantom OS
1514:ChibiOS/RT
872:µ-velOSity
866:MicroEmpix
388:References
310:page fault
262:platform.
252:Intel 8086
46:1953-05-26
1737:Real-time
1694:Ike Nassi
1669:Dan Dodge
1433:Microsoft
1303:Unix-like
1293:Macintosh
1201:HarmonyOS
1088:Integrity
987:Minix-vmd
947:Unix-like
926:Operating
724:Macintosh
462:CiteSeerX
369:in 2002.
367:Pistachio
220:Zilog Z80
214:Post grad
194:Education
1520:FreeRTOS
1477:Taligent
1409:Broadway
1403:AspireOS
1273:ChorusOS
1194:Oniro OS
1081:ChorusOS
961:GNU Hurd
915:Vanguard
857:GNU Mach
741:NuKernel
293:ALGOL 60
204:compiler
1727:Italics
1636:TI-RTOS
1584:Harmony
1563:SharpOS
1557:RC 4000
1526:HelenOS
1446:ThreadX
1423:MorphOS
1392:AmigaOS
1371:Symbian
1348:kernel)
1346:PowerPC
1334:Copland
1319:MacMach
1312:MachTen
1073:Partial
1019:Unix-RT
1002:MkLinux
993:Minix 3
939:support
928:systems
902:RTLinux
896:PowerUP
879:nucleus
677:Kernels
484:2867357
58:Germany
54:Herford
1630:Genode
1624:Cosmos
1602:Zephyr
1507:BeRTOS
1499:Amoeba
1295:hosted
1261:JavaOS
1241:Wombat
1234:REX OS
1227:PikeOS
1221:LLinux
1214:kernel
1172:Midori
1153:CapROS
1142:KeyKOS
1136:GNOSIS
1057:UNICOS
1045:Spring
1026:OS2000
975:MeikOS
808:WarpOS
795:ExecSG
726:hosted
688:family
602:
559:
518:
482:
464:
329:64-bit
189:Career
120:Fields
80:German
1578:Thoth
1532:µC/OS
1453:Verve
1385:-type
1383:Amiga
1357:Psion
1179:NLTSS
1159:Hydra
1100:NuttX
1051:Tinix
1038:Redox
981:Minix
968:Lites
937:POSIX
823:ADEOS
802:Quark
781:-type
779:Amiga
752:Psion
696:Eumel
596:(PDF)
545:(PDF)
480:S2CID
348:Linux
228:Eumel
1743:° =
1735:^ =
1617:kits
1596:VRTX
1587:^ →
1581:^ →
1570:SPIN
1472:Pink
1397:AROS
1365:EPOC
1165:seL4
1148:EROS
1112:RIOT
1064:VSTa
1015:MERT
889:Opus
850:Mach
831:EROS
789:Exec
767:EKA2
761:EKA1
713:OKL4
600:ISBN
557:ISBN
516:ISBN
378:SOSP
250:and
208:ELAN
65:Died
40:Born
1538:MQX
1106:OSE
1032:QNX
1013:^ (
955:ARX
839:K42
549:doi
506:doi
472:doi
413:doi
363:ARM
361:to
359:x86
138:GMD
1784::
1638:^°
1615:,
1604:^°
1552:^°
1534:^°
1522:^°
1516:^°
1510:^°
1481:→
1479:OS
1474:→
1399:°
1375:^°
1373:OS
1368:→
1281:JX
1276:^)
1243:^°
1223:^°
1212:L4
1198:→
1192:,
1167:^°
1151:→
1145:→
1139:→
1114:^°
1102:^°
1017:–
983:°
910:^°
853:°
834:^°
770:^°
764:→
707:L4
705:→
702:L3
699:→
686:L4
555:.
514:.
478:.
470:.
458:39
456:.
434:.
396:^
335:.
289:L3
246:,
185:.
105:,
103:L3
56:,
1632:°
1626:°
1598:^
1590:V
1573:°
1565:°
1546:^
1540:^
1528:°
1502:°
1448:^
1417:°
1411:°
1405:°
1344:(
1284:°
1264:(
1237:^
1229:^
1196:)
1188:(
1108:^
1096:^
1090:^
1083:^
1040:°
1034:^
1021:)
1005:°
995:°
989:°
963:°
904:°
874:^
859:°
842:°
826:°
715:°
709:°
667:-
657:e
650:t
643:v
608:.
565:.
551::
524:.
508::
486:.
474::
419:.
415::
48:)
44:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.