Re: [PATCH 1/2] Documentation/memory-barriers.txt: cross-reference "tools/memory-model/"

2018-02-09 Thread Paul E. McKenney
On Fri, Feb 09, 2018 at 04:00:53PM +0100, Andrea Parri wrote: > On Fri, Feb 09, 2018 at 06:29:23AM -0800, Paul E. McKenney wrote: > > On Fri, Feb 09, 2018 at 01:50:51PM +0100, Andrea Parri wrote: > > > On Fri, Feb 09, 2018 at 04:31:00AM -0800, Paul E. McKenney wrote: > > > > On Sun, Feb 04, 2018

Re: [PATCH 1/2] Documentation/memory-barriers.txt: cross-reference "tools/memory-model/"

2018-02-09 Thread Paul E. McKenney
On Fri, Feb 09, 2018 at 04:00:53PM +0100, Andrea Parri wrote: > On Fri, Feb 09, 2018 at 06:29:23AM -0800, Paul E. McKenney wrote: > > On Fri, Feb 09, 2018 at 01:50:51PM +0100, Andrea Parri wrote: > > > On Fri, Feb 09, 2018 at 04:31:00AM -0800, Paul E. McKenney wrote: > > > > On Sun, Feb 04, 2018

Re: [PATCH 1/2] Documentation/memory-barriers.txt: cross-reference "tools/memory-model/"

2018-02-09 Thread Andrea Parri
On Fri, Feb 09, 2018 at 06:29:23AM -0800, Paul E. McKenney wrote: > On Fri, Feb 09, 2018 at 01:50:51PM +0100, Andrea Parri wrote: > > On Fri, Feb 09, 2018 at 04:31:00AM -0800, Paul E. McKenney wrote: > > > On Sun, Feb 04, 2018 at 07:37:08PM +0100, Andrea Parri wrote: > > > > Hi Akira, > > > > > >

Re: [PATCH 1/2] Documentation/memory-barriers.txt: cross-reference "tools/memory-model/"

2018-02-09 Thread Andrea Parri
On Fri, Feb 09, 2018 at 06:29:23AM -0800, Paul E. McKenney wrote: > On Fri, Feb 09, 2018 at 01:50:51PM +0100, Andrea Parri wrote: > > On Fri, Feb 09, 2018 at 04:31:00AM -0800, Paul E. McKenney wrote: > > > On Sun, Feb 04, 2018 at 07:37:08PM +0100, Andrea Parri wrote: > > > > Hi Akira, > > > > > >

Re: [PATCH 1/2] Documentation/memory-barriers.txt: cross-reference "tools/memory-model/"

2018-02-09 Thread Akira Yokosawa
On 2018/02/09 23:29, Paul E. McKenney wrote: > On Fri, Feb 09, 2018 at 01:50:51PM +0100, Andrea Parri wrote: >> On Fri, Feb 09, 2018 at 04:31:00AM -0800, Paul E. McKenney wrote: >>> On Sun, Feb 04, 2018 at 07:37:08PM +0100, Andrea Parri wrote: Hi Akira, On Mon, Feb 05, 2018 at

Re: [PATCH 1/2] Documentation/memory-barriers.txt: cross-reference "tools/memory-model/"

2018-02-09 Thread Akira Yokosawa
On 2018/02/09 23:29, Paul E. McKenney wrote: > On Fri, Feb 09, 2018 at 01:50:51PM +0100, Andrea Parri wrote: >> On Fri, Feb 09, 2018 at 04:31:00AM -0800, Paul E. McKenney wrote: >>> On Sun, Feb 04, 2018 at 07:37:08PM +0100, Andrea Parri wrote: Hi Akira, On Mon, Feb 05, 2018 at

Re: [PATCH 1/2] Documentation/memory-barriers.txt: cross-reference "tools/memory-model/"

2018-02-09 Thread Paul E. McKenney
On Fri, Feb 09, 2018 at 01:50:51PM +0100, Andrea Parri wrote: > On Fri, Feb 09, 2018 at 04:31:00AM -0800, Paul E. McKenney wrote: > > On Sun, Feb 04, 2018 at 07:37:08PM +0100, Andrea Parri wrote: > > > Hi Akira, > > > > > > On Mon, Feb 05, 2018 at 01:14:10AM +0900, Akira Yokosawa wrote: > > > >

Re: [PATCH 1/2] Documentation/memory-barriers.txt: cross-reference "tools/memory-model/"

2018-02-09 Thread Paul E. McKenney
On Fri, Feb 09, 2018 at 01:50:51PM +0100, Andrea Parri wrote: > On Fri, Feb 09, 2018 at 04:31:00AM -0800, Paul E. McKenney wrote: > > On Sun, Feb 04, 2018 at 07:37:08PM +0100, Andrea Parri wrote: > > > Hi Akira, > > > > > > On Mon, Feb 05, 2018 at 01:14:10AM +0900, Akira Yokosawa wrote: > > > >

Re: [PATCH 1/2] Documentation/memory-barriers.txt: cross-reference "tools/memory-model/"

2018-02-09 Thread Akira Yokosawa
On 2018/02/09 21:50, Andrea Parri wrote: > On Fri, Feb 09, 2018 at 04:31:00AM -0800, Paul E. McKenney wrote: >> On Sun, Feb 04, 2018 at 07:37:08PM +0100, Andrea Parri wrote: >>> Hi Akira, >>> >>> On Mon, Feb 05, 2018 at 01:14:10AM +0900, Akira Yokosawa wrote: Hi Paul, CC: Andrea

