Soudness experiments

In this note we describe the experiments we performed so as to confirm that offence restores SC. We build two series of tests, simple tests, described in Part I; and mixed tests,sketched in Part II. Finally Part III presents rough measures on the cost of restoring SC.

The complete sources and logs are available, simple tests for x86 X86-SIMPLE (archive) and Power, PPC-SIMPLE (archive); mixed tests for x86 X86-MIXED (archive) and Power, PPC-MIXED (archive);

• Simple tests
• Mixed tests
• Productivity

This document was translated from L^AT_EX by H^EV^EA.