RVWMO Preserved Program Order Rule 2

from blog Daniel Mangum, | ↗ original
Today’s @risc_v Tip: The second PPO rule defines “Same-Address Load-Load” ordering. This rule serves to preserve “Coherence for Read-Read pairs” (CoRR), specifying that instructions in same hart reading same byte preserve order if return values were written by different mem ops. Original Tweet