Theory and Practice of Restartable Exception Handling Mechanisms for Implementing Efficient and Safe High-level Languages

2023 Fiscal Year Final Research Report

• Project/Area Number: 19H04087
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Single-year Grants
• Section: 一般
• Review Section: Basic Section 60050:Software-related
• Research Institution: Kyushu Institute of Technology
• Principal Investigator: Yasugi Masahiro 九州工業大学, 大学院情報工学研究院, 教授 (30273759)
• Co-Investigator(Kenkyū-buntansha): 平石 拓 京都橘大学, 工学部, 専任講師 (60528222) ; 光来 健一 九州工業大学, 大学院情報工学研究院, 教授 (60372463) ; 江本 健斗 九州工業大学, 大学院情報工学研究院, 准教授 (00587470)
• Project Period (FY): 2019-04-01 – 2024-03-31
• Keywords: プログラミング言語 / ソフトウエア開発効率化・安定化 / ディペンダブル・コンピューティング / ハイパフォーマンス・コンピューティング / 負荷分散 / フォールト・トレランス / 性能評価 / 仮想環境

Outline of Final Research Achievements

By using mechanisms for occasionally inspecting/modifying data for future plans during the execution of a planned computation on computers, we can develop techniques for parallel execution and reliable/sustainable computing. We designed more theoretically safe and verifiable novel form of proposed mechanisms and examined applications. In addition, we explored fundamental studies and proposed and improved parallel programming languages implemented with our mechanisms for using highly parallel/heterogeneous/complex computing environments efficiently, easily, and safely.

Free Research Field

計算機科学

Academic Significance and Societal Importance of the Research Achievements

運用コストを改善したり実行性能を高めたりするために、計算環境の並列化・多様化・複雑化が進んでいます。本研究の成果を生かすことで、並列化が進む多様で複雑な計算環境を効率よく簡単・安全に利用できるようにします。また、そのための高水準プログラミング言語の実装を容易にして学術研究を促進します。