On 2/7/20 4:46 AM, Taylor Simpson wrote: >> I think that we can do the store immediately -- I give specifics above. Do >> you >> have a counter-example? Admittedly I'm new to browsing the architecture, >> but I >> don't see a legal packet for which you can't just Store Now. > > You can have two stores in a packet, and the second one could fault. If > anything in the packet faults, none of the instructions commit.
Then what does the manual mean when it says "dual stores have non-parallel semantics"? Is that solely about the semantics of the bytes in memory? r~