From: SeongJae Park <sj38.park@xxxxxxxxx> Two sentences in memorder.tex are having commas instead of ending periods. Fix those. Signed-off-by: SeongJae Park <sj38.park@xxxxxxxxx> --- memorder/memorder.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/memorder/memorder.tex b/memorder/memorder.tex index 1c882ea4..75e336dc 100644 --- a/memorder/memorder.tex +++ b/memorder/memorder.tex @@ -4103,7 +4103,7 @@ The following list of rules summarizes the lessons of this section: \item If both legs of the \qco{if} statement begin with identical stores to the same variable, then the control dependency will not order - those stores, + those stores. If ordering is needed, precede both of them with \co{smp_mb()} or use \co{smp_store_release()}. Please note that it is \emph{not} sufficient to use \co{barrier()} @@ -4763,7 +4763,7 @@ Perhaps surprisingly, despite the empty critical section, RCU nevertheless still manages to forbid the cycle. This can again be checked using the \co{herd} tool. Furthermore, the reasoning is once again similar to that for -\cref{lst:memorder:What Happens Before RCU Readers?}, +\cref{lst:memorder:What Happens Before RCU Readers?}. Recapping, if \co{P1()}'s \co{WRITE_ONCE()} follows the end of a given grace period, then \co{P1()}'s RCU read-side critical section---and everything following it---must follow the beginning of that same grace -- 2.17.1