@inproceedings{6575d58cc978438eababb7718295b246,
title = "Automatic fine-grain locking using shape properties",
abstract = "We present a technique for automatically adding fine-grain locking to an abstract data type that is implemented using a dynamic forest -i.e., the data structures may be mutated, even to the point of violating forestness temporarily during the execution of a method of the ADT. Our automatic technique is based on Domination Locking, a novel locking protocol. Domination locking is designed specifically for software concurrency control, and in particular is designed for object-oriented software with destructive pointer updates. Domination locking is a strict generalization of existing locking protocols for dynamically changing graphs. We show our technique can successfully add fine-grain locking to libraries where manually performing locking is extremely challenging. We show that automatic fine-grain locking is more efficient than coarse-grain locking, and obtains similar performance to hand-crafted fine-grain locking. Copyright is held by the author / owner(s).",
keywords = "Atomicity, Concurrency, Locking protocol, Reduction, Serializability, Synthesis",
author = "Guy Golan-Gueta and Nathan Bronson and Aiken Alex and G. Ramalingam and Mooly Sagiv and Eran Yahav",
year = "2011",
doi = "10.1145/2048066.2048086",
language = "الإنجليزيّة",
isbn = "9781450309400",
series = "Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA",
pages = "225--241",
booktitle = "OOPSLA'11 - Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications",
note = "2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA'11 ; Conference date: 22-10-2011 Through 27-10-2011",
}