2020
DOI: 10.1007/978-3-030-57675-2_2
|View full text |Cite
|
Sign up to set email alerts
|

A Toolchain to Verify the Parallelization of OmpSs-2 Applications

Abstract: Programming models for task-based parallelization based on compile-time directives are very effective at uncovering the parallelism available in HPC applications. Despite that, the process of correctly annotating complex applications is error-prone and may hinder the general adoption of these models. In this paper, we target the OmpSs-2 programming model and present a novel toolchain able to detect parallelization errors coming from non-compliant OmpSs-2 applications. Our toolchain verifies the compliance with… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2021
2021
2023
2023

Publication Types

Select...
2
1

Relationship

0
3

Authors

Journals

citations
Cited by 3 publications
(2 citation statements)
references
References 14 publications
0
2
0
Order By: Relevance
“…Generally, tracking usages of the induction variable in a loop is a straightforward way to determine if the task DAG changes, and does not require a full analysis of the target application. Moreover, this proposal could be combined with existing static and dynamic analysis tools [32] to facilitate the usage of the taskiter construct.…”
Section: #Pragma Oss Taskiter [Clause []] New-line Loopmentioning
confidence: 99%
“…Generally, tracking usages of the induction variable in a loop is a straightforward way to determine if the task DAG changes, and does not require a full analysis of the target application. Moreover, this proposal could be combined with existing static and dynamic analysis tools [32] to facilitate the usage of the taskiter construct.…”
Section: #Pragma Oss Taskiter [Clause []] New-line Loopmentioning
confidence: 99%
“…Automatic finding/verification of accesses: Tareador [30] uses an LLVM compiler stage to instrument all read-write instructions in a sequential application. This instrumentation [32] is a run-time dynamic binary instrumentation tool that addresses the same problem. These tools all introduce enormous performance overhead of at least an order of magnitude.…”
Section: Related Workmentioning
confidence: 99%