UPC-CHECK: a scalable tool for detecting run-time errors in Unified Parallel C

Authors:
James Coyle;Indranil Roy;Marina Kraeva;Glenn R. Luecke
Affiliations:
Iowa State University's High Performance Computing Group, Iowa State University, Ames, USA 50011;Iowa State University's High Performance Computing Group, Iowa State University, Ames, USA 50011;Iowa State University's High Performance Computing Group, Iowa State University, Ames, USA 50011;Iowa State University's High Performance Computing Group, Iowa State University, Ames, USA 50011
Venue:
Computer Science - Research and Development
Year:
2013

Citing 6
Cited 0

Dynamic software testing of MPI applications with umpire

Proceedings of the 2000 ACM/IEEE conference on Supercomputing
UPC: Distributed Shared-Memory Programming

UPC: Distributed Shared-Memory Programming
Automated, scalable debugging of MPI programs with Intel® Message Checker

Proceedings of the second international workshop on Software engineering for high performance computing system applications
A graph based approach for MPI deadlock detection

Proceedings of the 23rd international conference on Supercomputing
OpenMP support in the Intel® thread checker

WOMPAT'03 Proceedings of the OpenMP applications and tools 2003 international conference on OpenMP shared memory parallel programming
Evaluating error detection capabilities of UPC run-time systems

Proceedings of the Third Conference on Partitioned Global Address Space Programing Models

Quantified Score

Hi-index	0.00

Visualization

Abstract

Unified Parallel C (UPC) is a language used to write parallel programs for distributed memory parallel computers. UPC-CHECK ( http://hpcgroup.public.iastate.edu/UPC-CHECK/ ) is a scalable tool developed to automatically detect argument errors in UPC functions and deadlocks in UPC programs at run-time and issue high quality error messages to help programmers quickly fix those errors. The run-time complexity of all detection techniques used are optimal, i.e. O(1) except for deadlocks involving locks where it is theoretically known to be linear in the number of threads. The tool is easy to use, and involves merely replacing the compiler command with upc-check. Error messages issued by UPC-CHECK were evaluated using the UPC RTED test suite for argument errors in UPC functions and deadlocks. Results of these tests show that the error messages issued by UPC-CHECK for these tests are excellent.