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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Tue, Nov 6, 2018 at 3:51 AM Paul E. McKenney <paulmck@xxxxxxxxxxxxx> wrote:
>
> 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.  ;-)
>

Great! Thanks to both of you :-).

Cheers,
--Junchang

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



[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Index of Archives]     [Linux NFS]     [Linux NILFS]     [Linux USB Devel]     [Video for Linux]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]

  Powered by Linux