Taskgrind: Heavyweight Dynamic Binary Instrumentation for Parallel Programs Analysis - INRIA 2
Communication Dans Un Congrès Année : 2024

Taskgrind: Heavyweight Dynamic Binary Instrumentation for Parallel Programs Analysis

Résumé

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.

Fichier sous embargo
Fichier sous embargo
0 0 13
Année Mois Jours
Avant la publication
mardi 17 décembre 2024
Fichier sous embargo
mardi 17 décembre 2024
Connectez-vous pour demander l'accès au fichier

Dates et versions

hal-04814885 , version 1 (02-12-2024)

Identifiants

  • HAL Id : hal-04814885 , version 1

Citer

Romain Pereira, George Stelle, Patrick Carribault. Taskgrind: Heavyweight Dynamic Binary Instrumentation for Parallel Programs Analysis. 8th International Workshop on Software Correctness for HPC Applications (Correctness '24), Nov 2024, Atlanta (USA), United States. ⟨hal-04814885⟩
0 Consultations
0 Téléchargements

Partager

More