On Sun, Nov 04, 2018 at 09:04:28PM +0900, Akira Yokosawa wrote:
> 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?
Indeed, this was quite the mess! Hopefully now fixed. ;-)
Thanx, Paul
> 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(-)
> >
>
