On 2018/11/04 19:18:37 +0800, Junchang Wang wrote:
> Hi Paul and Akira,
>
> I have read through the first half of Chapter memorder, and here is correction
> for a few typos. Please take a look.
>
> For the first patch, the last clause I modified still looks confusion to me.
> Currently the clause is "though only if both \co{r1} and \co{r3} both end up
> containing the address of \co{x}"; however, my understanding is that prior load
> or store would also be ordered before the store on line 16, __only if r1 ends up
> containing the address of x__. That is, it is not necessary to involve r2/r3. Is
> my understanding correct? Or did I miss anything about this in the book?
Going back to commit 43236beadb19 ("memorder: Expand on cumulativity and
{other,} multicopy atomicity"), this paragraph discussed Listing 14.17
at the time (WWC Litmus Test With Release), which is a different litmus
test than the current Listing 15.17 (WRC Litmus Test With Release).
Still line 32 of then Listing 14.17 was an "exists" clause.
No wonder you can't figure out what is discussed there.
Paul, can you look into this?
Thanks, Akira
>
>
> Thanks,
> --Junchang
>
> Junchang Wang (2):
> memorder: fix typo
> memorybarriercum.svg: fix typo
>
> memorder/memorder.tex | 8 ++++----
> memorder/memorybarriercum.svg | 2 +-
> 2 files changed, 5 insertions(+), 5 deletions(-)
>
