kirancodes.me
To Proof Maintenance & Beyond!

Views: object-inspired concurrency control

Brian Demsky, Patrick Lam

Abstract

We present views, a new approach to controlling concurrency. 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. Views ease the task of implementing sophisticated locking schemes and provide static checks to automatically detect many data races.

BibTeX
@inproceedings{Demsky-Lam:ICSE10,
  author    = {Brian Demsky and
               Patrick Lam},
  title     = {Views: object-inspired concurrency control},
  booktitle = {ICSE (Part I)},
  pages     = {395--404},
  publisher = {{ACM}},
  year      = {2010},
}

Related papers