ゲルノット・ハイザー

ゲルノット・ハイザー
ゲルノット・ハイザー
	ゲルノット・ハイザーが2022年10月25日にUNSW CSEリサーチエキスポで講演
生まれる	1957年（66～67歳）
国籍	ドイツ、オーストラリア
教育	フライブルク大学、理学士; ブロック大学、理学修士; チューリッヒ工科大学、博士号
知られている	オペレーティングシステムの教育、研究、商業化
受賞歴	レオポルディナ会員(2023) ; RSNフェロー(2022) ; ACM SIGOPS殿堂賞(2019) ; ATSEフェロー(2016) ; IEEEフェロー(2016) ; ACMフェロー(2014)
	科学者としてのキャリア
フィールド	コンピュータサイエンス
機関	ニューサウスウェールズ大学（サイエンティア教授、ジョン・ライオンズ・オペレーティング・システム教授）; NICTA（研究グループリーダー）; Open Kernel Labs（創設者、元CTO、ディレクター）
Webサイト	gernot-heiser.org

ゲルノットハイザー(1957 年生まれ) は、ニューサウスウェールズ大学シドニー校のScientia教授であり、同校のオペレーティングシステム担当ジョンライオンズチェアであり、同校の Trustworthy Systems グループ (TS) を率いています。

人生

ハイザー氏は1991年に当初は講師としてニューサウスウェールズ大学シドニー校のコンピュータサイエンスおよびエンジニアリング学部に加わり、2002年に教授に昇格し、現在までその地位を維持している。

また、2002年には、新設の研究組織NICTAに初期のプログラムリーダーの一人として参加し、組み込みリアルタイムオペレーティングシステム（ERTOS）プログラムを担当しました。2011年の再編後、ERTOSはソフトウェアシステム研究グループ（SSRG）となり、彼はそのリーダーとなりました。2016年にNICTAがCSIROに吸収されたとき、ハイザーは当時Trustworthy Systems（TS）と呼ばれていたグループの管理から退きました。2021年にCSIROはTSを放棄し、^[1]ハイザーはグループをUNSWに戻し、再びリーダーシップを発揮しました。

2020 年 4 月より、Heiser 氏は seL4 Foundation の創設会長を務めています。

研究

Heiser 氏の研究は、マイクロカーネル、マイクロカーネルベースのシステム、仮想マシンに焦点を当てており、パフォーマンスと信頼性を重視しています。

彼のグループは、64ビットコンピュータのクラスタ向けの単一アドレス空間オペレーティングシステムであるMungi ^[2]と、非常に高速なプロセス間通信を備えた L4マイクロカーネルの実装を開発した。^{[3]彼のGelato@UNSWチームは}Gelato Federation の創設メンバーであり、Itanium上のLinuxのパフォーマンスとスケーラビリティに注力した。彼らは、Itanium上のメッセージパッシングプロセス間通信（IPC）の理論的かつ実用的なパフォーマンス限界を確立した。^[4]

2002年のNICTA設立時に参加した後、彼の研究はハイエンドコンピューティングプラットフォームから組み込みシステムへと移り、マイクロカーネル技術の使用によるセキュリティ、安全性、信頼性の向上を目指しました。^{[5]これにより、seL4と呼ばれる新しいマイクロカーネルが開発され、その形式検証は、汎用OS}カーネルの機能的正しさを初めて完全に証明したものと主張されました。^[6]

仮想化に関する彼の研究は、彼のマイクロカーネル上で完全な OS 環境を提供する必要性から生まれた。彼の Wombat プロジェクトは、ドレスデンの L4Linux プロジェクトで採用されたアプローチを踏襲していたが、x86、ARM、およびMIPSハードウェア上で動作するマルチアーキテクチャの準仮想化Linuxであった。Wombat の研究は、後に彼の会社Open Kernel Labs (OK Labs) のOKL4ハイパーバイザーの基礎となった。準仮想化のエンジニアリング作業を軽減したいという願望から、x86およびItaniumハードウェアで実証された自動準仮想化のソフトレイヤリングアプローチが開発された。^[7] 仮想非均一メモリアクセス (vNUMA) に関する彼の研究では、多数のプロセッサコアを備えたメニーコアチップの可能なモデルとして、共有メモリマルチプロセッサとして分散システムを提示するハイパーバイザーを実証した。^[8]

