2018 Fiscal Year Final Research Report
Technology for Efficient and Reliable Systems Based on Accurate Execution Stack Access
| Project/Area Number |
26280023
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Partial Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Kyushu Institute of Technology |
|---|
Principal Investigator |
Yasugi Masahiro 九州工業大学, 大学院情報工学研究院, 教授 (30273759)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
平石 拓 京都大学, 学術情報メディアセンター, 助教 (60528222)
光来 健一 九州工業大学, 大学院情報工学研究院, 教授 (60372463)
|
|---|
| Research Collaborator |
KOIDE Hiroshi
EMOTO Kento
|
|---|
| Project Period (FY) |
2014-04-01 – 2019-03-31
|
| Keywords | プログラミング言語 / 計算機システム / ソフトウエア開発効率化・安定化 / ディペンダブル・コンピューティング / ハイパフォーマンス・コンピューティング / 入れ子関数 / 実行スタック / 並列処理 |
|---|
| Outline of Final Research Achievements |
By using mechanisms for occasionally inspecting/modifying data for future plans during the planned execution on computers, we can develop technologies for parallel computing and reliable/sustainable computing. We investigated more efficient and portable mechanisms and obtained a good result when applying a mechanism to evaluators. In addition, we proposed and improved parallel programming languages implemented with our mechanisms for exploiting highly parallel/heterogeneous/complex computing environments efficiently, easily, and safely.
|
| Free Research Field |
計算機科学
|
| Academic Significance and Societal Importance of the Research Achievements |
運用コストを改善したり実行性能を高めたりするために、計算環境の並列化・多様化・複雑化が進んでいます。本研究の成果を生かすことで、並列化が進む多様で複雑な計算環境を効率よく簡単・安全に利用できるようにします。また、そのための高水準プログラミング言語の実装を容易にして学術研究を促進します。
|
