Academic Journal

Taskgrind: Heavyweight Dynamic Binary Instrumentation for Parallel Programs Analysis

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Taskgrind: Heavyweight Dynamic Binary Instrumentation for Parallel Programs Analysis
Συγγραφείς: Pereira, Romain, Stelle, George, Carribault, Patrick
Συνεισφορές: PEREIRA, Romain
Πηγή: SC24-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis. :214-221
Στοιχεία εκδότη: IEEE, 2024.
Έτος έκδοσης: 2024
Θεματικοί όροι: Binary Instrumentation, HPC, Task, Determinacy Race, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
Περιγραφή: 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.
Τύπος εγγράφου: Article
Conference object
Περιγραφή αρχείου: application/pdf
DOI: 10.1109/scw63240.2024.00033
Σύνδεσμος πρόσβασης: https://hal.science/hal-04814885v1
Rights: STM Policy #29
Αριθμός Καταχώρησης: edsair.doi.dedup.....d0c05d01fc75b0ca608019f3cc0c044a
Βάση Δεδομένων: OpenAIRE
Περιγραφή
DOI:10.1109/scw63240.2024.00033