FYI, A document which I found useful is now publicly available. It explains the use of memory barriers on ARM and provides several examples: http://infocenter.arm.com/help/topic/com.arm.doc.genc007826/Barrier_Litmus_Tests_and_Cookbook_A08.pdf -- Catalin