TY - GEN
T1 - FoxyFeed
T2 - 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014
AU - Kono, Kenji
AU - Miyahara, Shunsuke
AU - Yamada, Hiroshi
AU - Yoshimura, Takeshi
N1 - Publisher Copyright:
© 2014 IEEE.
PY - 2014/12/3
Y1 - 2014/12/3
N2 - 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.
AB - 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.
KW - Device-Triggered Bug
KW - Kernel Debug
KW - Non-deterministic Bug
KW - Virtual Machine Monitor
UR - http://www.scopus.com/inward/record.url?scp=84919487471&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84919487471&partnerID=8YFLogxK
U2 - 10.1109/PRDC.2014.25
DO - 10.1109/PRDC.2014.25
M3 - Conference contribution
AN - SCOPUS:84919487471
T3 - Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC
SP - 145
EP - 154
BT - Proceedings - 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014
PB - IEEE Computer Society
Y2 - 19 November 2014 through 21 November 2014
ER -