Can I read Goldilocks: a Race and Transaction-aware Java Runtime on EtoBox?

Goldilocks: a Race and Transaction-aware Java Runtime by Tayfun Elmas; Shaz Qadeer; Serdar Tasiran is a Computer Science article available to read on EtoBox.

What is Goldilocks: a Race and Transaction-aware Java Runtime about?

Data races often result in unexpected and erroneous behavior. In addition to causing data corruption and leading programs to crash, the presence of data races complicates the semantics of an execution which might no longer be sequentially consistent. Motivated by these observations, we have designed and implemented a Java runtime system that monitors program executions and throws a DataRaceException when a data race is about to occur. Analogous to other runtime exceptions, the DataRaceException provides two key benefits. First, accesses causing race conditions are interruptedand handled before they cause errors that may be difficult to diagnose later. Second, if no DataRaceException is thrown in an execution, it is guaranteed to be sequentially consistent. This strong guarantee helps to rule out many concurrency-related possibilities as the cause of erroneous behavior. When a DataRaceException is caught, the operation, thread, or program causing it can be terminated gracefully. Alternatively, the DataRaceException can serve as a conflict-detection mechanism inoptimistic uses of concurrency. We start with the definition of data-race-free executions in the Java memory model. We gener

Who reads Goldilocks: a Race and Transaction-aware Java Runtime?

Author

Tayfun Elmas; Shaz Qadeer; Serdar Tasiran

Publisher

ACM

Published

2007

Language

EN

Field

Computer Science (Physical Sciences)