Mercurial > hg > CbC > CbC_llvm
diff docs/Atomics.rst @ 77:54457678186b LLVM3.6
LLVM 3.6
author | Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 08 Sep 2014 22:06:00 +0900 |
parents | 95c75e76d11b |
children | 60c9769439b8 |
line wrap: on
line diff
--- a/docs/Atomics.rst Thu Dec 12 15:22:36 2013 +0900 +++ b/docs/Atomics.rst Mon Sep 08 22:06:00 2014 +0900 @@ -24,10 +24,10 @@ * Proper semantics for Java-style memory, for both ``volatile`` and regular shared variables. (`Java Specification - <http://java.sun.com/docs/books/jls/third_edition/html/memory.html>`_) + <http://docs.oracle.com/javase/specs/jls/se8/html/jls-17.html>`_) * gcc-compatible ``__sync_*`` builtins. (`Description - <http://gcc.gnu.org/onlinedocs/gcc/Atomic-Builtins.html>`_) + <https://gcc.gnu.org/onlinedocs/gcc/_005f_005fsync-Builtins.html>`_) * Other scenarios with atomic semantics, including ``static`` variables with non-trivial constructors in C++. @@ -110,8 +110,7 @@ ``cmpxchg`` and ``atomicrmw`` are essentially like an atomic load followed by an atomic store (where the store is conditional for ``cmpxchg``), but no other -memory operation can happen on any thread between the load and store. Note that -LLVM's cmpxchg does not provide quite as many options as the C++0x version. +memory operation can happen on any thread between the load and store. A ``fence`` provides Acquire and/or Release ordering which is not part of another operation; it is normally used along with Monotonic memory operations. @@ -430,10 +429,9 @@ on the users of the result, some ``atomicrmw`` operations can be translated into operations like ``LOCK AND``, but that does not work in general. -On ARM, MIPS, and many other RISC architectures, Acquire, Release, and -SequentiallyConsistent semantics require barrier instructions for every such +On ARM (before v8), MIPS, and many other RISC architectures, Acquire, Release, +and SequentiallyConsistent semantics require barrier instructions for every such operation. Loads and stores generate normal instructions. ``cmpxchg`` and ``atomicrmw`` can be represented using a loop with LL/SC-style instructions which take some sort of exclusive lock on a cache line (``LDREX`` and ``STREX`` -on ARM, etc.). At the moment, the IR does not provide any way to represent a -weak ``cmpxchg`` which would not require a loop. +on ARM, etc.).