On Fri, Jul 07, 2017 at 03:04:45AM +0900, SeongJae Park wrote:
> Signed-off-by: SeongJae Park <sj38.park@xxxxxxxxx>
Good catch, applied and pushed, thank you!
Thanx, Paul
> ---
> advsync/memorybarriers.tex | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/advsync/memorybarriers.tex b/advsync/memorybarriers.tex
> index 4ae3ca8..659a8c2 100644
> --- a/advsync/memorybarriers.tex
> +++ b/advsync/memorybarriers.tex
> @@ -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
> --
> 2.10.0
>
--
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
