MoIO: Run-time monitoring for I/O protocol violations in storage device drivers
作者： Domenico Cotroneo , Luigi De Simone , Francesco Fucci , Roberto Natella
DOI: 10.1109/ISSRE.2015.7381840
关键词:
摘要: Bugs affecting storage device drivers include the so-called protocol violation bugs, which silently corrupt data and commands exchanged with I/O devices. Protocol violations are very difficult to prevent, since testing driver is notoriously difficult. To address them, we present a monitoring approach for (MoIO) detect HO at run-time. The infers model of interactions between driver, OS kernel, hardware (the protocol) by analyzing execution traces. then used as reference detecting in production. has been designed have low overhead overcome lack source code documentation. We show that feasible effective applying it on SATA/AHCI Linux performing fault injection long-running tests.
sci-hub.se 参考文章(38)
David Patterson, Archana Ganapathi, Viji Ganapathi, Windows XP kernel crash analysis usenix large installation systems administration conference. pp. 12- 12 ,(2006)
K. Kanoun, Y. Crouzet, A. Kalakech, A.-E. Rugina, P. Rumeau, Benchmarking the dependability of Windows and Linux using PostMark/spl trade/ workloads international symposium on software reliability engineering. pp. 11- 20 ,(2005) , 10.1109/ISSRE.2005.13
Galen Hunt, Doug Brubacher, Detours: binary interception of Win32 functions conference on usenix windows nt symposium. pp. 14- 14 ,(1999)
Silas Boyd-Wickizer, Nickolai Zeldovich, Tolerating malicious device drivers in Linux usenix annual technical conference. pp. 9- 9 ,(2010)
Emin Gün Sirer, Fred B. Schneider, Kevin Walsh, Dan Williams, Patrick Reynolds, Device driver safety through a reference validation mechanism operating systems design and implementation. pp. 241- 254 ,(2008) , 10.5555/1855741.1855758
Domenico Cotroneo, Oliver Schwahn, Roberto Natella, Neeraj Suri, Stefan Winter, No PAIN, no gain?: the utility of PArallel fault INjections international conference on software engineering. ,vol. 1, pp. 494- 505 ,(2015) , 10.5555/2818754.2818816
J. H. Saltzer, D. P. Reed, D. D. Clark, End-to-end arguments in system design ACM Transactions on Computer Systems. ,vol. 2, pp. 277- 288 ,(1984) , 10.1145/357401.357402
Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser, Dingo: taming device drivers european conference on computer systems. pp. 275- 288 ,(2009) , 10.1145/1519065.1519095
I. Irrera, J. Duraes, H. Madeira, M. Vieira, Assessing the Impact of Virtualization on the Generation of Failure Prediction Data latin-american symposium on dependable computing. pp. 92- 97 ,(2013) , 10.1109/LADC.2013.24
D. Cotroneo, A. Lanzaro, R. Natella, R. Barbosa, Experimental Analysis of Binary-Level Software Fault Injection in Complex Software european dependable computing conference. pp. 162- 172 ,(2012) , 10.1109/EDCC.2012.12