Debugging support tool for MCAPI applications

PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging

Volumn , Issue , 2010, Pages 20-25

  Elwakil, Mohamed ^a   Yang, Zijiang ^a  

^a Western Michigan University   (United States)

Author keywords

MCAPI; Message race; Multicore programs debugging; Satisfiability modulo theory; Symbolic analysis

Indexed keywords

MCAPI; MESSAGE RACE; MULTICORE PROGRAMS DEBUGGING; SATISFIABILITY MODULO THEORIES; SYMBOLIC ANALYSIS;

COMMUNICATION; COMPUTER SYSTEMS; FORMAL LOGIC;

PROGRAM DEBUGGING;

EID: 78650042393     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1866210.1866212     Document Type: Conference Paper

References (11)

1. de Moura, L., Bjørner, N., Z3: An efficient SMT solver, Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337-34O. Springer, Heidelberg (2008).
2. Dutertre, B and de Moura, L.: A Fast Linear-Arithmetic Solver for DPLL(T), 18th Computer-Aided Verification conference, volume 4144 of LNCS, pages 81-94. Springer-Verlag, 2006.
3. Flanagan, C. and Godefroid, P., Dynamic partial-order reduction for model checking software, the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '05, pages 110-121, New York,NY, USA, 2005. ACM Press.
4. Lee, J., Padua, D., Midkiff, S., Basic compiler algorithms for parallel programs, Principles and Practice of Parallel Programming. (1999) 1-12
5. MPI: A Message-Passing Interface Standard, http://www.mpi-forum.org/docs/ mpi-2.2/index.htm
6. Netzer, R.H.B., Brennan, T.W., Damodaran-Kamal, S.K., Debugging Race Conditions in Message-Passing Programs. ACM SIGMETPJCS Symposium on Parallel and Distributed Tools, Philadelphia, SPDT'96 ,PA, USA, pp. 31-40, 1996
7. Sharma, S., Gopalakrishnan, G., Mercer, E and Holt, J, MCC: A runtime verification tool for MCAPI applications, the 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15-18 November 2009, Austin, Texas, USA.
8. The Multicore Association, http://www.multicore-association.org
9. The Multicore Association Communications API, http://www.multicore- association.org/workgroup/mcapi.php
10. The Multicore Association Resource Management API, http://www.multicore- association.org/workgroup/mrapi.php
11. nd World Congress on Formal Methods, Vol. 5850 of LNCS, Pages: 256-272, Springer-Verlag, 2009.