Abstract: These web pages are companion material to our article “Herding Cats”.

Description of experiments



Richard Grisenthwaite. ARM Barrier Litmus Tests and Cookbook, November 2009. Document number: PRD03-GENC-007826 1.0, http://infocenter.arm.com/help/topic/com.arm.doc.genc007826/Barrier_Litmus_Tests_and_Cookbook_A08.pdf.
Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo Martin, Peter Sewell, and Derek Williams. An axiomatic memory model for Power multiprocessors. In CAV 2012. http://www.cl.cam.ac.uk/~pes20/weakmemory/CAV2012paper-final.pdf.
Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, and Derek Williams. Understanding Power multiprocessors. In PLDI 2011. http://www.cl.cam.ac.uk/~pes20/ppc-supplemental/index.html.

This document was translated from LATEX by HEVEA.