Gernot Xayzer - Gernot Heiser - Wikipedia

Gernot Xayzer
Gernot Heiser.jpg
Gernot Xayzer
Tug'ilgan1957 yil (62-63 yosh)
MillatiNemis, Avstraliyalik
Ma'lumOperatsion tizimlar o'qitish, tadqiqot va tijoratlashtirish
MukofotlarACM Fellow (2014)
Ilmiy martaba
InstitutlarYangi Janubiy Uels universiteti (Scientia Professor va Jon Arslonlar Operatsion tizimlar kafedrasi)
NICTA (tadqiqot guruhi rahbari)
Kernel laboratoriyalarini oching (Asoschisi va sobiq CTO va direktori)
Veb-saytgernot-heiser.org

Gernot Xayzer (1957 yilda tug'ilgan) - Scientia Professor va Jon Arslonlar Kafedra operatsion tizimlar da Yangi Janubiy Uels universiteti (UNSW). Shuningdek, u Dasturiy ta'minot tizimlarini tadqiq qilish guruhi (SSRG) da NICTA. 2006 yilda u asos solgan Kernel laboratoriyalarini oching (OK laboratoriyalari, 2012 yilda sotib olingan Umumiy dinamikasi ) uni tijoratlashtirish L4 mikrokernel texnologiya.

Hayot

Gernot Xayzer 1957 yilda tug'ilgan. U nemis tilida fizika bo'yicha o'qigan Frayburg universiteti, qaerda u o'zining bakalavr darajasini olgan bo'lsa, Kanadada magistr darajasini olishga muvaffaq bo'ldi Brok universiteti va Shveytsariyada doktorlik dissertatsiyasi ETH Tsyurix.

Tadqiqot

Xayzerning tadqiqotlari diqqat markazida mikrokernellar va mikrokernelga asoslangan tizimlar, shuningdek virtual mashinalar, ishlash va ishonchlilikka alohida urg'u berilgan.

Uning guruhi ishlab chiqargan Qo'ziqorinlar bitta manzilli maydon operatsion tizimi,[1]64-bitli kompyuterlar klasterlariga va L4 mikrokernel juda tez jarayonlararo aloqa.[2]Uning Gelato @ UNSW jamoa asoschilaridan biri edi Gelato federatsiyasi va Itanium-da Linuxning ishlash ko'rsatkichlari va miqyosliligiga e'tibor qaratdi. Ular xabarlarni uzatishning nazariy va amaliy ishlash chegaralarini o'rnatdilar IPC Itaniumda.[3]

Qo'shilganidan beri NICTA 2002 yilda yaratilgandan so'ng, uning tadqiqotlari yuqori darajadagi hisoblash platformalaridan ko'milgan tizimlarga qarab o'zgarib bordi, bu esa mikrokernel texnologiyasidan foydalangan holda xavfsizlik, xavfsizlik va ishonchlilikni yaxshilashga qaratilgan edi.[4]Bu yangi mikrokernelning rivojlanishiga olib keldiseL4 va uningrasmiy tekshirish, umumiy maqsadli OS yadrosining funktsional to'g'riligining birinchi to'liq isboti deb da'vo qildi.[5]

Virtualizatsiya bo'yicha ishi uning mikrokernellarida to'liq OS muhitini ta'minlash zarurati bilan bog'liq edi. Uning Wombat loyihasi ushbu yo'nalishga amal qildiL4Linux loyihaDrezden, ammo me'morchilik edi paravirtualizatsiya qilingan Linux ishlaydi x86, ARM va MIPS apparat. Wombat ishi keyinchalik uchun asos yaratdi OKL4 uning kompaniyasining gipervizeri Kernel laboratoriyalarini oching.

Paravirtuallashtirishning muhandislik harakatlarini kamaytirish istagi ularning rivojlanishiga olib keldi yumshoq qatlam x86 da ko'rsatilgan avtomatlashtirilgan paravirtulizatsiyaning yondashuvi Itanium apparat.[6]Uning vNUMA ishi ko'plab protsessor yadrolari bilan ko'p yadroli mikrosxemalar uchun mumkin bo'lgan model sifatida tarqatilgan tizimni eskirgan xotira multiprotsessori sifatida taqdim etuvchi gipervizorni namoyish etdi.[7]

Qurilma drayverlari uning ishining yana bir yo'nalishi, shu jumladan, foydalanuvchi rejimi haydovchilarining birinchi namoyishidir, bu ish haqi 10% ga oshadi,[8]haydovchilarni ishlab chiqishga yondashuv, bu haydovchilarning odatiy xatolarining aksariyatini dizayni bo'yicha yo'q qiladi,[9]qurilma sinov dastgohlaridan ishlab chiqarilgan qurilma drayverlari,[10]Qurilma drayverlarini rasmiy xususiyatlardan avtomatik ravishda ishlab chiqarishning maqsadga muvofiqligini namoyish etish.[11]Yaqinda o'tkazilgan tadqiqotlar, shuningdek, quvvatni boshqarishni o'z ichiga oladi.[12]

Ilgari u ham ishlagan yarim o'tkazgich qurilma simulyatsiya, u erda optimallashtirishda ko'p o'lchovli modellashtirishga kashshof bo'lgan kremniy asoslangan quyosh xujayralari.[13]

Operatsion tizim loyihalari

O'qitish

Mukofotlar

Izoh nashrlari

  1. ^ Xayser, Gernot; Elfinston, Kevin; Vochteloo, Jerri; Rassel, Stiven; Lidke, Xoxen (1998). "Mungi yagona manzilli-kosmik operatsion tizimi". Dasturiy ta'minot: Amaliyot va tajriba. 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. ^ Lidke, Xoxen; Elfinston, Kevin; Shonberg, Sebastyan; Härtig, Hermann; Xayser, Gernot; Islom, Nayim; Jaeger, Trent (1997 yil may). "IPC ko'rsatkichlariga erishildi (hali ham kengayish uchun asos)". Operatsion tizimlardagi dolzarb mavzular bo'yicha 6-seminar. Keyp Kod, MA, AQSh: IEEE. 28-31 bet.
  3. ^ Grey, Charlz; Chapman, Metyu; Chubb, Piter; Mosberger-Tang, Devid; Heiser, Gernot (2005 yil aprel). "Itanium - tizimni amalga oshiruvchi ertak". 2005 yil USENIX yillik texnik konferentsiyasi materiallari. Anaxaym, Kaliforniya, AQSh.
  4. ^ Xayser, Gernot; Elfinston, Kevin; Kuz, Ixor; Klayn, Gervin; Petters, Stefan M. (2007 yil iyul). "Ishonchli hisoblash tizimlariga: Mikroernellarni keyingi bosqichga ko'tarish". ACM operatsion tizimlarini ko'rib chiqish. 41 (4): 3–11. doi:10.1145/1278901.1278904.
  5. ^ Klayn, Gervin; Elfinston, Kevin; Xayser, Gernot; Andronik, iyun; Xo'roz, Devid; Derrin, Filipp; Elkaduve, Dammika; Engelxardt, Kay; Kolanski, Rafal; Norris, Maykl; Syuell, Tomas; Tuch, Xarvi; Uinvud, Simon (oktyabr 2009). "seL4: OS yadrosining rasmiy tekshiruvi" (PDF). Operatsion tizim tamoyillari bo'yicha 22-ACM simpoziumi. Big Sky, MT, AQSh.
  6. ^ LeVasser, Joshua; Uhlig, Volkmar; Yang, Yaowei; Chapman, Metyu; Chubb, Piter; Lesli, Ben; Heiser, Gernot (2008 yil avgust). "Virtualizatsiya oldidan: virtual mashinalar uchun yumshoq qatlamlar". 13-IEEE Osiyo-Tinch okeani kompyuter tizimlari arxitekturasi konferentsiyasi. Sinchu, Tayvan.
  7. ^ Chapman, Metyu; Heiser, Gernot (2009 yil iyun). "vNUMA: Virtual umumiy xotira multiprotsessori". USENIX yillik texnik konferentsiyasi. San-Diego, Kaliforniya, AQSh.
  8. ^ Lesli, Ben; Chubb, Piter; Fitsroy-Deyl, Nikolay; Gots, Stefan; Grey, Charlz; Makferson, Luqo; Potts, Doniyor; Shen, Yueting (Rita); Elfinston, Kevin; Heiser, Gernot (2005 yil sentyabr). "Foydalanuvchi darajasidagi qurilma drayverlari: erishilgan ishlash". Kompyuter fanlari va texnologiyalar jurnali. 20 (5): 654–664. CiteSeerX  10.1.1.59.6766. doi:10.1007 / s11390-005-0654-4.
  9. ^ Ryzhyk, Leonid; Chubb, Piter; Kuz, Ixor; Heiser, Gernot (2009 yil aprel). "Dingo: Qurilma drayverlarini taminglash". 4-chi EuroSys konferentsiyasi. Nürnberg, Germaniya.
  10. ^ Ryzhyk, Leonid; Keys, Jon; Mirla, Balachandra; Ragunat, Arun; Vij, Mona; Heiser, Gernot (2011 yil mart). "Uskunani tekshirishni qayta ishlatish orqali qurilma drayverining ishonchliligi yaxshilandi". Dasturlash tillari va operatsion tizimlarini me'moriy qo'llab-quvvatlash bo'yicha 16-xalqaro konferentsiya. Newport Beach, Kaliforniya, AQSh.
  11. ^ Ryzhyk, Leonid; Chubb, Piter; Kuz, Ixor; Le Syur, Etyen; Heiser, Gernot (oktyabr, 2009). "Termite bilan avtomatik qurilma drayveri sintezi" (PDF). Operatsion tizim tamoyillari bo'yicha 22-ACM simpoziumi. Big Sky, MT, AQSh.
  12. ^ Snoudon, Devid S.; Le Syur, Etyen; Petters, Stefan M.; Heiser, Gernot (2009 yil aprel). "Koala: OS darajasidagi quvvatni boshqarish platformasi". 4-chi EuroSys konferentsiyasi. Nürnberg, Germaniya.
  13. ^ Aberle, Armin G; Altermatt, Pietro P.; Xayser, Gernot; Robinson, Stiven J.; Vang, Ayxua; Chjao, Tszianxua; Krumbein, Ulrix; Yashil, Martin A. (1995). "23 foizli samarali silikonli quyosh xujayralarida yo'qotish mexanizmlarini cheklash". Amaliy fizika jurnali. 77 (7): 3491–3504. doi:10.1063/1.358643.
  14. ^ [1]
  15. ^ 2015 yil ACS AKT tadqiqotchisi
  16. ^ GERNOT HEISER ACM Fellows 2014

Tashqi havolalar