Why does sequential consistency require maintaining Rx->Ry? Can't the read operations be reordered without changing the behavior of the system (assuming all writes have the proper dependencies maintained)?
I think the definition of sequential consistency refers to programs being executed in program order, regardless of what core it is running on. The reordering you are referring to is exactly why we want to relax consistency (i.e Slide 44 - Total Store Ordering).
Please log in to leave a comment.