projects
/
cdsspec-compiler.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
f6ce9f8
)
notes: fence: more updates
author
Brian Norris
<banorris@uci.edu>
Wed, 5 Dec 2012 23:35:02 +0000
(15:35 -0800)
committer
Brian Norris
<banorris@uci.edu>
Wed, 5 Dec 2012 23:35:02 +0000
(15:35 -0800)
doc/notes/fence.txt
patch
|
blob
|
history
diff --git
a/doc/notes/fence.txt
b/doc/notes/fence.txt
index 190708ceaf3add5cf660077f5f0ead4ccf7694ed..c6c2d4b1a58d80c1bc945b8d13e3b7c1eece973c 100644
(file)
--- a/
doc/notes/fence.txt
+++ b/
doc/notes/fence.txt
@@
-2,12
+2,10
@@
Fence support:
-------------------------------------------------------------------------------
Fence support:
-------------------------------------------------------------------------------
-[refer to release sequence notes for some definitions and similar (but simpler)
-algorithm]
-
Fences provide a few new modification order constraints as well as an
interesting extension to release sequences, detailed in 29.3 (p4-p7) and 29.8
Fences provide a few new modification order constraints as well as an
interesting extension to release sequences, detailed in 29.3 (p4-p7) and 29.8
-(p2-p4).
+(p2-p4). The specifications are pasted here in Appendix A and are applied to our
+model-checker in these notes.
Section 29.3 details the modification order constraints established by
sequentially-consistent fences.
Section 29.3 details the modification order constraints established by
sequentially-consistent fences.
@@
-169,9
+167,9
@@
Cases:
* else, rf is relaxed write (NOT RMW)
- check same thread
* else, rf is relaxed write (NOT RMW)
- check same thread
-**************************************
- From the C++11 specification (N3337)
-**************************************
+**************************************
************
+
Appendix A:
From the C++11 specification (N3337)
+**************************************
************
-------------
Section 29.3
-------------
Section 29.3