Re: [PATCH memory-model 5/8] tools/memory-model: Add a glossary of LKMM terms

2020-11-06 Thread Boqun Feng
On Fri, Nov 06, 2020 at 10:01:02AM -0800, Paul E. McKenney wrote: > On Fri, Nov 06, 2020 at 09:47:22AM +0800, Boqun Feng wrote: > > On Thu, Nov 05, 2020 at 02:00:14PM -0800, paul...@kernel.org wrote: > > > From: "Paul E. McKenney" > > > > > > Signed-off-by: Paul E. McKenney > > > --- > > >

Re: [PATCH memory-model 5/8] tools/memory-model: Add a glossary of LKMM terms

2020-11-06 Thread Alan Stern
On Fri, Nov 06, 2020 at 01:04:13PM -0800, Paul E. McKenney wrote: > On Fri, Nov 06, 2020 at 03:40:08PM -0500, Alan Stern wrote: > > Is it really true that data dependencies are so easily destroyed? I > > would expect that a true "semantic" dependency (i.e., one where the > > value written

Re: [PATCH memory-model 5/8] tools/memory-model: Add a glossary of LKMM terms

2020-11-06 Thread Paul E. McKenney
On Fri, Nov 06, 2020 at 03:40:08PM -0500, Alan Stern wrote: > On Fri, Nov 06, 2020 at 11:59:12AM -0800, Paul E. McKenney wrote: > > On Fri, Nov 06, 2020 at 02:23:51PM -0500, Alan Stern wrote: > > > On Fri, Nov 06, 2020 at 10:04:46AM -0800, Paul E. McKenney wrote: > > > > On Fri, Nov 06, 2020 at

Re: [PATCH memory-model 5/8] tools/memory-model: Add a glossary of LKMM terms

2020-11-06 Thread Alan Stern
On Fri, Nov 06, 2020 at 11:59:12AM -0800, Paul E. McKenney wrote: > On Fri, Nov 06, 2020 at 02:23:51PM -0500, Alan Stern wrote: > > On Fri, Nov 06, 2020 at 10:04:46AM -0800, Paul E. McKenney wrote: > > > On Fri, Nov 06, 2020 at 11:59:30AM -0500, Alan Stern wrote: > > > > > + See also "Control

Re: [PATCH memory-model 5/8] tools/memory-model: Add a glossary of LKMM terms

2020-11-06 Thread Paul E. McKenney
On Fri, Nov 06, 2020 at 02:23:51PM -0500, Alan Stern wrote: > On Fri, Nov 06, 2020 at 10:04:46AM -0800, Paul E. McKenney wrote: > > On Fri, Nov 06, 2020 at 11:59:30AM -0500, Alan Stern wrote: > > > > +See also "Control Dependency". > > > > > > There should also be an entry for "Data

Re: [PATCH memory-model 5/8] tools/memory-model: Add a glossary of LKMM terms

2020-11-06 Thread Alan Stern
On Fri, Nov 06, 2020 at 10:04:46AM -0800, Paul E. McKenney wrote: > On Fri, Nov 06, 2020 at 11:59:30AM -0500, Alan Stern wrote: > > > + See also "Control Dependency". > > > > There should also be an entry for "Data Dependency", linked from here > > and from Control Dependency. > > > > > +Marked

Re: [PATCH memory-model 5/8] tools/memory-model: Add a glossary of LKMM terms

2020-11-06 Thread Paul E. McKenney
On Fri, Nov 06, 2020 at 11:59:30AM -0500, Alan Stern wrote: > On Thu, Nov 05, 2020 at 02:00:14PM -0800, paul...@kernel.org wrote: > > From: "Paul E. McKenney" > > > > Signed-off-by: Paul E. McKenney > > --- > > tools/memory-model/Documentation/glossary.txt | 155 > > ++

Re: [PATCH memory-model 5/8] tools/memory-model: Add a glossary of LKMM terms

2020-11-06 Thread Paul E. McKenney
On Fri, Nov 06, 2020 at 09:47:22AM +0800, Boqun Feng wrote: > On Thu, Nov 05, 2020 at 02:00:14PM -0800, paul...@kernel.org wrote: > > From: "Paul E. McKenney" > > > > Signed-off-by: Paul E. McKenney > > --- > > tools/memory-model/Documentation/glossary.txt | 155 > > ++

Re: [PATCH memory-model 5/8] tools/memory-model: Add a glossary of LKMM terms

2020-11-06 Thread Alan Stern
On Thu, Nov 05, 2020 at 02:00:14PM -0800, paul...@kernel.org wrote: > From: "Paul E. McKenney" > > Signed-off-by: Paul E. McKenney > --- > tools/memory-model/Documentation/glossary.txt | 155 > ++ > 1 file changed, 155 insertions(+) > create mode 100644

Re: [PATCH memory-model 5/8] tools/memory-model: Add a glossary of LKMM terms

2020-11-05 Thread Boqun Feng
On Thu, Nov 05, 2020 at 02:00:14PM -0800, paul...@kernel.org wrote: > From: "Paul E. McKenney" > > Signed-off-by: Paul E. McKenney > --- > tools/memory-model/Documentation/glossary.txt | 155 > ++ > 1 file changed, 155 insertions(+) > create mode 100644

[PATCH memory-model 5/8] tools/memory-model: Add a glossary of LKMM terms

2020-11-05 Thread paulmck
From: "Paul E. McKenney" Signed-off-by: Paul E. McKenney --- tools/memory-model/Documentation/glossary.txt | 155 ++ 1 file changed, 155 insertions(+) create mode 100644 tools/memory-model/Documentation/glossary.txt diff --git