Views: Synthesizing fine-grained concurrency control

ACM Trans. Softw. Eng. Methodol., ArticleNo.4, 2013.

Cited by: 6|Bibtex|Views5|Links
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:

Your rating :
0

 

Tags
Comments