[jmm-dev] Store completion query - general and ARM

[David Holmes]

Does any part of the JMM require actual visibility/completion of 
volatile stores or is it only order that is defined (with an assumptions 
that all stores will complete in a finite time)?

In relation to ARM specifically, Dekker style algorithms require 
visibility/completion of the store before the subsequent load, yet the 
example in "A Tutorial Introduction to the ARM and POWER Relaxed Memory 
Models" shows the use of DMB, not DSB. Yet AFAICS DMB says nothing about 
completion whereas DSB does. ?? (To be honest I find the Group A/B 
description of DMB properties extremely hard to actually interpret wrt 
code like Dekker.)

Thanks,
David