2001 Fiscal Year Annual Research Report

疑似線形型システムに基づくメモリ管理とプログラム最適化

Research Project

Project/Area Number	11480061
Research Institution	Tokyo Institute of Technology
Principal Investigator	小林直樹東京工業大学, 大学院・情報理工学研究科, 助教授 (00262155)
Co-Investigator(Kenkyū-buntansha)	五十嵐淳東京大学, 大学院・総合文化研究科, 助手 (40323456) 田浦健次朗東京大学, 大学院・情報理工学系研究科, 講師 (90282714) 渡部卓雄東京工業大学, 大学院・情報理工学研究科, 助教授 (20222408)
Keywords	線形型 / メモリ管理 / 関数型言語 / ガベージコレクション / 型推論 / 並列計算機 / 資源使用解析
Research Abstract	本研究では,プログラミング言語処理系におけるメモリ管理を,(疑似)線形型などの静的解析によって得られる情報を用いることにより,安全かつ効率よく実現することを目指している.本年度の研究実績は以下のとおり. 1.線形型に基づくメモリ管理のための実行時システムの実装と実験…前年度までにプログラマが書いたソースプログラムから線形型に関する情報(メモリの割り当て・解放をどこで行うかの情報)つきのソースプログラムヘの変換の仕組みはできていたが,それをどのように実行時コードにコンパイルし実行するかの詳細が未定であった.そこで,本年度は実行時コードを記述する低レベル言語を設計するとともに,そのコードの実行系の実装を行った.具体的には関数型言語Ocamlのバイトコードインタプリタを改造し,命令セットを拡張するとともに,メモリ管理部分を我々の方式に基づくものに置き換えた. 2.既存のガベージコレクションの改良…すべてのメモリ領域に疑似線形型を用いたメモリ管理方式が適用できるわけではないため,既存のガベージコレクションと併用して用いる必要がある.本年度は特に並列計算機上のガベージコレクションの改良を行った. 3.線形型解析の資源使用解析への一般化…疑似線形型は当初はメモリの使用に関する解析を行いメモリ管理に役立てるために考案したものだが,これをメモリに限らず,ファイルやネットワークなど一般の計算資源の使用方法の解析を行うための型システムを構築した.これにより,将来的には疑似線形型に基づくメモリ管理だけでなくリージョン・エフェクトシステムなどに基づく他の静的メモリ管理方式の安全性の検証が可能となるとともに,メモリ以外の計算資源の安全な使用も保証できると期待される.

Research Products

(6 results)

All Other

All Publications (6 results)

[Publications] A.Igarashi, N.Kobayashi: "Resource Usage Analysis"Proceedings of ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages (POPL2002). 331-342 (2002)
[Publications] Naoki Kobayashi: "Type-Based Useless Variable Elimination"Journal of Higher-Order and Symbolic Computation. 14. 221-260 (2001)
[Publications] 浜中信行, 住井英二郎, 小林直樹, 米澤明憲: "Javaバイトコードにおけるオブジェクト使用解析のための型システム"第4回プログラミングおよびプログラミング言語に関するワークショップ(PPL2002)論文集. (出版予定). (2002)
[Publications] 岩間太, 小林直樹: "JVMにおけるロックの整合性検証のための新しい型システム"コンピュータソフトウェア. (出版予定). (2002)
[Publications] T.Endo, K.Taura, A.Yonezawa: "Predicting Scalability of Parallel Garbage Collectors on Shared Memory Multiprocessors"Proceedings of International Parallel and Distributed Processing Symposium (IPDPS). (2001)
[Publications] 遠藤敏夫, 田浦健次朗, 米澤明憲: "局所性を考慮した共有メモリ並列計算機上の並列BIBOP型メモリアロケータ"並列処理シンポジウムJSPP2001予稿集. 141-148 (2001)

2001 Fiscal Year Annual Research Report

疑似線形型システムに基づくメモリ管理とプログラム最適化

Principal Investigator

小林 直樹 東京工業大学, 大学院・情報理工学研究科, 助教授 (00262155)

Research Products

[Publications] A.Igarashi, N.Kobayashi: "Resource Usage Analysis"Proceedings of ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages (POPL2002). 331-342 (2002)

[Publications] Naoki Kobayashi: "Type-Based Useless Variable Elimination"Journal of Higher-Order and Symbolic Computation. 14. 221-260 (2001)

[Publications] 岩間太, 小林直樹: "JVMにおけるロックの整合性検証のための新しい型システム"コンピュータソフトウェア. (出版予定). (2002)

[Publications] T.Endo, K.Taura, A.Yonezawa: "Predicting Scalability of Parallel Garbage Collectors on Shared Memory Multiprocessors"Proceedings of International Parallel and Distributed Processing Symposium (IPDPS). (2001)

[Publications] 遠藤敏夫, 田浦 健次朗, 米澤 明憲: "局所性を考慮した共有メモリ並列計算機上の並列BIBOP型メモリアロケータ"並列処理シンポジウムJSPP2001予稿集. 141-148 (2001)

小林直樹東京工業大学, 大学院・情報理工学研究科, 助教授 (00262155)

[Publications] 遠藤敏夫, 田浦健次朗, 米澤明憲: "局所性を考慮した共有メモリ並列計算機上の並列BIBOP型メモリアロケータ"並列処理シンポジウムJSPP2001予稿集. 141-148 (2001)