[cpp-threads] Implementation of seq_cst load on x86

[Jeffrey Yasskin]

Hello all,

I've seen assertions [1] that load(memory_order_seq_cst) can be
implemented as a simple mov on x86 as long as
store(memory_order_seq_cst) is implemented as xchg. Does anyone know
of a paper that proves this claim from the guarantees in Intel's and
AMD's architecture documents?

Sorry if this was the wrong list to ask this question on.

Thanks,
Jeffrey Yasskin

[1] http://www.justsoftwaresolutions.co.uk/threading/intel-memory-ordering-and-c++-memory-model.html
and http://www.hpl.hp.com/personal/Hans_Boehm/c++mm/threadsintro.html