Task types for pervasive atomicity

@inproceedings{Kulkarni2010TaskTF,
  title={Task types for pervasive atomicity},
  author={Aditya Kulkarni and Yu David Liu and Scott F. Smith},
  booktitle={OOPSLA},
  year={2010}
}
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the number of possible interleavings the programmer needs to consider. This paper describes a method for building atomicity into a programming language in an organic fashion. We take the view that atomicity holds for whole threads by default, and a division into smaller atomic regions occurs only at points where an explicit… CONTINUE READING

Similar Papers

Loading similar papers…