Can I read Automatic Scalable Atomicity via Semantic Locking on EtoBox?

Automatic Scalable Atomicity via Semantic Locking by Golan-Gueta, Guy; Ramalingam, G.; Sagiv, Mooly; Yahav, Eran is a Computer Science article available to read on EtoBox.

What is Automatic Scalable Atomicity via Semantic Locking about?

In this paper, we consider concurrent programs in which the shared state consists of instances of linearizable ADTs (abstract data types). We present an automated approach to concurrency control that addresses a common need: the need to atomically execute a code fragment, which may contain multiple ADT operations on multiple ADT instances. We present a synthesis algorithm that automatically enforces atomicity of given code fragments (in a client program) by inserting pessimistic synchronization that guarantees atomicity and deadlock-freedom (without using any rollback mechanism). Our algorithm takes a commutativity specification as an extra input. This specification indicates for every pair of ADT operations the conditions under which the operations commute. Our algorithm enables greater parallelism by permitting commuting operations to execute concurrently. We have implemented the synthesis algorithm in a Java compiler, and applied it to several Java programs. Our results show that our approach produces efficient and scalable synchronization.

Who reads Automatic Scalable Atomicity via Semantic Locking?

Author

Golan-Gueta, Guy; Ramalingam, G.; Sagiv, Mooly; Yahav, Eran

Publisher

Association for Computing Machinery; Special Interest Group on Computer Graphics, Association for Computing Machinery; Association for Computing Machinery (ACM) (ISSN 0362-1340)

Published

2015

Language

EN

Field

Computer Science (Physical Sciences)