Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races

@inproceedings{Lucia2010ConflictES,
  title={Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races},
  author={Brandon Lucia and Luis Ceze and Karin Strauss and Shaz Qadeer and Helene B{\"o}hm},
  booktitle={ISCA},
  year={2010}
}
We argue in this paper that concurrency errors should be treated as exceptions, i.e., have fail-stop behavior and precise semantics. We propose an exception model based on conflict of synchronization free regions, which precisely detects a broad class of data-races. We show that our exceptions provide enough guarantees to simplify high-level programming language semantics and debugging, but are significantly cheaper to enforce than traditional data-race detection. To make the performance cost… CONTINUE READING
Highly Cited
This paper has 88 citations. REVIEW CITATIONS

Citations

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

89 Citations

01020'11'13'15'17
Citations per Year
Semantic Scholar estimates that this publication has 89 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-2 of 2 references

Similar Papers

Loading similar papers…