Gernot Heiser - Gernot Heiser - Wikipedia

Gernot Heiser
Gernot Heiser.jpg
Gernot Heiser
narozený1957 (věk 62–63)
NárodnostNěmec, Australan
Známý jakoOperační systémy výuka, výzkum a komercializace
OceněníČlen ACM (2014)
Vědecká kariéra
InstituceUniversity of New South Wales (Scientia Profesor a John Lions Předseda operačních systémů)
NICTA (vedoucí výzkumné skupiny)
Otevřete laboratoře jádra (Zakladatel a bývalý CTO a ředitel)
webová stránkagernot-heiser.org

Gernot Heiser (narozen 1957) je Scientia Profesor a John Lions Židle pro operační systémy na University of New South Wales (UNSW). Je také vůdcem Výzkumná skupina softwarových systémů (SSRG) na NICTA. V roce 2006 spoluzaložil Otevřete laboratoře jádra (OK Labs, získané v roce 2012 společností Obecná dynamika ) komercializovat jeho L4 mikrokernel technologie.

Život

Gernot Heiser se narodil v roce 1957. Vystudoval fyziku v němčině Univerzita ve Freiburgu, kde získal titul BSc, získal titul MSc v Kanadě Brock University a jeho doktorát ve Švýcarsku ETH Curych.

Výzkum

Heiserův výzkum se zaměřuje na mikrokernely a systémy na bázi mikrokernelů a také virtuální stroje, se zvláštním důrazem na výkon a spolehlivost.

Jeho skupina vyrobila Mungi operační systém s jednou adresou,[1]zaměřené na klastry 64bitových počítačů a implementace L4 mikrokernel velmi rychle meziprocesová komunikace.[2]Jeho Gelato @ UNSW tým byl zakládajícím členem Gelato federace, a zaměřil se na výkon a škálovatelnost Linuxu na Itanium. Stanovili teoretické a praktické limity výkonu při předávání zpráv IPC na Itanium.[3]

Od vstupu NICTA při svém vzniku v roce 2002 se jeho výzkum posunul od špičkových výpočetních platforem k vestavěným systémům se specifickým cílem zlepšit bezpečnost, bezpečnost a spolehlivost pomocí technologie mikrojáder.[4]To vedlo k vývoji nové mikrokernelyseL4, a jehoformální ověření, prohlašoval, že je vůbec prvním úplným důkazem funkční korektnosti univerzálního jádra OS.[5]

Jeho práce na virtualizaci byla motivována potřebou poskytnout na jeho mikrokernelech úplné prostředí OS. Jeho projekt Wombat sledoval přístup přijatý sL4Linux project ve společnostiDrážďany, ale byla to multi-architektura paravirtualizováno Běží na Linuxu x86, PAŽE a MIPS Hardware. Wombatova práce později vytvořila základ pro OKL4 hypervisor jeho společnosti Otevřete laboratoře jádra.

Touha omezit inženýrské úsilí paravirtualizace se týkala vývoje měkké vrstvení přístup automatizované paravirtulizace, který byl demonstrován na x86 a Itanium Hardware.[6]Jeho dílo vNUMA předvedlo hypervizor, který představuje distribuovaný systém jako multiprocesor se sdílenou pamětí jako možný model pro vícejádrové čipy s velkým počtem procesorových jader.[7]

Ovladače zařízení jsou dalším zaměřením jeho práce, včetně první ukázky ovladačů v uživatelském režimu s výkonem nad 10%,[8]přístup k vývoji ovladačů, který již od návrhu eliminuje většinu typických chyb ovladačů,[9]ovladače zařízení vyrobené ze zkušebních zařízení,[10]a ukázka proveditelnosti automatického generování ovladačů zařízení z formálních specifikací.[11]Nedávný výzkum zahrnuje také správu napájení.[12]

V minulosti také pracoval polovodič přístroj simulace, kde propagoval využití vícerozměrného modelování při optimalizaci křemík -na základě solární články.[13]

Projekty operačního systému

Výuka

Ocenění

