diff options
author | Paul E. McKenney <paulmck@kernel.org> | 2024-02-24 09:55:34 -0800 |
---|---|---|
committer | Paul E. McKenney <paulmck@kernel.org> | 2024-02-24 09:57:00 -0800 |
commit | 4823b1534739dddec32f0340b97baf71e7f6bce6 (patch) | |
tree | dba78f1d863e25841b272134490d7d85f905fea2 | |
parent | 6a0fdb930326ded7e3935cbb70374e2f3c8654ee (diff) | |
download | perfbook-4823b1534739dddec32f0340b97baf71e7f6bce6.tar.gz |
memorder: Switch fr variable to x to match co and rf
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
-rw-r--r-- | memorder/fr.svg | 8 | ||||
-rw-r--r-- | memorder/memorder.tex | 4 |
2 files changed, 6 insertions, 6 deletions
diff --git a/memorder/fr.svg b/memorder/fr.svg index 5e94e580..afe79696 100644 --- a/memorder/fr.svg +++ b/memorder/fr.svg @@ -89,7 +89,7 @@ sodipodi:role="line" id="tspan3903" x="110.06019" - y="20.869865">WRITE_ONCE(z, 1);</tspan></text> + y="20.869865">WRITE_ONCE(x, 1);</tspan></text> <path style="fill:none;stroke:#000000;stroke-width:0.80246156px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" d="m 38.267539,4.4135386 389.254231,0" @@ -175,7 +175,7 @@ sodipodi:role="line" id="tspan3903-0" x="220.86221" - y="93.927429">r1 = READ_ONCE(z) == 0;</tspan></text> + y="93.927429">r1 = READ_ONCE(x) == 0;</tspan></text> <text xml:space="preserve" style="font-size:9.62953854px;font-style:normal;font-weight:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans" @@ -188,7 +188,7 @@ id="tspan4060" x="21.916092" y="99.07756" - style="font-size:16.04923058px;font-weight:bold;fill:#646400;fill-opacity:1;-inkscape-font-specification:Sans Bold">z = 0</tspan></text> + style="font-size:16.04923058px;font-weight:bold;fill:#646400;fill-opacity:1;-inkscape-font-specification:Sans Bold">x = 0</tspan></text> <text xml:space="preserve" style="font-size:9.62953854px;font-style:normal;font-weight:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans" @@ -201,7 +201,7 @@ id="tspan4060-2" x="219.21199" y="232.05186" - style="font-size:16.04923058px;font-weight:bold;fill:#646400;fill-opacity:1;-inkscape-font-specification:Sans Bold">z = 1</tspan></text> + style="font-size:16.04923058px;font-weight:bold;fill:#646400;fill-opacity:1;-inkscape-font-specification:Sans Bold">x = 1</tspan></text> <path style="fill:none;stroke:#000000;stroke-width:1.60492313;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow2Lend)" d="m 38.317614,114.21298 389.254006,0" diff --git a/memorder/memorder.tex b/memorder/memorder.tex index 94f1085a..5c50d42d 100644 --- a/memorder/memorder.tex +++ b/memorder/memorder.tex @@ -2666,8 +2666,8 @@ This situation might seem completely counter-intuitive, but keep in mind that the speed of light is finite and computers are of non-zero size. It therefore takes time for the effect of the \co{P2()}'s store to -\co{z} to propagate to \co{P1()}, which in turn means that it is possible -that \co{P1()}'s read from \co{z} happens much later in time, but +\co{x} to propagate to \co{P1()}, which in turn means that it is possible +that \co{P1()}'s read from \co{x} happens much later in time, but nevertheless still sees the old value of zero. This situation is depicted in \cref{fig:memorder:Load-to-Store is Counter-Temporal}: |