[PATCH 11/14] advsync: Rename Section 'Guarantees' to 'Minimal Guarantees'

[Akira Yokosawa <akiyks@gmail.com>]

From 8b244f86f9f9c26e2de37624c5ad9064367c3332 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@gmail.com>
Date: Sun, 16 Apr 2017 15:53:34 +0900
Subject: [PATCH 11/14] advsync: Rename Section 'Guarantees' to 'Minimal Guarantees'

Also make it clear that this section discusses guarantees which
are free of memory barriers.

Signed-off-by: Akira Yokosawa <akiyks@gmail.com>
---
 advsync/memorybarriers.tex | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/advsync/memorybarriers.tex b/advsync/memorybarriers.tex
index 0cd690b..6cf25a9 100644
--- a/advsync/memorybarriers.tex
+++ b/advsync/memorybarriers.tex
@@ -1289,10 +1289,11 @@ x = LOAD *D, STORE *A = 5
 the second of which will almost certainly result in a malfunction, since it set
 the address \emph{after} attempting to read the register.

-\subsection{Guarantees}
-\label{sec:advsync:Guarantees}
+\subsection{Minimal Guarantees}
+\label{sec:advsync:Minimal Guarantees}

-There are some minimal guarantees that may be expected of a CPU:
+In our abstract memory model, there are some minimal guarantees of ordering
+that may be expected of a CPU without any need of memory barriers:

 \begin{enumerate}
 \item	On any given CPU, dependent memory accesses will be issued in order,
-- 
2.7.4