1997 Fiscal Year Annual Research Report
先進的型システムに基づく並列プログラミング言語のデバッガ及びメモリ管理の研究
| Project/Area Number |
09780245
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
小林 直樹 東京大学, 大学院・理学系研究科, 講師 (00262155)
|
|---|
| Keywords | 型システム / 並行プログラミング言語 / デッドロック / 線形型 / メモリ管理 / リ-ジョン推論 |
|---|
| Research Abstract |
本研究では、並行プログラミング言語のデバッガやメモリ管理などのランタイムシステムをサポートするための静的型システム・プログラム解析の研究を行った。具体的研究成果は以下のとおりで、国際会議IEEELICS97およびSAS97、国際学術雑誌ACM TOPLASなどで発表した。
・デッドロックフリーダムを保証できる型システムの洗練化および一般化
我々は過去数年、並行プログラムのバクの主要な原因の一つであるデッドロックやデバッグを困難にする非決定性などを静的に検出するための型システムの研究をすすめてきた。今年度はその型システムの洗練化および一般化に成功し、これにより、(1)ある限定された記述能力のみを用いて書かれた並行プログラムはデッドロックフリーダムにや実行結果の一意性が静的に保証され、(2)それを超えた範囲の記述力を用いて書かれたプログラムついてもデッドロックや非決定性の原因となる個所を静的に絞り込むことができるようになった。
・線形型システムおよびリ-ジョン推論に基づくメモリ管理
線形型システムのアイデアを用いる事により、並行プログラム中で一回しか使用しない値を求める静的解析アルゴリズムを考案し、並行プログラミング言語HACLに組み込んだ。これにより、それらの値の使用後にメモリ領域を即座に開放することが可能になった。また、Tofteらによって提案されたリ-ジョン推論を用いて静的にメモリの割り当て・開放を行うタイミングを決定性するメモリ管理方式を補強するため、その方式のもとで正しく動作するガ-ベジコレクションのアルゴリズムの考案・定式化を行った。
|
-
[Publications] Naoki Kobayashi: "A Partially Deadlock-free Typed Process Calculus" Proceedings of 12th Annual IEEE Symposium on Logic in Computer Science(LICS'97). 128-139 (1997)
-
[Publications] Naoki Kobayashi: "A Partially Deadlock-free Typed Process Calculus" ACM Transactions on Programming Languages. (印刷中). (1998)
-
[Publications] A.Igarashi and N.Kobayashi: "Type-Based Analysis of Usage of Communication Channels for Concurrent Programming Languages" Proceedings of SAS'97(Springer Lecture Notes in Computer Science). 1302. 187-201 (1997)
