2009
DOI: 10.1007/978-3-642-03275-2_29
|View full text |Cite
|
Sign up to set email alerts
|

A Tool for Detecting First Races in OpenMP Programs

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1

Citation Types

0
4
0

Year Published

2011
2011
2020
2020

Publication Types

Select...
5
1
1

Relationship

0
7

Authors

Journals

citations
Cited by 9 publications
(4 citation statements)
references
References 1 publication
0
4
0
Order By: Relevance
“…For example, ARCHER [2] first identifies data race-free code regions (i.e., which do not contain data dependencies) with a static analysis, and then instruments only the remaining, potentially unsafe regions, for data race detection. Another approach is the combination of a thread labeling scheme (to maintain the logical concurrency of thread segments) with the happens-before technique (to analyze the happens-before relations to detect conflicting accesses to every shared memory location) [19,21]. The ThreadSafe [1] tool (for Java code) applies the principles of the lockset algorithm in the setting of a static analysis: locksets are computed for abstract summaries of methods.…”
Section: Related Workmentioning
confidence: 99%
“…For example, ARCHER [2] first identifies data race-free code regions (i.e., which do not contain data dependencies) with a static analysis, and then instruments only the remaining, potentially unsafe regions, for data race detection. Another approach is the combination of a thread labeling scheme (to maintain the logical concurrency of thread segments) with the happens-before technique (to analyze the happens-before relations to detect conflicting accesses to every shared memory location) [19,21]. The ThreadSafe [1] tool (for Java code) applies the principles of the lockset algorithm in the setting of a static analysis: locksets are computed for abstract summaries of methods.…”
Section: Related Workmentioning
confidence: 99%
“…Terboven discussed the limitations of Intel Thread Checker [25] and Sun Thread Analyzer [19] in [32]. Kim et al [16] implemented a race detection tool on shared data structures using labeling schemes and protocol schemes. Basupal li et al…”
Section: Related Workmentioning
confidence: 99%
“…A simplified portion of this GPU kernel code is shown in Figure 3. From the code, we can see that there are four arrays declared in the shared memory (lines 3-7) and there is one nested for loop (lines [8][9][10][11][12][13][14][15][16][17][18][19][20][21][22]. Looking into the memory accesses within those four arrays on shared memory, three of those arrays (rowCS at line 12, Acomp at line 16, and rowQual at line 17) are read-only and the last one (sh rowCL at line 21) is write only.…”
Section: Static Analyzermentioning
confidence: 99%
“…Additionally, researchers also proposed to detect data races using model checking [20], which has the limitation of state explosion problem in general. Furthermore, happensbefore relation has also be applied to detect races in OpenMP programs [22]. Unlike these approaches, our work focuses on detecting races in GPU programs, which have different characteristics to deal with.…”
Section: Related Workmentioning
confidence: 99%