diff options
author | SeongJae Park <sj38.park@gmail.com> | 2023-09-23 09:32:01 -0700 |
---|---|---|
committer | Paul E. McKenney <paulmck@kernel.org> | 2023-09-24 07:44:25 -0700 |
commit | 159fe74434371f60e922382f7ab709481b59994f (patch) | |
tree | dafdfd38c97ff010dfe2ce40fb534a15da0e7398 | |
parent | 2c4b2f44c59e96445aeeca1fc54ac19e5dfab501 (diff) | |
download | perfbook-159fe74434371f60e922382f7ab709481b59994f.tar.gz |
memorder: Consistently use '\co{}' for 'herd'
All sentences but one in memorder.tex use \co{} for herd. Use it
consistently.
Signed-off-by: SeongJae Park <sj38.park@gmail.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
-rw-r--r-- | memorder/memorder.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/memorder/memorder.tex b/memorder/memorder.tex index b7699129..5ded6988 100644 --- a/memorder/memorder.tex +++ b/memorder/memorder.tex @@ -527,7 +527,7 @@ sometimes substitute \co{WRITE_ONCE()} plus \co{smp_wmb()} for and \co{READ_ONCE()} plus \co{smp_rmb()} for \co{smp_load_acquire()} on the other. However, the wise developer will check such substitutions carefully, -for example, using the herd tool as described in +for example, using the \co{herd} tool as described in \cref{sec:formal:Axiomatic Approaches} on \cpageref{sec:formal:Axiomatic Approaches}. |