diff options
| author | SeongJae Park <sj38.park@gmail.com> | 2024-01-07 09:01:21 -0800 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2024-01-07 13:36:29 -0800 |
| commit | 6347bca4053291b66e1acbe074dedf40dfba63c9 (patch) | |
| tree | b8c6b6790577f61453494c65d042cbe6896dc155 | |
| parent | 0c1053ccedddc74f85799e0eaf7a35abbe62eed9 (diff) | |
| download | perfbook-6347bca4053291b66e1acbe074dedf40dfba63c9.tar.gz | |
appendix/toyrcu: Use \co{} for spin tool
formalregress.tex is using \co{} for spin tool, especially when
mentionging it together with Promela. A sentence in toyrcu.tex is not
using \co{} for same representation. Use \co{} for consistency.
Signed-off-by: SeongJae Park <sj38.park@gmail.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
| -rw-r--r-- | appendix/toyrcu/toyrcu.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/appendix/toyrcu/toyrcu.tex b/appendix/toyrcu/toyrcu.tex index 1634953e..4083f9f0 100644 --- a/appendix/toyrcu/toyrcu.tex +++ b/appendix/toyrcu/toyrcu.tex @@ -535,7 +535,7 @@ checking of \co{rcu_refcnt}. data element. Exercise for the reader: - Use a tool such as Promela/spin to determine which (if any) of + Use a tool such as Promela/\co{spin} to determine which (if any) of the memory barriers in \cref{lst:app:toyrcu:RCU Update Using Global Reference-Count Pair} are really needed. |