Lines Matching refs:rscs
30 22. RCU RELATIONS: rcu-link, gp, rscs, rcu-fence, and rb
1454 RCU RELATIONS: rcu-link, gp, rscs, rcu-fence, and rb
1540 The LKMM also defines the gp and rscs relations. They bring grace
1548 E ->rscs F means there is a critical section delimited by an
1561 ends.) Similarly, X ->rscs Y ->rcu-link Z says that X is part of (or
1566 and rscs links separated by rcu-link links, in which the number of gp
1567 links is >= the number of rscs links. For example:
1569 X ->gp Y ->rcu-link Z ->rscs T ->rcu-link U ->gp V
1572 gp links and only one rscs link. (It also implies that X ->rcu-fence T
1575 X ->rscs Y ->rcu-link Z ->rscs T ->rcu-link U ->gp V
1578 one gp link but two rscs links.
1588 W ->gp X ->rcu-link Y ->rscs Z.
1622 axiom requires that there are no cycles consisting of gp and rscs
1624 number of rscs links.
1662 comes after its start, hence Z ->rscs E. From all this we obtain:
1664 F ->gp X ->rcu-link Z ->rscs E ->rcu-link F,
1700 section, so therefore we have X ->rscs W.
1702 Then X ->rscs W ->rcu-link Y ->gp Z ->rcu-link X is a forbidden cycle,
1740 that W ->rscs X ->rcu-link Y ->gp Z ->rcu-link U ->rscs V ->rcu-link W.
1742 contains fewer instances of gp (one) than of rscs (two). Consequently