Automatic fine-grain locking using shape properties.

Guy Golan-Gueta Nathan Grasso Bronson Alex Aiken G. Ramalingam Mooly Sagiv Eran Yahav

Published in: OOPSLA (2011)

Keyphrases

fine grain
coarse grain
shape properties
nested transactions
concurrency control
parallel computation
general purpose
shape representation
distributed memory
pairwise
viewpoint
computationally efficient