Lines Matching full:says

188 program source for each CPU.  The model says that the value obtained
956 atomic update.  This is what the LKMM's "atomic" axiom says.
1054 (the po-loc link says that R comes before W in program order and they
1280 The prop link says that in order to obtain the r1 = 1, r2 = 0 result,
1444 span a full grace period.  In more detail, the Guarantee says:
1534 "before", then X ->rcu-gp Y ->rcu-link Z roughly says that X is a
1538 after X ends.)  Similarly, X ->rcu-rscsi Y ->rcu-link Z says that X is
1584 section C.  Then part (2) of the Grace Period Guarantee says not only
1820 CPUs, but the LKMM says it holds even when they are on the same CPU.
2008 which may execute concurrently; if it does then the LKMM says there is
2064 	An rfe link from an event W to an event R says that R reads
2267 the LKMM says that the marked load of ptr pre-bounds the plain load of
2362 Guarantee says that otherwise P0's store to x would have propagated to
2375 race-candidate stores W and W', where W ->co W', the LKMM says the
2388 sequence.  For race-candidate load R and store W, the LKMM says the
2404 of the appropriate sort exists, the LKMM says that the accesses race.
2494 shaky, but essentially it says there is no way to generate object code
2531 what does the LKMM have to say?  Answer: It says there are no allowed