Loading...
Please wait, while we are loading the content...
Similar Documents
Detection of Control Flow Errors in Parallel Programs at Compile Time
| Content Provider | Semantic Scholar |
|---|---|
| Author | Lester, B. |
| Copyright Year | 2010 |
| Abstract | This paper describes a general technique to identify control flow errors in parallel programs, which can be automated into a compiler. The compiler builds a system of linear equations that describes the global control flow of the whole program. Solving these equations using standard techniques of linear algebra can locate a wide range of control flow bugs at compile time. This paper also describes an implementation of this control flow analysis technique in a prototype compiler for a well-known parallel programming language. In contrast to previous research in automated parallel program analysis, our technique is efficient for large programs, and does not limit the range of language features. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://airccse.org/journal/ijdps/papers/1110ijdps08.pdf |
| Language | English |
| Access Restriction | Open |
| Subject Keyword | Algorithmic efficiency Checking (action) Compile time Compiler Computation Consistency model Control flow analysis Data-flow analysis Debugging Identifier Linear algebra Linear equation Message Passing Interface OpenMP Parallel computing Parallel programming model Program analysis Programmer Device Component Programming language Prototype Software bug Speaking (activity) System of linear equations Terminate (software) Undefined behavior Verification of Theories Weak consistency |
| Content Type | Text |
| Resource Type | Article |
