Rolex: resilience-oriented language extensions for extreme-scale systems

Journal of Supercomputing

Volumn 72, Issue 12, 2016, Pages 4662-4695

  Hukerikar, Saurabh ^a   Lucas, Robert F ^a  

^a UNIVERSITY OF SOUTHERN CALIFORNIA   (United States)

Author keywords

Exascale; Fault tolerance; Programming models; Resilience; Runtime systems

Indexed keywords

FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; SEMANTICS;

APPLICATION PROGRAMMERS; CATASTROPHIC FAILURES; EXASCALE; HIGH PERFORMANCE COMPUTING SYSTEMS; NUMBER OF COMPONENTS; PROGRAMMING MODELS; RESILIENCE; RUNTIME SYSTEMS;

COMPUTATIONAL LINGUISTICS;

EID: 84970024484     PISSN: 09208542     EISSN: 15730484     Source Type: Journal    
DOI: 10.1007/s11227-016-1752-5     Document Type: Article

References (29)

1. Ashby S et al (2010) The Opportunities and Challenges of Exascale Computing. Tech. rep., Summary Report of the Advanced Scientific Computing Advisory Committee (ASCAC) Subcommittee, pp 1–77
2. Agullo E, Giraud L, Guermouche A, Roman J, Zounon M, Agullo E, Giraud L, Guermouche A, Roman J, Zounon M, Sud-ouest B (2013) Towards resilient parallel linear krylov solvers: recover-restart strategies. Tech. rep, INRIA
3. ARB OpenMP (2010) OpenMP Specification. http://www.http://openmp.org/wp/
4. Aumann Y, Bender MA (1996) Fault tolerant data structures. In: Proceedings of the 37th Annual Symposium on Foundations of Computer Science. IEEE Computer Society, FOCS ’96, Washington, DC, pp 580–589
5. Bosilca G, Delmas R, Dongarra J, Langou J (2008) Algorithmic based fault tolerance applied to high performance computing. CoRR
6. Buck I, Foley T, Horn D, Sugerman J, Fatahalian K, Houston M, Hanrahan P (2004) Brook for gpus: stream computing on graphics hardware. In: ACM SIGGRAPH, pp 777–786
7. Carlson W, Draper J, Culler D, Yelick K, Brooks E, Warren K (1999) Introduction to upc and language specification
8. Chung J, Lee I, Sullivan M, Ryoo JH, Kim DW, Yoon DH, Kaplan L, Erez M (2012) Containment domains: a scalable, efficient, and flexible resilience scheme for exascale systems. In: Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis, pp 58:1–58:11
9. van Dam HJJ, Vishnu A, de Jong WA (2013) A case for soft error detection and correction in computational chemistry. J Chem Theory Comput 9:3995–4005
10. Dongarra J et al (2011) The international exascale software project roadmap. Int J High Perform Comput Appl:3–60
11. Elnozahy E et al (2009) System resilience at extreme scale, White Paper. Tech. rep, DARPA
12. Fujita H, Schreiber R, Chien AA (2013) It’s time for new programming models for unreliable hardware, provocative ideas session. In: International Conference on Architectural Support for Programming Languages and Operating Systems
13. Hoemmen M, Heroux MA (2011) Fault-tolerant iterative methods via selective reliability. Tech. rep
14. Huang KH, Abraham J (1984) Algorithm-based fault tolerance for matrix operations. IEEE Trans Comput C-33(6):518–528
15. Hukerikar S, Diniz PC, Lucas RF (2012) A programming model for resilience in extreme scale computing. In: IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN 2012), pp 1–6. doi:10.1109/DSNW.2012.6264671
16. Hukerikar S, Diniz PC, Lucas RF (2013) Robust graph traversal: resiliency techniques for data intensive supercomputing. In: IEEE High Performance Extreme Computing Conference (HPEC), pp 1–6. doi:10.1109/HPEC.2013.6670340
17. Hukerikar S, Diniz PC, Lucas RF (2015) Enabling application resilience through programming model based fault amelioration. In: IEEE High Performance Extreme Computing Conference (HPEC), pp 1–6. doi:10.1109/HPEC.2015.7322460
18. Kogge P et al (2008) Exascale computing study: technology challenges in achieving exascale systems. Tech. rep, DARPA
19. de Kruijf MA, Sankaralingam K, Jha S (2012) Static analysis and compiler design for idempotent processing. In: Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation, PLDI ’12, pp 475–486
20. Langou J, Chen Z, Bosilca G, Dongarra J (2007) Recovery patterns for iterative methods in a parallel unstable environment. SIAM J Sci Comput 30:102–116
21. Numrich RW, Reid J (1998) Co-array fortran for parallel programming. SIGPLAN Fortran Forum 17(2):1–31
22. Quinlan D et al (2000) Rose compiler. http://www.rosecompiler.org
23. Sao P, Vuduc R (2013) Self-stabilizing iterative solvers. In: Proceedings of the Workshop on latest advances in scalable algorithms for large-scale systems, ScalA ’13, pp 4:1–4:8
24. Sloan J, Kumar R, Bronevetsky G (2012) Algorithmic approaches to low overhead fault detection for sparse linear algebra. In: Proceedings of the 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), pp 1–12
25. Sloan J, Kumar R, Bronevetsky G (2013) An algorithmic approach to error localization and partial recomputation for low-overhead fault tolerance. In: Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), pp 1–12
26. Snir M et al (2013) Addressing failures in exascale computing. Tech. rep., Argonne Report ANL/MCS-TM-332
27. Yajnik S, Jha N (1994) Synthesis of fault tolerant architectures for molecular dynamics. IEEE Int Symp Circuits Syst 4:247–250
28. Yalcin G, Unsal O, Hur I, Cristal A, Valero M (2010) FaulTM: fault-tolerance using hardware transactional memory. In: Workshop on parallel execution of sequential programs on multi-core architecture. Saint Malo, France
29. Zou A, Lipscomb TJ, Cho SS (2012) Single vs. double precision in md simulations: correlation depends on system length-scale. GPU Technology Conference