| 研究課題/領域番号 |
24700026
|
|---|
| 研究種目 |
若手研究(B)
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
ソフトウエア
|
|---|
| 研究機関 | 東京工業大学 |
|---|
研究代表者 |
荒堀 喜貴 東京工業大学, 情報理工学(系)研究科, 助教 (50613460)
|
|---|
| 研究期間 (年度) |
2012-04-01 – 2015-03-31
|
| 研究課題ステータス |
完了 (2014年度)
|
| 配分額 *注記 |
3,770千円 (直接経費: 2,900千円、間接経費: 870千円)
2013年度: 1,820千円 (直接経費: 1,400千円、間接経費: 420千円)
2012年度: 1,950千円 (直接経費: 1,500千円、間接経費: 450千円)
|
|---|
| キーワード | プログラム解析 / バグ検出 / 割込み / スレッド / 競合 / データ競合 / 動的解析 |
|---|
| 研究成果の概要 |
本研究は，割込み処理を用いるソフトウェアの信頼性及び開発効率の向上のために，割込み処理に起因する競合（割込み競合）を高精度かつ高効率に検出する手法の実現を目的としていた．主な研究成果として，（1）多重割込みの可能性も考慮し従来より多くの割込み競合を正確に検出する方式，（2）少ない空間使用量で多数の検出を可能にするメタデータ管理方式，（3）複数の競合解析を並列実行可能なアルゴリズムを設計し実装した．
|
