Views: Synthesizing fine-grained concurrency control
ACM Trans. Softw. Eng. Methodol., ArticleNo.4, 2013.
EI
Keywords:
present viewview annotationadditional key words and phrases: concurrencystatic vericationconcurrency primitiveMore(10+)
Abstract:
Fine-grained locking is often necessary to increase concurrency. Correctly implementing fine-grained locking with today's concurrency primitives can be challenging—race conditions often plague programs with sophisticated locking schemes. We present views, a new approach to concurrency control. Views ease the task of implementing sophistic...More
Code:
Data:
Tags
Comments