Loading article…
キャサリン・S・マッキンリー | |
|---|---|
 キャサリン・S・マッキンリー | |
| 生まれる | 1962年1月10日 |
| 母校 | ライス大学 |
| 知られている | 局所性と並列性の最適化 Hoard メモリアロケータ |
| 受賞歴 | ACMフェロー（2008年） IEEEフェロー（2011年） |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | マイクロソフト テキサス大学オースティン校 マサチューセッツ 大学アマースト校 |
| 博士課程の指導教員 | ケン・ケネディ |
| Webサイト | 翻訳: |
キャサリン・S・マッキンリーは、コンパイラ、ランタイムシステム、コンピュータアーキテクチャの研究で知られるアメリカのコンピュータ科学者です。また、コンピューティングへの参加を広げるリーダーシップでも知られています。マッキンリーは、2011年から2014年まで CRA-Wの共同議長を務めました。
バイオグラフィー
マッキンリーは1985 年にライス大学でコンピュータ サイエンスとエンジニアリングの学士号を取得しました。その後、1990 年にライス大学でコンピュータ サイエンスの修士号を取得し、1992 年にライス大学でコンピュータ サイエンスの博士号を取得しました。
彼女は1993年にマサチューセッツ大学アマースト校のコンピュータサイエンス学部に助教授として加わり、在学中の1999年に准教授に昇進した。2001年にテキサス大学オースティン校に准教授として移った。2005年に教授に昇進し、2010年にはコンピュータサイエンスの寄付教授となった。2011年にマイクロソフトリサーチに主任研究員として移った。現在はグーグルの著名なソフトウェアエンジニアである。[1]
マッキンリーはスコッティ・ストラハンと結婚しており、クーパー、ディラン、ワイアット・ストラハンの3人の息子がいる。[要出典]
キャリア
彼女と彼女の同僚は、ループ順列、ループ反転、融合、分散を使用した密行列アルゴリズムのキャッシュ局所性を改善するための依存性とキャッシュライン再利用に基づく初の汎用モデルと最適化フレームワークを導入しました。 [2]マッキンリーと彼女の指導教官であるケン・ケネディは、このモデルを使用して局所性を備えた並列性を導入し、偽共有を排除する方法を示しました。[3]この研究は、2014年にICS25周年記念号に選ばれました。
マッキンリー、彼女の博士課程の学生エメリー・D・バーガー、および同僚は、アプリケーションやAppleのOS Xで広く使用されているHoard C/C++メモリアロケータを発表しました。Hoardは、複数のスレッドが同時にメモリを割り当てたり解放したりするときに発生する競合を制限し、メモリ割り当てによる誤った共有を回避します。同時に、Hoardは断片化の総量に証明可能な境界を強制します。[4]
マッキンリーは、9 つの機関にまたがり、NSF ITR (2000 ～ 2006 年) の資金提供を受けた DaCapo 研究グループのリーダーでした。このプロジェクトでは、数多くの革新的な仮想マシン テクノロジ、オープン ソース ツール、オープン ソース ベンチマーク、およびマネージド ランタイムを評価するための新しい方法論が生み出されました。ベンチマークと方法論の取り組みは、スティーブン M. ブラックバーンが主導しました。DaCapo Java ベンチマーク スイートと評価方法論は、Java の分析、最適化、およびテスト テクノロジを評価するために、学界や産業界で広く使用されています。[5]ブラックバーン、チェン、およびマッキンリーは、ガベージ コレクション アルゴリズムの同一条件の比較を初めて実行し、フリー リスト アロケータは、同時オブジェクトを連続的に割り当てるコピー アルゴリズムと比較してメモリをあまり必要としないにもかかわらず、かなりの量の局所性を放棄することを示しました。[6] [7] この研究は、SIGMETRICS 2014 Test of Time of Award を受賞しました。[8]
この洞察に基づいて、ブラックバーンとマッキンリーは新しいクラスのガベージコレクターを設計し、マークリージョンと名付けました。彼らのImmixマークリージョンコレクターは、行で構成される固定サイズのブロックを使用してメモリを階層的に管理します。連続したオブジェクトの割り当ては行をまたぐことがありますが、ブロックをまたぐことはありません。Immixコレクションは、行のマーキングとオブジェクトのコピーを1回のパスで組み合わせます。この設計により、ヒープフットプリントが小さくなり、局所性が向上するため、パフォーマンスが大幅に向上します。[9]
彼女の博士課程の学生マイケル・ボンドは、2008年にACM SIGPLAN優秀博士論文賞を受賞した。[10]
2013年2月14日、マッキンリーは下院科学宇宙技術委員会の研究小委員会で証言した。彼女は、ほぼすべての分野で革新と経済的進歩を推進している学術、産業、政府のコンピューティング研究エコシステムについて語った。[11]
受賞歴
2008年に彼女はACMフェローに任命されました。[12]彼女は2023年にアメリカ芸術科学アカデミーに選出されました。[13]
その他の注目すべき受賞歴は以下のとおりです。
- ACM SIGPLAN プログラミング言語功績賞、並列化コンパイラ、並列システム、メモリ管理への先駆的な貢献、およびリーダーシップとサービス、2023 年。
- 2014年ACM SIGMETRICS Test of Time賞[8]
- 2002年から2012年に授与された最も影響力のあるOOPSLA論文賞。[14] Berger, ED; Zorn, BG; McKinley, KS (2002年11月)。「カスタムメモリ割り当ての再考」(PDF)。オブジェクト指向プログラミング、システム、言語、アプリケーションに関する第17回ACM SIGPLAN会議の議事録。OOPSLA '02 。pp . 1–12。CiteSeerX 10.1.1.119.5298。doi : 10.1145 / 582419.582421。ISBN 978-1-58113-471-1.S2CID 481812 。
- IEEEフェロー（2011）[15]
- ACM SIGPLANプログラミング言語ソフトウェア賞、Jikes RVM（2012）[16]
- ACM SIGPLAN優秀賞（2011年）[17]
- ACM優秀科学者（2006）[18]
参考文献
- ^ 「Kathryn S McKinleyホームページ」。
- ^ KS McKinley; S. Carr; C. Tseng (1996). 「ループ変換によるデータ局所性の向上」. ACM Transactions on Programming Languages and Systems . 18 (4): 424–453. CiteSeerX 10.1.1.47.1703 . doi :10.1145/233561.233564. S2CID 409053.
- ^ K. Kennedy、KS McKinley (1992)。「並列処理とデータ局所性の最適化」。第 6 回国際スーパーコンピューティング会議 ICS '92 の議事録。pp. 323–334。doi : 10.1145 / 143369.143427。ISBN 978-0897914857. S2CID 7241914。
- ^ ED Berger; KS McKinley; RD Blumofe; PR Wilson (2000). 「Hoard: マルチスレッドアプリケーション向けのスケーラブルなメモリアロケータ」ACM Sigarch Computer Architecture News . 28 (5): 117–128. doi : 10.1145/378995.379232 .
- ^ SM Blackburn; R. Garner; C. Hoffman; AM Khan; KS McKinley; R. Bentzur A. Diwan; D. Feinberg; D. Frampton; SZ Guyer; M. Hirzel; A. Hosking; M. Jump; H. Lee; JEB Moss; A. Phansalkar; D. Stefanovic; T. VanDrunen; D. von Dincklage; B. Wiedermann (2006)。「DaCapo ベンチマーク」。第 21 回 ACM SIGPLAN オブジェクト指向プログラミング システム、言語、アプリケーションに関する会議の議事録。pp. 169–190。doi :10.1145 / 1167473.1167488。hdl : 1885 / 33723。ISBN 978-1595933485. S2CID 9255051。
- ^ SM Blackburn、P. Cheng、KS McKinley ( 2004)。「神話と現実」。コンピュータシステムの測定とモデリングに関する合同国際会議の議事録。pp. 25–36。doi :10.1145/1005686.1005693。ISBN 978-1581138733. S2CID 7988297。
- ^ SM Blackburn、P. Cheng、KS McKinley (2004)。「水と油? MMTK を使用した Java での高性能ガベージ コレクション」。議事録。第 26 回国際ソフトウェア エンジニアリング会議。pp. 137–146。doi : 10.1109 /ICSE.2004.1317436。ISBN 978-0-7695-2163-3. S2CID 6394407。
- ^ ab ACM SIGMETRICS (2014-07-01). 「SIGMETRICS Awards」. SIGMETRICS . 2014年7月1日閲覧。
- ^ SM Blackburn; KS McKinley (2008). 「Immix」。プログラミング言語の設計と実装に関する第29回ACM SIGPLANカンファレンスの議事録。pp. 22–32。doi : 10.1145 / 1375581.1375586。ISBN 9781595938602. S2CID 1569045。
- ^ sigplan.org (2014-01-07). 「SIGPLAN 2008: Two Awards Presented」. sigplan . 2014-01-07閲覧。
- ^ 「キャサリン・S・マッキンリー博士の証言書 - 「情報技術研究開発への申請」に関する公聴会」(PDF)。米国下院。2013年2月14日。
- ^ Norman, Staci (2009 年 1 月 15 日)。「Kathryn McKinley が ACM フェローに任命」テキサス大学オースティン校。
- ^ 「新会員」アメリカ芸術科学アカデミー。2023年。 2023年4月21日閲覧。
- ^ 「アリゾナ州ツーソンで開催された第3回SPLASHカンファレンス」。SplashCon。2013年7月8日時点のオリジナルよりアーカイブ。2013年6月21日閲覧。
- ^ “Fellow Class of 2011”. IEEE. 2013年4月30日時点のオリジナルよりアーカイブ。2013年6月21日閲覧。
- ^ 「2012: Jikes Research Virtual Machine (RVM)」。Sigplan。2013年7月3日時点のオリジナルよりアーカイブ。 2013年6月21日閲覧。
- ^ 「Distinguished Service Award」 Sigplan . 2013年6月21日閲覧。
- ^ 「ACM 優秀会員」。Association for Computing Machinery 。 2013年6月21日閲覧。
外部リンク
- テキサス大学オースティン校のキャサリン・S・マッキンリー