Next:
D.4.3.1 Testing
Up:
D.4 Preemptible RCU
Previous:
D.4.2.4.3 Memory-Barrier Considerations
Contents
D.
4
.
3
Validation of Preemptible RCU
Subsections
D.
4
.
3
.
1
Testing
D.
4
.
3
.
2
Conceptual Validation
D.
4
.
3
.
3
Formal Validation
Paul E. McKenney 2011-12-16