[cpp-threads] Implementation of seq_cst load on x86

[Herb Sutter]

I don't have a proof handy, but I can confirm that this is what AMD and Intel MM engineers have consistently told us.

Herb


On May 29, 2010, at 8:42 PM, "Jeffrey Yasskin" <jyasskin at gmail.com> wrote:

> 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
> 
> --
> cpp-threads mailing list
> cpp-threads at decadentplace.org.uk
> http://www.decadentplace.org.uk/cgi-bin/mailman/listinfo/cpp-threads
>