Task types for pervasive atomicity

  title={Task types for pervasive atomicity},
  author={Aditya Kulkarni and Yu David Liu and Scott F. Smith},
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…