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.

• Type: Journal
• Year: 2004
• Where: CONCURRENCY
• Authors: Michael Burrows, K. Rustan M. Leino
• Keywords: CONCURRENCY 2004, Concurrent Programs, Race Condition, Simple Race Conditions