A machine learning based approach to automatic derivation of critical executions of distributed softwares

基于机器学习的方法自动推导分布式软件的关键执行

• 批准号: 21K19770
• 负责人: 増澤 利光
• 金额: $ 4.08万
• 依托单位: Osaka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Challenging Research (Exploratory)
• 财政年份: 2021
• 资助国家: 日本
• 起止时间: 2021-07-09 至 2024-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21K19770/
• 关键词: 分散システム; 分散ソフトウェア; 分散アルゴリズム; 機械学習

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

This study is aimed at the study of decentralized learning, automatic derivation and challenge. This year, the following topics are selected. (1)Simultaneous decentralized software is automatically derived from: For example, if a computer fails to run properly, it will run automatically. If the computer fails to run properly, it will run automatically. A study on the possibility of automatic derivation of the input characteristics of each computer is carried out. (2)Asynchronic decentralized software is lost in response to a request for asynchronous software. Asynchronic decentralized software is lost in response to a request for asynchronous software. Asynchronic decentralized software is lost in response to a request for asynchronous software. This paper discusses the problem of automatic derivation of asynchronous data in the process of generating asynchronous data. The shortest path tree composition of complete generation, the non-synchronization, the number of paths and the influence of paths on the solution, the maximum number of paths and the possibility of automatic derivation, are discussed. (3)Synchronous decentralized software failure, the impact of the failure is profound, the implementation of the fault occurs, the characteristics of the fault are tested, the possibility of automatic derivation is discussed.