Previous Up Next

Read to Read relaxations

No relaxation of read-to-read is observed, as this is already the case according to the base TSO model.

There are 17 such tests
 TSOHardwareModelCoreI5CoreI5-dualCoreI7ChiantiLimouxTeraramEstepheBarsacZdani
MP+mfence+poForbidOk, 0/3.7GForbidOk, 0/738MOk, 0/204MOk, 0/392MOk, 0/863MOk, 0/408MOk, 0/553MOk, 0/66MOk, 0/173MOk, 0/267M
MP+mfence+po+UC+UCForbidOk, 0/3.7GForbidOk, 0/738MOk, 0/204MOk, 0/392MOk, 0/863MOk, 0/408MOk, 0/553MOk, 0/66MOk, 0/173MOk, 0/267M
MP+mfence+po+UC+WBForbidOk, 0/3.7GForbidOk, 0/738MOk, 0/204MOk, 0/392MOk, 0/863MOk, 0/408MOk, 0/553MOk, 0/66MOk, 0/173MOk, 0/267M
MP+mfence+po+UC+WCForbidOk, 0/3.7GForbidOk, 0/738MOk, 0/204MOk, 0/392MOk, 0/863MOk, 0/408MOk, 0/553MOk, 0/66MOk, 0/173MOk, 0/267M
MP+mfence+po+UC+WTForbidOk, 0/2.8GForbidOk, 0/738MOk, 0/204MOk, 0/392MOk, 0/408MOk, 0/553MOk, 0/66MOk, 0/173MOk, 0/267M
MP+mfence+po+WB+UCForbidOk, 0/3.7GForbidOk, 0/738MOk, 0/204MOk, 0/392MOk, 0/863MOk, 0/408MOk, 0/553MOk, 0/66MOk, 0/173MOk, 0/267M
MP+mfence+po+WB+WBForbidOk, 0/3.7GForbidOk, 0/738MOk, 0/204MOk, 0/392MOk, 0/863MOk, 0/408MOk, 0/553MOk, 0/66MOk, 0/173MOk, 0/267M
MP+mfence+po+WB+WCForbidOk, 0/3.7GForbidOk, 0/738MOk, 0/204MOk, 0/392MOk, 0/863MOk, 0/408MOk, 0/553MOk, 0/66MOk, 0/173MOk, 0/267M
MP+mfence+po+WB+WTForbidOk, 0/2.8GForbidOk, 0/738MOk, 0/204MOk, 0/392MOk, 0/408MOk, 0/553MOk, 0/66MOk, 0/173MOk, 0/267M
MP+mfence+po+WC+UCForbidOk, 0/3.7GForbidOk, 0/738MOk, 0/204MOk, 0/392MOk, 0/863MOk, 0/408MOk, 0/553MOk, 0/66MOk, 0/173MOk, 0/267M
MP+mfence+po+WC+WBForbidOk, 0/3.7GForbidOk, 0/738MOk, 0/204MOk, 0/392MOk, 0/863MOk, 0/408MOk, 0/553MOk, 0/66MOk, 0/173MOk, 0/267M
MP+mfence+po+WC+WCForbidOk, 0/3.7GForbidOk, 0/738MOk, 0/204MOk, 0/392MOk, 0/863MOk, 0/408MOk, 0/553MOk, 0/66MOk, 0/173MOk, 0/267M
MP+mfence+po+WC+WTForbidOk, 0/2.8GForbidOk, 0/738MOk, 0/204MOk, 0/392MOk, 0/408MOk, 0/553MOk, 0/66MOk, 0/173MOk, 0/267M
MP+mfence+po+WT+UCForbidOk, 0/2.8GForbidOk, 0/738MOk, 0/204MOk, 0/392MOk, 0/408MOk, 0/553MOk, 0/66MOk, 0/173MOk, 0/267M
MP+mfence+po+WT+WBForbidOk, 0/2.8GForbidOk, 0/738MOk, 0/204MOk, 0/392MOk, 0/408MOk, 0/553MOk, 0/66MOk, 0/173MOk, 0/267M
MP+mfence+po+WT+WCForbidOk, 0/2.8GForbidOk, 0/738MOk, 0/204MOk, 0/392MOk, 0/408MOk, 0/553MOk, 0/66MOk, 0/173MOk, 0/267M
MP+mfence+po+WT+WTForbidOk, 0/2.8GForbidOk, 0/738MOk, 0/204MOk, 0/392MOk, 0/408MOk, 0/553MOk, 0/66MOk, 0/173MOk, 0/267M

Previous Up Next