Towards Typed Intermediate Languages for Safe Parallel Computing Bases among Multiple High-Level Languages
Project/Area Number |
26540030
|
Research Category |
Grant-in-Aid for Challenging Exploratory Research
|
Allocation Type | Multi-year Fund |
Research Field |
Software
|
Research Institution | Kyushu Institute of Technology |
Principal Investigator |
YASUGI Masahiro 九州工業大学, 大学院情報工学研究院, 教授 (30273759)
|
Project Period (FY) |
2014-04-01 – 2017-03-31
|
Project Status |
Completed (Fiscal Year 2016)
|
Budget Amount *help |
¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000)
Fiscal Year 2016: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2015: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2014: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
Keywords | 型付中間言語 / 低水準言語 / プログラミング言語処理系 / 型検査 / 並列計算 / データレース / 高水準言語 / 多次元配列 / プログラミング言語 / 計算機システム / ソフトウエア開発効率化・安定化 / ディペンダブル・コンピューティング / ハイパフォーマンス・コンピューティング / メモリモデル |
Outline of Final Research Achievements |
In this study, we tried to design universal typed intermediate languages for supporting safe and fast parallel computing among various high-level languages. On the basis of the existing techniques of type checking with dependent types and fractional permissions, we examined (1) type checking for ensuring data race freedom and realizing the sequential consistency memory model, (2) spatial fractions for extracting permissions on sub-arrays, (3) a safe scheme that makes multiple high-level languages access the typed intermediate languages' shared data structures via meta-calls.
|
Report
(4 results)
Research Products
(3 results)