Lines Matching refs:loads
78 for the loads, the model will predict whether it is possible for the
79 code to run in such a way that the loads will indeed obtain the
141 shared memory locations and another CPU loads from those locations in
153 A memory model will predict what values P1 might obtain for its loads
196 Since r1 = 1, P0 must store 1 to flag before P1 loads 1 from
197 it, as loads can obtain values only from earlier stores.
199 P1 loads from flag before loading from buf, since CPUs execute
222 each CPU stores to its own shared location and then loads from the
271 X: P1 loads 1 from flag executes before
272 Y: P1 loads 0 from buf executes before
277 and a certain outcome for the loads in a piece of code can happen only
292 Read events correspond to loads from shared memory, such as
555 Usage of the rf relation implicitly assumes that loads will always
647 loads, then either they read from the same store or else the
714 (As a minor curiosity, if this code had used normal loads instead of
784 only internal operations. However, loads, stores, and fences involve
810 to satisfy one of the CPU's loads until it has been processed. On
835 smp_rmb() forces the CPU to execute all po-earlier loads
836 before any po-later loads;
948 inserting the loads from that location into this ordering, by placing
950 store. This leaves the relative positions of loads that read from the
984 CPU 0 loads x obtaining 13;
985 CPU 1 loads x obtaining 13;
1030 X and Y are both loads and an smp_rmb() fence occurs between
1040 X and Y are both loads, X ->addr Y (i.e., there is an address
1060 we consider address dependencies to loads.
1063 loads in program order if there is an address dependency between them.
1067 that looks as if the loads were executed out of order (see the next
1069 problem when the loads come from READ_ONCE(), and therefore the LKMM
1070 includes address dependencies to loads in the ppo relation.
1073 two loads. This happens when there is a dependency from a load to a
1126 not appear to respect address dependencies to loads. This means that
1166 final effect is that even though the two loads really are executed in
1174 between P1's two loads when the kernel is compiled for the Alpha
1199 instructions (or po-later loads in the case of smp_rmb()) until all
1275 An equally simple case involves two loads of the same location that
1326 similar to the previous examples: The value P1 loads from buf gets
1339 But what if we put an smp_rmb() fence between P1's loads? The fence
1340 would force the two loads to be executed in program order, and it
1813 This requires P0 and P2 to execute their loads and stores out of
2257 therefore any loads among those instructions will execute
2276 This distinction is needed because some fences affect only loads
2284 allowed to put plain loads of the same location into the object code.
2309 a concurrent load from that location. Two concurrent loads don't