diff options
-rw-r--r-- | src/mm-eplan.adoc | 24 |
1 files changed, 15 insertions, 9 deletions
diff --git a/src/mm-eplan.adoc b/src/mm-eplan.adoc index d37840a..3c6d198 100644 --- a/src/mm-eplan.adoc +++ b/src/mm-eplan.adoc @@ -1706,16 +1706,22 @@ The question of write subsumption can be understood from the following example: .Write subsumption litmus test, allowed execution -graphviz::images/graphviz/litmus_subsumption.txt[align="center",width=85] - -[%autowidth,float="center",align="center",cols="^,<,^,<",options="header",] +[float="center",align="center",cols=".^1a,.^1a",frame="none",grid="none",options="noheader"] |=== -2+|Hart 0 2+^|Hart 1 -2+|li t1, 3 2+^|li t3, 2 -| |li t2, 1 | | -|(a) |sw t1,0(s0) |(d) |lw a0,0(s1) -|(b) |fence w, w |(e) |sw a0,0(s0) -|(c) |sw t2,0(s1) |(f) |sw t3,0(s0) +| +[%autowidth,float="center",align="center",cols="^,<,^,<",options="header",] +!=== +2+!Hart 0 2+^!Hart 1 +2+!li t1, 3 2+^!li t3, 2 +! !li t2, 1 ! ! +!(a) !sw t1,0(s0) !(d) !lw a0,0(s1) +!(b) !fence w, w !(e) !sw a0,0(s0) +!(c) !sw t2,0(s1) !(f) !sw t3,0(s0) +!=== +| +!=== +a! graphviz::images/graphviz/litmus_subsumption.txt[align="center",width=85] +!=== |=== As written, if the load (d) reads value _1_, then (a) must |