OpenMP Support in the Intel® Thread Checker

  • Paul Petersen
  • Sanjiv Shah
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2716)


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.


Mutual Exclusion Parallel Application Logic Error Data Race Serial Algorithm 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Leslie Lamport. “Time, Clocks, and the Ordering of Events in a Distributed System.” Communications of the ACM (CACM), 21(7): 558–565, July 1978zbMATHCrossRefGoogle Scholar
  2. [2]
    Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, and Thomas Anderson. “Eraser: A dynamic data race detector for multithreaded programs”, ACM Transactions on Computer Systems (TOCS), 15(4): 391–411, November 1997CrossRefGoogle Scholar
  3. [3]
    Michiel Ronsse, Koen De Bosschere. “RecPlay: A fully integrated practical record/replay system”, ACM Transactions on Computer Systems (TOCS), 17(2): 133–152, May 1999CrossRefGoogle Scholar
  4. [4]
    KAI Software. “KAP/Proℳ Toolset Reference Manual Version 4.0”, 2001 (see also
  5. [5]
    Intel Corporation. “Intel® Thread Checker and Thread Profiler”, 2003 (see also
  6. [6]
    Intel Corporation. “Intel® C++ and Fortran Compilers”, 2003 (see also
  7. [7]
    Intel Corporation. “VTuneℳ Performance Environment”, 2003 (see also

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Paul Petersen
    • 1
  • Sanjiv Shah
    • 1
  1. 1.Intel CorporationChampaignUSA

Personalised recommendations