| 研究課題/領域番号 |
19H04087
|
|---|
| 研究機関 | 九州工業大学 |
|---|
研究代表者 |
八杉 昌宏 九州工業大学, 大学院情報工学研究院, 教授 (30273759)
|
|---|
| 研究分担者 |
平石 拓 京都大学, 学術情報メディアセンター, 助教 (60528222)
光来 健一 九州工業大学, 大学院情報工学研究院, 教授 (60372463)
江本 健斗 九州工業大学, 大学院情報工学研究院, 准教授 (00587470)
|
|---|
| 研究期間 (年度) |
2019-04-01 – 2024-03-31
|
| キーワード | プログラミング言語 / ソフトウエア開発効率化・安定化 / ディペンダブル・コンピューティング / ハイパフォーマンス・コンピューティング / 負荷分散 / フォールト・トレランス / 性能評価 / 仮想環境 |
|---|
| 研究実績の概要 |
持続型例外処理機構等の計算状態操作機構（提案機構）について、以下の研究を実施した。
１．新しい処理系や言語仕様の調査・比較：GCCバージョン8以降について調査を進めた。／２．提案機構を持つ拡張言語の望ましい言語仕様の基本的設計方針と意味論の探究：持続型例外処理機構の、例外処理と似た大域脱出によるハンドラ実行後に制御を脱出前に戻して元の計算が継続できるという仕様について考察し、設計を進めた。／３．提案機構を持つ拡張言語の翻訳に基づく実装技術：Java言語を翻訳先言語として、またその例外処理機能を利用して、持続型例外処理機構を備えたS式ベース拡張Java言語を翻訳に基づき実装するための変形規則セットを整備した。／４．ごみ集めや一級継続がサポートされた高水準言語の実装：提案機構の変換ベースの実装を利用可能なLispインタープリタに対し、継続間フレーム共有を促進する一級継続を実装した。／５．並列システムにおける資源を有効活用する手法の開発：基礎的研究としては、大規模グラフの分散並列生成、仮想環境における高性能・高信頼確保方式の研究を行った。バックトラックに基づく負荷分散に関しては、仕事量を見積もり優先度または重みとして用いる方式の分散環境向け実装と評価、マルチスレッド対応MPI上の実装方式の検討、タスク定義の自動化のほか、階層行列構築の並列化、を行った。また、階層的計算省略に基づく並列実行モデルについては、耐障害性を備えた高水準並列言語の設計と実装に関して伝統ある国際会議で発表するとともに、汎用送受信のサポート、障害耐性評価手法の検討を行った。また、集計中間結果に複数表現を適応的に用いて分割統治を効率化したヒストグラム生成アプリケーション作成技法を得た。／６．動的再構成・保全の前後での抽象的な計算状態（不変条件）の維持などの検証：定理証明系を用いた変換検証の枠組みを整理した。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
当初計画していた研究項目に関しては、6つの項目すべてでおおむね順調に進展している。バックトラックに基づく負荷分散に関しては、当初の計画の一部について評価がこれからであるが、当初の計画にはなかったような成果が多く得られ、計画以上に進展したといえる。
|
| 今後の研究の推進方策 |
成果の得られた研究項目については、対外発表を進めていく。持続型例外処理機構そのものの探究を、さらに本格化させる。それに伴い、課題が見つかった研究項目については、研究項目の当初の目的に沿う形でサブ課題に幅広く取り組んでいく。
|
