Final Report: Correctness Tools for Petascale Computing

Mellor-Crummey, John¹ 

[1] Rice Univ., Houston, TX (United States)

关键词: Petascale Computing;    Software Tools;    Memory Leaks;    Data Races;    OpenMP;   

DOI  :  10.2172/1160304
RP-ID  :  DOE-RICE--01776
PID  :  OSTI ID: 1160304

学科分类：数学（综合）

美国|英语

来源: SciTech Connect

【 摘 要 】

In the course of developing parallel programs for leadership computing systems, subtle programming errors often arise that are extremely difficult to diagnose without tools. To meet this challenge, University of Maryland, the University of Wisconsin???Madison, and Rice University worked to develop lightweight tools to help code developers pinpoint a variety of program correctness errors that plague parallel scientific codes. The aim of this project was to develop software tools that help diagnose program errors including memory leaks, memory access errors, round-off errors, and data races. Research at Rice University focused on developing algorithms and data structures to support efficient monitoring of multithreaded programs for memory access errors and data races. This is a final report about research and development work at Rice University as part of this project.