A diy tutorial

Version 2.00

June 28, 2010

diy is a tool suite for testing shared memory models. We provide two tools, litmus (Part I) for running tests, and diy proper (Part II) for producing tests from concise specifications. 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.

This document was translated from LATEX by HEVEA.