Lines Matching refs:pb
29 21. THE PROPAGATES-BEFORE RELATION: pb
1433 THE PROPAGATES-BEFORE RELATION: pb
1436 The propagates-before (pb) relation capitalizes on the special
1463 The existence of a pb link from E to F implies that E must execute
1472 A good example illustrating how pb works is the SB pattern with strong
1495 If r0 = 0 at the end then there is a pb link from P0's load to P1's
1499 Note that this pb link is not included in hb as an instance of prop,
1502 Similarly, if r1 = 0 at the end then there is a pb link from P1's load
1504 cycle in pb, which is not possible since an instruction cannot execute
1508 In summary, the fact that the pb relation links events in the order
1597 obscure, and we won't give it here. It is closely related to the pb
1695 rcu-fence. This is done in essentially the same way as the pb
1698 before F, just as E ->pb F does (and for much the same reasons).
2265 if they can be connected by a sequence of hb, pb, and rb links
2352 cumul-fence, pb, and so on -- including vis) apply only to marked