No relaxation of read-to-read is observed, as this is already the case according to the base TSO model.
TSO | Hardware | Model | CoreI5 | CoreI5-dual | CoreI7 | Chianti | Limoux | Teraram | Estephe | Barsac | Zdani | |
MP+mfence+po | Forbid | Ok, 0/3.7G | Forbid | Ok, 0/738M | Ok, 0/204M | Ok, 0/392M | Ok, 0/863M | Ok, 0/408M | Ok, 0/553M | Ok, 0/66M | Ok, 0/173M | Ok, 0/267M |
MP+mfence+po+UC+UC | Forbid | Ok, 0/3.7G | Forbid | Ok, 0/738M | Ok, 0/204M | Ok, 0/392M | Ok, 0/863M | Ok, 0/408M | Ok, 0/553M | Ok, 0/66M | Ok, 0/173M | Ok, 0/267M |
MP+mfence+po+UC+WB | Forbid | Ok, 0/3.7G | Forbid | Ok, 0/738M | Ok, 0/204M | Ok, 0/392M | Ok, 0/863M | Ok, 0/408M | Ok, 0/553M | Ok, 0/66M | Ok, 0/173M | Ok, 0/267M |
MP+mfence+po+UC+WC | Forbid | Ok, 0/3.7G | Forbid | Ok, 0/738M | Ok, 0/204M | Ok, 0/392M | Ok, 0/863M | Ok, 0/408M | Ok, 0/553M | Ok, 0/66M | Ok, 0/173M | Ok, 0/267M |
MP+mfence+po+UC+WT | Forbid | Ok, 0/2.8G | Forbid | Ok, 0/738M | Ok, 0/204M | Ok, 0/392M | — | Ok, 0/408M | Ok, 0/553M | Ok, 0/66M | Ok, 0/173M | Ok, 0/267M |
MP+mfence+po+WB+UC | Forbid | Ok, 0/3.7G | Forbid | Ok, 0/738M | Ok, 0/204M | Ok, 0/392M | Ok, 0/863M | Ok, 0/408M | Ok, 0/553M | Ok, 0/66M | Ok, 0/173M | Ok, 0/267M |
MP+mfence+po+WB+WB | Forbid | Ok, 0/3.7G | Forbid | Ok, 0/738M | Ok, 0/204M | Ok, 0/392M | Ok, 0/863M | Ok, 0/408M | Ok, 0/553M | Ok, 0/66M | Ok, 0/173M | Ok, 0/267M |
MP+mfence+po+WB+WC | Forbid | Ok, 0/3.7G | Forbid | Ok, 0/738M | Ok, 0/204M | Ok, 0/392M | Ok, 0/863M | Ok, 0/408M | Ok, 0/553M | Ok, 0/66M | Ok, 0/173M | Ok, 0/267M |
MP+mfence+po+WB+WT | Forbid | Ok, 0/2.8G | Forbid | Ok, 0/738M | Ok, 0/204M | Ok, 0/392M | — | Ok, 0/408M | Ok, 0/553M | Ok, 0/66M | Ok, 0/173M | Ok, 0/267M |
MP+mfence+po+WC+UC | Forbid | Ok, 0/3.7G | Forbid | Ok, 0/738M | Ok, 0/204M | Ok, 0/392M | Ok, 0/863M | Ok, 0/408M | Ok, 0/553M | Ok, 0/66M | Ok, 0/173M | Ok, 0/267M |
MP+mfence+po+WC+WB | Forbid | Ok, 0/3.7G | Forbid | Ok, 0/738M | Ok, 0/204M | Ok, 0/392M | Ok, 0/863M | Ok, 0/408M | Ok, 0/553M | Ok, 0/66M | Ok, 0/173M | Ok, 0/267M |
MP+mfence+po+WC+WC | Forbid | Ok, 0/3.7G | Forbid | Ok, 0/738M | Ok, 0/204M | Ok, 0/392M | Ok, 0/863M | Ok, 0/408M | Ok, 0/553M | Ok, 0/66M | Ok, 0/173M | Ok, 0/267M |
MP+mfence+po+WC+WT | Forbid | Ok, 0/2.8G | Forbid | Ok, 0/738M | Ok, 0/204M | Ok, 0/392M | — | Ok, 0/408M | Ok, 0/553M | Ok, 0/66M | Ok, 0/173M | Ok, 0/267M |
MP+mfence+po+WT+UC | Forbid | Ok, 0/2.8G | Forbid | Ok, 0/738M | Ok, 0/204M | Ok, 0/392M | — | Ok, 0/408M | Ok, 0/553M | Ok, 0/66M | Ok, 0/173M | Ok, 0/267M |
MP+mfence+po+WT+WB | Forbid | Ok, 0/2.8G | Forbid | Ok, 0/738M | Ok, 0/204M | Ok, 0/392M | — | Ok, 0/408M | Ok, 0/553M | Ok, 0/66M | Ok, 0/173M | Ok, 0/267M |
MP+mfence+po+WT+WC | Forbid | Ok, 0/2.8G | Forbid | Ok, 0/738M | Ok, 0/204M | Ok, 0/392M | — | Ok, 0/408M | Ok, 0/553M | Ok, 0/66M | Ok, 0/173M | Ok, 0/267M |
MP+mfence+po+WT+WT | Forbid | Ok, 0/2.8G | Forbid | Ok, 0/738M | Ok, 0/204M | Ok, 0/392M | — | Ok, 0/408M | Ok, 0/553M | Ok, 0/66M | Ok, 0/173M | Ok, 0/267M |