>From fe01252839978d67b611eafca1c49e8772582fd2 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@xxxxxxxxx>
Date: Mon, 13 Mar 2017 20:47:56 +0900
Subject: [PATCH 3/6] formal/spinhint: Adjust option of enumerate list
This enumeration list can be optimized by specifying starting
count and label format. It is also better to use a narrower
item separation.
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
formal/spinhint.tex | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/formal/spinhint.tex b/formal/spinhint.tex
index a10b57b..d6acef1 100644
--- a/formal/spinhint.tex
+++ b/formal/spinhint.tex
@@ -924,10 +924,10 @@ sections).
The \co{readerprogress} array elements have values as follows,
indicating the state of the corresponding reader:
-\begin{enumerate}
-\item 0: not yet started.
-\item 1: within QRCU read-side critical section.
-\item 2: finished with QRCU read-side critical section.
+\begin{enumerate}[label={\arabic*}:,start=0,itemsep=0pt]
+\item not yet started.
+\item within QRCU read-side critical section.
+\item finished with QRCU read-side critical section.
\end{enumerate}
Finally, the \co{mutex} variable is used to serialize updaters' slowpaths.
--
2.7.4
--
To unsubscribe from this list: send the line "unsubscribe perfbook" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