デバイスドライバも彼の研究のもう一つの焦点であり、パフォーマンスオーバーヘッドが10%未満のユーザーモードドライバの最初のデモンストレーション^[9] 、設計によってほとんどの典型的なドライババグを排除するドライバ開発アプローチ^[10] 、デバイステストベンチから生成されたデバイスドライバ^[11] 、および形式仕様からデバイスドライバを自動的に生成する可能性のデモンストレーション^[12]などが含まれています。彼はまた、オペレーティングシステムレベルのエネルギー管理に関する研究も行いました。^[13]

2010年にOK Labsを離れて以来、彼は研究と技術移転の両方において、seL4と高保証seL4ベースのシステムにほぼ専念してきました。注目すべき研究成果には、seL4の健全で完全な最悪ケース実行時間（WCET）分析があり、これは保護モードOSカーネルの分析としては初めてのものだと言われています。^[14]^{[15] seL4の機能を拡張して}混合臨界システム（MCS）をサポートするという彼の研究は、 seL4の機能システムにおいて時間を第一級のリソースにすることにつながった。^[16]

マイクロアーキテクチャのタイミングチャネルに焦点を当て、彼は2015年に初の実用的なクロスコアタイミングサイドチャネル攻撃を実証しました。^[17] これにより、タイミングチャネル漏洩の体系的な防止に関する研究と、これを達成するための一連のメカニズムの提案が生まれ、これらは総称して時間保護と呼ばれています。^[18]

彼は過去に半導体デバイスのシミュレーションにも取り組んでおり、シリコンベースの太陽電池を最適化するために多次元モデリングの使用を開拓しました。^[19]

受賞と栄誉

ドイツ国立科学アカデミーレオポルディーナ（レオポルディーナ）（会員）（2023）^[20]
ニューサウスウェールズ王立協会（RSN）（フェロー）（2022）^[21]
計算機協会（ACM）優秀講演者（2021）^[22]
ACM SIGOPS Heiserは共著者（第3著者）とともに、論文「seL4: OSカーネルの形式検証」^[6]で殿堂賞（2019年）^{[23]を受賞しました。}
オーストラリア技術工学アカデミー（ATSE）フェロー（2016）^[24]
電気電子学会（IEEE）フェロー（2016年）「オペレーティングシステムのセキュリティと安全性への貢献」 ^[25]
オーストラリアコンピュータ協会（ACS）ICT研究者オブザイヤー（2015）^[26]
計算機協会（ACM）フェロー（2014年）「証明可能な正しいオペレーティングシステムが実現可能であり、実用に適していることを実証した貢献」 ^[27]
ニューサウスウェールズ大学サイエンティア教授
2010年シドニー大学ウォーレン先端工学センターイノベーションヒーロー
2009年ニューサウスウェールズ州科学者オブザイヤー工学・数学・コンピュータサイエンス部門^[28]
2009 年第 22 回 ACM SIGOPS オペレーティングシステム原則シンポジウムにおける最優秀論文
2008 年第 13 回 IEEE アジア太平洋コンピュータシステムアーキテクチャカンファレンスにおける最優秀論文
2005 USENIX 年次技術会議における最優秀学生論文賞

参考文献

