29 search results - page 1 / 6 » Detection of deadlock potentials in multithreaded programs |
HVC
2005
Springer
14 years 11 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
14 years 12 days ago
2010
PLDI
2009
ACM
15 years 10 days 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 11 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 11 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...