184 search results - page 2 / 37 » Monitoring Atomicity in Concurrent Programs |
HVC
2005
Springer
13 years 10 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...
ESOP
2007
Springer
13 years 11 months ago
2007
Springer
EUROSYS
2010
ACM
14 years 2 months ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...
RV
2007
Springer
13 years 11 months ago
2007
Springer
We introduce a new non-interference criterion for concurrent programs: rollback atomicity. Similarly to other definitions of atomicity, rollback atomicity of a given concurrent ex...
PPOPP
2006
ACM
13 years 11 months ago
2006
ACM
