b884fcf412
This patch fixes violation of TSO in the O3CPU, as all loads must be ordered with all other loads. In the LQ, if a snoop is observed, all subsequent loads need to be squashed if the system is TSO. Prior to this patch, the following case could be violated: P0 | P1 ; MOV [x],mail=/usr/spool/mail/nilay | MOV EAX,[y] ; MOV [y],mail=/usr/spool/mail/nilay | MOV EBX,[x] ; exists (1:EAX=1 /\ 1:EBX=0) [is a violation] The problem was found using litmus [http://diy.inria.fr]. Committed by: Nilay Vaish <nilay@cs.wisc.edu |
||
---|---|---|
.. | ||
arch | ||
base | ||
cpu | ||
dev | ||
doc | ||
doxygen | ||
kern | ||
mem | ||
proto | ||
python | ||
sim | ||
unittest | ||
Doxyfile | ||
SConscript |