Evaluating operating system vulnerability to memory errors

Proceedings of the 2nd International Workshop on Runtime and Operating Systems for Supercomputers, ROSS 2012 - In Conjunction with: ICS 2012

Volumn , Issue , 2012, Pages

  Ferreira, Kurt B ^a   Pedretti, Kevin ^a   Brightwell, Ron ^a   Bridges, Patrick G ^b   Fiala, David ^c   Mueller, Frank ^c  

^a SANDIA NATIONAL LABORATORIES   (United States)

^b MSC01 1070   (United States)

^c North Carolina State University   (United States)

Author keywords

DRAM failures; fault tolerance; operating systems

Indexed keywords

CRITICAL SOFTWARE; HIGH PERFORMANCE COMPUTING SYSTEMS; MAIN MEMORY; MEMORY ERROR; MEMORY FOOTPRINT; ON CURRENTS; OPERATING SYSTEM VULNERABILITY; PHYSICAL MEMORY; SANDIA NATIONAL LABORATORIES; SOFT ERROR; SYSTEM STRUCTURES;

COMPUTER OPERATING SYSTEMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; DYNAMIC RANDOM ACCESS STORAGE; ERROR CORRECTION; FAULT TOLERANCE; MICROPROCESSOR CHIPS; SUPERCOMPUTERS;

INTELLIGENT CONTROL;

EID: 84864745100     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2318916.2318930     Document Type: Conference Paper

References (46)

