• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2023 年度 実施状況報告書

分散ソフトウェアのクリティカルな実行経過を自動導出する機械学習的アプローチ

研究課題

研究課題/領域番号 21K19770
研究機関大阪大学

研究代表者

増澤 利光  大阪大学, 大学院情報科学研究科, 教授 (50199692)

研究分担者 泉 泰介  大阪大学, 大学院情報科学研究科, 准教授 (20432461)
北村 直暉  大阪大学, 大学院情報科学研究科, 助教 (30963657)
研究期間 (年度) 2021-07-09 – 2025-03-31
キーワード分散システム / 分散ソフトウェア / 分散アルゴリズム / 機械学習
研究実績の概要

本研究では,分散ソフトウェアに深刻な障害を引き起こしうるクリティカルな実行経過を,機械学習によって自動導出するという挑戦的研究に取り組む.今年度は,前年度に引き続き,以下の課題に取り組んだ.
(1) 同期式分散ソフトウェアに対し,クリティカルなネットワークパタンの自動導出:ネットワークパタン(ネットワーク形状と各計算機への入力)を決めれば実行経過が一意に定まる,故障のない環境での同期式分散ソフトウェアを対象に,多くの実行時間やメッセージを必要とするクリティカルな実行経過を生じさせるネットワークパタンの自動導出を目指している.リーダ選出を対象に,メッセージ数が最大となる実行を生じさせる各計算機への入力の特徴付けとその自動導出の可能性に関する研究を進めた.
(2) 非同期式分散ソフトウェアに対し,クリティカルな非同期パタンの自動導出:非同期式分散ソフトウェアでは,ネットワークパタンを固定しても,非同期パタン(計算機の動作遅延やメッセージ遅延)により,さまざまな実行経過が生じうる.そこで,本課題では,クリティカルな実行経過を生じさせる非同期パタンの自動導出を目指している.任意の形状のネットワークでの重みつき最短経路木構成について,非同期性がメッセージ数に及ぼす影響の解明を試み,メッセージ数が最大となる実行の自動導出の可能性について検討した.
(3) 同期式分散ソフトウェアに対し,クリティカルな故障パタンの自動導出:同期式分散ソフトウェアに対し,故障の影響が深刻になるクリティカルな実行経過を生じさせる故障パタン(どの計算機がどのタイミングで故障するか)の特徴付けを試み,その自動導出の可能性について検討した.

現在までの達成度 (区分)
現在までの達成度 (区分)

3: やや遅れている

理由

当初の予定通り,前年度に引き続き,研究課題(1)「同期式分散ソフトウェアに対し,クリティカルなネットワークパタンの自動導出」,研究課題(2)「非同期式分散ソフトウェアに対し,クリティカルな非同期パタンの自動導出」,および,研究課題(3)「同期式分散ソフトウェアに対し,クリティカルな故障パタンの自動導出」に取り組んだ.それぞれの研究課題に対し,成果を出しつつある.
機械学習を用いてクリティカルな実行を導出することを目指し,理論的考察や予備実験を行ったところ,当初計画になかった課題として,機械学習が効果的な対象の特徴づけが重要であることが分かり,この特徴づけの検討を行っている.このため,実際の機械学習を用いた適用実験が遅れており,「やや遅れている」と評価している.

今後の研究の推進方策

分散ソフトウェアに深刻な障害を引き起こしうるクリティカルな実行経過を,機械学習によって自動導出することを目指す.次年度には,以下の研究課題(2), (3)に引き続き取り組み,これまでに得られた成果の発展を目指す.さらに,機械学習が効果的な対象の特徴づけにも取り組む.
(2) 非同期式分散ソフトウェアに対し,クリティカルな非同期パタンの自動導出
(3) 同期式分散ソフトウェアに対し,クリティカルな故障パタンの自動導出

次年度使用額が生じた理由

機械学習の実験に使用するPCを購入予定であったが,当初予定に加えて,機械学習が効果的な実験対象の検討を行ったため,既存PCを用いた予備実験の段階である.次年度にはPCを購入し,機械学習の実験を実施する予定である.
また,研究調査のための学会出席や研究打合せのための出張を予定通りには行えなかった.次年度には,これらの出張を実施する予定である.

  • 研究成果

    (3件)

すべて 2023 その他

すべて 国際共同研究 (1件) 学会発表 (2件) (うち国際学会 2件、 招待講演 1件)

  • [国際共同研究] ソルボンヌ大学(フランス)

    • 国名
      フランス
    • 外国機関名
      ソルボンヌ大学
  • [学会発表] Brief Announcement: Crash-Tolerant Exploration by Energy Sharing Mobile Agents2023

    • 著者名/発表者名
      Quentin Bramas, Toshimitsu Masuzawa, Sebastien Tixeuil
    • 学会等名
      25th International Symposium on Stabilization, Safety, and Security of Distributed Systems
    • 国際学会
  • [学会発表] Crash-tolerant graph exploration by two energy-sharing mobile agents2023

    • 著者名/発表者名
      Toshimitsu Masuzawa
    • 学会等名
      Research Meeting and School on Distributed Computing by Mobile Robots
    • 国際学会 / 招待講演

URL: 

公開日: 2024-12-25  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi