权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

先進的型システムに基づく並列プログラミング言語のデバッガ及びメモリ管理の研究

基于高级类型系统的并行编程语言的调试器和内存管理研究

基本信息

批准号：
09780245
负责人：
小林直樹
金额：
$ 1.54万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1997
资助国家：
日本
起止时间：
1997 至 1998
项目状态：
已结题

项目摘要

本研究では、プログラミング言語のデバッグのサポートやメモリ管理などのランタイムシステムをサポートするための静的型システム・プログラム解析の研究を行った。デバッグのサポートに関しては、昨年度までに構築した並行プログラムのデッドロックフリーダムを保証する型システムを一般化し、その型チェッカを実装した。これにより、昨年度までよりもより広い範囲のプログラムのデッドロックフリーダムの保証を行なうことができ、並行プログラム中の、デッドロックを引き起こす可能性のある場所を静的にこれまで以上に絞り込むことができるようになった。メモリ管理に関しては、「疑似線形型システム」および「リージョン推論によるメモリ管理とガーベジコレクション(GC)の融合」について研究を行なった。「疑似線形型システム」は特定のデータがプログラム実行中に一回しかアクセスされないことを保証できる線形型システムを発展させ、より多くのデータについて静的情報に基づいて自動的にメモリ解放を行なえるように我々が考案した型システムである。本年度はその型システムの定式化および証明、それに基づくプログラム解析システムの実装・評価を行なった。実験結果から、プログラム中で動的に割り当てられるメモリのうち、大部分が本型システムに基づいて(GCなどの手法に頼らずに)自動的に解放できることが確認できた。「リージョン推論によるメモリ管理とGCの融合」では、静的メモリ管理のもう一つの手法であるリージョン推論に基づくメモリ管理方式においてダングリングポインタが生じて通常のGCとの融合が因難であるとされてきた問題を、GC時に型情報を参照することによって解決する方法を定式化し、正当性の証明を行なった。

This study is aimed at analyzing the types of speech patterns and speech patterns in speech management. In the past year, we have constructed a parallel network to ensure that the system is generalized and the system is installed. This is the first time in the past that the company has been involved in the development of a network of mobile phones, mobile phones and mobile phones. The research on "suspected linear model" and "fusion of remote management and remote control (GC)" was carried out. "Suspected linear model" for specific data types, such as the first time in the implementation of a return to the list, to ensure that the linear model is developed, and more than a few data types, such as the static information base, automatic release of the list, and so on. This year, we will conduct a systematic evaluation of the system and its basic analysis. As a result, the automatic release of most of the active components in the system is confirmed when the components are released automatically. The method of solving the problem and proving the validity of the method is formulated. The method of solving the problem and proving the validity of the method is based on the basic theory of the method of solving the problem and referring to the information of GC time type.