Taskgrind: Heavyweight Dynamic Binary Instrumentation for Parallel Programs Analysis

Determinacy races are concurrent programming hazards occurring when two accesses on the same memory address are not ordered, and at least one is writing. Their presence hints at a correctness error, particularly under asynchronous task-based parallel programming models. This paper introduces Taskgri...

Full description

Saved in:
Bibliographic Details
Published in:SC24-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis pp. 214 - 221
Main Authors: Pereira, Romain, Stelle, George, Carribault, Patrick
Format: Conference Proceeding
Language:English
Published: IEEE 17.11.2024
Subjects:
Analytical models
Binary Instrumentation
Concurrent computing
Conferences
Determinacy Race
Hazards
High performance computing
HPC
Instruments
Parallel programming
Performance analysis
Task
Writing
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Determinacy races are concurrent programming hazards occurring when two accesses on the same memory address are not ordered, and at least one is writing. Their presence hints at a correctness error, particularly under asynchronous task-based parallel programming models. This paper introduces Taskgrind: a Valgrind tool for memory access analysis of parallel programming models such as Cilk or OpenMP. We illustrate the tool's capabilities with a determinacy-race analysis and confront it with state-of-the-art tools. Results show fewer false negatives and memory overheads on a set of microbenchmarks and LULESH, with meaningful error reports toward assisting programmers when parallelizing programs.
DOI:10.1109/SCW63240.2024.00033