Conflict Exceptions: Simplifying Concurrent Language Semantics with Precise Hardware Exceptions for Data-Races. (2010)

by B LUCIA, L CEZE, K STRAUSS, S QADEER, H-J BOEHM
Venue:In Proceedings of the 37th International Symposium on Computer Architecture