Liedtke, Jochen

Jochen Liedtke ( tyska:  Jochen Liedtke ; 26 maj 1953 – 10 juni 2001) var en tysk datavetare känd för sitt arbete med mikrokärnor , i synnerhet skapandet av L4-familjen av mikrokärnor .

Biografi

I mitten av 1970-talet studerade Liedtke matematik vid universitetet i Bielefeld . Målet med hans examensprojekt var att skapa en kompilator för programmeringsspråket ELAN , som användes för att lära ut programmering i tyska skolor; kompilatorn skrevs i själva ELAN. Efter examen 1977 stannade han vid universitetet i Bielefeld och arbetade på ELAN-miljön för Zilog Z80- mikroprocessorn . Detta krävde en speciell exekveringsmiljö , som han döpte till Eumel ("Extendable Multiuser Microprocessor ELAN-System", vilket också är en vardagligt nordtysk term för en dåre ). Eumel växte till ett fullfjädrat multi-tasking, multi-användar operativsystem som stödde ortogonal persistens , som började spridas 1980 och senare portades till Zilog Z8000 , Motorola 68000 och Intel 8086 processorer . Dessa processorer hade inte minnesskydd, så Eumel använde en virtuell maskin som lade till de saknade funktionerna. [1] Mer än 2 000 Eumel-baserade system har skickats ut i första hand till skolor och juridiskt arbete som ordbehandlingsplattform.

1984 gick Liedtke med i GMD ( Gesellschaft für Mathematik und Datenverarbeitung , tyska nationella forskningscentret för matematik och datavetenskap, nu en del av Fraunhofer Society ), där han fortsatte sitt arbete med Eumel. 1987, när mikroprocessorer som stöder virtuellt minne blev allmänt tillgängliga i form av Intel 80386 , började Liedtke utveckla ett nytt Eumel-operativsystem som han kallade L3 ("Liedtkes tredje system", efter Eumel och Algol 60 -tolken , som han hade skrivet i mellanstadiet). skolan). L3 är designad från grunden för att uppnå bästa prestanda genom att dra fördel av funktionerna i dagens senaste processorer. Det var för det mesta bakåtkompatibelt med Eumel, vilket återanvänder ett redan existerande ekosystem. L3 började distribueras 1989, med minst 500 exemplar skickade ut. [ett]

Eumel och L3 var mikrokärnsystem i en populär 1980-talsdesign. Mikrokärnor fick dock en dålig rap i början av 1990-talet eftersom system som byggdes ovanpå dem underpresterade, vilket resulterade i en förlust på miljarder dollar i IBM Workplace OS . Det hävdades att orsaken låg i operativsystemets arkitektur, på grund av användningen av mikrokärnor. [2] Liedtke noterade dock att meddelandeöverföringsoperationen (IPC) , som är avgörande för mikrokärnans prestanda, var långsam i alla befintliga mikrokärnor, inklusive hans eget L3-system. [3] Hans slutsats var att en radikal omstrukturering krävdes. Han gjorde detta genom att skriva om L3 från början, avsevärt förenkla kärnan och påskynda IPC-mekanismerna med en storleksordning. [4] Den resulterande kärnan döptes senare om till "L4". Begreppsmässigt var det nya med L4 dess beroende av externa personsökare (hanterare för sidundantag) samt dess rekursiva konstruktion av adressutrymmen. [5] Detta har lett till skapandet av en hel familj av mikrokärnor, med många oberoende implementeringar av samma principer.

Liedtke arbetade också med datorarkitektur och uppfann säkra sidtabeller som ett sätt att implementera ett glest mappat 64-bitars adressutrymme. [6] 1996 avslutade Liedtke sin doktorsavhandling om säkra sidtabeller vid Tekniska universitetet i Berlin .

Samma år gick han med i Thomas J. Watson Research Center , där han fortsatte arbetet med L4 (kallas "Lava Nucleus" eller "LN" av politiska skäl; mikrokärnor var impopulära hos IBM efter misslyckandet med Workplace OS). Huvudprojektet under hans tid på IBM hette Saw Mill, han försökte förvandla Linux till ett multi-server operativsystem baserat på L4.

I april 1999 blev han ordförande för systemarkitektur vid universitetet i Karlsruhe . I Karlsruhe fortsatte han att samarbeta med IBM om sågverket, men samtidigt arbetade han på en ny generation L4:or ("Version 4"). Flera experimentella kärnor utvecklades under denna tid, inklusive Hazelnut, den första L4-kärnan som portades (istället för omimplementerad) till en annan arkitektur (från x86 till ARM ). Arbetet med den nya versionen slutfördes efter Liedtkes död av hans elever Volkmar Uhlig, Uwe Dannowski och Espen Skoglund. Den släpptes under namnet Pistachio 2002.

Anteckningar

1. ↑ 1 2 Liedtke, Jochen (december 1993). "Ett beständigt system i verklig användning - erfarenheter från de första 13 åren" . Proceedings of the 3rd International Workshop on Object Orientation in Operating Systems (IWOOOS) . Asheville, NC, USA. pp. 2-11. Arkiverad från originalet 2020-09-09. Utfasad parameter används |deadlink=( hjälp )
2. ↑ Chen, Bradley; Bershad, Brian (december 1993). "Inverkan av operativsystemets struktur på minnessystemets prestanda" . 14:e ACM-symposiet om operativsystemsprinciper . Asheville, NC, USA. pp. 120-133. Arkiverad från originalet 2020-09-09. Utfasad parameter används |deadlink=( hjälp )
3. ↑ Liedtke, Jochen Mot riktiga mikrokärnor  (engelska)  // kommunikation från ACM  : tidskrift. - 1996. - September ( vol. 39 , nr 9 ). - S. 70-77 .
4. ↑ Liedtke, Jochen (december 1993). Förbättring av IPC av Kernel Design . Handlingar från det fjortonde ACM-symposiet om operativsystemsprinciper. SOSP '93. New York, NY, USA: Association for Computing Machinery (ACM). pp. 175-188. DOI : 10.1145/168619.168633 . ISBN  0-89791-632-8 .
5. ↑ Liedtke, J. (december 1995). Om µ-Kernel Construction . Handlingar från det femtonde ACM-symposiet om operativsystemsprinciper. SOSP '95. New York, NY, USA: Association for Computing Machinery (ACM). pp. 237-250. DOI : 10.1145/224056.224075 . ISBN  0-89791-715-4 .
6. ↑ Jochen Liedtke. "Page Table Structures for Fine-Grain Virtual Memory" Arkiverad 12 november 2007 på Wayback Machine , teknisk rapport 872, German National Research Center for Computer Science (GMD), oktober 1994.

Länkar

• In Memoriam Jochen Liedtke (1953-2001)
• Lista över Liedtkes publikationer relaterade till mikrokärnor

I bibliografiska kataloger	VIAF : 4459148947814854950008 WorldCat VIAF : 4459148947814854950008