Гернот Хейзер - Википедия - Gernot Heiser

Гернот Хайзер
Gernot Heiser.jpg
Гернот Хайзер
Родившийся1957 (62–63 года)
НациональностьНемецкий, Австралийский
ИзвестенОперационные системы обучение, исследования и коммерциализация
НаградыЧлен ACM (2014)
Научная карьера
УчрежденияУниверситет Нового Южного Уэльса (Scientia Профессор и Джон Лайонс Кафедра операционных систем)
НИКТА (руководитель исследовательской группы)
Открытые лаборатории ядра (Основатель, бывший технический директор и директор)
Интернет сайтgernot-heiser.org

Гернот Хайзер (1957 г.р.) - Scientia Профессор и Джон Лайонс Стул для операционные системы на Университет Нового Южного Уэльса (UNSW). Он также является лидером Группа исследования программных систем (SSRG) в НИКТА. В 2006 году он стал соучредителем Открытые лаборатории ядра (OK Labs, приобретенная в 2012 г. Общая динамика ) коммерциализировать его L4 микроядро технологии.

Жизнь

Гернот Хайзер родился в 1957 году. Изучал физику в немецком Фрайбургский университет, где он получил степень бакалавра, затем получил степень магистра в канадской Университет Брока и его докторская степень в швейцарской ETH Цюрих.

Исследование

Исследования Heiser сосредоточены на микроядра и системы на основе микроядра, а также виртуальные машины, с особым упором на производительность и надежность.

Его группа произвела Мунги операционная система с единым адресным пространством,[1]нацелены на кластеры 64-битных компьютеров, а также реализации L4 микроядро с очень быстрым межпроцессного взаимодействия.[2]Его Джелато @ UNSW команда была одним из основателей Федерация джелато, и сосредоточился на производительности и масштабируемости Linux на Itanium. Они установили теоретические и практические пределы производительности передачи сообщений. МПК на Itanium.[3]

С момента присоединения НИКТА при его создании в 2002 году его исследования переместились от высокопроизводительных вычислительных платформ к встроенным системам с конкретной целью повышения безопасности, защиты и надежности за счет использования технологии микроядра.[4]Это привело к разработке нового микроядра под названиемseL4, и этоформальная проверка, как утверждается, является первым полным доказательством функциональной корректности ядра ОС общего назначения.[5]

Его работа над виртуализацией была мотивирована необходимостью предоставить полную среду ОС на своих микроядрах. Его проект Wombat следовал подходу, принятому сL4Linux проект вДрезден, но был многоархитектурным паравиртуализированный Linux работает на x86, РУКА и MIPS аппаратное обеспечение. Позднее работа вомбата легла в основу OKL4 гипервизор его компании Открытые лаборатории ядра.

Стремление сократить инженерные усилия по паравиртуализации привело к разработке мягкое наслоение подход автоматической паравиртуализации, который был продемонстрирован на x86 и Itanium аппаратное обеспечение.[6]Его работа vNUMA продемонстрировала гипервизор, который представляет распределенную систему как мультипроцессор с общей памятью в качестве возможной модели для многоядерных микросхем с большим количеством процессорных ядер.[7]

Драйверы устройств являются еще одним направлением его работы, включая первую демонстрацию драйверов пользовательского режима с накладными расходами менее 10%,[8]подход к разработке драйверов, который исключает большинство типичных ошибок драйвера конструктивно,[9]драйверы устройств, изготовленные со стендов для тестирования устройств,[10]и демонстрация возможности автоматического создания драйверов устройств на основе формальных спецификаций.[11]Недавние исследования также включают управление питанием.[12]

В прошлом он также работал над полупроводник устройство симуляция, где он впервые применил многомерное моделирование для оптимизации кремний -основан солнечные батареи.[13]

Проекты операционных систем

Обучение

Награды

Публикации примечаний

  1. ^ Хайзер, Гернот; Эльфинстон, Кевин; Vochteloo, Джерри; Рассел, Стивен; Лидтке, Йохен (1998). «Операционная система с единым адресным пространством Mungi». Программное обеспечение: практика и опыт. 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-й семинар по горячим темам в операционных системах. Кейп-Код, Массачусетс, США: IEEE. С. 28–31.
  3. ^ Грей, Чарльз; Чепмен, Мэтью; Чабб, Питер; Мосбергер-Танг, Дэвид; Хайзер, Гернот (апрель 2005 г.). «Itanium - сказка системного разработчика». Материалы Ежегодной технической конференции USENIX 2005 г.. Анахайм, Калифорния, США.
  4. ^ Хайзер, Гернот; Эльфинстон, Кевин; Кузь, Игорь; Кляйн, Гервин; Петтерс, Стефан М. (июль 2007 г.). «На пути к надежным вычислительным системам: вывод микроядер на новый уровень». Обзор операционных систем ACM. 41 (4): 3–11. Дои:10.1145/1278901.1278904.
  5. ^ Кляйн, Гервин; Эльфинстон, Кевин; Хайзер, Гернот; Андроник, июнь; Петух, Дэвид; Деррин, Филип; Элькадуве, Дхаммика; Энгельгардт, Кай; Колански, Рафаль; Норриш, Майкл; Сьюэлл, Томас; Туч, Харви; Уинвуд, Саймон (октябрь 2009 г.). "seL4: Формальная проверка ядра ОС" (PDF). 22-й симпозиум ACM по принципам операционных систем. Big Sky, MT, США.
  6. ^ Левассер, Джошуа; Улиг, Фолькмар; Ян, Яовей; Чепмен, Мэтью; Чабб, Питер; Лесли, Бен; Хайзер, Гернот (август 2008 г.). «Предварительная виртуализация: мягкое расслоение виртуальных машин». 13-я Азиатско-Тихоокеанская конференция по архитектуре компьютерных систем IEEE. Синьчжу, Тайвань.
  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 г.). «Автоматический синтез драйверов устройств с Termite» (PDF). 22-й симпозиум ACM по принципам операционных систем. Big Sky, MT, США.
  12. ^ Сноудон, Дэвид К .; Ле Сюер, Этьен; Петтерс, Стефан М .; Хайзер, Гернот (апрель 2009 г.). «Коала: платформа для управления питанием на уровне ОС». 4-я конференция EuroSys. Нюрнберг, Германия.
  13. ^ Aberle, Armin G; Альтерматт, Пьетро П .; Хайзер, Гернот; Робинсон, Стивен Дж .; Ван, Айхуа; Чжао, Цзяньхуа; Крамбейн, Ульрих; Грин, Мартин А. (1995). «Механизмы ограничения потерь в кремниевых солнечных элементах с КПД 23%». Журнал прикладной физики. 77 (7): 3491–3504. Дои:10.1063/1.358643.
  14. ^ [1]
  15. ^ Исследователь года ACS ICT 2015
  16. ^ Стипендиаты GERNOT HEISER ACM 2014

внешняя ссылка