To improve performance,
microprocessors often do not perform memory operations in program order. The consistency model specifies
which reorderings between program order and global
order are legal. For example, SPARC’s Total Store
Order allows a load to be performed before a store to a
different address that precedes it in program order, while
this reordering would violate SC. In our framework,
legal reorderings are specified in the ordering table.