On Thu, Jan 10, 2019 at 08:31:26AM -0800, Paul E. McKenney wrote:
> On Thu, Jan 10, 2019 at 10:41:23AM -0500, Alan Stern wrote:
> > On Thu, 10 Jan 2019, Paul E. McKenney wrote:
> >
> > > On Thu, Jan 10, 2019 at 09:40:24AM +0100, Andrea Parri wrote:
> > > > > > > > It seems that
> > > > > > > >
>
On Thu, Jan 10, 2019 at 10:47:26AM -0500, Alan Stern wrote:
> On Wed, 9 Jan 2019, Paul E. McKenney wrote:
>
> > Hello!
> >
> > This series contains updates for the Linux-kernel memory model:
> >
> > 1-3.Add SRCU support, courtesy of Alan Stern.
> >
> > 4. Update README for adding of
On Thu, Jan 10, 2019 at 10:41:23AM -0500, Alan Stern wrote:
> On Thu, 10 Jan 2019, Paul E. McKenney wrote:
>
> > On Thu, Jan 10, 2019 at 09:40:24AM +0100, Andrea Parri wrote:
> > > > > > > It seems that
> > > > > > >
> > > > > > > 1b52d0186177 ("tools/memory-model: Model
> > > > > > >
On Wed, 9 Jan 2019, Paul E. McKenney wrote:
> Hello!
>
> This series contains updates for the Linux-kernel memory model:
>
> 1-3. Add SRCU support, courtesy of Alan Stern.
>
> 4.Update README for adding of SRCU support.
>
> 5.Update memory-barriers.txt on enforcing heavy ordering for
On Thu, 10 Jan 2019, Paul E. McKenney wrote:
> On Thu, Jan 10, 2019 at 09:40:24AM +0100, Andrea Parri wrote:
> > > > > > It seems that
> > > > > >
> > > > > > 1b52d0186177 ("tools/memory-model: Model
> > > > > > smp_mb__after_unlock_lock()")
> > > > > >
> > > > > > from linux-rcu/dev got
On Thu, Jan 10, 2019 at 09:40:24AM +0100, Andrea Parri wrote:
> > > > > It seems that
> > > > >
> > > > > 1b52d0186177 ("tools/memory-model: Model
> > > > > smp_mb__after_unlock_lock()")
> > > > >
> > > > > from linux-rcu/dev got lost; this also needs an ack (probably yours!
> > > > > ;D,
> > > > It seems that
> > > >
> > > > 1b52d0186177 ("tools/memory-model: Model smp_mb__after_unlock_lock()")
> > > >
> > > > from linux-rcu/dev got lost; this also needs an ack (probably yours! ;D,
> > > > considered that, IIRC, you introduced the primitive and RCU is currently
> > > > its
On Thu, Jan 10, 2019 at 01:39:52AM +0100, Andrea Parri wrote:
> On Wed, Jan 09, 2019 at 03:40:43PM -0800, Paul E. McKenney wrote:
> > On Thu, Jan 10, 2019 at 12:18:53AM +0100, Andrea Parri wrote:
> > > On Wed, Jan 09, 2019 at 01:07:06PM -0800, Paul E. McKenney wrote:
> > > > Hello!
> > > >
> > >
On Wed, Jan 09, 2019 at 03:40:43PM -0800, Paul E. McKenney wrote:
> On Thu, Jan 10, 2019 at 12:18:53AM +0100, Andrea Parri wrote:
> > On Wed, Jan 09, 2019 at 01:07:06PM -0800, Paul E. McKenney wrote:
> > > Hello!
> > >
> > > This series contains updates for the Linux-kernel memory model:
> > >
>
On Thu, Jan 10, 2019 at 12:18:53AM +0100, Andrea Parri wrote:
> On Wed, Jan 09, 2019 at 01:07:06PM -0800, Paul E. McKenney wrote:
> > Hello!
> >
> > This series contains updates for the Linux-kernel memory model:
> >
> > 1-3.Add SRCU support, courtesy of Alan Stern.
> >
> > 4. Update
On Wed, Jan 09, 2019 at 01:07:06PM -0800, Paul E. McKenney wrote:
> Hello!
>
> This series contains updates for the Linux-kernel memory model:
>
> 1-3. Add SRCU support, courtesy of Alan Stern.
>
> 4.Update README for adding of SRCU support.
>
> 5.Update memory-barriers.txt on
Hello!
This series contains updates for the Linux-kernel memory model:
1-3.Add SRCU support, courtesy of Alan Stern.
4. Update README for adding of SRCU support.
5. Update memory-barriers.txt on enforcing heavy ordering for
port-I/O accesses, courtesy of Will Deacon.
12 matches
Mail list logo