^ Data61 が世界クラスの seL4 セキュリティチームを解雇、2021 年 5 月 21 日、InnovationAus.com
^ Heiser, Gernot; Elphinstone, Kevin; Vochteloo, Jerry; Stephen, Russell; Jochen, Liedtke (1998). 「Mungi シングルアドレススペースオペレーティングシステム」.ソフトウェア: 実践と経験. 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. S2CID 62189930.
^ Liedtke, Jochen ; Elphinstone, Kevin; Schönberg, Sebastian; Härtig, Hermann; Heiser, Gernot; Islam, Nayeem; Jaeger, Trent (1997 年 5 月)。「IPC パフォーマンスの実現 (拡張性の基礎として依然として機能)」。第 6 回オペレーティングシステムのホットトピックに関するワークショップ。マサチューセッツ州ケープコッド、米国: IEEE。pp. 28–31。2005 年 4 月 15 日時点のオリジナルよりアーカイブ。
^ Gray, Charles; Chapman, Matthew; Chubb, Peter; Mosberger-Tang, David; Heiser, Gernot (2005 年 4 月)。「Itanium: システム実装者の物語」( PDF) 。2005 USENIX 年次技術会議の議事録。米国カリフォルニア州アナハイム。
^ Heiser, Gernot; Elphinstone, Kevin; Kuz, Ihor; Klein, Gerwin; Petters, Stefan M. (2007 年 7 月)。「信頼できるコンピューティングシステムに向けて: マイクロカーネルを次のレベルへ」。ACMオペレーティングシステムレビュー。41 (4 ) : 3–11。doi :10.1145/1278901.1278904。hdl : 1959.4 /39906。S2CID 9036194 。
^ ab Klein, Gerwin; Elphinstone, Kevin; Heiser, Gernot; Andronick, June; Cock, David; Derrin, Philip; Elkaduwe, Dhammika; Engelhardt, Kai; Kolanski, Rafal; Norrish, Michael; Sewell, Thomas; Tuch, Harvey; Winwood, Simon (2009 年 10 月)。「seL4: OS カーネルの形式検証」(PDF)。第 22 回 ACM オペレーティングシステム原則シンポジウム。米国モンタナ州ビッグスカイ。
^ LeVasseur, Joshua; Uhlig, Volkmar; Yang, Yaowei; Chapman, Matthew; Chubb, Peter; Leslie, Ben; Heiser, Gernot (2008 年 8 月)。「仮想化前: 仮想マシンのソフトレイヤリング」(PDF)。第 13 回 IEEE アジア太平洋コンピュータシステムアーキテクチャカンファレンス。台湾、新竹。
^ Chapman, Matthew; Heiser, Gernot (2009 年 6 月)。「vNUMA: 仮想共有メモリマルチプロセッサ」(PDF)。USENIX年次技術会議。米国カリフォルニア州サンディエゴ。
^ Leslie, Ben; Chubb, Peter; Fitzroy-Dale, Nicholas; Götz, Stefan; Gray, Charles; Macpherson, Luke; Potts, Daniel; Shen, Yueting (Rita); Elphinstone, Kevin; Heiser, Gernot (2005 年 9 月)。「ユーザーレベルデバイスドライバー: 達成されたパフォーマンス」。Journal of Computer Science and Technology。20 ( 5): 654–664。CiteSeerX 10.1.1.59.6766。doi : 10.1007 /s11390-005-0654-4。S2CID 1121537 。
^ Ryzhyk, Leonid; Chubb, Peter; Kuz, Ihor; Heiser, Gernot (2009 年 4 月)。「Dingo: デバイスドライバーの制御」(PDF)。第 4 回 EuroSys カンファレンス。ドイツ、ニュルンベルク。
^ Ryzhyk, Leonid; Keys, John; Mirla, Balachandra; Raghunath, Arun; Vij, Mona; Heiser, Gernot (2011 年 3 月)。「ハードウェア検証の再利用によるデバイスドライバーの信頼性の向上」(PDF)。プログラミング言語およびオペレーティングシステムのアーキテクチャサポートに関する第 16 回国際会議。米国カリフォルニア州ニューポートビーチ。
^ Ryzhyk, Leonid; Chubb, Peter; Kuz, Ihor; Le Sueur, Etienne; Heiser, Gernot (2009 年 10 月)。「Termite によるデバイスドライバーの自動合成」(PDF)。第 22 回 ACM オペレーティングシステム原則シンポジウム。ビッグスカイ、モンタナ州、米国。
^ Snowdon, David C.; Le Sueur, Etienne; Petters, Stefan M.; Heiser, Gernot (2009 年 4 月)。「Koala: OS レベルの電源管理のためのプラットフォーム」(PDF)。第 4 回 EuroSys カンファレンス。ドイツ、ニュルンベルク。
^ Blackham, Bernard; Heiser, Gernot (2013 年 4 月)。「Sequol: モデル検査バイナリのフレームワーク」(PDF)。IEEEリアルタイムおよび組み込み技術とアプリケーションシンポジウム (RTAS)。米国フィラデルフィア。
^ Sewell, Thomas; Kam, Felix; Heiser, Gernot (2016 年 4 月)。「WCET 解析のためのループ境界と実行不可能パスの完全かつ高確度な決定」(PDF)。IEEEリアルタイムおよび組み込み技術とアプリケーションシンポジウム (RTAS)。オーストリア、ウィーン。
^ Lyons, Anna; McLeod, Kent; Almatary, Hesham; Heiser, Gernot (2018 年 4 月)。「スケジューリングコンテキスト機能: 時間管理のための原理に基づいた軽量 OS メカニズム」(PDF)。EuroSysカンファレンス。ポルトガル、ポルト。
^ Liu, Fangfei; Yarom, Yuval; Ge, Qian; Heiser, Gernot; Lee, Ruby B (2015 年 5 月)。「ラストレベルキャッシュサイドチャネル攻撃は実用的」(PDF)。IEEEセキュリティおよびプライバシーシンポジウム。米国カリフォルニア州サンノゼ。
^ Ge, Qian; Yarom, Yuval; Chothia, Tom; Heiser, Gernot (2019 年 3 月)。「時間保護: 欠けている OS 抽象化」(PDF)。EuroSysカンファレンス。ドレスデン、ドイツ。
^ Aberle, Armin G; Altermatt, Pietro P.; Heiser, Gernot; Robinson, Stephen J.; Wang, Aihua; Zhao, Jianhua; Krumbein, Ulrich; Green, Martin A. (1995). 「効率 23 パーセントのシリコン太陽電池における損失制限メカニズム」Journal of Applied Physics . 77 (7): 3491–3504. doi :10.1063/1.358643.
^ レオポルディーナのメンバー
^ ニューサウスウェールズ王立協会会員
^ ACM 著名講演者リスト
^ ACM SIGOPS 殿堂賞
^ ATSEフェロー
^ IEEEフェロー
^ ACS ICT研究者オブ・ザ・イヤー2015
^ ACMフェロー2014
^ ニューサウスウェールズ州首相科学技術賞

