From: Brian Norris <banorris@uci.edu>
Date: Wed, 5 Dec 2012 23:35:02 +0000 (-0800)
Subject: notes: fence: more updates
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=02d98b0950685cf746e6698e06c53fdfbd1a4e1e

notes: fence: more updates
---

diff --git a/doc/notes/fence.txt b/doc/notes/fence.txt
index 190708ce..c6c2d4b1 100644
--- a/doc/notes/fence.txt
+++ b/doc/notes/fence.txt
@@ -2,12 +2,10 @@
  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
-(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.
@@ -169,9 +167,9 @@ Cases:
 * 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