Protect single-letter variables "i" and "j" from unfortunate
line/column/page breaks such as:
... loop counter
i has exceeded ...
and:
..., so that i
counts entries ...
, so that they can be rendered as:
... loop counter i
has exceeded ...
and:
..., so that
i counts entries ...
, instead.
Signed-off-by: Akira Yokosawa <[email protected]>
---
formal/dyntickrcu.tex | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/formal/dyntickrcu.tex b/formal/dyntickrcu.tex
index 2d118e69..efd1108d 100644
--- a/formal/dyntickrcu.tex
+++ b/formal/dyntickrcu.tex
@@ -469,7 +469,7 @@ a loop as follows:
\begin{fcvref}[ln:formal:promela:dyntick:dyntickRCU-base:dyntick_nohz]
\Clnref{do,od} define a loop.
-\Clnref{break} exits the loop once the loop counter \co{i}
+\Clnref{break} exits the loop once the loop counter~\co{i}
has exceeded the limit \co{MAX_DYNTICK_LOOP_NOHZ}.
\Clnref{kick_loop} tells the loop construct to execute
\clnrefrange{ex_inc:b}{inc_i}
@@ -1003,15 +1003,15 @@ the loop in \co{dyntick_irq()} as follows:
\begin{fcvref}[ln:formal:promela:dyntick:dyntickRCU-irq-ssl:dyntick_irq]
This is similar to the earlier \co{dynticks_irq()} process.
-It adds a second counter variable \co{j} on \clnref{j}, so that
-\co{i} counts entries to interrupt handlers and \co{j}
-counts exits.
+It adds a second counter variable~\co{j} on \clnref{j}, so that
+\co{i}~counts entries to interrupt handlers and \co{j}~counts
+exits.
The \co{outermost} variable on \clnref{om} helps determine
when the \co{grace_period_state} variable needs to be sampled
for the safety checks.
The loop-exit check on \clnref{chk_ex:b,chk_ex:e} is updated to require that
the
specified number of interrupt handlers are exited as well as entered,
-and the increment of \co{i} is moved to \clnref{inc_i}, which is
+and the increment of~\co{i} is moved to \clnref{inc_i}, which is
the end of the interrupt-entry model.
\Clnrefrange{atm1:b}{atm1:e} set the \co{outermost} variable to indicate
whether this is the outermost of a set of nested interrupts and to
@@ -1026,7 +1026,7 @@ legal to exit another interrupt.
\Clnrefrange{atm3:b}{atm3:e}
check the safety criterion, but only if we are exiting
from the outermost interrupt level.
-Finally, \clnrefrange{atm4:b}{atm4:e} increment the interrupt-exit count \co{j}
+Finally, \clnrefrange{atm4:b}{atm4:e} increment the interrupt-exit count~\co{j}
and, if this is the outermost interrupt level, clears
\co{in_dyntick_irq}.
\end{fcvref}
--
2.43.0
