An OpenMP Analyzer for Detecting Concurrency Errors

Author

Ma, Hongyi ; Chen, Qichang ; Wang, Liqiang ; Liao, Chunhua ; Quinlan, Daniel

fYear

2012

fDate

10-13 Sept. 2012

Firstpage

590

Lastpage

591

Abstract

As one of the popularparallel programming interfaces, OpenMP has been widely used in many scientific applications in order to facilitate shared-memory parallelism. With the increasing popularity of multi-core machines, more and more sequential programs are being parallelized using OpenMP. However, it is not easy for programmers to write parallel programs correctly. Concurrency errors, such as data races and deadlocks. This paper presents a novel technique to detect data races and deadlocks using hybrid program analysis. Previous work [2] has shown the symbolic execution on GPU program, our tool exploits SMT solver to detect errors in OpenMP program.

Keywords

application program interfaces; graphics processing units; parallel programming; program diagnostics; shared memory systems; GPU program; OpenMP analyzer; SMT solver; concurrency error detection; data races detection; deadlocks detection; hybrid program analysis; multicore machines; parallel programming interfaces; sequential programs; shared-memory parallelism; symbolic execution; Arrays; Benchmark testing; Concurrent computing; Instruments; Monitoring; Runtime; System recovery; Hybrid Program Analysis; OpenMP; SMT solver;

fLanguage

English

Publisher

ieee

Conference_Titel

Parallel Processing Workshops (ICPPW), 2012 41st International Conference on

Conference_Location

Pittsburgh, PA

ISSN

1530-2016

Print_ISBN

978-1-4673-2509-7

Type

conf

DOI

10.1109/ICPPW.2012.83

Filename

6337531