Cooperative reasoning for preemptive execution

@inproceedings{Yi2011CooperativeRF,
  title={Cooperative reasoning for preemptive execution},
  author={Jaeheon Yi and Caitlin Sadowski and Cormac Flanagan},
  booktitle={PPOPP},
  year={2011}
}
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potential thread interference with a "yield" annotation. Under this methodology, code between two successive yield annotations forms a serializable transaction that is amenable to sequential reasoning. This methodology reduces the burden of reasoning about thread interleavings by indicating only those interference points… CONTINUE READING
Highly Cited
This paper has 23 citations. REVIEW CITATIONS
17 Citations
2 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 17 extracted citations

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…