Sciweavers

Share
ECOOP
2010
Springer

A Type System for Data-Centric Synchronization

9 years 8 months ago
A Type System for Data-Centric Synchronization
Data-centric synchronization groups fields of objects into atomic sets to indicate they must be updated atomically. Each atomic set has associated units of work, code fragments that preserve the consistency of that atomic set. We present a type system for data-centric synchronization that enables separate compilation and supports atomic sets that span multiple objects, thus allowing recursive data structures to be updated atomically. The type system supports full encapsulation for more efficient code generation. We evaluate our proposal using AJ, which extends the Java programming language with data-centric synchronization. We report on the implementation of a compiler and on refactoring classes from standard libraries and a multi-threaded benchmark to use atomic sets. Our results suggest that data-centric synchronization enjoys low annotation overhead while preventing high-level data races.
Mandana Vaziri, Frank Tip, Julian Dolby, Christian
Added 19 Jul 2010
Updated 19 Jul 2010
Type Conference
Year 2010
Where ECOOP
Authors Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek
Comments (0)
books