Contents
Part I Running tests with
litmus
1 A tour of
litmus
1.1 A simple run
1.2 Cross compilation
1.3 Running several tests at once
2 Controlling test parameters
2.1 Architecture of tests
2.2 Controlling executable files
2.3 Controlling
litmus
Part II Generating tests
3 Preamble
3.1 Relaxation of Sequential Consistency
3.2 Introduction to relaxations
3.3 More relaxations
3.4 Summary of simple relaxations
3.4.1 Communication relaxations
3.4.2 Program order relaxations
3.4.3 Barrier relaxations
4 Testing relaxations with
diy
4.1 Principle
4.2 Testing x86
5 Additional relaxations
5.1 Intra-processor dependencies
5.2 Composite relaxations and cumulativity
6 Command usage
6.1 Usage of
diyone
6.2 Usage of
diy
6.3 Usage of
readRelax