What do you get if you cross Weak Memory with Transactional Memory?

from blog Wickopedia, | ↗ original
↗ original
What follows is a summary of the main contributions of a paper I wrote with Nathan Chong and Tyler Sorensen for the PLDI 2018 conference. This project studies two features of a modern computer, one called out-of-order execution and one called transactional memory. Out-of-order execution is where a computer chooses, for performance reasons, to...