29 search results - page 1 / 6 » Detection of deadlock potentials in multithreaded programs |
HVC
2005
Springer
14 years 4 months ago
2005
Springer
This paper presents a dynamic program analysis algorithm that can detect deadlock potentials in a multi-threaded program by examining a single execution trace, obtained by running ...
IBMRD
2010
13 years 5 months ago
2010
PLDI
2009
ACM
14 years 5 months ago
2009
ACM
We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded programs. Our technique runs in two stages. In the first stage, we use an imprecise dyn...
ISSTA
2006
ACM
14 years 4 months ago
2006
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when some thread...
HVC
2005
Springer
14 years 4 months ago
2005
Springer
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...