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 Annual International Symposium on Computer Architecture, ISCA ’10