OpenMP support in the Intel® thread checker

Authors:
Paul Petersen;Sanjiv Shah
Affiliations:
Intel Corporation, Champaign, IL;Intel Corporation, Champaign, IL
Venue:
WOMPAT'03 Proceedings of the OpenMP applications and tools 2003 international conference on OpenMP shared memory parallel programming
Year:
2003

Citing 3
Cited 8

Eraser: a dynamic data race detector for multithreaded programs

ACM Transactions on Computer Systems (TOCS)
RecPlay: a fully integrated practical record/replay system

ACM Transactions on Computer Systems (TOCS)
Time, clocks, and the ordering of events in a distributed system

Communications of the ACM

Productivity in High Performance Computing

International Journal of High Performance Computing Applications
A performance tuning methodology with compiler support

Scientific Programming - Large-Scale Programming Tools and Environments
Scalable thread visualization for debugging data races in OpenMP programs

GPC'07 Proceedings of the 2nd international conference on Advances in grid and pervasive computing
ompVerify: polyhedral analysis for the OpenMP programmer

IWOMP'11 Proceedings of the 7th international conference on OpenMP in the Petascale era
Symbolic consistency checking of OpenMp parallel programs

Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems
Efficient race verification for debugging programs with openMP directives

PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
UPC-CHECK: a scalable tool for detecting run-time errors in Unified Parallel C

Computer Science - Research and Development
Experiences Developing the OpenUH Compiler and Runtime Infrastructure

International Journal of Parallel Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Intel® Thread Checker is the second incarnation of projection based dynamic analysis technology first introduced with Assure that greatly simplifies application development with OpenMP. The ability to dynamically analyze multiple sibling OpenMP teams enhances the previous Assure support and complements previous work on static analysis. In addition, binary instrumentation capabilities allow detection of thread-safety violations in system and third party libraries that most applications use.