Publikace poznámky

  1. ^ Heiser, Gernot; Elphinstone, Kevin; Vochteloo, Jerry; Russell, Stephen; Liedtke, Jochen (1998). "Mungi Single-Address-Space Operating System". Software: Praxe a zkušenosti. 28 (9): 901–928. CiteSeerX  10.1.1.146.4216. doi:10.1002 / (SICI) 1097-024X (19980725) 28: 9 <901 :: AID-SPE181> 3.0.CO; 2-7.
  2. ^ Liedtke, Jochen; Elphinstone, Kevin; Schönberg, Sebastian; Härtig, Hermann; Heiser, Gernot; Islam, Nayeem; Jaeger, Trent (květen 1997). „Dosažený výkon IPC (stále základ rozšiřitelnosti)“. 6. workshop o aktuálních tématech v operačních systémech. Cape Cod, MA, USA: IEEE. str. 28–31.
  3. ^ Gray, Charles; Chapman, Matthew; Chubb, Peter; Mosberger-Tang, David; Heiser, Gernot (duben 2005). "Itanium - příběh implementátora systému". Sborník z výroční technické konference USENIX 2005. Anaheim, CA, USA.
  4. ^ Heiser, Gernot; Elphinstone, Kevin; Kuz, Ihor; Klein, Gerwin; Petters, Stefan M. (červenec 2007). „Směrem k důvěryhodným výpočetním systémům: Posunutí mikrokernelů na další úroveň“. Recenze operačních systémů ACM. 41 (4): 3–11. doi:10.1145/1278901.1278904.
  5. ^ Klein, Gerwin; Elphinstone, Kevin; Heiser, Gernot; Andronick, červen; Kohout, David; Derrin, Philip; Elkaduwe, Dhammika; Engelhardt, Kai; Kolanski, Rafal; Norrish, Michael; Sewell, Thomas; Tuch, Harvey; Winwood, Simon (říjen 2009). "seL4: Formální ověření jádra OS" (PDF). 22. sympozium ACM o zásadách operačního systému. Big Sky, MT, USA.
  6. ^ LeVasseur, Joshua; Uhlig, Volkmar; Yang, Yaowei; Chapman, Matthew; Chubb, Peter; Leslie, Ben; Heiser, Gernot (srpen 2008). "Pre-virtualizace: Měkké vrstvení pro virtuální stroje". 13. konference architektury architektury počítačových systémů IEEE Asia-Pacific. Hsinchu, Tchaj-wan.
  7. ^ Chapman, Matthew; Heiser, Gernot (červen 2009). "vNUMA: Virtuální multiprocesor sdílené paměti". Výroční technická konference USENIX. San Diego, CA, USA.
  8. ^ Leslie, Ben; Chubb, Peter; Fitzroy-Dale, Nicholas; Götz, Stefan; Gray, Charles; Macpherson, Luke; Potts, Daniel; Shen, Yueting (Rita); Elphinstone, Kevin; Heiser, Gernot (září 2005). "Ovladače zařízení na úrovni uživatele: dosažený výkon". Journal of Computer Science and Technology. 20 (5): 654–664. CiteSeerX  10.1.1.59.6766. doi:10.1007 / s11390-005-0654-4.
  9. ^ Ryzhyk, Leonid; Chubb, Peter; Kuz, Ihor; Heiser, Gernot (duben 2009). "Dingo: Zkrocení ovladačů zařízení". 4. konference EuroSys. Norimberk, Německo.
  10. ^ Ryzhyk, Leonid; Keys, John; Mirla, Balachandra; Raghunath, Arun; Vij, Mona; Heiser, Gernot (březen 2011). "Vylepšená spolehlivost ovladače zařízení pomocí opětovného použití ověření hardwaru". 16. mezinárodní konference o architektonické podpoře programovacích jazyků a operačních systémů. Newport Beach, CA, USA.
  11. ^ Ryzhyk, Leonid; Chubb, Peter; Kuz, Ihor; Le Sueur, Etienne; Heiser, Gernot (říjen 2009). "Automatická syntéza ovladačů zařízení s Termite" (PDF). 22. sympozium ACM o zásadách operačního systému. Big Sky, MT, USA.
  12. ^ Snowdon, David C .; Le Sueur, Etienne; Petters, Stefan M .; Heiser, Gernot (duben 2009). „Koala: Platforma pro správu napájení na úrovni OS“. 4. konference EuroSys. Norimberk, Německo.
  13. ^ Aberle, Armin G; Altermatt, Pietro P .; Heiser, Gernot; Robinson, Stephen J .; Wang, Aihua; Zhao, Jianhua; Krumbein, Ulrich; Green, Martin A. (1995). „Omezení ztrátových mechanismů ve 23% účinných křemíkových solárních článcích“. Journal of Applied Physics. 77 (7): 3491–3504. doi:10.1063/1.358643.
  14. ^ [1]
  15. ^ Výzkumník ACS ICT roku 2015
  16. ^ GERNOT HEISER ACM Fellows 2014

externí odkazy