Searched hist:10149 (Results 1 - 1 of 1) sorted by relevance

/gem5/src/cpu/o3/
H A Dlsq_unit_impl.hh10149:45a67d84fd4a Tue Mar 25 14:15:00 EDT 2014 Marco Elver <marco.elver@ed.ac.uk> cpu: o3: lsq: Fix TSO implementation
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

Completed in 39 milliseconds