Lines Matching refs:plain

880 	Plain-coherence: This requires that plain memory accesses
887 "rcu" and "plain-coherence" axioms are specific to the LKMM.
1927 accesses such as x or y = 0 are simply called "plain" accesses.
1929 Early versions of the LKMM had nothing to say about plain accesses.
1931 by plain accesses are not concurrently read or written by any other
1933 of transformations or optimizations of code containing plain accesses,
1959 But since P0's load from x is a plain access, the compiler may decide
1981 doesn't try to predict all possible outcomes of code containing plain
1994 3.	at least one of them is plain,
2106 are plain.  Now, although we have not said so explicitly, up to this
2115 plain accesses are a different story; the compiler may combine them,
2117 who knows what else.  Seeing a plain access in the source code tells
2125 code would be safe!).  For another, it cannot move a plain access past
2143 -- even if some of the accesses are plain.  (Of course, the CPU may
2152 smp_rmb() or smp_store_release() apply to plain accesses as well as to
2156 again, now using plain accesses for buf:
2185 	machine instructions the compiler generates for the plain
2207 This analysis illustrates how the LKMM deals with plain accesses in
2208 general.  Suppose R is a plain load and we want to show that R
2211 X ->xb* E.  If E was also a plain access, we would also look for a
2226 issue.  When the source code contains a plain store, the compiler is
2227 allowed to put plain loads of the same location into the object code.
2239 For this reason, whenever the LKMM requires a plain store to be
2249 Incidentally, the other tranformation -- augmenting a plain load by
2260 The LKMM includes a second way to pre-bound plain accesses, in
2267 the LKMM says that the marked load of ptr pre-bounds the plain load of
2269 instructions corresponding to the plain load.  This is a reasonable
2300 rcu_assign_pointer() performs a store-release, so the plain store to b
2334 Finally, it turns out there is a situation in which a plain write does
2358 Do the plain stores to y race?  Clearly not if P1 reads a non-zero
2371 concurrent and there is no race, even though P1's plain store to y
2380 sequence.  If W is plain then they also have to be linked by an
2384 sequence, and if W' is plain then they also have to be linked by a
2406 There is one more part of the LKMM related to plain accesses (although
2410 various relation must not contain a cycle) doesn't apply to plain
2412 they don't make sense even for plain accesses.
2415 called the "plain-coherence" axiom because of their resemblance to the
2424 	executes before, even if one or both is plain).
2436 This is the extent to which the LKMM deals with plain accesses.
2437 Perhaps it could say more (for example, plain accesses might
2489 Although we said that plain accesses are not linked by the ppo
2491 an address dependency from a marked load R to a plain store W,