1. ADIGA, N.R., E. A. An overview of the BlueGene/L supercomputer. In Supercomputing, ACM/IEEE 2002 Conference (nov. 2002), p. 60.
2. AHN, J. 2-step algorithm for enhancing effectiveness of sender-based message logging. In SpringSim '07: Proceedings of the 2007 spring simulation multiconference (2007), pp. 429-434.
3. AMARASINGHE, S., AND ET AL. Exascale software study: Software challenges in extreme scale systems. http://users.ece.gatech.edu/mrichard/ ExascaleComputingStudyReports/ECSS%20report%20101909.pdf, Sept. 2009.
4. BATCHU, R., DANDASS, Y. S., SKJELLUM, A., AND BEDDHU, M. MPI/FT: A model-based approach to low-overhead fault tolerant message-passing middleware. Cluster Computing 7, 4 (Jan. 2004), 303-315.
5. BERGMAN, K., BORKAR, S., CAMPBELL, D., CARLSON, W., DALLY, W., DENNEAU, M., FRANZON, P., HARROD, W., HILL, K., HILLER, J., KARP, S., KECKLER, S., KLEIN, D., KOGGE, P., LUCAS, R., RICHARDS, M., SCARPELLI, A., SCOTT, S., SNAVELY, A., STERLING, T., WILLIAMS, R. S., AND YELICK, K. Exascale computing study: Technology challenges in achieving exascale systems. http://www.science.energy. gov/ascr/Research/CS/DARPAexascale-hardware(2008).pdf, Sept. 2008.
6. BONWICK, J., AND ADAMS, J. Magazines and vmem: Extending the slab allocator to many CPUs and arbitrary resources. In Proceedings of the General Track: 2002 USENIX Annual Technical Conference (Berkeley, CA, USA, 2001), USENIX Association, pp. 15-33.
7. BRIDGES, P., HOEMMEN, M., FERREIRA, K. B., HEROUX, M., SOLTERO, P., AND BRIGHTWELL, R. Cooperative application/os DRAM fault recovery. Workshop on Resiliency in High Performance Computing (Resilience) in Clusters, Clouds, and Grids in conjunction with the Euro-Par Conference, Lecture Notes in Computer Science (2011), -.
8. BRONEVETSKY, G., AND DE SUPINSKI, B. Soft error vulnerability of iterative linear algebra methods. In Proceedings of the 22nd Annual International Conference on Supercomputing (New York, NY, USA, 2008), ICS '08, ACM, pp. 155-164.
9. BRONEVETSKY, G., MARQUES, D., PINGALI, K., AND STODGHILL, P. Collective operations in application-level fault-tolerant MPI. In Proceedings of the 17th annual international conference on Supercomputing (New York, NY, USA, 2003), ICS '03, ACM, pp. 234-243.
10. CHAKRAVORTY, S., MENDES, C., AND KALÃL', L. Proactive fault tolerance in mpi applications via task migration. Strategy 4297 (2006), 485âǍŞ496.
11. CHEN, Z., AND DONGARRA, J. Algorithm-based checkpoint-free fault tolerance for parallel matrix computations on volatile resources. In Parallel and Distributed Processing Symposium, 2006. IPDPS 2006. 20th International (April 2006).
12. DAVID A. WHEELER. Sloccount. http://www.dwheeler.com/sloccount, March 1 2012.
13. DELL, T. J. A white paper on the benefits of chipkill-correct ECC for PC server main memory. IBM Microelectronics Division, Nov. 1997.
14. DOPSON, D. SoftECC: A system for software memory integrity checking. Master's thesis, Massachusetts Institute of Technology, September 2005.
15. ELLIOT, J., KHARBAS, K., FIALA, D., MUELLER, F., FERREIRA, K., AND ENGELMANN, C. Combining partial redundancy and checkpointing for HPC. In International Conference on Distributed Computing Systems (Los Alamitos, CA, USA, June 2012), IEEE Computer Society Press, pp. 1-11. [to appear].
16. th International Conference on Computational Science (ICCS) 2005, Part I (Atlanta, GA, USA, May 22-25, 2005), vol. 3514, Springer Verlag, Berlin, Germany, pp. 313-320.
17. th IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN) 2009 (Innsbruck, Austria, Feb. 16-18, 2009), ACTA Press, Calgary, AB, Canada, pp. 189-194.
18. FAGG, G. E., ANGSKUN, T., BOSILCA, G., PJESIVAC-GRBOVIC, J., AND DONGARRA, J. Scalable fault tolerant mpi: Extending the recovery algorithm. In PVM/MPI (2005), B. D. Martino, D. Kranzlmüller, and J. Dongarra, Eds., vol. 3666 of Lecture Notes in Computer Science, Springer, pp. 67-75.
19. FERREIRA, K., RIESEN, R., STEARLEY, J., III, J. H. L., OLDFIELD, R., PEDRETTI, K., BRIDGES, P., ARNOLD, D., AND BRIGHTWELL, R. Evaluating the viability of process replication reliability for exascale systems. In Proceedings of the ACM/IEEE International Conference on High Performance Computing, Networking, Storage, and Analysis, (SC'11) (Nov 2011).
20. FIALA, D., FERREIRA, K. B., MUELLER, F., AND ENGELMANN, C. A tunable, software-based DRAM error detection and correction library for HPC. In Lecture Notes in Computer Science: Proceedings of the European Conference on Parallel and Distributed Computing (Euro-Par) 2011: Workshop on Resiliency in High Performance Computing (Resilience) in Clusters, Clouds, and Grids (Bordeaux, France, Aug 2011), Springer Verlag, Berlin, Germany.
21. GUERMOUCHE, A., ROPARS, T., BRUNET, E., SNIR, M., AND CAPPELLO, F. Uncoordinated checkpointing without domino effect for send-deterministic message passing applications. In Proceedings of the 2011 IEEE International Parallel and Distributed Processing Symposium (May 2011).
22. HUANG, K.-H., AND ABRAHAM, J. A. Algorithm-based fault tolerance for matrix operations. IEEE Transactions on Computers C-33, 6 (June 1984).
23. HWANG, A. A., STEFANOVICI, I. A., AND SCHROEDER, B. Cosmic rays don't strike twice: understanding the nature of DRAM errors and the implications for system design. In Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems (New York, NY, USA, 2012), ASPLOS '12, ACM, pp. 111-122.
24. INOVATIVE COMPUTING LABORATORY. FT-MPI. http://icl.cs.utk.edu/ftmpi, March 1 2012.
25. JIANG, Q., AND MANIVANNAN, D. An optimistic checkpointing and selective approach for consistent global checkpoint collection in distributed systems. In Proceedings of the 2007 IEEE International Parallel and Distributed Processing Symposium (Mar. 2007).
26. JOHNSON, D. B., AND ZWAENEPOEL, W. Recovery in distributed systems using asynchronous and checkpointing. In Proceedings of the seventh annual ACM Symposium on Principles of distributed computing (1988), pp. 171-181.
27. KLEEN, A. mcelog: memory error handling in user space. In Proceedings of Linux Kongress 2010 (Nuremburg, Germany, September 2010).
28. LANGE, J. R., PEDRETTI, K. T., HUDSON, T., DINDA, P. A., CUI, Z., XIA, L., BRIDGES, P. G., GOCKE, A., JACONETTE, S., LEVENHAGEN, M., AND BRIGHTWELL, R. Palacios and kitten: New high performance operating systems for scalable virtualized and native supercomputing. In IPDPS'10 (2010), pp. 1-12.
29. LI, S., CHEN, K., HSIEH, M.-Y., MURALIMANOHAR, N., KERSEY, C. D., BROCKMAN, J. B., RODRIGUES, A. F., AND JOUPPI, N. P. System implications of memory reliability in exascale computing. In Proceedings of 2011 International Conference for High Performance Computing, Networking, Storage and Analysis (New York, NY, USA, 2011), SC '11, ACM, pp. 46:1-46:12.
30. MARUYAMA, N., NUKADA, A., AND MATSUOKA, S. A high-performance fault-tolerant software framework for memory on commodity GPUs. In Parallel Distributed Processing (IPDPS), 2010 IEEE International Symposium on (april 2010), pp. 1-12.
31. MOODY, A., BRONEVETSKY, G., MOHROR, K., AND SUPINSKI, B. R. d. Design, modeling, and evaluation of a scalable multi-level checkpointing system. In Proceedings of the 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis (Washington, DC, USA, 2010), SC '10, IEEE Computer Society, pp. 1-11.
32. NORTHWESTERN UNIVERSITY. Palacios: An os independent embeddable vmm. http://v3vee.org/palacios, March 10 2012.
33. OH, N., SHIRVANI, P., AND MCCLUSKEY, E. Control-flow checking by software signatures. Reliability, IEEE Transactions on 51, 1 (mar 2002), 111-122.
34. OH, N., SHIRVANI, P., AND MCCLUSKEY, E. J. Error detection by duplicated instructions in super-scalar processors. Reliability, IEEE Transactions on 51, 1 (mar 2002), 63-75.
35. PLANK, J. S., KIM, Y. B., AND DONGARRA, J. J. Algorithm-based diskless checkpointing for fault tolerant matrix operations. In Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers (Pasadena, CA, USA, June 1995), Los Alamitos, CA, USA : IEEE Comput. Soc. Press, 1995, pp. 351-360.
36. REBAUDENGO, M., REORDA, M., VIOLANTE, M., AND TORCHIANO, M. A source-to-source compiler for generating dependable software. In Source Code Analysis and Manipulation, 2001. Proceedings. First IEEE International Workshop on (2001), pp. 33-42.
37. REIS, G. A., CHANG, J., VACHHARAJANI, N., RANGAN, R., AND AUGUST, D. I. SWIFt: Software implemented fault tolerance. In Proceedings of the international symposium on Code generation and optimization (Washington, DC, USA, 2005), CGO'05, IEEE Computer Society, pp. 243-254.
38. SANDIA NATIONAL LABORATORIES. The LAMMPS molecular dynamics simulator. http://lammps.sandia.gov, April 2010.
39. SANDIA NATIONAL LABORATORY. Kitten lightweight kernel. https://software.sandia.gov/trac/kitten, March 10 2012.
40. SCHROEDER, B., AND GIBSON, G. A. A large-scale study of failures in high-performance computing systems. In Proceedings of the International Conference on Dependable Systems and Networks (DSN2006) (June 2006).
41. SCHROEDER, B., AND GIBSON, G. A. Understanding failures in petascale computers. Journal of Physics: Conference Series 78, 1 (2007), 012022.
42. SCHROEDER, B., PINHEIRO, E., AND WEBER, W.-D. DRAM errors in the wild: a large-scale field study. Communications of the ACM 54 (February 2011), 100-107.
43. SHIRVANI, P., SAXENA, N., AND MCCLUSKEY, E. Software-implemented EDAC protection against SEUs. Reliability, IEEE Transactions on 49, 3 (sep 2000), 273-284.
44. SILVA, L. M., AND SILVA, J. G. An experimental study about diskless checkpointing. In 24th EUROMICRO Conference (Vasteras, Sweden, August 1998), IEEE Computer Society Press, pp. 395-402.
45. SIMON, H. Exascale challenges for the computational science community. Tech. rep., Lawrence Berkeley National Laboratory and UC Berkeley, Oct. 2010.
46. SMEM. Memory reporting tool. http://www.selenic.com/smem/, March 1 2012.