Lines Matching refs:hb

28   20. THE HAPPENS-BEFORE RELATION: hb
1160 THE HAPPENS-BEFORE RELATION: hb
1163 The happens-before relation (hb) links memory accesses that have to
1164 execute in a certain order.  hb includes the ppo relation and two
1170 must have executed before R, and so we have W ->hb R.
1178 hb, despite their similarities to rfe.  For example, suppose we have
1190 The third relation included in hb is like ppo, in that it only links
1290 would generate a cycle in the hb relation: The fence would create a ppo
1291 link (hence an hb link) from the first load to the second, and the
1292 prop relation would give an hb link from the second load to the first.
1340 In summary, the fact that the hb relation links memory access events
1345 instruction execution, but it is not included in hb.  It relies on the
1358 optional rfe link, a strong fence, and an arbitrary number of hb
1365 	E ->coe W ->cumul-fence* X ->rfe? Y ->strong-fence Z ->hb* F,
1373 And because of the hb links, we know that Z will execute before F.
1415 In this example, the sequences of cumul-fence and hb links are empty.
1416 Note that this pb link is not included in hb as an instance of prop,
1650 	S ->po X ->hb* Z ->fr W ->rf Y ->po U.
2021 if they can be connected by a sequence of hb, pb, and rb links
2107 point most of the relations defined by the LKMM (ppo, hb, prop,
2408 as hb are limited to marked accesses only.  As a result, the
2455 hb anyway, and where the formal model adds prop into hb, it includes