Academic Journal
Taskgrind: Heavyweight Dynamic Binary Instrumentation for Parallel Programs Analysis
| Title: | Taskgrind: Heavyweight Dynamic Binary Instrumentation for Parallel Programs Analysis |
|---|---|
| Authors: | Pereira, Romain, Stelle, George, Carribault, Patrick |
| Contributors: | PEREIRA, Romain |
| Source: | SC24-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis. :214-221 |
| Publisher Information: | IEEE, 2024. |
| Publication Year: | 2024 |
| Subject Terms: | Binary Instrumentation, HPC, Task, Determinacy Race, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL] |
| Description: | 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. |
| Document Type: | Article Conference object |
| File Description: | application/pdf |
| DOI: | 10.1109/scw63240.2024.00033 |
| Access URL: | https://hal.science/hal-04814885v1 |
| Rights: | STM Policy #29 |
| Accession Number: | edsair.doi.dedup.....d0c05d01fc75b0ca608019f3cc0c044a |
| Database: | OpenAIRE |
| DOI: | 10.1109/scw63240.2024.00033 |
|---|