| 研究課題/領域番号 |
26730033
|
|---|
| 研究種目 |
若手研究(B)
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
ソフトウェア
|
|---|
| 研究機関 | 東京工業大学 |
|---|
研究代表者 |
荒堀 喜貴 東京工業大学, 情報理工学院, 助教 (50613460)
|
|---|
| 研究期間 (年度) |
2014-04-01 – 2017-03-31
|
| 研究課題ステータス |
完了 (2016年度)
|
| 配分額 *注記 |
3,770千円 (直接経費: 2,900千円、間接経費: 870千円)
2015年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
2014年度: 2,080千円 (直接経費: 1,600千円、間接経費: 480千円)
|
|---|
| キーワード | プログラム解析 / 並行処理 / 記号実行 / 並行バグ / トランザクション / 並行制御 / テスト / デバッグ |
|---|
| 研究成果の概要 |
本研究は、並行処理のバグを検出する動的記号実行系を実現した。従来の動的記号実行は逐次処理を対象とし、並行バグを効率的に探査することができなかった。この問題を解決すべく、本研究はまず、既存の逐次記号実行系に競合検出機構を実装し、共有データ上の潜在的競合アクセスを検知できるようにした。次に、これらの潜在的競合アクセスの中から真に競合となり得るアクセスを効率的に識別する手法を提案した。最後に、トランザクション処理の巻戻しに類似する機構を本研究の並行記号実行に統合することで、真に競合となる共有データアクセス順序を効率的に再現できるようにした。
|
