Loading…
Finding stale-value errors in concurrent programs
Concurrent programs can suffer from many types of errors, not just the well‐studied 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 tech...
Saved in:
Published in: | Concurrency and computation 2004-10, Vol.16 (12), p.1161-1172 |
---|---|
Main Authors: | , |
Format: | Article |
Language: | English |
Subjects: | |
Citations: | Items that this one cites Items that cite this one |
Online Access: | Get full text |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Summary: | Concurrent programs can suffer from many types of errors, not just the well‐studied 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. Copyright © 2004 John Wiley & Sons, Ltd. |
---|---|
ISSN: | 1532-0626 1532-0634 |
DOI: | 10.1002/cpe.866 |