BLOCKWATCH: Leveraging similarity in parallel programs for error detection

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2012, Pages

  Wei, Jiesheng ^a   Pattabiraman, Karthik ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

Control data; Parallel programs; Runtime checks; SPMD; Static Analysis

Indexed keywords

CONTROL-DATA; ERROR DETECTION COVERAGE; HARDWARE ERROR; HIGH-LEVEL PROGRAMMING MODELS; IN-CONTROL; MODERN COMPUTER SYSTEMS; MULTI CORE; PARALLEL PROGRAM; POWER CONSTRAINTS; RUN-TIME CHECKS; RUNTIMES; SILICON DEVICES; SPMD;

BENCHMARKING; HARDWARE; PARALLEL ARCHITECTURES; PARALLEL PROGRAMMING;

STATIC ANALYSIS;

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

References (38)

1. S. Borkar and A. Chien, "The future of microprocessors," Communications of the ACM, vol. 54, no. 5, pp. 67-77, 2011.
2. D. J. Sorin, Fault Tolerant Computer Architecture. Morgan & Claypool Publishers, 2009.
3. S. Borkar, "Thousand core chips: a technology perspective," in the Design Automation Conf., 2007, pp. 746-749.
4. H. Sutter and J. Larus, "Software and the concurrency revolution," Queue, vol. 3, no. 7, pp. 54-62, 2005.
5. E. N. M. Elnozahy, L. Alvisi, Y.-M. Wang, and D. B. Johnson, "A survey of rollback-recovery protocols in message-passing systems," ACM Computer Survey, vol. 34, pp. 375-408, 2002.
6. F. Darema, "The SPMD model: Past, present and future," in the European PVM/MPI Users' Group Meeting, 2001, p. 1.
7. G. Long, D. Franklin, S. Biswas, P. Ortiz, J. Oberg, D. Fan, and F. T. Chong, "Minimal multi-threading: Finding and removing redundant instructions in multi-threaded processors," in IEEE/ACM Int'l Symposium on Microarchitecture, 2010, pp. 337-348.
8. D. Thaker, D. Franklin, J. Oliver, S. Biswas, D. Lockhart, T. Metodi, and F. Chong, "Characterization of error-tolerant applications when protecting control data," in IEEE Int'l Symposium on Workload Characterization, 2006, pp. 142-149.
9. G. Reis, J. Chang, N. Vachharajani, R. Rangan, and D. August, "SWIFT: Software implemented fault tolerance," in the Int'l Symposium on Code Generation and Optimization, 2005, pp. 243-254.
10. Y. Zhang, J. Lee, N. Johnson, and D. August, "DAFT: decoupled acyclic fault tolerance," in the Int'l Conf. on Parallel Architectures and Compilation Techniques, 2010, pp. 87-98.
11. G. Bronevetsky, I. Laguna, S. Bagchi, B. de Supinski, D. Ahn, and M. Schulz, "AutomaDeD: Automata-based debugging for dissimilar parallel tasks," in IEEE/IFIP Int'l Conf. on Dependable Systems and Networks, 2010, pp. 231-240.
12. A. Mirgorodskiy, N. Maruyama, and B. Miller, "Problem diagnosis in large-scale computing environments," in ACM/IEEE Conf. on Supercom-puting, 2006, pp. 88-100.
13. S. Woo, M. Ohara, E. Torrie, J. Singh, and A. Gupta, "The SPLASH-2 programs: Characterization and methodological considerations," in ACM SIGARCH Computer Architecture News, vol. 23, no. 2, 1995, pp. 24-36.
14. R. Cytron, J. Ferrante, B. Rosen, M. Wegman, and F. Zadeck, "Efficiently computing static single assignment form and the control dependence graph," ACM Trans. on Programming Languages and Systems, vol. 13, no. 4, pp. 451-490, 1991.
15. L. Lamport, "Specifying concurrent program modules," ACM Trans. on Programming Languages and Systems, vol. 5, no. 2, pp. 190-222, 1983.
16. J. Wei and K. Pattabiraman, "BlockWatch: Leveraging similarity in parallel programs for error detection," The University of British Columbia (UBC), Tech. Rep. RADICAL-2012-03-01, 2012.
17. C. Lattner and V. Adve, "LLVM: A compilation framework for lifelong program analysis & transformation," in Int'l Symposium on Code Generation and Optimization, 2004, pp. 75-86.
18. B. Karlsson, Beyond the C++ standard library. Addison-Wesley Professional, 2005.
19. V. Reddi, A. Settle, D. Connors, and R. Cohn, "PIN: a binary instrumentation tool for computer architecture research and education," in the Workshop on Computer Architecture Education, 2004.
20. R. Alexandersson and J. Karlsson, "Fault injection-based assessment of aspect-oriented implementation of fault tolerance," in IEEE/IFIP Int'l Conf. on Dependable Systems and Networks, 2011, pp. 303-314.
21. C. Basile, K. Whisnant, Z. Kalbarczyk, and R. Iyer, "Loose synchronization of multithreaded replicas," in IEEE Symposium on Reliable Distributed Systems, 2002, pp. 250-255.
22. M. Olszewski, J. Ansel, and S. Amarasinghe, "Kendo: efficient deterministic multithreading in software," in ACM SIGPLAN Notices, vol. 44, no. 3, 2009, pp. 97-108.
23. Z. Alkhalifa, V. Nair, N. Krishnamurthy, and J. Abraham, "Design and evaluation of system-level checks for on-line control flow error detection," IEEE Trans. on Parallel and Distributed Systems, vol. 10, no. 6, pp. 627-641, 1999.
24. S. Bagchi, Z. Kalbarczyk, R. Iyer, and Y. Levendel, "Design and evaluation of preemptive control signature (PECOS) checking," IEEE Trans. on Computers, 2003.
25. N. Oh, P. Shirvani, and E. McCluskey, "Control-flow checking by software signatures," IEEE Tranactions on Reliability, vol. 51, no. 1, pp. 111-122, 2002.
26. Q. Gao, F. Qin, and D. Panda, "Dmtracker: finding bugs in large-scale parallel programs by detecting anomaly in data movements," in ACM/IEEE Conf. on Supercomputing, 2007, pp. 1-12.
27. Z. Chen, Q. Gao, W. Zhang, and F. Qin, "Flowchecker: Detecting bugs in MPI libraries via message flow checking," in ACM/IEEE Int'l Conf. for High Performance Computing, Networking, Storage and Analysis, 2010, pp. 1-11.
28. M. Naik, A. Aiken, and J. Whaley, "Effective static race detection for Java," ACM SIGPLAN Conf. on Programming Language Design and Implementation, vol. 41, no. 6, pp. 308-319, 2006.
29. A. Vo, S. Aananthakrishnan, G. Gopalakrishnan, B. Supinski, M. Schulz, and G. Bronevetsky, "A scalable and distributed dynamic formal verifier for MPI programs," in ACM/IEEE Int'l Conf. for High Performance Computing, Networking, Storage and Analysis, 2010, pp. 1-10.
30. K. Pattabiraman, Z. Kalbarczyk, and R. Iyer, "Automated derivation of application-aware error detectors using static analysis," in IEEE Int'l On-Line Testing Symposium, 2007, pp. 211-216.
31. M. Hiller, A. Jhumka, and N. Suri, "On the placement of software mechanisms for detection of data errors," in IEEE/IFIP Int'l Conf. on Dependable Systems and Networks, 2002, pp. 135-144.
32. S. Hangal and M. Lam, "Tracking down software bugs using automatic anomaly detection," in the Int'l Conf. on Software Engineering, 2002, pp. 291-301.
33. S. Sahoo, M. Li, P. Ramachandran, S. Adve, V. Adve, and Y. Zhou, "Using likely program invariants to detect hardware errors," in IEEE/IFIP Int'l Conf. on Dependable Systems and Networks, 2008, pp. 70-79.
34. K. Yim, C. Pham, M. Saleheen, Z. Kalbarczyk, and R. Iyer, "Hauberk: Lightweight silent data corruption error detector for GPGPU," in IEEE Parallel & Distributed Processing Symposium, 2011, pp. 287-300.
35. K. Huang and J. Abraham, "Algorithm-based fault tolerance for matrix operations," IEEE Trans. on Computers, pp. 518-528, 1984.
36. J. Plank, Y. Kim, and J. Dongarra, "Algorithm-based diskless checkpointing for fault tolerant matrix operations," in the Int'l Symposium on Fault-Tolerant Computing, 1995, pp. 351-360.
37. J. Sloan, D. Kesler, R. Kumar, and A. Rahimi, "A numerical optimization-based methodology for application robustification: Transforming applications for error tolerance," in IEEE/IFIP Int'l Conf. on Dependable Systems and Networks, 2010, pp. 161-170.
38. A. Geist and C. Engelmann, "Development of naturally fault tolerant algorithms for computing on 100,000 processors," Journal of Parallel and Distributed Computing, 2002.