動的型付き言語のためのリージョン推論に基づくメモリ管理
スポンサーリンク
概要
- 論文の詳細を見る
型付き言語MLにおけるメモリ管理手法として，リージョン推論に基づく方式がTofteらによって提案，実装されている．この手法では，通常のMLの型システムにメモリ情報（リージョン）を付加して拡張した型システムに基づいて型推論を行うことで，各オブジェクトの生存区間を推定し，メモリの解放・獲得のためのコードをコンパイル時に挿入する．リージョンに基づくメモリ管理は，ガーベジコレクションに比べて早期にオブジェクトを解放でき，また，参照カウントによるメモリ管理方式に比べて実行時のオーバーヘッドが少ない．しかしながら，リージョン推論はMLの静的な型推論の拡張であるため，他の言語，特にSchemeのように動的に型付けされた言語に適用できるかどうかは自明でなかった．本研究では，CartwrightらのSoft typeとリージョン付き型システムとを統合することにより，動的型付き言語に対してもリージョン推論に基づくメモリ管理が行なえることを示す．
- 日本ソフトウェア科学会の論文
日本ソフトウェア科学会 | 論文
- LCDと透明弾性体の光弾性を用いたユーザインタフェース (特集 インタラクティブシステムとソフトウェア)
- Bluetoothによる位置検出
- COINSにおけるSIMD並列化(最新コンパイラ技術とCOINSによる実践)
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)