研究課題/領域番号 |
19H04087
|
研究種目 |
基盤研究(B)
|
配分区分 | 補助金 |
応募区分 | 一般 |
審査区分 |
小区分60050:ソフトウェア関連
|
研究機関 | 九州工業大学 |
研究代表者 |
八杉 昌宏 九州工業大学, 大学院情報工学研究院, 教授 (30273759)
|
研究分担者 |
平石 拓 京都橘大学, 工学部, 専任講師 (60528222)
光来 健一 九州工業大学, 大学院情報工学研究院, 教授 (60372463)
江本 健斗 九州工業大学, 大学院情報工学研究院, 准教授 (00587470)
|
研究期間 (年度) |
2019-04-01 – 2024-03-31
|
研究課題ステータス |
交付 (2023年度)
|
配分額 *注記 |
16,900千円 (直接経費: 13,000千円、間接経費: 3,900千円)
2023年度: 2,730千円 (直接経費: 2,100千円、間接経費: 630千円)
2022年度: 2,730千円 (直接経費: 2,100千円、間接経費: 630千円)
2021年度: 2,730千円 (直接経費: 2,100千円、間接経費: 630千円)
2020年度: 5,590千円 (直接経費: 4,300千円、間接経費: 1,290千円)
2019年度: 3,120千円 (直接経費: 2,400千円、間接経費: 720千円)
|
キーワード | プログラミング言語 / 計算機システム / ソフトウエア開発効率化・安定化 / ディペンダブル・コンピューティング / ハイパフォーマンス・コンピューティング / 負荷分散 / フォールト・トレランス / 性能評価 / 仮想環境 |
研究開始時の研究の概要 |
ソフトウェアが自身の計算状態を操作する機構を用いて高水準プログラミング言語の抽象度で見た状態は保ちつつ、詳細レベルでは将来展望に基づいてごみ集めをしたり、一度決めた計算方法を抜本的に変更したりといった「備え」を持つ計算基盤を実現するための研究です。持続型例外処理という新たな機構を探求します。高性能・高信頼システムのために同機構を応用したり、その際の正しさや有効性を確認し、仮想化・並列化の進む計算システムを効率よく安全に利用できるようにします。
|
研究実績の概要 |
提案している持続型例外処理機構等の計算状態操作機構(提案機構)について、以下の研究を実施した。 [1.新しい処理系や言語仕様の調査・比較]:C++のラムダ式について調査を進めた。[2.提案機構を持つ拡張言語の望ましい言語仕様の基本的設計方針と意味論の探究、3.提案機構を持つ拡張言語の翻訳に基づく実装技術の開発]:2.の機構を入れ子関数の形態へと翻訳する枠組みの整備を進めた。[4.ごみ集めや一級継続がサポートされた高水準言語の実装]:2.の機構で実現するための準備を進めた。[5.冗長実行や負荷分散やマイグレーションにより仮想化・階層化なども想定して並列システムにおける資源を有効活用する手法の開発]:基礎的研究としては、グラフ計算向け高水準言語、仮想環境における高性能・高信頼確保方式の研究を行った。バックトラックに基づく負荷分散に関しては、C++上での負荷分散、分散環境向け階層行列構築、優先度と重みを併用するスティール戦略の検討、ARM上での評価を進めた。階層的計算省略に基づく(耐障害性を持つ)並列実行モデルについては、実行順序計画法の比較、2.の機構で実現するための準備、階層的省略可能な乱数生成法の研究を行った。また、両実行モデルにおいて、UTSベンチマークによる評価、バックトラック探索時の作業空間長期利用の有効性、ヒストグラム等のサイズが大きい結果用作業空間の適応的共有の提案について発表した。[6.動的再構成・保全の前後での抽象的な計算状態(不変条件)の維持などの検証]:持続型例外処理機構の意味論、実装方式、高水準言語実装のための利用方式、利用した個々のプログラム、前提条件やこれらの組み合せのどういった性質を検証の目的とするかを今後明確にすることとした。
|
現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
当初計画していた研究項目に関しては、持続型例外処理機構に関してC++言語を翻訳先言語とする場合や高水準言語と持続型例外処理機構の組み合せ、検証対象の明確化などで遅れがあるが、新たな課題の発見などもあり、全体としてはおおむね順調に進展している。
|
今後の研究の推進方策 |
成果の得られた研究項目については、対外発表を進めていく。持続型例外処理機構そのものの探究を続ける。それに伴い、課題が見つかった研究項目については、研究項目の当初の目的に沿う形でサブ課題に幅広く取り組んでいく。
|