割込み処理に伴う競合の高精度かつ高効率な検出手法に関する研究

2014 年度 研究成果報告書

• 研究課題/領域番号: 24700026
• 研究種目: 若手研究(B)
• 配分区分: 基金
• 研究分野: ソフトウエア
• 研究機関: 東京工業大学
• 研究代表者: 荒堀 喜貴 東京工業大学, 情報理工学(系)研究科, 助教 (50613460)
• 研究期間 (年度): 2012-04-01 – 2015-03-31
• キーワード: プログラム解析 / バグ検出 / 割込み / スレッド / 競合

研究成果の概要

本研究は，割込み処理を用いるソフトウェアの信頼性及び開発効率の向上のために，割込み処理に起因する競合（割込み競合）を高精度かつ高効率に検出する手法の実現を目的としていた．主な研究成果として，（1）多重割込みの可能性も考慮し従来より多くの割込み競合を正確に検出する方式，（2）少ない空間使用量で多数の検出を可能にするメタデータ管理方式，（3）複数の競合解析を並列実行可能なアルゴリズムを設計し実装した．

自由記述の分野

情報科学