Gernot Heiser - Gernot Heiser - Wikipedia

Gernot Heiser
Gernot Heiser.jpg
Gernot Heiser
Туған1957 (62-63 жас)
ҰлтыНеміс, Австралиялық
БелгіліОперациялық жүйелер оқыту, зерттеу және коммерциализациялау
МарапаттарACM стипендиаты (2014)
Ғылыми мансап
МекемелерЖаңа Оңтүстік Уэльс университеті (Scientia Профессор және Джон Арыстан Операциялық жүйелер кафедрасы)
NICTA (зерттеу тобының жетекшісі)
Ядро зертханаларын ашыңыз (Негізін қалаушы және бұрынғы КТО және директор)
Веб-сайтgernot-heiser.org

Gernot Heiser (1957 жылы туған) - Сайентима Профессор және Джон Арыстан Орындық операциялық жүйелер кезінде Жаңа Оңтүстік Уэльс университеті (UNSW). Ол сонымен қатар Бағдарламалық жасақтама жүйесін зерттеу тобы (SSRG) кезінде NICTA. 2006 жылы оның негізін қалаушы Ядро зертханаларын ашыңыз (OK зертханалары, 2012 жылы сатып алынған Жалпы динамика ) оның коммерциализациясы L4 микро ядросы технология.

Өмір

Гернот Хейзер 1957 жылы дүниеге келген. Ол физикада неміс тілінде оқыды Фрайбург университеті ол өзінің бакалавриат магистрін канадалық магистр дәрежесіне дейін жинады Брок университеті және оның PhD докторы швейцарияда ETH Цюрих.

Зерттеу

Хайзердің зерттеулері басты назарда микро ядролар және сонымен қатар микронукнелаларға негізделген жүйелер виртуалды машиналар, өнімділік пен сенімділікке ерекше назар аудару.

Оның тобы шығарды Саңырауқұлақтар бір мекен-жай кеңістігінің операциялық жүйесі,[1]64 биттік компьютерлер кластеріне және L4 микро ядросы өте жылдам процесаралық байланыс.[2]Оның Gelato @ UNSW команда құрылтай мүшесі болды Гелато федерациясы, және Itanium-да Linux-тың өнімділігі мен масштабталуына назар аударды. Олар хабарлама жіберудің теориялық және практикалық тиімділік шектерін белгіледі IPC итанға.[3]

Қосылғалы бері NICTA 2002 жылы құрылған кезде, оның зерттеулері микро-ядро технологиясын қолдану арқылы қауіпсіздікті, қауіпсіздікті және сенімділікті жақсартуға бағытталған жоғары деңгейлі есептеу платформаларынан ендірілген жүйелерге қарай ауысты.[4]Бұл деп аталатын жаңа микро ядроның дамуына әкелдіseL4 және оныңресми тексеру, жалпы мақсаттағы ОЖ ядросының функционалдық дұрыстығының алғашқы толық дәлелі деп мәлімдеді.[5]

Оның виртуалдандыру бойынша жұмысы оның микро ядроларында толық ОЖ ортасын ұсыну қажеттілігінен туындады. Оның Wombat жобасы келесі тәсілмен жүрдіL4Linux жобаДрезден, бірақ сәулет өнері болды паравиртуализацияланған Linux қосулы x86, ҚОЛ және MIPS жабдық. Вомбат жұмысы кейінірек негіз болды OKL4 өз компаниясының гипервизоры Ядро зертханаларын ашыңыз.

Паравиртуализацияның инженерлік күш-жігерін азайтуға деген ұмтылыс дамуға бағытталды жұмсақ қабаттар x86 және көрсетілген автоматтандырылған паравиртулизация тәсілі Итан жабдық.[6]Оның vNUMA жұмысында көптеген ядролы микросхемалардың мүмкін моделі ретінде үлестірілген жады мультипроцессоры ретінде бөлінген жүйені ұсынатын гипервизор көрсетілді.[7]

Құрылғы драйверлері оның жұмысының тағы бір бағыты, оның ішінде пайдаланушы режимінің драйверлерінің алғашқы көрсетілімі, сонымен қатар, 10% -дан асып түседі,[8]драйвердің типтік ақауларының көпшілігін дизайн бойынша жоятын дамытуға деген көзқарас,[9]құрылғы драйверлері құрылғы сынақ стендтерінен жасалған,[10]және құрылғы драйверлерін автоматты түрде генерациялаудың формальды сипаттамалардан орындылығын көрсету.[11]Соңғы зерттеулер энергияны басқаруды да қамтиды.[12]

Бұрын ол сонымен бірге жұмыс істеді жартылай өткізгіш құрылғы модельдеу, онда ол оңтайландыруда көпөлшемді модельдеуді қолданудың бастамашысы болды кремний - негізделген күн батареялары.[13]

Операциялық жүйенің жобалары

Оқыту

Марапаттар

