Views: Synthesizing fine-grained concurrency control
ACM Trans. Softw. Eng. Methodol., ArticleNo.4, 2013.
present viewview annotationadditional key words and phrases: concurrencystatic vericationconcurrency primitiveMore(10+)
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
Full Text (Upload PDF)
PPT (Upload PPT)