外部リンク

公式サイト
ゲルノット・ハイザーのブログ
UNSWでの経歴と完全な出版物リスト

[1] Data61 が世界クラスの seL4 セキュリティチームを解雇、2021 年 5 月 21 日、InnovationAus.com

[2] Heiser, Gernot; Elphinstone, Kevin; Vochteloo, Jerry; Stephen, Russell; Jochen, Liedtke (1998). 「Mungi シングルアドレススペースオペレーティングシステム」.ソフトウェア: 実践と経験. 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. S2CID 62189930.

[3] Liedtke, Jochen ; Elphinstone, Kevin; Schönberg, Sebastian; Härtig, Hermann; Heiser, Gernot; Islam, Nayeem; Jaeger, Trent (1997 年 5 月)。「IPC パフォーマンスの実現 (拡張性の基礎として依然として機能)」。第 6 回オペレーティングシステムのホットトピックに関するワークショップ。マサチューセッツ州ケープコッド、米国: IEEE。pp. 28–31。2005 年 4 月 15 日時点のオリジナルよりアーカイブ。

[4] Gray, Charles; Chapman, Matthew; Chubb, Peter; Mosberger-Tang, David; Heiser, Gernot (2005 年 4 月)。「Itanium: システム実装者の物語」( PDF) 。2005 USENIX 年次技術会議の議事録。米国カリフォルニア州アナハイム。

[5] Heiser, Gernot; Elphinstone, Kevin; Kuz, Ihor; Klein, Gerwin; Petters, Stefan M. (2007 年 7 月)。「信頼できるコンピューティングシステムに向けて: マイクロカーネルを次のレベルへ」。ACMオペレーティングシステムレビュー。41 (4 ) : 3–11。doi :10.1145/1278901.1278904。hdl : 1959.4 /39906。S2CID 9036194 。

[sel4-6] Klein, Gerwin; Elphinstone, Kevin; Heiser, Gernot; Andronick, June; Cock, David; Derrin, Philip; Elkaduwe, Dhammika; Engelhardt, Kai; Kolanski, Rafal; Norrish, Michael; Sewell, Thomas; Tuch, Harvey; Winwood, Simon (2009 年 10 月)。「seL4: OS カーネルの形式検証」(PDF)。第 22 回 ACM オペレーティングシステム原則シンポジウム。米国モンタナ州ビッグスカイ。

[7] LeVasseur, Joshua; Uhlig, Volkmar; Yang, Yaowei; Chapman, Matthew; Chubb, Peter; Leslie, Ben; Heiser, Gernot (2008 年 8 月)。「仮想化前: 仮想マシンのソフトレイヤリング」(PDF)。第 13 回 IEEE アジア太平洋コンピュータシステムアーキテクチャカンファレンス。台湾、新竹。

[8] Chapman, Matthew; Heiser, Gernot (2009 年 6 月)。「vNUMA: 仮想共有メモリマルチプロセッサ」(PDF)。USENIX年次技術会議。米国カリフォルニア州サンディエゴ。

