| 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)
|
|---|
| 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.
|
