Lines Matching refs:sequence
984 the following sequence of events:
1012 sequences". An rmw sequence is simply a bunch of atomic updates where
1019 degenerate case). We write this relation as: Z0 ->rmw-sequence Zn.
1025 U ->cumul-fence X -> rmw-sequence Y
1030 linked by an rmw sequence means that U also propagates to each CPU
1444 Consider first the case where E is a store (implying that the sequence
1461 link in the sequence is fre instead of coe.
1624 The LKMM goes on to define the rcu-order relation as a sequence of
1631 would imply that X ->rcu-order V, because this sequence contains two
1637 does not imply X ->rcu-order V, because the sequence contains only
1825 sequence of relations contains fewer instances of rcu-gp (one) than of
1989 it permits an arbitrarily long sequence of
1997 sequence are instances of srcu-unlock. This is necessary because in a
2265 if they can be connected by a sequence of hb, pb, and rb links
2287 X is connected to Z by a possibly empty sequence of
2294 possibly empty sequence of xb links,
2299 empty sequence of xb links (again, if the sequence is empty it
2506 is, in the sequence:
2624 sequence. If W is plain then they also have to be linked by an
2628 sequence, and if W' is plain then they also have to be linked by a
2632 sequence. For race-candidate load R and store W, the LKMM says the
2637 sequence or if W can be linked to R by a
2641 sequence. For the cases involving a vis link, the LKMM also accepts
2646 sequence with no post-bounding, and in every case the LKMM also allows
2647 the link simply to be a fence with no bounding at all. If no sequence