>From 8dac6729398f02c38bbe9df6b4ad137678420ac6 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@xxxxxxxxx>
Date: Sun, 26 Mar 2017 09:36:22 +0900
Subject: [RFC PATCH 07/12] advsync: Substitute 'guarantee' with 'implication'
Modify wording to go along with what is found in current
memory-barriers.txt. (Although this part is under Section
"LOCK ACQUISITION FUNCTIONS" now.)
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
advsync/memorybarriers.tex | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/advsync/memorybarriers.tex b/advsync/memorybarriers.tex
index 6215311..64d78f4 100644
--- a/advsync/memorybarriers.tex
+++ b/advsync/memorybarriers.tex
@@ -2727,35 +2727,35 @@ barriers throughout.
\label{sec:advsync:Locking Constraints}
As noted earlier, locking primitives contain implicit memory barriers.
-These implicit memory barriers provide the following guarantees:
+These primitives imply the following:
\begin{enumerate}
-\item ACQUIRE operation guarantee:
+\item ACQUIRE operation implication:
\begin{itemize}
\item Memory operations issued after an ACQUIRE will be completed
after the ACQUIRE operation has completed.
\item Memory operations issued before an ACQUIRE may be completed
after the ACQUIRE operation has completed.
\end{itemize}
-\item RELEASE operation guarantee:
+\item RELEASE operation implication:
\begin{itemize}
\item Memory operations issued before a RELEASE will be
completed before the RELEASE operation has completed.
\item Memory operations issued after a RELEASE may be completed
before the RELEASE operation has completed.
\end{itemize}
-\item ACQUIRE vs ACQUIRE guarantee:
+\item ACQUIRE vs ACQUIRE implication:
\begin{itemize}
\item All ACQUIRE operations issued before another ACQUIRE operation
will be completed before that ACQUIRE operation.
\end{itemize}
-\item ACQUIRE vs RELEASE guarantee:
+\item ACQUIRE vs RELEASE implication:
\begin{itemize}
\item All ACQUIRE operations issued before a RELEASE operation
will be completed before the RELEASE operation.
\item All RELEASE operations issued before an ACQUIRE operation
will be completed before the ACQUIRE operation.
\end{itemize}
-\item Failed conditional ACQUIRE guarantee:
+\item Failed conditional ACQUIRE implication:
\begin{itemize}
\item Certain variants of ACQUIRE operation may fail, either
due to being unable to get the lock immediately, or due
--
2.7.4
--
To unsubscribe from this list: send the line "unsubscribe perfbook" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
