June 17-21, 2012

Hamburg, Germany

Contribution Details

Name: UPC-CHECK: A Scalable Tool for Detecting Run-Time Errors in Unified Parallel C
Time: Tuesday, June 19, 2012
10:00 AM - 10:30 AM
Room:   Hall C2.2
CCH - Congress Center Hamburg
Speakers:   Glenn Luecke, Iowa State University
Abstract:   Unified Parallel C (UPC) [23] is a language used to write parallel programs for distributed memory parallel computers. 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 theoritically 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 [6] 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.  
  • Tutorial Pass
  • HPC in Asia Workshop Pass
  • Conference Pass
  • Conference Pass or Exhibition Pass
    Satellite Event marked with * requires separate pass
  • Morning & Afternoon Coffee Breaks
    Midday Lunch Break
Program may be subject to changes.