FoxyFeed: Forging device-level asynchronous events for kernel development

Kenji Kono, Shunsuke Miyahara, Hiroshi Yamada, Takeshi Yoshimura

研究成果: Conference contribution

抄録

Enhancing source code quality of operating systems (OSes) is an essential and endless task in communities of commodity OSes. Unfortunately, improving the quality of the kernel code is not trivial because the kernel is large and complex. In particular, asynchronous events from peripheral devices such as interrupts make the improvement quite hard due to their low reproducibility. This paper presents Foxy Feed, a mechanism based on virtual machine monitors that helps to fix bugs caused by asynchronous device-level events. Foxy Feed forges device-level events and injects them to a debuggee kernel at the timing specified in advance, and allows us to control the timing at which asynchronous events occur for the debugging purpose. Using our prototype implementation of Foxy Feed, which is based on Xen 4.1.0, we demonstrate that Foxy Feed reproduces failures caused by device-triggered bugs in Linux and gives significant clues to the root causes.

本文言語English
ホスト出版物のタイトルProceedings - 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014
出版社IEEE Computer Society
ページ145-154
ページ数10
ISBN(電子版)9781479964741
DOI
出版ステータスPublished - 2014 12 3
イベント20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014 - Singapore, Singapore
継続期間: 2014 11 192014 11 21

出版物シリーズ

名前Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC
ISSN(印刷版)1541-0110

Other

Other20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014
国/地域Singapore
CitySingapore
Period14/11/1914/11/21

ASJC Scopus subject areas

  • 計算理論と計算数学
  • コンピュータ サイエンスの応用
  • ハードウェアとアーキテクチャ
  • ソフトウェア

フィンガープリント

「FoxyFeed: Forging device-level asynchronous events for kernel development」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル