Re: [PATCH 0/3] tools/memory-model: Add SRCU support

2018-11-27 Thread Paul E. McKenney
On Wed, Nov 28, 2018 at 07:34:14AM +0900, Akira Yokosawa wrote: > On 2018/11/27 09:17:46 -0800, Paul E. McKenney wrote: > > On Tue, Nov 27, 2018 at 01:26:42AM +0100, Andrea Parri wrote: > >>> commit 72f61917f12236514a70017d1ebafb9b8d34a9b6 > >>> Author: Paul E. McKenney > >>> Date: Mon Nov 26 14

Re: [PATCH 0/3] tools/memory-model: Add SRCU support

2018-11-27 Thread Akira Yokosawa
On 2018/11/27 09:17:46 -0800, Paul E. McKenney wrote: > On Tue, Nov 27, 2018 at 01:26:42AM +0100, Andrea Parri wrote: >>> commit 72f61917f12236514a70017d1ebafb9b8d34a9b6 >>> Author: Paul E. McKenney >>> Date: Mon Nov 26 14:26:43 2018 -0800 >>> >>> tools/memory-model: Update README for additi

Re: [PATCH 0/3] tools/memory-model: Add SRCU support

2018-11-27 Thread Paul E. McKenney
On Tue, Nov 27, 2018 at 01:26:42AM +0100, Andrea Parri wrote: > > commit 72f61917f12236514a70017d1ebafb9b8d34a9b6 > > Author: Paul E. McKenney > > Date: Mon Nov 26 14:26:43 2018 -0800 > > > > tools/memory-model: Update README for addition of SRCU > > > > This commit updates the sec

Re: [PATCH 0/3] tools/memory-model: Add SRCU support

2018-11-26 Thread Andrea Parri
> commit 72f61917f12236514a70017d1ebafb9b8d34a9b6 > Author: Paul E. McKenney > Date: Mon Nov 26 14:26:43 2018 -0800 > > tools/memory-model: Update README for addition of SRCU > > This commit updates the section on LKMM limitations to no longer say > that SRCU is not modeled, bu

Re: [PATCH 0/3] tools/memory-model: Add SRCU support

2018-11-26 Thread Paul E. McKenney
On Mon, Nov 19, 2018 at 01:01:20PM +0100, Andrea Parri wrote: > On Thu, Nov 15, 2018 at 11:19:24AM -0500, Alan Stern wrote: > > Paul and other LKMM maintainers: > > > > The following series of patches adds support for SRCU to the Linux > > Kernel Memory Model. That is, it adds the srcu_read_lock(

Re: [PATCH 0/3] tools/memory-model: Add SRCU support

2018-11-19 Thread Andrea Parri
On Thu, Nov 15, 2018 at 11:19:24AM -0500, Alan Stern wrote: > Paul and other LKMM maintainers: > > The following series of patches adds support for SRCU to the Linux > Kernel Memory Model. That is, it adds the srcu_read_lock(), > srcu_read_unlock(), and synchronize_srcu() primitives to the model.

Re: [PATCH 0/3] tools/memory-model: Add SRCU support

2018-11-16 Thread Alan Stern
On Thu, 15 Nov 2018, Paul E. McKenney wrote: > On Thu, Nov 15, 2018 at 11:19:24AM -0500, Alan Stern wrote: > > Paul and other LKMM maintainers: > > > > The following series of patches adds support for SRCU to the Linux > > Kernel Memory Model. That is, it adds the srcu_read_lock(), > > srcu_read

Re: [PATCH 0/3] tools/memory-model: Add SRCU support

2018-11-15 Thread Paul E. McKenney
On Thu, Nov 15, 2018 at 11:19:24AM -0500, Alan Stern wrote: > Paul and other LKMM maintainers: > > The following series of patches adds support for SRCU to the Linux > Kernel Memory Model. That is, it adds the srcu_read_lock(), > srcu_read_unlock(), and synchronize_srcu() primitives to the model.

[PATCH 0/3] tools/memory-model: Add SRCU support

2018-11-15 Thread Alan Stern
Paul and other LKMM maintainers: The following series of patches adds support for SRCU to the Linux Kernel Memory Model. That is, it adds the srcu_read_lock(), srcu_read_unlock(), and synchronize_srcu() primitives to the model. Patch 1/3 does some renaming of the RCU parts of the