Re: [PATCH 0/2] Updates to Chapter memorder

["Paul E. McKenney" <paulmck@linux.ibm.com>]

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(-)
> > 
>