diff options
author | Austin Clements <austin@google.com> | 2015-06-15 12:30:23 -0400 |
---|---|---|
committer | Austin Clements <austin@google.com> | 2015-06-19 15:29:50 +0000 |
commit | f5d494bbdf945f2662eb4da45cdb75de2b7d43d4 (patch) | |
tree | 980019bcd3379b225e7f4d9c231f837cd3511dd6 /src/runtime/atomic_ppc64x.s | |
parent | 75ce33068d8c2c45f40e599ae2d4c80cb8b919d7 (diff) | |
download | go-f5d494bbdf945f2662eb4da45cdb75de2b7d43d4.tar.gz go-f5d494bbdf945f2662eb4da45cdb75de2b7d43d4.zip |
runtime: ensure GC sees type-safe memory on weak machines
Currently its possible for the garbage collector to observe
uninitialized memory or stale heap bitmap bits on weakly ordered
architectures such as ARM and PPC. On such architectures, the stores
that zero newly allocated memory and initialize its heap bitmap may
move after a store in user code that makes the allocated object
observable by the garbage collector.
To fix this, add a "publication barrier" (also known as an "export
barrier") before returning from mallocgc. This is a store/store
barrier that ensures any write done by user code that makes the
returned object observable to the garbage collector will be ordered
after the initialization performed by mallocgc. No barrier is
necessary on the reading side because of the data dependency between
loading the pointer and loading the contents of the object.
Fixes one of the issues raised in #9984.
Change-Id: Ia3d96ad9c5fc7f4d342f5e05ec0ceae700cd17c8
Reviewed-on: https://go-review.googlesource.com/11083
Reviewed-by: Rick Hudson <rlh@golang.org>
Reviewed-by: Dmitry Vyukov <dvyukov@google.com>
Reviewed-by: Minux Ma <minux@golang.org>
Reviewed-by: Martin Capitanio <capnm9@gmail.com>
Reviewed-by: Russ Cox <rsc@golang.org>
Diffstat (limited to 'src/runtime/atomic_ppc64x.s')
-rw-r--r-- | src/runtime/atomic_ppc64x.s | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/runtime/atomic_ppc64x.s b/src/runtime/atomic_ppc64x.s index d84865efd6..28c5bf3729 100644 --- a/src/runtime/atomic_ppc64x.s +++ b/src/runtime/atomic_ppc64x.s @@ -38,3 +38,10 @@ TEXT ·atomicloadp(SB),NOSPLIT,$-8-16 ISYNC MOVD R3, ret+8(FP) RET + +TEXT ·publicationBarrier(SB),NOSPLIT,$-8-0 + // LWSYNC is the "export" barrier recommended by Power ISA + // v2.07 book II, appendix B.2.2.2. + // LWSYNC is a load/load, load/store, and store/store barrier. + WORD $0x7c2004ac // LWSYNC + RET |