Lines Matching refs:semantics
13 rough semantics in the presence of concurrency. However, this is changing;
25 * Proper semantics for Java-style memory, for both ``volatile`` and regular
32 * Other scenarios with atomic semantics, including ``static`` variables with
45 with instructions with special semantics in the presence of concurrency. This
46 is not intended to be a precise guide to the semantics; the details can get
274 semantics. The precise fences required varies widely by architecture, but for
278 maintain Acquire semantics for a memory operation.
303 implement Release semantics; store-store fences are generally not exposed to
325 This operation has Acquire and Release semantics; see the sections on Acquire
331 SequentiallyConsistent (``seq_cst`` in IR) provides Acquire semantics for loads
332 and Release semantics for stores. Additionally, it guarantees that a total
439 and SequentiallyConsistent semantics require barrier instructions for every such