Sciweavers

CONCURRENCY
2004

Finding stale-value errors in concurrent programs

13 years 3 months ago
Finding stale-value errors in concurrent programs
Concurrent programs can suffer from many types of errors, not just the wellstudied problems of deadlocks and simple race conditions on variables. This paper addresses a kind of race condition that arises from reading a variable whose value is possibly out-of-date. The paper introduces a simple technique for detecting such stale values, and reports on the encouraging experience with a compile-time checker that uses the technique.
Michael Burrows, K. Rustan M. Leino
Added 17 Dec 2010
Updated 17 Dec 2010
Type Journal
Year 2004
Where CONCURRENCY
Authors Michael Burrows, K. Rustan M. Leino
Comments (0)