A don’t (diy) tutorial

diy is a tool suite for testing shared memory models. We provide three tools, litmus (Part I) for running tests, diy (Part II) for producing tests from concise specifications, and dont (Part III) for either checking the conformance of a machine to an architecture or exploring the memory model of a given machine automatically. The software is written in Objective Caml, and released as sources. The web site of diy is http://diy.inria.fr/, authors can be contacted at diy-devel@inria.fr

This software is released under the terms of the Lesser GNU Public License.

This document in Postscript and Pdf.

• Contents

• Running tests with litmus
• Generating tests
• Automating the testing process
• References

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