Static Conflict Analysis for Multi-Threaded Object-Oriented Programs (2003)
| Citations: | 59 - 6 self |
BibTeX
@MISC{Praun03staticconflict,
author = {Christoph von Praun and Thomas R. Gross},
title = {Static Conflict Analysis for Multi-Threaded Object-Oriented Programs},
year = {2003}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A compiler for multi-threaded object-oriented programs needs information about the sharing of objects for a variety of reasons: to implement optimizations, to issue warnings, to add instrumentation to detect access violations that occur at runtime. An Object Use Graph (OUG) statically captures accesses from different threads to objects. An OUG extends the Heap Shape Graph (HSG), which is a compile-time abstraction for runtime objects (nodes) and their reference relations (edges). An OUG specifies for a specific node in the HSG a partial order of events relevant to the corresponding runtime object(s). Relevant events include read and write access, object escape, thread start and join. OUGs have been implemented...
