| 研究課題/領域番号 |
17H01722
|
|---|
| 研究種目 |
基盤研究(B)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
ソフトウェア
|
|---|
| 研究機関 | 名古屋大学 |
|---|
研究代表者 |
結縁 祥治 名古屋大学, 情報学研究科, 教授 (70230612)
|
|---|
| 研究分担者 |
西田 直樹 名古屋大学, 情報学研究科, 准教授 (00397449)
関 浩之 名古屋大学, 情報学研究科, 教授 (80196948)
中澤 巧爾 名古屋大学, 情報学研究科, 准教授 (80362581)
|
|---|
| 研究期間 (年度) |
2017-04-01 – 2021-03-31
|
| 研究課題ステータス |
完了 (2020年度)
|
| 配分額 *注記 |
18,590千円 (直接経費: 14,300千円、間接経費: 4,290千円)
2020年度: 3,900千円 (直接経費: 3,000千円、間接経費: 900千円)
2019年度: 3,770千円 (直接経費: 2,900千円、間接経費: 870千円)
2018年度: 5,200千円 (直接経費: 4,000千円、間接経費: 1,200千円)
2017年度: 5,720千円 (直接経費: 4,400千円、間接経費: 1,320千円)
|
|---|
| キーワード | 可逆計算 / 並行計算モデル / 並行プログラム / 可逆実行環境 / 可逆デバッガ / 可逆計算実行環境 / 可逆抽象機械 / 逆方向デバッグ技法 / 逆方向計算 / 実時間プログラム / 通信プロセス計算 / プログラミング言語 / 通信プロセスモデル / 逆計算モデル / バックトラック逆計算 / 構造操作意味規則 / 因果無矛盾性 / 並行計算 / デバッグモデル / 離散時間モデル / 並行プログラミング言語 / 計算モデル / 実時間性 / ソフトウエア学 / ソフトウェアデバッグ / 逆計算 |
|---|
| 研究成果の概要 |
本研究の目的は、並行性をもつソフトウェアにおいて、逆計算のメカニズムを応用して新たな解析手法を与えることである。近年の並行性を持つソフトウェアの振舞いにおいては、同時に実行されるプログラムの振舞いは非決定的であり、どのように相互作用を行ったかということを逆にたどることはプログラムの動的解析にとって非常に重要な情報となる。
この観点において、本研究では、並行性を持つソフトウェアの振舞いモデルの研究を行い、応用技術として、デバッグを目的とした並行性をもつプログラムの逆方向の動的解析手法および関連したプログラム解析技法（情報圧縮、実時間計算、並行プログラムの型づけ）について研究を行った。
|
| 研究成果の学術的意義や社会的意義 |
並行性を持つプログラムでは非決定性から実行再現性が保証されないため、不具合に対する解析とその修正が一般には難しい。並行ソフトウェアの振舞いを可逆計算の体系によってモデル化することによって、不具合の原因同定とその修正を効率的に行う手法について研究を行った。モデル化では順方向の実行に沿った逆方向に不可欠な情報を同定する。このモデル化を実行環境として実現し、さまざまな言語に対する可逆実行環境とその上でのデバッグ手法について研究を行った。過去の状態を同定し可逆的実行を可能にするためのモデル化と手法を複数のプログラミング言語処理系に対して示した。さらに可逆実行における実時間性について検討した。
|
