Gernot Heiser - Gernot Heiser - Wikipedia
Gernot Heiser | |
---|---|
![]() Gernot Heiser | |
narozený | 1957 (věk 62–63) |
Národnost | Němec, Australan |
Známý jako | Operační systémy výuka, výzkum a komercializace |
Ocenění | Člen ACM (2014) |
Vědecká kariéra | |
Instituce | University 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ánka | gernot-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
- seL4 Mikrokernel 3. generace
- L4. Ověřeno formální ověření seL4
- Dingo a Termit rámce pro spolehlivé ovladače zařízení
- Koala rámec pro správu energie na úrovni OS
- vNUMA, hypervisor poskytující sdílenou virtuální paměť v klastru
- Mungi a Leguán operační systémy s jedním adresovým prostorem
- Wombat přenosný Linux na L4 mikrokernel
- Gelato @ UNSW výkon a škálovatelnost Linux na Itanium
- L4 / MIPS 64bitový mikrokernel L4 na architektuře MIPS
Výuka
- Pokročilé operační systémy ve společnosti UNSW
Ocenění
- Australian Academy of Technology and Engineering (ATSE) Fellow (2016). [14]
- IEEE Fellow (2016) „Za příspěvky k zabezpečení a ochraně operačních systémů“.
- ACS Výzkumník roku v oblasti ICT (2015). [15]
- ACM Fellow (2014) „Za příspěvky prokazující, že prokazatelně správné operační systémy jsou proveditelné a vhodné pro skutečné použití“. [16]
- Scientia profesor z University of New South Wales
- 2010 Innovation Hero z Warrenovo centrum pro pokročilé inženýrství na University of Sydney
- NSW Scientist of the Year 2009 Kategorie Inženýrství, matematika a počítačové vědy
- Nejlepší papír na 22. sympoziu ACM SIGOPS o principech operačních systémů, 2009
- Nejlepší příspěvek na 13. konferenci IEEE Asia-Pacific Computer Systems Architecture Conference, 2008
- Nejlepší studentský příspěvek na výroční technické konferenci USENIX 2005
Publikace poznámky
- ^ 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.
- ^ 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.
- ^ 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.
- ^ 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.
- ^ 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.
- ^ 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.
- ^ Chapman, Matthew; Heiser, Gernot (červen 2009). "vNUMA: Virtuální multiprocesor sdílené paměti". Výroční technická konference USENIX. San Diego, CA, USA.
- ^ 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.
- ^ Ryzhyk, Leonid; Chubb, Peter; Kuz, Ihor; Heiser, Gernot (duben 2009). "Dingo: Zkrocení ovladačů zařízení". 4. konference EuroSys. Norimberk, Německo.
- ^ 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.
- ^ 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.
- ^ 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.
- ^ 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.
- ^ [1]
- ^ Výzkumník ACS ICT roku 2015
- ^ GERNOT HEISER ACM Fellows 2014
externí odkazy
- Webová stránka Gernota Heisera
- Blog Gernota Heisera
- Bio na CSIRO s úplným seznamem publikací