2018 Fiscal Year Annual Research Report
Technology for Efficient and Reliable Systems Based on Accurate Execution Stack Access
| Project/Area Number |
26280023
|
|---|
| Research Institution | Kyushu Institute of Technology |
|---|
Principal Investigator |
八杉 昌宏 九州工業大学, 大学院情報工学研究院, 教授 (30273759)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
平石 拓 京都大学, 学術情報メディアセンター, 助教 (60528222)
光来 健一 九州工業大学, 大学院情報工学研究院, 教授 (60372463)
|
|---|
| Project Period (FY) |
2014-04-01 – 2019-03-31
|
| Keywords | プログラミング言語 / 計算機システム / ソフトウエア開発効率化・安定化 / ディペンダブル・コンピューティング / ハイパフォーマンス・コンピューティング / 性能評価 / 負荷分散 / 仮想環境 |
|---|
| Outline of Annual Research Achievements |
提案しているL-closure等の計算状態操作機構について、以下の研究を実施した。
１．新しい処理系や言語仕様の調査・比較やベースとしての活用：Java 11などの動向調査を進めた。
２．言語仕様や実装・性能モデルの改良：「計算状態操作機構L-closureを持つ拡張Java言語」からJava言語（例外処理可能）への変換を実現するための型情報追加変換に関して、S式ベース言語処理系を用いた変換ベース実装を進めた。これとは別に「計算状態操作機構closureを持つ拡張SC言語」から標準C言語への変換ベース実装を開発した。
３．並列システムにおける資源を有効活用する手法の開発：基礎的研究としては、グラフ並列計算向け高水準言語、仮想環境における性能確保方式の研究を行った。バックトラックに基づく負荷分散に関しては、実環境向け高速化手法であるビジーループを実環境ならびに仮想環境において評価し、仮想環境における性能低下を確認した。また、多数のコアを持つプロセッサや分散環境を有効活用するためのヒントとなる設定値の有効性評価のために比較的大きな作業空間を要するアプリケーションを開発したほか、設定値の通信方式についての研究を行った。加えて、階層行列構築アプリケーションも開発した。また、階層的計算省略に基づく並列実行モデルについては、高水準言語の設計と処理系実装を行い、耐障害性を評価するとともに、このモデルを支えるスケーラブルなメッセージ媒介システムをさらに改良した。
４．ごみ集めや一級継続がサポートされた高水準言語の実装：計算状態操作機構の変換ベースの実装を利用可能なLispインタープリタにより、項目２．で追加した変換ベースのclosureの評価を行い、高い性能を確認した。
|
| Research Progress Status |
平成30年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
平成30年度が最終年度であるため、記入しない。
|
| Causes of Carryover |
平成30年度が最終年度であるため、記入しない。
|
| Expenditure Plan for Carryover Budget |
平成30年度が最終年度であるため、記入しない。
|
