Loading...
Please wait, while we are loading the content...
Similar Documents
DPAC: an infrastructure for dynamic program analysis of concurrency Java programs
| Content Provider | ACM Digital Library |
|---|---|
| Author | Jiang, Yanyan Ma, Xiaoxing Xu, Chang |
| Abstract | Concurrency programs are hard to test or debug due to their non-deterministic nature. Existing dynamic program analysis approaches tried to address this by carefully examine a recorded execution trace. However, developing such analysis tools is complicated, requiring to take care of many tedious implementation details, and comparing and evaluating different analysis approaches are also subject to various biases, due to lack of a common base platform. This motivates us to design DPAC, an infrastructure that support in building dynamic program analysis tools for concurrency Java programs. DPAC takes events and their various processing mechanisms as its underlying model to facilitate monitoring and manipulation of program executions as required by dynamic program analysis. Various analysis tools can be implemented by customizing their required event types and processing mechanisms. We show two concrete case studies how our DPAC helps building existing dynamic program analysis approaches, as well as tuning subtle implementation details for supporting customized function implementation and code transformation. |
| Starting Page | 1 |
| Ending Page | 6 |
| Page Count | 6 |
| File Format | |
| ISBN | 9781450325486 |
| DOI | 10.1145/2541534.2541591 |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 2013-12-09 |
| Publisher Place | New York |
| Access Restriction | Subscribed |
| Subject Keyword | Concurrency Platform support Dynamic program analysis |
| Content Type | Text |
| Resource Type | Article |