Ескертудің жарияланымдары

  1. ^ Хайзер, Герно; Элфинстон, Кевин; Вохтелоо, Джерри; Рассел, Стивен; Лидтке, Джохен (1998). «Саңырауқұлақтардың бір-адрестік-ғарыштық жұмыс жүйесі» Бағдарламалық жасақтама: тәжірибе және тәжірибе. 28 (9): 901–928. CiteSeerX  10.1.1.146.4216. дои:10.1002 / (SICI) 1097-024X (19980725) 28: 9 <901 :: AID-SPE181> 3.0.CO; 2-7.
  2. ^ Лидтке, Джохен; Элфинстон, Кевин; Шенберг, Себастьян; Хартиг, Герман; Хайзер, Герно; Ислам, Найим; Джагер, Трент (мамыр 1997). «IPC-ге қол жеткізілді (әлі де кеңейтудің негізі)». Операциялық жүйелердегі ыстық тақырыптар бойынша 6-шы семинар. Кейп-Код, MA, АҚШ: IEEE. 28-31 бет.
  3. ^ Сұр, Чарльз; Чэпмен, Мэттью; Чубб, Питер; Мосбергер-Тан, Дэвид; Хайзер, Герно (сәуір, 2005). «Итан - жүйені жүзеге асырушының ертегісі». 2005 жылғы USENIX жыл сайынғы техникалық конференциясының материалдары. Анахайм, Калифорния, АҚШ.
  4. ^ Хайзер, Герно; Элфинстон, Кевин; Куз, Ихор; Клейн, Гервин; Петтерс, Стефан М. (шілде 2007). «Сенімді есептеу жүйелеріне қарай: микро ядроларды келесі деңгейге шығару». ACM операциялық жүйелерін шолу. 41 (4): 3–11. дои:10.1145/1278901.1278904.
  5. ^ Клейн, Гервин; Элфинстон, Кевин; Хайзер, Герно; Андроник, маусым; Кок, Дэвид; Деррин, Филип; Элкадуве, Даммика; Энгельхардт, Кай; Колански, Рафал; Норриш, Майкл; Сьюэлл, Томас; Туч, Харви; Уинвуд, Саймон (қазан 2009). «seL4: ОЖ ядросының ресми тексерісі» (PDF). Операциялық жүйенің принциптері бойынша 22-ACM симпозиумы. Big Sky, MT, АҚШ.
  6. ^ ЛеВасир, Джошуа; Ухлиг, Волкмар; Ян, Яовэй; Чэпмен, Мэттью; Чубб, Питер; Лесли, Бен; Хайзер, Герно (тамыз 2008). «Алдын-ала виртуализация: виртуалды машиналарға арналған жұмсақ қабаттар». IEEE 13-ші Азия-Тынық мұхиты компьютерлік жүйелерінің архитектуралық конференциясы. Хинчу, Тайвань.
  7. ^ Чэпмен, Мэттью; Хейзер, Герно (маусым 2009). «vNUMA: виртуалды ортақ жадты мультипроцессор». USENIX жыл сайынғы техникалық конференциясы. Сан-Диего, Калифорния, АҚШ.
  8. ^ Лесли, Бен; Чубб, Питер; Фицрой-Дейл, Николай; Гётц, Стефан; Сұр, Чарльз; Макферсон, Люк; Поттс, Даниел; Шен, Юэтинг (Рита); Элфинстон, Кевин; Хайзер, Герно (қыркүйек 2005). «Пайдаланушы деңгейіндегі құрылғы драйверлері: қол жеткізілген өнімділік». Информатика және технологиялар журналы. 20 (5): 654–664. CiteSeerX  10.1.1.59.6766. дои:10.1007 / s11390-005-0654-4.
  9. ^ Рыжык, Леонид; Чубб, Питер; Куз, Ихор; Хайзер, Герно (сәуір, 2009). «Динго: құрылғының драйверлерін қолға үйрету». 4-ші EuroSys конференциясы. Нюрнберг, Германия.
  10. ^ Рыжык, Леонид; Кілттер, Джон; Мирла, Балахандра; Рагунат, Арун; Видж, Мона; Хайзер, Герно (наурыз 2011). «Аппаратты тексеруді қайта пайдалану арқылы құрылғы драйверінің сенімділігі жақсартылды». Бағдарламалау тілдері мен операциялық жүйелерді архитектуралық қолдау бойынша 16-шы Халықаралық конференция. Ньюпорт Бич, Калифорния, АҚШ.
  11. ^ Рыжык, Леонид; Чубб, Питер; Куз, Ихор; Ле Суер, Этьен; Хайзер, Герно (қазан 2009). «Термитпен автоматты түрде құрылғы драйверінің синтезі» (PDF). Операциялық жүйенің принциптері бойынша 22-ACM симпозиумы. Big Sky, MT, АҚШ.
  12. ^ Сноуден, Дэвид С .; Ле Суер, Этьен; Питерс, Стефан М .; Хайзер, Герно (сәуір, 2009). «Koala: OS деңгейіндегі қуатты басқаруға арналған платформа». 4-ші EuroSys конференциясы. Нюрнберг, Германия.
  13. ^ Аберле, Армин Дж; Альтерматт, Пьетро П.; Хайзер, Герно; Робинсон, Стивен Дж.; Ванг, Айхуа; Чжао, Цзяньхуа; Крумбейн, Ульрих; Грин, Мартин А. (1995). «23 пайыздық тиімді кремний күн батареяларындағы шығын механизмдерін шектеу». Қолданбалы физика журналы. 77 (7): 3491–3504. дои:10.1063/1.358643.
  14. ^ [1]
  15. ^ АКС-2015 жыл зерттеушісі
  16. ^ GERNOT HEISER ACM стипендиаттары 2014 ж

Сыртқы сілтемелер