Liedtke, Jochen

Jochen Liedtke ( germană:  Jochen Liedtke ; 26 mai 1953 – 10 iunie 2001) a fost un informatician german cunoscut pentru munca sa cu microkernel -uri , în special pentru crearea familiei L4 de microkernel-uri .

Biografie

La mijlocul anilor 1970, Liedtke a studiat matematica la Universitatea din Bielefeld . Scopul proiectului său de absolvire a fost de a crea un compilator pentru limbajul de programare ELAN , care a fost folosit pentru a preda programarea în școlile germane; compilatorul a fost scris în ELAN însuși. După ce a absolvit în 1977, a rămas la Universitatea din Bielefeld și a lucrat la mediul ELAN pentru microprocesorul Zilog Z80 . Acest lucru a necesitat un mediu de execuție special , pe care l-a numit Eumel ("Extendable Multiuser Microprocessor ELAN-System", care este, de asemenea, un termen colocvial din Germania de Nord pentru un prost ). Eumel a devenit un sistem de operare cu drepturi depline, multitasking, multi-utilizator , care a susținut persistența ortogonală , care a început să prolifereze în 1980 și a fost ulterior portat pe procesoarele Zilog Z8000 , Motorola 68000 și Intel 8086 . Aceste procesoare nu aveau protecție de memorie, așa că Eumel a folosit o mașină virtuală , care a adăugat caracteristicile lipsă. [1] Peste 2.000 de sisteme bazate pe Eumel au fost trimise în principal școlilor și lucrărilor juridice ca platformă de procesare a textului.

În 1984, Liedtke s-a alăturat GMD ( Gesellschaft für Mathematik und Datenverarbeitung , Centrul Național de Cercetare pentru Matematică și Informatică din Germania, acum parte a Societății Fraunhofer ), unde și-a continuat munca la Eumel. În 1987, când microprocesoarele care suportă memoria virtuală au devenit disponibile pe scară largă sub forma Intel 80386 , Liedtke a început dezvoltarea unui nou sistem de operare Eumel pe care l-a numit L3 ("Al treilea sistem al lui Liedtke", după Eumel și interpretul Algol 60 , pe care îl avea. scris la gimnaziu).coala). L3 este proiectat de la zero pentru a obține cele mai bune performanțe profitând de caracteristicile celor mai recente procesoare ale zilei. A fost, în cea mai mare parte, compatibil cu Eumel, reutilizand astfel un ecosistem deja existent. L3 a început distribuția în 1989, cu cel puțin 500 de exemplare trimise. [unu]

Eumel și L3 au fost sisteme microkernel într-un design popular din anii 1980. Cu toate acestea, microkernel-urile au avut o reputație proastă la începutul anilor 1990, deoarece sistemele construite pe deasupra lor aveau performanțe slabe, ceea ce a dus la o pierdere de miliarde de dolari în IBM Workplace OS . S-a susținut că motivul a fost în arhitectura sistemului de operare, din cauza utilizării microkernel-urilor. [2] Liedtke, totuși, a remarcat că operațiunea de transmitere a mesajelor (IPC) , care este critică pentru performanța microkernel-ului, a fost lentă în toate microkernel-urile existente, inclusiv în propriul său sistem L3. [3] Concluzia sa a fost că era necesară o restructurare radicală. El a făcut acest lucru prin rescrierea L3 de la zero, simplificând foarte mult nucleul și accelerând mecanismele IPC cu un ordin de mărime. [4] Nucleul rezultat a fost mai târziu redenumit „L4”. Din punct de vedere conceptual, noutatea L4 a fost dependența sa de pagere externe (gestionare de excepții de pagină), precum și construcția recursivă a spațiilor de adrese. [5] Acest lucru a condus la crearea unei întregi familii de microkernel-uri, cu multe implementări independente ale acelorași principii.

Liedtke a lucrat, de asemenea, la arhitectura computerelor, inventând tabele de pagini securizate ca mijloc de implementare a unui spațiu de adrese pe 64 de biți cu cartografiere redusă. [6] În 1996, Liedtke și-a finalizat teza de doctorat pe tabele de pagini securizate la Universitatea Tehnică din Berlin .

În același an, s-a alăturat Centrului de Cercetare Thomas J. Watson , unde a continuat să lucreze la L4 (numit „Lava Nucleus” sau „LN” din motive politice; microkernel-urile au fost nepopulare la IBM după eșecul Workplace OS). Proiectul principal din timpul său la IBM se numea Saw Mill, el încerca să transforme Linux într-un sistem de operare multi-server bazat pe L4.

În aprilie 1999, a devenit catedră de arhitectură de sisteme la Universitatea din Karlsruhe . În Karlsruhe a continuat să colaboreze cu IBM la fabrica de fierăstrău, dar în același timp lucra la o nouă generație de L4 („Versiunea 4”). Mai multe nuclee experimentale au fost dezvoltate în acest timp, inclusiv Hazelnut, primul nucleu L4 care a fost portat (mai degrabă decât reimplementat) la o arhitectură diferită (de la x86 la ARM ). Lucrările la noua versiune au fost finalizate după moartea lui Liedtke de către studenții săi Volkmar Uhlig, Uwe Dannowski și Espen Skoglund. A fost lansat sub numele de Pistachio în 2002.

Note

1. ↑ 1 2 Liedtke, Jochen (decembrie 1993). „Un sistem persistent în uz real – experiențe din primii 13 ani” . Proceedings of the 3rd International Workshop on Object Orientation in Operating Systems (IWOOOS) . Asheville, NC, SUA. pp. 2-11. Arhivat din original pe 09.09.2020. Parametrul depreciat folosit |deadlink=( ajutor )
2. ↑ Chen, Bradley; Bershad, Brian (decembrie 1993). „Impactul structurii sistemului de operare asupra performanței sistemului de memorie” . Al 14-lea Simpozion ACM privind principiile sistemului de operare . Asheville, NC, SUA. pp. 120-133. Arhivat din original pe 09.09.2020. Parametrul depreciat folosit |deadlink=( ajutor )
3. ↑ Liedtke, Jochen Toward Real Microkernels  (engleză)  // comunicări ale ACM  : jurnal. - 1996. - Septembrie ( vol. 39 , nr. 9 ). - P. 70-77 .
4. ↑ Liedtke, Jochen (decembrie 1993). Îmbunătățirea IPC prin Kernel Design . Lucrările celui de-al Paisprezecelea Simpozion ACM privind principiile sistemelor de operare. SOSP '93. New York, NY, SUA: Asociația pentru mașini de calcul (ACM). pp. 175-188. DOI : 10.1145/168619.168633 . ISBN  0-89791-632-8 .
5. ↑ Liedtke, J. (decembrie 1995). Despre construcția µ-Kernel . Lucrările celui de-al cincisprezecelea simpozion ACM privind principiile sistemelor de operare. SOSP '95. New York, NY, SUA: Asociația pentru mașini de calcul (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” Arhivat la 12 noiembrie 2007 la Wayback Machine , Technical Report 872, Centrul Național de Cercetare pentru Informatică (GMD), octombrie 1994.

Link -uri

• In memoriam Jochen Liedtke (1953-2001)
• Lista publicațiilor lui Liedtke legate de microkernel- uri

În cataloagele bibliografice	VIAF : 4459148947814854950008 WorldCat VIAF : 4459148947814854950008