Dynamically checking ownership policies in concurrent c/c++ programs

@inproceedings{Martin2010DynamicallyCO,
  title={Dynamically checking ownership policies in concurrent c/c++ programs},
  author={Jean-Phillipe Martin and Michael Hicks and Manuel Jo{\~a}o Costa and Periklis Akritidis and Miguel Castro},
  booktitle={POPL},
  year={2010}
}
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data is either owned exclusively by a thread that can read or write the data, or it is read owned by a set of threads that can read but not write the data. Unfortunately, incorrect synchronization often fails to enforce these policies and memory errors in languages like C and C++ can violate these policies even when… CONTINUE READING
Highly Cited
This paper has 24 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…