Groups > comp.programming.threads > #4667

Memory Models: x86 is TSO, TSO is Good

Path	csiph.com!eternal-september.org!feeder.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From	Horizon68 <horizon@horizon.com>
Newsgroups	comp.programming.threads
Subject	Memory Models: x86 is TSO, TSO is Good
Date	Fri, 5 Oct 2018 13:26:34 -0700
Organization	A noiseless patient Spider
Lines	26
Message-ID	<pp8hdq$ua2$5@dont-email.me> (permalink)
Mime-Version	1.0
Content-Type	text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding	7bit
Injection-Date	Fri, 5 Oct 2018 20:26:34 -0000 (UTC)
Injection-Info	reader02.eternal-september.org; posting-host="1333b1ffa04a0df21de19e2cf296d45e"; logging-data="31042"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+eqkGK7oy0m97e+fRVJB/x8WokIBQKf+I="
User-Agent	Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.2.1
Cancel-Lock	sha1:HU79xi31z0oAr3SRTPRI/r7dHBE=
Content-Language	en-US
X-Mozilla-News-Host	news://news.eternal-september.org:119
Xref	csiph.com comp.programming.threads:4667

Show key headers only | View raw

Hello..


Read the following interesting webpage:

Memory Models: x86 is TSO, TSO is Good

Essentially, the conclusion is that x86 in practice implements the old 
SPARC TSO memory model.

The big take-away from the talk for me is that it confirms the 
observation made may times before that SPARC TSO seems to be the optimal 
memory model. It is sufficiently understandable that programmers can 
write correct code without having barriers everywhere. It is 
sufficiently weak that you can build fast hardware implementation that 
can scale to big machines.


Read more here:

https://jakob.engbloms.se/archives/1435


Thank you,
Amine Moulay Ramdane.

Back to comp.programming.threads | Previous | Next | Find similar | Unroll thread

Thread

Memory Models: x86 is TSO, TSO is Good Horizon68 <horizon@horizon.com> - 2018-10-05 13:26 -0700

csiph-web