Liedtke, Jochen

Jochen Liedtke ( tysk:  Jochen Liedtke ; 26. maj 1953 – 10. juni 2001) var en tysk datamatiker kendt for sit arbejde med mikrokerner , især skabelsen af ​​L4-familien af ​​mikrokerner .

Biografi

I midten af ​​1970'erne studerede Liedtke matematik ved universitetet i Bielefeld . Målet med hans afgangsprojekt var at skabe en compiler til programmeringssproget ELAN , som blev brugt til at undervise i programmering på tyske skoler; compileren blev skrevet i selve ELAN. Efter sin eksamen i 1977 blev han på universitetet i Bielefeld og arbejdede på ELAN-miljøet for Zilog Z80- mikroprocessoren . Dette krævede et særligt eksekveringsmiljø , som han kaldte Eumel ("Udvidbar Multiuser Microprocessor ELAN-System", som også er en dagligdags nordtysk betegnelse for et fjols ). Eumel voksede til et fuldgyldigt multi-tasking, multi-user operativsystem, der understøttede ortogonal persistens , som begyndte at spredes i 1980 og senere blev porteret til Zilog Z8000 , Motorola 68000 og Intel 8086 processorer . Disse processorer havde ikke hukommelsesbeskyttelse, så Eumel brugte en virtuel maskine , som tilføjede de manglende funktioner. [1] Mere end 2.000 Eumel-baserede systemer er blevet sendt ud primært til skoler og juridisk arbejde som tekstbehandlingsplatform.

I 1984 sluttede Liedtke sig til GMD ( Gesellschaft für Mathematik und Datenverarbeitung , tysk nationalt forskningscenter for matematik og datalogi, nu en del af Fraunhofer Society ), hvor han fortsatte sit arbejde med Eumel. I 1987, da mikroprocessorer, der understøtter virtuel hukommelse, blev bredt tilgængelige i form af Intel 80386 , begyndte Liedtke udviklingen af ​​et nyt Eumel-operativsystem, som han kaldte L3 ("Liedtkes tredje system", efter Eumel og Algol 60 -fortolkeren , som han havde skrevet i mellemskolen). skole). L3 er designet fra bunden til at opnå den bedste ydeevne ved at drage fordel af funktionerne i dagens nyeste processorer. Det var for det meste bagudkompatibelt med Eumel og genbrugte således et allerede eksisterende økosystem. L3 begyndte distributionen i 1989, med mindst 500 udsendte eksemplarer. [en]

Eumel og L3 var mikrokernesystemer i et populært 1980'er-design. Mikrokerner fik dog et dårligt rap i begyndelsen af ​​1990'erne, fordi systemer, der var bygget oven på dem, ikke præsterede, hvilket resulterede i et tab på milliarder af dollars i IBM Workplace OS . Det blev hævdet, at årsagen var i operativsystemets arkitektur på grund af brugen af ​​mikrokerner. [2] Liedtke bemærkede dog, at beskedoverførselsoperationen (IPC) , som er afgørende for mikrokernens ydeevne, var langsom i alle eksisterende mikrokerner, inklusive hans eget L3-system. [3] Hans konklusion var, at en radikal omstrukturering var påkrævet. Han gjorde dette ved at omskrive L3 fra bunden, i høj grad forenkle kernen og fremskynde IPC-mekanismerne med en størrelsesorden. [4] Den resulterende kerne blev senere omdøbt til "L4". Begrebsmæssigt var det nye ved L4 dens afhængighed af eksterne personsøgere (side-undtagelsesbehandlere) samt dens rekursive konstruktion af adresserum. [5] Dette har ført til skabelsen af ​​en hel familie af mikrokerner, med mange uafhængige implementeringer af de samme principper.

Liedtke arbejdede også på computerarkitektur og opfandt sikre sidetabeller som et middel til at implementere et sparsomt kortlagt 64-bit adresserum. [6] I 1996 færdiggjorde Liedtke sin doktorafhandling om sikre sidetabeller ved det tekniske universitet i Berlin .

Samme år sluttede han sig til Thomas J. Watson Research Center , hvor han fortsatte arbejdet på L4 (kaldet "Lava Nucleus" eller "LN" af politiske årsager; mikrokerner var upopulære hos IBM efter fejlen i Workplace OS). Hovedprojektet under hans tid hos IBM hed Saw Mill, han forsøgte at gøre Linux til et multi-server operativsystem baseret på L4.

I april 1999 blev han formand for systemarkitektur ved universitetet i Karlsruhe . I Karlsruhe fortsatte han med at samarbejde med IBM om savværket, men samtidig arbejdede han på en ny generation af L4'ere ("Version 4"). Adskillige eksperimentelle kerner blev udviklet i løbet af denne tid, inklusive Hazelnut, den første L4-kerne, der blev porteret (i stedet for re-implementeret) til en anden arkitektur (fra x86 til ARM ). Arbejdet med den nye version blev afsluttet efter Liedtkes død af hans elever Volkmar Uhlig, Uwe Dannowski og Espen Skoglund. Den blev udgivet under navnet Pistachio i 2002.

Noter

1. ↑ 1 2 Liedtke, Jochen (december 1993). "Et vedvarende system i virkelig brug - erfaringer fra de første 13 år" . Proceedings of the 3rd International Workshop on Object Orientation in Operating Systems (IWOOOS) . Asheville, NC, USA. pp. 2-11. Arkiveret fra originalen 2020-09-09. Forældet parameter brugt |deadlink=( hjælp )
2. ↑ Chen, Bradley; Bershad, Brian (december 1993). "Betydningen af ​​operativsystemets struktur på hukommelsessystemets ydeevne" . 14. ACM-symposium om operativsystemprincipper . Asheville, NC, USA. pp. 120-133. Arkiveret fra originalen 2020-09-09. Forældet parameter brugt |deadlink=( hjælp )
3. ↑ Liedtke, Jochen Mod rigtige mikrokerner  (engelsk)  // kommunikation fra ACM  : tidsskrift. - 1996. - September ( bind 39 , nr. 9 ). - S. 70-77 .
4. ↑ Liedtke, Jochen (december 1993). Forbedring af IPC af 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 .
5. ↑ Liedtke, J. (december 1995). Om µ-kernekonstruktion . Proceedings of the Femtende 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 .
6. ↑ Jochen Liedtke. "Page Table Structures for Fine-Grain Virtual Memory" Arkiveret 12. november 2007 på Wayback Machine , Technical Report 872, German National Research Center for Computer Science (GMD), oktober 1994.

Links

• In Memoriam Jochen Liedtke (1953-2001)
• Liste over Liedtkes publikationer relateret til mikrokerner

I bibliografiske kataloger	VIAF : 4459148947814854950008 WorldCat VIAF : 4459148947814854950008