Re: [Gc] Fwd: Re: AArch64: Shareability domain for dmb st overly conservative (#11)

Andrew Haley <[email protected]> Wed, 12 Nov 2014 15:59:06 +0000

Newsgroups	gmane.comp.programming.garbage-collection.boehmgc
Message-ID	<[email protected]>

On 11/05/2014 06:16 PM, Hans Boehm wrote:
> Memory_order_relaxed loads and stores require single-location coherence.
> The aarch64 spec guarantees that for ordinary memory operations.  (So does
> arm32, though there is a common arm32 bug that violates it.  It is unclear
> whether arm32 relaxed loads should be treated as acquire for that reason.
> But I don't think that concern applies to aarch64.)

Okay, fair enough.

Andrew.