Re: [PATCH kcsan 6/9] tools/memory-model: Expand the cheatsheet.txt notion of relaxed

2020-09-04 Thread Paul E. McKenney
On Fri, Sep 04, 2020 at 10:47:17AM +0800, Boqun Feng wrote: > On Thu, Sep 03, 2020 at 07:39:55PM -0700, Paul E. McKenney wrote: > > On Fri, Sep 04, 2020 at 08:59:21AM +0800, Boqun Feng wrote: > > > On Thu, Sep 03, 2020 at 04:30:37PM -0700, Paul E. McKenney wrote: > > > > [ . . . ] > > > > > >

Re: [PATCH kcsan 6/9] tools/memory-model: Expand the cheatsheet.txt notion of relaxed

2020-09-03 Thread Boqun Feng
On Thu, Sep 03, 2020 at 07:39:55PM -0700, Paul E. McKenney wrote: > On Fri, Sep 04, 2020 at 08:59:21AM +0800, Boqun Feng wrote: > > On Thu, Sep 03, 2020 at 04:30:37PM -0700, Paul E. McKenney wrote: > > [ . . . ] > > > > How about like this, adding "Relaxed" to the WRITE_ONCE() and READ_ONCE() >

Re: [PATCH kcsan 6/9] tools/memory-model: Expand the cheatsheet.txt notion of relaxed

2020-09-03 Thread Paul E. McKenney
On Fri, Sep 04, 2020 at 08:59:21AM +0800, Boqun Feng wrote: > On Thu, Sep 03, 2020 at 04:30:37PM -0700, Paul E. McKenney wrote: [ . . . ] > > How about like this, adding "Relaxed" to the WRITE_ONCE() and READ_ONCE() > > rows and "RMW" to the "Relaxed operation" row? > > > > Much better now,

Re: [PATCH kcsan 6/9] tools/memory-model: Expand the cheatsheet.txt notion of relaxed

2020-09-03 Thread Boqun Feng
On Thu, Sep 03, 2020 at 04:30:37PM -0700, Paul E. McKenney wrote: > On Wed, Sep 02, 2020 at 08:37:15PM +0800, Boqun Feng wrote: > > On Wed, Sep 02, 2020 at 12:14:12PM +0200, pet...@infradead.org wrote: > > > On Wed, Sep 02, 2020 at 11:54:48AM +0800, Boqun Feng wrote: > > > > On Mon, Aug 31, 2020

Re: [PATCH kcsan 6/9] tools/memory-model: Expand the cheatsheet.txt notion of relaxed

2020-09-03 Thread Paul E. McKenney
On Wed, Sep 02, 2020 at 08:37:15PM +0800, Boqun Feng wrote: > On Wed, Sep 02, 2020 at 12:14:12PM +0200, pet...@infradead.org wrote: > > On Wed, Sep 02, 2020 at 11:54:48AM +0800, Boqun Feng wrote: > > > On Mon, Aug 31, 2020 at 11:20:34AM -0700, paul...@kernel.org wrote: > > > > From: "Paul E.

Re: [PATCH kcsan 6/9] tools/memory-model: Expand the cheatsheet.txt notion of relaxed

2020-09-02 Thread peterz
On Wed, Sep 02, 2020 at 08:37:15PM +0800, Boqun Feng wrote: > On Wed, Sep 02, 2020 at 12:14:12PM +0200, pet...@infradead.org wrote: > > > To be accurate, atomic_set() doesn't return any value, so it cannot be > > > ordered against DR and DW ;-) > > > > Surely DW is valid for any store. > > > >

Re: [PATCH kcsan 6/9] tools/memory-model: Expand the cheatsheet.txt notion of relaxed

2020-09-02 Thread Boqun Feng
On Wed, Sep 02, 2020 at 12:14:12PM +0200, pet...@infradead.org wrote: > On Wed, Sep 02, 2020 at 11:54:48AM +0800, Boqun Feng wrote: > > On Mon, Aug 31, 2020 at 11:20:34AM -0700, paul...@kernel.org wrote: > > > From: "Paul E. McKenney" > > > > > > This commit adds a key entry enumerating the

Re: [PATCH kcsan 6/9] tools/memory-model: Expand the cheatsheet.txt notion of relaxed

2020-09-02 Thread peterz
On Wed, Sep 02, 2020 at 11:54:48AM +0800, Boqun Feng wrote: > On Mon, Aug 31, 2020 at 11:20:34AM -0700, paul...@kernel.org wrote: > > From: "Paul E. McKenney" > > > > This commit adds a key entry enumerating the various types of relaxed > > operations. > > > > Signed-off-by: Paul E. McKenney >

Re: [PATCH kcsan 6/9] tools/memory-model: Expand the cheatsheet.txt notion of relaxed

2020-09-01 Thread Boqun Feng
On Mon, Aug 31, 2020 at 11:20:34AM -0700, paul...@kernel.org wrote: > From: "Paul E. McKenney" > > This commit adds a key entry enumerating the various types of relaxed > operations. > > Signed-off-by: Paul E. McKenney > --- > tools/memory-model/Documentation/cheatsheet.txt | 27 >

[PATCH kcsan 6/9] tools/memory-model: Expand the cheatsheet.txt notion of relaxed

2020-08-31 Thread paulmck
From: "Paul E. McKenney" This commit adds a key entry enumerating the various types of relaxed operations. Signed-off-by: Paul E. McKenney --- tools/memory-model/Documentation/cheatsheet.txt | 27 ++--- 1 file changed, 15 insertions(+), 12 deletions(-) diff --git