Generative software-based memory error detection and correction for operating system data structures

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2013, Pages

  Borchert, Christoph ^a   Schirmeier, Horst ^a   Spinczyk, Olaf ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ERROR DETECTION AND CORRECTION; MAIN MEMORY; MEMORY ERROR; OBJECT-ORIENTED PROGRAM; RUNTIME OVERHEADS; SYSTEM FAILURES;

DATA STRUCTURES; SYSTEMS ENGINEERING;

FAULT TOLERANCE;

EID: 84883441643     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2013.6575308     Document Type: Conference Paper

References (41)

1. B. Schroeder, E. Pinheiro, and W-D. Weber DRAM errors in the wild: A large-scale field study," in Proceedings of the eleventh international joil1l conference on Measurement and modeling of computer systems, ser. SIGMETRICS ' 09. New York, NY, USA: ACM, 2009, pp. 193-204.
2. E. B. Nightingale, J. R. Douceur, and V. Orgovan Cycles, cells and platters: an empirical analysisof hardware failures on a million consumer PCs," in ACM SIGOPSIEuroSys Int. Con! on Compltler Systems 201 1 (EuroSys 'lJ). New York, NY, USA: ACM, Apr. 201 1, pp. 343-356.
3. A. A. Hwang, I. A. Stefanovici, and B. Schroeder Cosmic rays don't strike twice: understanding the nature of DRAM errors and the implications for system design," in 1 7th Int. Con! on Arch. Support for Programming Languages and Operating Systems (ASPLOS '12). New York, NY, USA: ACM, 20 12, pp. 1 1 1-122.
4. D. Tang, P. Carruthers, Z. Totari, and M. W Shapiro Assessment of the effect of memory page retirement on system RAS against hardware faults," in International Conference on Dependable Systems and Networks, 2006. DSN 2006, Jun. 2006, pp. 365-370.
5. e. Constantinescu Impact of deep submicron technology on dependability of VLSI circuits," in International Conference on Dependable Systems and Networks, 2002. DSN 2002, 2002, pp. 205-209.
6. R. Baumann Soft errors in advanced computer systems," IEEE Design & Test of Computers, vol. 22, no. 3, pp. 258-266, May 2005.
7. R. W. Hamming Error detecting and error correcting codes," Bell System Technical.!ournal, vol. 29, no. 2, pp. 147-1 60, 1 950.
8. T. J. Dell A white paper on the benefits of chipkill-correct ECC for PC server main memory," IBM Whitepaper, 1 997.
9. D. H. Yoon and M. Erez Virtualized and flexible ECC for main memory," In J 5th Int. Con! on Arch. Support for Programming Languages and Operating Systems (ASPLOS '10). New York, NY, USA: ACM, 20 10, pp. 397-408.
10. A. D. Fogle, D. Darling, R. e. B. II, and E. Daszko Flash memory under cosmic and alpha irradiation," IEEE Transactions on Device and Materials Reliability, vol. 4, no. 3, pp. 371-376, Sep. 2004.
11. A. Massa, Embedded Software Development with eCos. Prentice Hall Professional Technical Reference, 2002.
12. G. Kiczales, J. Lamping, A. Mendhekar, e. Maeda, e. Lopes, J.-M. Loingtier, and J. Irwin Aspect-oriented programming," in 1 1 th Eur. CO'1f on O OP (ECOOP '97), ser. LNCS, M. Aksit and S. Matsuoka, Eds., vol. 1 24 1. Springer, Jun. 1 997, pp. 220-242.
13. M. Rebaudengo, M. S. Reorda, M. Violante, and M. Torchiano A source-to-source compiler for generating dependable software," in 1st IEEE Int. W'shop on Source Code Analysis and Manipulation, 200 1.
14. D. Chen, A. Messer, P. Bernadat, G. Fu, Z. Dimitrijevic, D. J. F. Lie, D. Mannaru, A. Riska, and D. Milojicic JVM susceptibility to memory errors," in Proc. of the 2001 Symposium on.!avaTM Virtual Machine Research and Technology Symposium-Volume J (.!VM'01). Berkeley, CA, USA: USENIX Association, 200 1.
15. K. Pattabiraman, V. Grover, and B. G. Zorn Samurai: protecting critical data in unsafe languages," in Proceedings of the 3rd ACM SIGOPSIEuroSys European Conference on Computer Systems 2008, ser. Eurosys ' 08. New York, NY, USA: ACM, 2008, pp. 2 1 9-232.
16. e. Fetzer, U. Schiffel, and M. SUBkraut An-encoding compiler: Building safety-critical systems with commodity hardware," in Proc. of the 28th Int. CO'1f on Computer Safety, Reliability, and Security, ser. SAFECOMP ' 09. Berlin, Heidelberg: Springer-Verlag, 2009, pp. 283-296.
17. H. Schirmeier, M. Hoffmann, R. Kapitza, D. Lohmann, and O. Spinczyk, '.'FAIL : Towards a versatile fault-injection experiment framework," In 25th Int. Con! on Arch. of Compo Sys. (ARCS '1 2), Workshop Proceedings, ser. Lecture Notes in Informatics, vol. 200. German Society of Informatics, Mar. 20 12, pp. 201-2 1 0.
18. D. J. Taylor, D. E. Morgan, and J. P. Black Redundancy in data structures: Improving software fault tolerance," IEEE Transactions on Software Engineering, vol. SE-6, no. 6, pp. 585-594, Nov. 1 980.
19. R. E. Filman and D. P. Friedman Aspect-oriented programming is quantification and obliviousness," in W'shop on Advanced SoC (OOPSLA '00), Oct. 2000.
20. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W G. Griswold An overview of AspectJ," in 15th Eur. Con! on OOP (ECOOP '01 ), ser. LNCS, vol. 2072. Springer, Jun. 200 1, pp. 327-353.
21. O. Spinczyk and D. Lohmann, 'The design and implementation of AspectC++," Knowledge-Based Systems, Special Issue o n Techniques to Produce Intelligent Secure Software, vol. 20, no. 7, pp. 636-65 1, 2007.
22. D. Lohmann, G. Blaschke, and O. Spinczyk Generic advice: On the combination of AOP with generative programming in AspectC++," in 3rd Int. Con! on Generative Programming and Component Engineering (GPCE '04), ser. LNCS, G. Karsai and E. Visser, Eds., vol. 3286. Springer, Oct. 2004, pp. 55-74.
23. K. Czarnecki and U. W. Eisenecker, Generative Programming. Methods, Tools and Applications. AW, May 2000.
24. A. Alexander, C++ Design: Generic Programming and Design Patlerns Applied, ser. C++ In-Depth. Adison-Wesley, 200 1.
25. E. G. Coffman, M. J. Elphick, and A. Shoshani System deadlocks," ACM Comput. Surv., vol. 3, no. 2, pp. 67-78, Jun. 1 97 1.
26. W Kao, R. K. Iyer, and D. Tang FINE: a fault injection and monitoring environment for tracing the UNIX system behavior under faults," IEEE Transactions on Software Engineering, vol. 19, no. I I, pp. 1 1 05-1 1 1 8, Nov. 1993.
27. J-e. Fabre, F. Salles, M. Rodriguez-Moreno, and J Arlat Assessment of COTS microkernels by fault injection," in Proceedings of the conference on Dependable Computing for Critical Applications, ser. DCCA '99. Washington, DC, USA: IEEE Computer Society, 1 999, pp. 25-.
28. H. Madeira, R. R. Some, F. Moreira, D. Costa, and D. A. Rennels Experimental evaluation of a COTS system for space application," in Proc. of the 2002 Int. Con! on Dependable Systems and Networks (DSN '02). Washington, DC, USA: IEEE Computer Society, 2002.
29. A. Messer, P. Bernadat, G. Fu, D. Chen, Z. Dimitrijevic, D. Lie, D. D. Mannaru, A. Riska, and D. Milojicic Susceptibility of commodity systems and software to memory soft errors," IEEE Trans. Comput., vol. 53, no. 12, pp. 1 557-1 568, Dec. 2004.
30. X. Li, M. e. Huang, K. Shen, and L. Chu A realistic evaluation of memory hardware errors and software system susceptibility," in Proceedings of the 201 0 USENIX annual technical conference, ser. USENIX ATC ' I O. Berkeley, CA, USA: USENIX Association, 20 10.
31. A. N. Udipi, N. Muralimanohar, R. Balsubramonian, A. Davis, and N. P. Jouppi LOT-ECC: Localized and tiered reliability mechanisms for commodity memory systems," in 39th Annual International Symposium on Computer Architecture (ISCA), 2012, Jun. 20 12, pp. 285-296.
32. D. Dopson SoftECC: a system for software memory integrity checking," Master's thesis, Massachusetts Institute of Technology, Sep. 2005.
33. H. Schirmeier, J. Neuhalfen, l. Korb, O. Spinczyk, and M. Engel RAMpage: Graceful degradation management for memory errors in commodity linux servers," in } 7th IEEE Pacific Rim Int'l Symp. on Dep. Compo (PRDC ') 1 ). Pasadena, CA, USA: IEEE, Dec. 201 1, pp. 89-98.
34. J. Chang, G. A. Reis, and D. I. August Automatic instruction-level software-only recovery," in Dependable Systems and Networks, 2006. DSN 2006. International Conference on, Jun. 2006, pp. 83-92.
35. A. Benso, S. Chiusano, P. Prinetto, and L. Tagliaferri A C/C++ source-to-source compiler for dependable applications," in 1111. Con! on Dependable Systems and Networks (DSN), 2000, pp. 7 1-78.
36. M. Leeke and A. Jhumka An automated wrapper-based approach to the design of dependable software," in The Fourth International C0I1ference on Dependability (DEPEND). IARIA, 201 1.
37. F. Afonso, e. Silva, S. Montenegro, and A. Tavares Applying aspects to a real-time embedded operating system," in Proceedings of the 6th workshop on Aspects, components, and patterns for i'1frastructure software, ser. ACP4IS ' 07. New York, NY, USA: ACM, 2007.
38. R. Alexandersson and J. Karlsson Fault injection-based assessment of aspect-oriented implementation of fault tolerance," in International Conference on Dependable Systems Networks (DSN 201 1 ), Jun. 201 1, pp. 303-3 14.
39. Y. Aumann and M. A. Bender Fault tolerant data structures," in Proceedings of the 3 7th Annual Symposium o n Foundations of Computer Science, ser. FOCS '96. Washington, DC, USA: IEEE Computer Society, 1 996, pp. 580-589.
40. K. Kant and A. Ravichandran Synthesizing robust data structures-an introduction," IEEE Trans. on Computers, vol. 39, no. 2, pp. 1 6 1-173, Feb. 1 990.
41. B. Demsky and M. Rinard Automatic detection and repair of errors in data structures," in Proc. of the 18th annual ACM SIGPLAN Con! on Object-oriented programing, systems, languages, and applications, ser. OOPS LA '03. New York, NY, USA: ACM, 2003, pp. 78-95.