2014 Fiscal Year Research-status Report
| Project/Area Number |
26540030
|
|---|
| Research Institution | Kyushu Institute of Technology |
|---|
Principal Investigator |
八杉 昌宏 九州工業大学, 大学院情報工学研究院, 教授 (30273759)
|
|---|
| Project Period (FY) |
2014-04-01 – 2017-03-31
|
| Keywords | プログラミング言語 / 計算機システム / ソフトウエア開発効率化・安定化 / ディペンダブル・コンピューティング / ハイパフォーマンス・コンピューティング / 型付中間言語 / メモリモデル |
|---|
| Outline of Annual Research Achievements |
汎用性の高い型付中間言語、すなわち広く様々な高水準言語からの翻訳の共通のターゲットとしての低水準の型付中間言語を、安全で高性能な言語処理系（計算基盤）が作成できる形で定義することは、高水準言語間の連携などの点で言語処理系技術に貢献しようとする研究者の挑戦的な夢である。さらにマルチコア化を活用した共有メモリによる高性能な多言語並列計算の安全性確保（データレース回避の検証等）は極めて挑戦的である。本研究では近年の型理論の成果（依存型等）を踏まえて、その設計に挑戦している。
本研究は型付中間言語MILを開発する形で進めている。平成26年度は、MILの汎用性ならびにMILレベルにおけるメモリモデルと安全性確保（データレース回避の検証）のサポートを中心に研究を進めた。汎用性では、正確なごみ集めのサポートや、配列、依存型のための存在型・全称型、クロージャのサポートに注意した。
MILレベルにおけるメモリモデルは、既存のアプローチと同様、データレースがない（data-race-free な）プログラムについては 逐次一貫性（sequential consistency）が得られるという点を基礎とする。データレース回避が検証できないプログラムは型検査をパスしないという点で安全性を確保することを目標としており、そのような中で、現状の技術でデータレース回避（data race freedom）を検証するには、プログラム論理、fractional な所有権、分離論理などに基づいていくことで一定の範囲がカバーできるとの方向性を得た。
|
| Current Status of Research Progress |
Current Status of Research Progress
3: Progress in research has been slightly delayed.
Reason
研究課題が挑戦的であることもあるが、データレース回避の検証に限っても、フェーズが変わったことをどのように表現するか未定である。
|
| Strategy for Future Research Activity |
比較的需要が高い応用例に限定した議論も行いたい。
|
| Causes of Carryover |
効率よく予算を利用するため集約可能な物品購入を次年度に持ち越したため。
|
| Expenditure Plan for Carryover Budget |
持ち越した物品購入を計画している。
|
