32 search results - page 2 / 7 » Gadara: Dynamic Deadlock Avoidance for Multithreaded Program... |
SPIN
2000
Springer
13 years 8 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
ESOP
1999
Springer
13 years 8 months ago
1999
Springer
Abstract. A race condition is a situation where two threads manipulate a data structure simultaneously, without synchronization. Race conditions are common errors in multithreaded ...
PVM
2010
Springer
13 years 2 months ago
2010
Springer
The number of multithreaded Message Passing Interface (MPI) implementations and applications is increasing rapidly. We discuss how multithreaded applications can receive messages o...
ASPLOS
2012
ACM
12 years 8 days ago
2012
ACM
Multithreaded programs often suffer from synchronization bugs such as atomicity violations and deadlocks. These bugs arise from complicated locking strategies and ad hoc synchroni...
ESOP
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...