Lines Matching refs:relation

330 The most important relation between events is program order (po).  You
338 This is inherently a single-CPU relation; two instructions executing
342 po-loc is a sub-relation of po.  It links two memory accesses when the
421 memory model cannot assume there is a fixed program order relation
429 We say that two events are linked by a dependency relation when the
492 The reads-from relation (rf) links a write event to a read event when
504 Usage of the rf relation implicitly assumes that loads will always
670 Just like the po relation, co is inherently an ordering -- it is not
672 just like with the rf relation, we distinguish between stores that
685 The from-reads relation (fr) can be a little difficult for people to
710 As with rf, rfi, and rfe, we subdivide the fr relation into fri (when
714 Note that the fr relation is determined entirely by the rf and co
834 though smp_wmb() isn't A-cumulative.  The cumul-fence relation is
951 where the rmw relation links the read and write events making up each
960 "preserved program order") relation, which links the po-earlier
961 instruction to the po-later instruction and is thus a sub-relation of
1015 includes address dependencies to loads in the ppo relation.
1161 The happens-before relation (hb) links memory accesses that have to
1162 execute in a certain order.  hb includes the ppo relation and two
1188 The third relation included in hb is like ppo, in that it only links
1191 cache coherence.  The relation is called prop, and it links two events
1288 would generate a cycle in the hb relation: The fence would create a ppo
1290 prop relation would give an hb link from the second load to the first.
1295 The formal definition of the prop relation involves a coe or fre link,
1338 In summary, the fact that the hb relation links memory access events
1342 The LKMM defines yet another relation connected to times of
1351 The propagates-before (pb) relation capitalizes on the special
1423 In summary, the fact that the pb relation links events in the order
1504 rcu-link relation.  rcu-link encompasses a very general notion of
1511 The formal definition of the rcu-link relation is more than a little
1513 relation, and the details don't matter unless you want to comb through
1528 	that this relation is "inverted": It links the end of the
1531 If we think of the rcu-link relation as standing for an extended
1539 The LKMM goes on to define the rcu-fence relation as a sequence of
1555 The rcu-fence relation is important because the Grace Period Guarantee
1590 Finally, the LKMM defines the RCU-before (rb) relation in terms of
1592 relation was defined in terms of strong-fence.  We will omit the
1597 Guarantee by requiring that the rb relation does not contain a cycle.
1619 relation, and R is po-before the grace period S.  Thus we have:
1633 discussion of the rcu-link relation earlier) that S and U are related
1907 definition of the prop relation makes the initial coe or fre part
1908 optional, and it doesn't require the events linked by the relation to