Serialdriver: Improving the reliability of device drivers through serialization

IEEE Transactions on Consumer Electronics

Volumn 58, Issue 3, 2012, Pages 1070-1076

  Ma, Chao ^a   Zhao, Peng ^a   Hu, Shi Min ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

concurrency bug; device driver; reliability; serialization

Indexed keywords

CONCURRENCY BUG; CONCURRENCY MANAGEMENT; CONSUMER ELECTRONIC DEVICES; DEVICE DRIVER; EVALUATION RESULTS; INTERFACE ADAPTERS; KERNEL THREADS; MESSAGE QUEUES; SERIALIZATION; THREE COMPONENT;

ELECTRONICS ENGINEERING; RELIABILITY; TECHNOLOGY;

JAVA PROGRAMMING LANGUAGE;

EID: 84867317349     PISSN: 00983063     EISSN: None     Source Type: Journal    
DOI: 10.1109/TCE.2012.6311358     Document Type: Article

References (30)

1. I. Hwang, D. Lee, and J. Baek, "Home network configuring scheme for all electric appliances using ZigBee-based integrated remote controller," IEEE Trans. Consumer Electron., vol. 55, no. 3, pp. 1300-1307, Aug. 2009.
2. K. Kim, Y. Cha, J. Park, J. Lee and B. You, "Providing services using network-based humanoids in a home environment," IEEE Trans. Consumer Electron., vol. 57, no. 4, pp. 1628-1636, Nov. 2011.
3. S. Park, J. Jeong, H. Jo, J. Lee, and E. Seo, "Development of behaviorprofilers for multimedia consumer electronics," IEEE Trans. Consumer Electron., vol. 55, no. 4, pp. 1929-1935, Nov. 2011.
4. J. Hwang, J. Jeong, H. Kim, J. Kim and J. Lee, "AppWatch: detecting kernel bug for protecting consumer electronics applications," IEEE Trans. Consumer Electron., vol. 56, no. 2, pp. 687-694, May. 2010.
5. M. M. Swift, B. N. Bershad, and H. M. Levy, "Improving the reliability of commodity operating systems," ACM Transactions on Computer Systems, vol. 23, no. 1, pp. 77-110, 2005. (Pubitemid 40479368)
6. A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler, "An empirical study of operating system errors," Operating System Review, vol. 35, no. 5, pp. 73-88, 2001. (Pubitemid 33612606)
7. L. Ryzhyk, P. Chubb, I. Kuz, and G. Heiser, "Dingo: Taming device drivers," Proceedings of the 4th ACM European conference on Computer systems, pp 275-288, 2009.
8. A. Kadav, M. J. Renzelmann, and M. M. Swift, "Tolerating hardware device failures in software," Proceedings of 22nd ACM Symposium on Operating System Principles, pp. 1-16, 2009.
9. L. Ryzhyk, P. Chubb, I. Kuz, E. L. Sueur and G. Heiser, "Automatic Device Driver Synthesis with Termite," Proceedings of 22nd ACM Symposium on Operating System Principles, pp. 1-14, 2009.
10. F. M′erillon, L. Reveill̀ere, C. Consel, R. Marlet, and G. Muller, "Devil: An IDL for hardware programming," Proceedings of the 4th conference on Symposium on Operating System Design and Implementation, pp. 1-14, 2000.
11. C. L. Conway and S. A. Edwards, "NDL: a domain-specific language for device drivers," ACM SIGPLAN Notice, vol. 39, no. 7, pp. 30-36, July, 2004.
12. L. Ryzhyk, Y. Zhu, and G. Heiser, "The case for active device driver," Proceedings of the 1st Asia and Pacific System Conference, pp. 25-30, 2010.
13. T. Ball, E. Bounimova, B. Cook, V. Levin, J. Lichtenberg, C. McGarvey, and et al., "Thorough static analysis of device drivers," Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems, pp. 73-85, 2006. (Pubitemid 47485739)
14. T. Witkowski, N. Blanc, D. Kroening, and G. Weissenbacher, "Model checking concurrent Linux device drivers," Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, pp. 501-504, 2007.
15. T. A. Henzinger, R. Jhala, R. Majumdar, G. C. Necula, G. Sutre, and W. Weimer, "Temporal-safety proofs for systems code," Proceedings of the 14th International Conference of Computer Aided Verification, pp. 526-538, 2002.
16. T. Animesh, "Hotplug in a multikernel operating system," Master Thesis, Swiss Federal Institute of Technology Zurich, pp. 1-73, 2009.
17. J. Sun, W. Yuan, M. Kallahalla, and N. Islam, "HAIL: A Language for easy and correct device access," Proceedign of 5th International Conference on Embedded Software, pp. 1-9, 2009. (Pubitemid 41832991)
18. L Wittle, "Laddie: the language for automated device drivers," Computer Science Technical Report 08-2, Bucknell, Mar 2008.
19. U'lfar Erlingsson, M. Abadi, M. Vrable, M. Budiu, and G. C. Necula, "SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques," Proceeding of the 7th USENIX Conference on Operating System Design and Implementation, pp. 45-60, 2006.
20. G. C. Hunt, J. R. Larus, M. Abadi, M. Aiken, P. Barham, M. Fahndrich, and et al., "An overview of the Singularity project," Technical Report MSR-TR-2005-135, Microsoft, Redmond, Washington, USA, 2005.
21. V. Chipounov and G. Candea, "Reverse-engineering drivers for safety and portability," Proceeding of 4th Workshop on Hot Topics in System Dependability, pp. 1-6, 2008.
22. M. Swift, M. Annamalau, B. N. Bershad, and H. M. Levy, "Recovering device drivers," ACM Transactions on Computer Systems, , vol. 24, no. 4, pp. 333-360, 2006. (Pubitemid 46324023)
23. U'lfar Erlingsson, M. Abadi, M. Vrable, M. Budiu, and G. C. Necula. "XFI: software guards for system address spaces," Proceeding of the 7th USENIX Conference on Operating System Design and Implementation, pp. 75-88, 2006.
24. J. M. Castro, M. Costa, J.-P. Martin, M. Peinado, P. Akritidis, A. Donnelly, and et al., "Fast byte granularity software fault isolation," Proceedings of 22nd ACM Symposium on Operating System Principles, pp. 1-14, 2009.
25. J. N. Herder, H. Bos, B. Gras, P. Homburg, and A. S. Tanenbaum, " Failure resilience for device drivers," Proceeding of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, pp. 41-50, 2007. (Pubitemid 350080408)
26. D.Williams, P. Reynolds, K.Walsh, E. G. Sirer, and F. B. Schneider, "Device driver safety through a reference validation mechanism," Proceeding of the 8th USENIX Conference on Operating System Design and Implementation, pp. 241-254, 2008.
27. B. Leslie, P. Chubb, N. Fitzroy-Dale, S. Gotz, C. Gray, L. Macpherson, and et al., "User-level device drivers: Achieved performance," Journal of Computer Science and Technology, vol. 20, no. 5, pp. 654-664, Sept. 2005.
28. K. Fraser, S. Hand, R. Neugebauer, I. Pratt, A. Warfield, and M. Williamson, "Safe hardware access with the xen virtual machine monitor," Proceeding of the 1st Workshop on Operating System and Architectural Support for the on demand IT InfraStructure, pp. 1-10, 2004.
29. J. LeVasseur, V. Uhlig, J. Stoess, and S. G̈otz, "Unmodified device driver reuse and improved system dependability via virtual machines," Proceedings of the 6th conference on Symposium on Operating Systems Design and Implementation. Berkeley, pp. 17-30, 2004.
30. A. Menon, S. Schubert, and W. Zwaenepoel, "Twindrivers: semiautomatic derivation of fast and safe hypervisor network drivers from guest os drivers," Proceeding of the 14th international conference on Architectural support for programming languages and operating systems, pp. 301-312, 2009.