• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2017 Fiscal Year Annual Research Report

計算状態の精密操作に基づく高性能・高信頼システム技術

Research Project

Project/Area Number 26280023
Research InstitutionKyushu 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等の計算状態操作機構について、以下の研究を実施した。
1.新しい処理系や言語仕様の調査・比較やベースとしての活用:Cilk PlusやC++17などの動向調査を進めた。
2.計算状態操作機構を持つ拡張C言語の言語仕様や実装・性能モデルの改良:部分列に関する条件を扱うパターンを追加した「S式ベース言語処理系」を用いて、S式ベースの拡張Java言語処理系の再実装を進めた。拡張C言語という計画を見直し、「計算状態操作機構L-closureを持つ拡張Java言語」からJava言語(例外処理可能)への変換ベースの実装を進める。
3.冗長実行や負荷分散やマイグレーションにより仮想化・階層化・ヘテロ化なども想定して並列システムにおける資源を有効活用する手法の開発:基礎的研究としては、並列計算量の理論的扱い、仮想環境における並列性能の最適化/性能確保方式の研究を行った。バックトラックに基づく負荷分散に関しては、多数のコアを持つプロセッサを有効活用するために仕事量の見積りというヒントを優先度または重みとして用いた方式の考案と有効性評価、MPIを利用した実装方式の再検討、中断処理による冗長探索削減の分散環境での評価、仮想環境を考慮した負荷分散方式の評価とCilkとの性能比較、を行った。また、階層的計算省略に基づく並列実行モデルについては高水準言語の設計と処理系の完成度向上、このモデルを支えるスケーラブルなメッセージ媒介システムの改良、耐障害性評価のための通信障害模擬機能の実装を行った。どちらの並列実行モデルも、評価用アプリケーション・実アプリケーションの開発を進めた。
4.ごみ集めや一級継続がサポートされた高水準言語の実装:計算状態操作機構の変換ベースの実装を利用可能なLispインタープリタにより既存の計算状態操作機構の評価と課題整理を行った。

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

当初から計画していた研究項目に関しては、新しい変換ベースの実装方式で遅れがあるほかは、おおむね順調に進展している。
新しい変換ベースの実装方式に関しても、C言語以外の言語(Java言語)で試験実装するための基礎研究が当初の予想よりも奥深いものであったため、ある意味では計画以上に進展したといえる。
また、バックトラックに基づく負荷分散に関しては、計画以上の成果が得られている。

Strategy for Future Research Activity

成果の得られた研究項目については、対外発表を進めていく。課題が見つかった研究項目については、研究項目の当初の目的に沿う形で、サブ課題に幅広く取り組んでいく。具体的には、L-closureについては拡張C言語という計画を見直し、「計算状態操作機構L-closureを持つ拡張Java言語」からJava言語(例外処理可能)への変換ベースの実装を進めたり、「計算状態操作機構closureを持つ拡張C言語」から標準C言語への変換ベース実装を進める。

  • Research Products

    (14 results)

All 2018 2017 Other

All Presentation (13 results) (of which Int'l Joint Research: 2 results) Remarks (1 results)

  • [Presentation] タスク並列言語におけるノード間通信の実装方式の検討2018

    • Author(s)
      平石 拓,村岡 大輔,八杉 昌宏
    • Organizer
      情報処理学会第59回プログラミング・シンポジウム
  • [Presentation] 並列分散フレームワークの耐障害性評価のための通信障害模擬機能2018

    • Author(s)
      西牟禮 亮,八杉 昌宏,平石 拓,馬谷 誠二
    • Organizer
      日本ソフトウェア科学会プログラミング論研究会第20回プログラミングおよびプログラミング言語ワークショップ (PPL 2018) (カテゴリ3,ポスター)
  • [Presentation] 階層型行列の区分け決定処理のCilk Plusによる並列化2018

    • Author(s)
      白 正陽,平石 拓,伊田 明弘,中島 浩
    • Organizer
      日本ソフトウェア科学会プログラミング論研究会第20回プログラミングおよびプログラミング言語ワークショップ (PPL 2018) (カテゴリ3,ポスター)
  • [Presentation] 拡張SC言語で記述したSchemeインタプリタによる計算状態操作機構の評価2018

    • Author(s)
      八杉 昌宏,池内 嶺知,平石 拓,小宮 常康,重本 孝太
    • Organizer
      日本ソフトウェア科学会プログラミング論研究会第20回プログラミングおよびプログラミング言語ワークショップ (PPL 2018)
  • [Presentation] Dynamic Load Balancing for Construction and Arithmetic of Hierarchical Matrices2018

    • Author(s)
      Tasuku Hiraishi
    • Organizer
      SIAM Conference on Parallel Processing for Scientific Computing (SIAM PP18)
    • Int'l Joint Research
  • [Presentation] 優先度ならびに重みを用いたワークスティールフレームワークの性能改善2017

    • Author(s)
      寄高 啓司,八杉 昌宏,平石 拓,馬谷 誠二
    • Organizer
      The 1st cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2017)
  • [Presentation] HOPEコンパイラのプロトタイプ実装2017

    • Author(s)
      重本 孝太,八杉 昌宏,平石 拓,馬谷 誠二
    • Organizer
      情報処理学会第115回プログラミング研究会 (SWoPP2017)
  • [Presentation] 分散環境での並列グラフマイニングにおけるタスク中断処理による冗長探索削減2017

    • Author(s)
      奥野 伸吾,平石 拓,中島 浩,八杉 昌宏,瀬々 潤
    • Organizer
      情報処理学会第115回プログラミング研究会 (SWoPP2017)
  • [Presentation] 仮想環境を考慮した要求駆動型負荷分散2017

    • Author(s)
      良本 海,八杉 昌宏,平石 拓,馬谷 誠二
    • Organizer
      日本ソフトウェア科学会第34回大会
  • [Presentation] 並列プログラム計算量の系統的機械証明手法の開発2017

    • Author(s)
      白水 駿,江本 健斗
    • Organizer
      日本ソフトウェア科学会第34回大会
  • [Presentation] CPUオーバコミット時における並列アプリケーション実行の最適化2017

    • Author(s)
      髙山 都旬子,光来 健一
    • Organizer
      第29回コンピュータシステムシンポジウム (ComSys 2017)
  • [Presentation] Resource Cages: A New Abstraction of the Hypervisor for Performance Isolation Considering IDS Offloading2017

    • Author(s)
      Kenichi Kourai, Sungho Arai, Kousuke Nakamura, Seigo Okazaki, Shigeru Chiba
    • Organizer
      the 9th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2017)
    • Int'l Joint Research
  • [Presentation] 計算状態操作機構による並列言語実装と性能改善2017

    • Author(s)
      八杉 昌宏,平石 拓,光来 健一
    • Organizer
      第9回 自動チューニング技術の現状と応用に関するシンポジウム
  • [Remarks] Tascell

    • URL

      http://super.para.media.kyoto-u.ac.jp/tascell/

URL: 

Published: 2018-12-17  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi