Formal validation of this algorithm is quite important, but remains
as future work.
One tool for doing this validation is described in
Appendix .
Quick Quiz D.64:
What is a more precise way to say "CPU 0
might see CPU 1's increment as early as CPU 1's last previous
memory barrier"?
End Quick Quiz