Tests cited by name in the paper
| | Model | PowerG5 | Power6 | Power7 |
CoRR1 | Forbid | = | Ok, 0/4.1G | Ok, 0/28G | Ok, 0/916G |
CoRW | Forbid | = | Ok, 0/4.2G | Ok, 0/28G | Ok, 0/916G |
CoWR | Forbid | = | Ok, 0/4.2G | Ok, 0/28G | Ok, 0/916G |
CoWW | Forbid | = | Ok, 0/7.2G | Ok, 0/56G | Ok, 0/395G |
2+2W | Allow | = | Ok, 2.1M/6.1G | Ok, 251M/33G | Ok, 29G/894G |
2+2W+syncs | Forbid | = | Ok, 0/6.1G | Ok, 0/37G | Ok, 0/943G |
2+2W+lwsyncs | Forbid | = | Ok, 0/5.9G | Ok, 0/37G | Ok, 0/911G |
R01 | Allow | = | No, 0/4.6G | No, 0/30G | No, 0/202G |
| | | Allow unseen | Allow unseen | Allow unseen |
SB | Allow | = | Ok, 100M/4.7G | Ok, 1.9G/26G | Ok, 11G/167G |
SB+lwsyncs | Allow | = | Ok, 5.5M/4.8G | Ok, 10G/26G | Ok, 1.0G/162G |
SB+syncs | Forbid | = | Ok, 0/6.7G | Ok, 0/34G | Ok, 0/251G |
LB | Allow | = | No, 0/6.7G | No, 0/34G | No, 0/251G |
| | | Allow unseen | Allow unseen | Allow unseen |
LB+rs | Allow | = | No, 0/3.7G | No, 0/20G | No, 0/898G |
| | | Allow unseen | Allow unseen | Allow unseen |
LB+datas | Forbid | = | Ok, 0/6.7G | Ok, 0/34G | Ok, 0/251G |
MP | Allow | = | Ok, 10M/4.7G | Ok, 6.4M/29G | Ok, 1.7G/167G |
MP+nondep+sync | Allow | = | Ok, 12/3.7G | Ok, 157k/20G | Ok, 2.9G/860G |
MP+lwsync+addr | Forbid | = | Ok, 0/6.7G | Ok, 0/21G | Ok, 0/117G |
MP+lwsyncs | Forbid | = | Ok, 0/6.7G | Ok, 0/34G | Ok, 0/219G |
MP+po+addr | Allow | = | Ok, 1.4k/6.0G | Ok, 2.7M/29G | Ok, 278M/188G |
MP+sync+rs | Allow | = | Ok, 1.8k/3.0G | No, 0/35G | Ok, 29M/146G |
| | | | Allow unseen | |
MP+sync+addr | Forbid | = | Ok, 0/6.7G | Ok, 0/34G | Ok, 0/251G |
MP+sync+ctrl | Allow | = | Ok, 362k/5.3G | No, 0/34G | Ok, 27M/167G |
| | | | Allow unseen | |
MP+sync+ctrlisync | Forbid | = | Ok, 0/6.7G | Ok, 0/34G | Ok, 0/251G |
MP+syncs | Forbid | = | Ok, 0/6.7G | Ok, 0/34G | Ok, 0/251G |
WRC | Allow | = | Ok, 44k/2.5G | Ok, 1.2M/13G | Ok, 25M/104G |
WRC+data+addr | Allow | = | No, 0/3.3G | Ok, 705k/13G | Ok, 166k/105G |
| | | Allow unseen | | |
WRC+syncs | Forbid | = | Ok, 0/3.3G | Ok, 0/17G | Ok, 0/157G |
WRC+sync+addr | Forbid | = | Ok, 0/3.3G | Ok, 0/17G | Ok, 0/157G |
WRC+lwsync+addr | Forbid | = | Ok, 0/3.3G | Ok, 0/17G | Ok, 0/137G |
WRC+data+sync | Allow | = | No, 0/3.3G | Ok, 176k/13G | Ok, 75k/105G |
| | | Allow unseen | | |
WWC+lwsync+addr | Forbid | = | Ok, 0/2.3G | Ok, 0/11G | Ok, 0/81G |
IRIW | Allow | = | Ok, 219k/2.4G | Ok, 1.3M/13G | Ok, 16M/83G |
IRIW+addrs | Allow | = | No, 0/3.3G | Ok, 1.2M/14G | Ok, 344k/107G |
| | | Allow unseen | | |
IRIW+addrs-twice | Allow | — | No, 0/280M | No, 0/2.9G | Ok, 5/29G |
| | | Allow unseen | Allow unseen | |
IRIW+lwsyncs | Allow | = | No, 0/3.3G | Ok, 568k/13G | Ok, 428k/87G |
| | | Allow unseen | | |
IRIW+syncs | Forbid | = | Ok, 0/3.3G | Ok, 0/17G | Ok, 0/126G |
ISA2+lwsync+data+addr | Forbid | = | Ok, 0/3.3G | Ok, 0/17G | Ok, 0/137G |
ISA2+sync+data+addr | Forbid | = | Ok, 0/3.3G | Ok, 0/17G | Ok, 0/157G |
blw-w-006 | Allow | = | No, 0/1.7G | Ok, 110k/11G | Ok, 1.7M/558G |
| | | Allow unseen | | |
bsync-w-006 | Forbid | — | Ok, 0/1.4G | Ok, 0/17G | Ok, 0/123G |
PPOCA | Allow | = | Ok, 1.1k/3.4G | No, 0/40G | Ok, 175k/157G |
| | | | Allow unseen | |
PPOAA | Forbid | = | Ok, 0/3.4G | Ok, 0/40G | Ok, 0/209G |
RDW | Forbid | = | Ok, 0/1.7G | Ok, 0/14G | Ok, 0/125G |
RDWI | Allow | = | Ok, 5.2k/3.0G | No, 0/5.6G | Ok, 1.3M/43G |
| | | | Allow unseen | |
RSW | Allow | = | Ok, 1.3k/3.4G | No, 0/27G | Ok, 33M/144G |
| | | | Allow unseen | |
non-treelike-coherence | Allow | — | — | Ok, 45/240M | Ok, 1.9k/1.6G |
propagate-sync-coherence | — | Allow | 2.5M/80M | — | 16M/491M |