Re: [PATCH 1/2] Documentation/memory-barriers.txt: cross-reference "tools/memory-model/"

2018-02-09 Thread Akira Yokosawa
On 2018/02/09 21:50, Andrea Parri wrote: > On Fri, Feb 09, 2018 at 04:31:00AM -0800, Paul E. McKenney wrote: >> On Sun, Feb 04, 2018 at 07:37:08PM +0100, Andrea Parri wrote: >>> Hi Akira, >>> >>> On Mon, Feb 05, 2018 at 01:14:10AM +0900, Akira Yokosawa wrote: Hi Paul, CC: Andrea

Re: [PATCH 1/2] Documentation/memory-barriers.txt: cross-reference "tools/memory-model/"

2018-02-09 Thread Andrea Parri
On Fri, Feb 09, 2018 at 04:31:00AM -0800, Paul E. McKenney wrote: > On Sun, Feb 04, 2018 at 07:37:08PM +0100, Andrea Parri wrote: > > Hi Akira, > > > > On Mon, Feb 05, 2018 at 01:14:10AM +0900, Akira Yokosawa wrote: > > > Hi Paul, > > > CC: Andrea > > > > > > This is intentionally off the list,

Re: [PATCH 1/2] Documentation/memory-barriers.txt: cross-reference "tools/memory-model/"

2018-02-09 Thread Andrea Parri
On Fri, Feb 09, 2018 at 04:31:00AM -0800, Paul E. McKenney wrote: > On Sun, Feb 04, 2018 at 07:37:08PM +0100, Andrea Parri wrote: > > Hi Akira, > > > > On Mon, Feb 05, 2018 at 01:14:10AM +0900, Akira Yokosawa wrote: > > > Hi Paul, > > > CC: Andrea > > > > > > This is intentionally off the list,

Re: [PATCH 1/2] Documentation/memory-barriers.txt: cross-reference "tools/memory-model/"

2018-02-09 Thread Paul E. McKenney
On Sun, Feb 04, 2018 at 07:37:08PM +0100, Andrea Parri wrote: > Hi Akira, > > On Mon, Feb 05, 2018 at 01:14:10AM +0900, Akira Yokosawa wrote: > > Hi Paul, > > CC: Andrea > > > > This is intentionally off the list, as I was not cc'd in the thread. > > If you think it is worthwhile, could you help

Re: [PATCH 1/2] Documentation/memory-barriers.txt: cross-reference "tools/memory-model/"

2018-02-09 Thread Paul E. McKenney
On Sun, Feb 04, 2018 at 07:37:08PM +0100, Andrea Parri wrote: > Hi Akira, > > On Mon, Feb 05, 2018 at 01:14:10AM +0900, Akira Yokosawa wrote: > > Hi Paul, > > CC: Andrea > > > > This is intentionally off the list, as I was not cc'd in the thread. > > If you think it is worthwhile, could you help

Re: [PATCH 1/2] Documentation/memory-barriers.txt: cross-reference "tools/memory-model/"

2018-02-04 Thread Andrea Parri
Hi Akira, On Mon, Feb 05, 2018 at 01:14:10AM +0900, Akira Yokosawa wrote: > Hi Paul, > CC: Andrea > > This is intentionally off the list, as I was not cc'd in the thread. > If you think it is worthwhile, could you help me join the thread by > forwarding the following part as a reply to your

Re: [PATCH 1/2] Documentation/memory-barriers.txt: cross-reference "tools/memory-model/"

2018-02-04 Thread Andrea Parri
Hi Akira, On Mon, Feb 05, 2018 at 01:14:10AM +0900, Akira Yokosawa wrote: > Hi Paul, > CC: Andrea > > This is intentionally off the list, as I was not cc'd in the thread. > If you think it is worthwhile, could you help me join the thread by > forwarding the following part as a reply to your

Re: [PATCH 1/2] Documentation/memory-barriers.txt: cross-reference "tools/memory-model/"

2018-02-02 Thread Paul E. McKenney
On Fri, Feb 02, 2018 at 10:12:48AM +0100, Andrea Parri wrote: > Recent efforts led to the specification of a memory consistency model > for the Linux kernel [1], which "can (roughly speaking) be thought of > as an automated version of memory-barriers.txt" and which is (in turn) > "accompanied by

Re: [PATCH 1/2] Documentation/memory-barriers.txt: cross-reference "tools/memory-model/"

2018-02-02 Thread Paul E. McKenney
On Fri, Feb 02, 2018 at 10:12:48AM +0100, Andrea Parri wrote: > Recent efforts led to the specification of a memory consistency model > for the Linux kernel [1], which "can (roughly speaking) be thought of > as an automated version of memory-barriers.txt" and which is (in turn) > "accompanied by

[PATCH 1/2] Documentation/memory-barriers.txt: cross-reference "tools/memory-model/"

2018-02-02 Thread Andrea Parri
Recent efforts led to the specification of a memory consistency model for the Linux kernel [1], which "can (roughly speaking) be thought of as an automated version of memory-barriers.txt" and which is (in turn) "accompanied by extensive documentation on its use and its design". Make sure that the

[PATCH 1/2] Documentation/memory-barriers.txt: cross-reference "tools/memory-model/"

2018-02-02 Thread Andrea Parri
Recent efforts led to the specification of a memory consistency model for the Linux kernel [1], which "can (roughly speaking) be thought of as an automated version of memory-barriers.txt" and which is (in turn) "accompanied by extensive documentation on its use and its design". Make sure that the