DMCA
Confirmation of deadlock potentials detected by runtime analysis (2006)
| Venue: | In Proceedings 228 of the Workshop on Parallel and Distributed Systems: (PADTAD |
| Citations: | 22 - 6 self |
BibTeX
@INPROCEEDINGS{Bensalem06confirmationof,
author = {Saddek Bensalem and Jean-claude Fernandez and Laurent Mounier and Klaus Havelund},
title = {Confirmation of deadlock potentials detected by runtime analysis},
booktitle = {In Proceedings 228 of the Workshop on Parallel and Distributed Systems: (PADTAD},
year = {2006},
pages = {41--50}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This paper presents a framework for confirming deadlock potentials detected by runtime analysis of a single run of a multi-threaded program. The multi-threaded program under examination is instrumented to emit lock and unlock events. When the instrumented program is executed, a trace is generated consisting of the lock and unlock operations performed during that specific run. A lock graph is constructed which can reveal deadlock potentials in the form of cycles. The effectiveness of this analysis is caused by the fact that successful non-deadlocking runs yield as good, and normally better, information as deadlocking runs. Each cycle is then used to construct an observer that can detect the occurrence of the corresponding real deadlock, should it occur during subsequent test runs; and a controller, which, when composed with the program, determines the optimal scheduling strategy that will maximize the probability for the corresponding real deadlock to occur. The framework is formalized in terms of transition systems and is implemented in Java.
Keyphrases
deadlock potential runtime analysis corresponding real deadlock multi-threaded program specific run lock graph unlock event transition system deadlocking run unlock operation instrumented program single run optimal scheduling strategy successful non-deadlocking run yield subsequent test run
