On Sun, Aug 12, 2018 at 02:29:28PM +0900, SeongJae Park wrote:
> This commit fixes a couple of typos in README and recipies.txt.
>
> Signed-off-by: SeongJae Park <[email protected]>
Good catch on the first "The the"! (Why say it once when you can say
it twice?)
On the second, the quoted output doesn't have a comma, so the quote of
that output also needs not to have a comma. So I applied the first
patch and left out the second. But please let me know if I am missing
something.
Thanx, Paul
> ---
> tools/memory-model/Documentation/recipes.txt | 2 +-
> tools/memory-model/README | 2 +-
> 2 files changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/tools/memory-model/Documentation/recipes.txt
> b/tools/memory-model/Documentation/recipes.txt
> index a40802fa1099..29df496c1c77 100644
> --- a/tools/memory-model/Documentation/recipes.txt
> +++ b/tools/memory-model/Documentation/recipes.txt
> @@ -311,7 +311,7 @@ The smp_wmb() macro orders prior stores against later
> stores, and the
> smp_rmb() macro orders prior loads against later loads. Therefore, if
> the final value of r0 is 1, the final value of r1 must also be 1.
>
> -The the xlog_state_switch_iclogs() function in fs/xfs/xfs_log.c contains
> +The xlog_state_switch_iclogs() function in fs/xfs/xfs_log.c contains
> the following write-side code fragment:
>
> log->l_curr_block -= log->l_logBBsize;
> diff --git a/tools/memory-model/README b/tools/memory-model/README
> index ee987ce20aae..73313faf4036 100644
> --- a/tools/memory-model/README
> +++ b/tools/memory-model/README
> @@ -89,7 +89,7 @@ The corresponding output includes:
> Observation SB+fencembonceonces Never 0 2000000
> Time SB+fencembonceonces 0.16
>
> -The "Positive: 0 Negative: 2000000" and the "Never 0 2000000" indicate
> +The "Positive: 0, Negative: 2000000" and the "Never 0 2000000" indicate
> that during two million trials, the state specified in this litmus
> test's "exists" clause was not reached.
>
> --
> 2.13.0
>