[9] Leslie, Ben; Chubb, Peter; Fitzroy-Dale, Nicholas; Götz, Stefan; Gray, Charles; Macpherson, Luke; Potts, Daniel; Shen, Yueting (Rita); Elphinstone, Kevin; Heiser, Gernot (2005 年 9 月)。「ユーザーレベルデバイスドライバー: 達成されたパフォーマンス」。Journal of Computer Science and Technology。20 ( 5): 654–664。CiteSeerX 10.1.1.59.6766。doi : 10.1007 /s11390-005-0654-4。S2CID 1121537 。

[10] Ryzhyk, Leonid; Chubb, Peter; Kuz, Ihor; Heiser, Gernot (2009 年 4 月)。「Dingo: デバイスドライバーの制御」(PDF)。第 4 回 EuroSys カンファレンス。ドイツ、ニュルンベルク。

[11] Ryzhyk, Leonid; Keys, John; Mirla, Balachandra; Raghunath, Arun; Vij, Mona; Heiser, Gernot (2011 年 3 月)。「ハードウェア検証の再利用によるデバイスドライバーの信頼性の向上」(PDF)。プログラミング言語およびオペレーティングシステムのアーキテクチャサポートに関する第 16 回国際会議。米国カリフォルニア州ニューポートビーチ。

[12] Ryzhyk, Leonid; Chubb, Peter; Kuz, Ihor; Le Sueur, Etienne; Heiser, Gernot (2009 年 10 月)。「Termite によるデバイスドライバーの自動合成」(PDF)。第 22 回 ACM オペレーティングシステム原則シンポジウム。ビッグスカイ、モンタナ州、米国。

[13] Snowdon, David C.; Le Sueur, Etienne; Petters, Stefan M.; Heiser, Gernot (2009 年 4 月)。「Koala: OS レベルの電源管理のためのプラットフォーム」(PDF)。第 4 回 EuroSys カンファレンス。ドイツ、ニュルンベルク。

[14] Blackham, Bernard; Heiser, Gernot (2013 年 4 月)。「Sequol: モデル検査バイナリのフレームワーク」(PDF)。IEEEリアルタイムおよび組み込み技術とアプリケーションシンポジウム (RTAS)。米国フィラデルフィア。

[15] Sewell, Thomas; Kam, Felix; Heiser, Gernot (2016 年 4 月)。「WCET 解析のためのループ境界と実行不可能パスの完全かつ高確度な決定」(PDF)。IEEEリアルタイムおよび組み込み技術とアプリケーションシンポジウム (RTAS)。オーストリア、ウィーン。

[16] Lyons, Anna; McLeod, Kent; Almatary, Hesham; Heiser, Gernot (2018 年 4 月)。「スケジューリングコンテキスト機能: 時間管理のための原理に基づいた軽量 OS メカニズム」(PDF)。EuroSysカンファレンス。ポルトガル、ポルト。

[17] Liu, Fangfei; Yarom, Yuval; Ge, Qian; Heiser, Gernot; Lee, Ruby B (2015 年 5 月)。「ラストレベルキャッシュサイドチャネル攻撃は実用的」(PDF)。IEEEセキュリティおよびプライバシーシンポジウム。米国カリフォルニア州サンノゼ。

[18] Ge, Qian; Yarom, Yuval; Chothia, Tom; Heiser, Gernot (2019 年 3 月)。「時間保護: 欠けている OS 抽象化」(PDF)。EuroSysカンファレンス。ドレスデン、ドイツ。

[19] Aberle, Armin G; Altermatt, Pietro P.; Heiser, Gernot; Robinson, Stephen J.; Wang, Aihua; Zhao, Jianhua; Krumbein, Ulrich; Green, Martin A. (1995). 「効率 23 パーセントのシリコン太陽電池における損失制限メカニズム」Journal of Applied Physics . 77 (7): 3491–3504. doi :10.1063/1.358643.

[20] レオポルディーナのメンバー

[21] ニューサウスウェールズ王立協会会員

[22] ACM 著名講演者リスト

[23] ACM SIGOPS 殿堂賞

[24] ATSEフェロー

[25] IEEEフェロー

[26] ACS ICT研究者オブ・ザ・イヤー2015

[27] ACMフェロー2014

[28] ニューサウスウェールズ州首相科学技術賞