advsync/memorybarriers: Fix a typo: s/documention/documentation
PATCH 1/1 advsync/memorybarriers: Fix a typo: s/documention/documentation
Signed-off-by SeongJae Park <[email protected]>
--- advsync/memorybarriers.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
advsync/memorybarriers.tex +1 -1
@@ -54,7 +54,7 @@ After all, if \nbco{0:r2=0} as shown in the \co{exists} clause,\footnote{ That is, Thread~\co{P0()}'s instance of local variable \co{r2} equals zero. See Section~\ref{sec:formal:Anatomy of a Litmus Test} - for documention of litmus-test nomenclature.} + for documentation of litmus-test nomenclature.} we might hope that Thread~\co{P0()}'s load from~\co{x1} must have happened before Thread~\co{P1()}'s store to~\co{x1}, which might raise
Signature · 1 line
2.10.0
Quoted 1 line · SeongJae Park
Signed-off-by SeongJae Park <[email protected]>
Good catch, applied and pushed, thank you!
Thanx, Paul
Quoted 20 lines
--- advsync/memorybarriers.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)advsync/memorybarriers.tex +1
-1@@ -54,7 +54,7 @@ After all, if \nbco{0:r2=0} as shown in the \co{exists} clause,\footnote{ That is, Thread~\co{P0()}'s instance of local variable \co{r2} equals zero. See Section~\ref{sec:formal:Anatomy of a Litmus Test} - for documention of litmus-test nomenclature.} + for documentation of litmus-test nomenclature.} we might hope that Thread~\co{P0()}'s load from~\co{x1} must have happened before Thread~\co{P1()}'s store to~\co{x1}, which might raiseSignature · 1 line
2.10.0