This is a lazy-optimistic implementation, and we can see the different scenarios on lecture 13, slide 49 play out in this example. Case 4 could be an example on this slide, where even after executing load A and B and store C, if the commit on the other processor results in a coherence request upgradeX A or B or C, then this transaction is aborted and restarted.
This is a lazy-optimistic implementation, and we can see the different scenarios on lecture 13, slide 49 play out in this example. Case 4 could be an example on this slide, where even after executing load A and B and store C, if the commit on the other processor results in a coherence request upgradeX A or B or C, then this transaction is aborted and restarted.