Goldilocks: a race-aware Java runtime

13 years 7 days ago
Goldilocks: a race-aware Java runtime
We present Goldilocks, a Java runtime that monitors program executions and throws a DataRaceException when a data race is about to occur. This prevents racy accesses from taking place, and allows race conditions to be handled before they cause errors that may be difficult to diagnose later. The DataRaceException is a valuable debugging tool, and, if supported with reasonable computational overhead, can be an important safety feature for deployed programs. Experiments by us and others on raceawareJavaruntimesindicatethattheDataRaceException may be a viable mechanism to enforce the safety of executions of multithreaded Java programs. An important benefit of DataRaceException is that executions in our runtime are guaranteed to be race free and thus sequentially consistent as per the Java Memory Model. This strong guarantee provides an easy-to-use, clean semantics to programmers, and helps to rule out many concurrency-related possibilities as the cause of errors. To support the DataRaceEx...
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
Added 28 Feb 2011
Updated 28 Feb 2011
Type Journal
Year 2010
Where CACM
Authors Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
Comments (0)