Tests and Test Results
Tests cited by name in the paper
Systematic tests
MP: Message passing
SB: Store buffer forwarding (sometimes called Dekker’s example)
LB: Load buffering
IRIW: Independent Reads of Independent Writes
WRC: Write to Read Causality
RWC: Read to Write Causality
ISA2: Second example from POWER documentation
R
S
2+2W
WWC
WRW+2W
WRW+WR
WRR+2W
PPO
New six-edge tests
3.SB
3.LB
3.2W
IRWIW
IRRWIW
W+RWC
Z6.0
Z6.1
Z6.2
Z6.3
Z6.4
Z6.5