X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=notes%2Fnondeterm-spec.txt;h=9898a22c41a3aa99dc1bd986948a4025842fdda8;hb=19ccd7c10175f9a93b315ef34b9d3168939c87ec;hp=70383b31e544e2e94168adbcb061958c78e68167;hpb=007d42509b6f84500bd65ffe710773117cb3d77f;p=cdsspec-compiler.git

diff --git a/notes/nondeterm-spec.txt b/notes/nondeterm-spec.txt
index 70383b3..9898a22 100644
--- a/notes/nondeterm-spec.txt
+++ b/notes/nondeterm-spec.txt
@@ -315,6 +315,13 @@ using our specification checker.
 
 
 V. Examples
+
+!!!!!!! The register example should be extended to commute if we think of their
+transitional effects as set operations --- a set operation that will only mask
+out side the effects of its own previous behavior (things that are hb/SC before
+it)  ---- VERY IMPORTANT note here!!
+
+
 1. The register examples: Basically, we can think of registers as the cache on a
 memory system. The effect of a load or store basically tells us what the current
 value in the cache line is, and a load can read from values that can be