Data-Race Detection and Lock-Mechanism Validation for OpenMP Programs on GCC
Date Issued
2009
Date
2009
Author(s)
Lin, Wu-Jay
Abstract
Multi-threaded programs become the main programming fashion as the processors with multi-cores have turned into the state-of-the-art design in IT market nowadays. In addition to traditional p-thread-API oriented technologies to implement multi-threaded programs, simpler and quicker technology like using OpenMP directives to develop programs which intentionally require threads to partake certain amounts of computational tasks, is also a popular way. Hence, various dominant vendors of compilers support OpenMP, including the GCC compiler. Although it is rather simpler to use OpenMP directives, there still exist some programming anomalies specific to programs applying OpenMP directives. Observed this, we developed a static-time analysis tool embedded in GCC to detect potential data races under the unique scenarios of OpenMP directives and data environments, report programmers on the improper uses of OpenMP lock-discipline, and other misuses which are not conformable to the OpenMP specifications.
Subjects
OpenMP
GCC
Data Race
Lock-Discipline
Non-conforming
Type
thesis
File(s)![Thumbnail Image]()
Loading...
Name
ntu-98-R96922089-1.pdf
Size
23.32 KB
Format
Adobe PDF
Checksum
(MD5):7393fdb794c8c7d9b3fa87774cba53ee