[PATCH -perfbook 5/5] together/applyrcu: Use nbsp around one-letter variables in Section 13.5.10
Akira Yokosawa <[email protected]> Tue, 7 Oct 2025 23:58:30 +0900
| Newsgroups | org.kernel.vger.perfbook |
|---|---|
| Message-ID | <[email protected]> |
Signed-off-by: Akira Yokosawa <[email protected]> --- together/applyrcu.tex | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/together/applyrcu.tex b/together/applyrcu.tex index 455bf2a1..6004cb24 100644 --- a/together/applyrcu.tex +++ b/together/applyrcu.tex @@ -969,16 +969,16 @@ and transfer control to \clnref{unl:2}, which exits the RCU read-side critical section. \Clnref{init:a} initializes the element (abstracting away any required allocation), \clnref{xchg} atomically exchanges the pointer to this element with the global -pointer \co{p}, returning the old value in \co{r1}. +pointer~\co{p}, returning the old value in \co{r1}. If \clnref{if:2} determines that \co{r1} was non-\co{NULL}, then \clnref{sync} waits for any readers accessing the old element to finish and \clnref{free} emulates a \co{kfree()}. -Either way, \co{r2} is set to the initial value of 1. +Either way, \co{r2} is set to the initial value of~1. \end{fcvref} \begin{fcvref}[ln:formal:C-double-check-rcu-2:whole] -\Clnrefrange{P1:b}{P1:e} operate in the same manner, but using element \co{b} instead -of \co{a}. +\Clnrefrange{P1:b}{P1:e} operate in the same manner, but using element~\co{b} instead +of~\co{a}. \Clnref{loc} displays all variables to ease debugging of the litmus test. \Clnref{ex:1} verifies that both processes obtain an initialized value, -- 2.43.0