Re: [PATCH memory-model 0/19] Updates to the formal memory model

On Tue, May 15, 2018 at 08:15:45AM +0200, Ingo Molnar wrote: > > Hi, > > * Paul E. McKenney wrote: > > > Hello! > > > > This series contains updates to the Linux kernel's formal memory model in > > tools/memory-model. These are ready for inclusion into -tip. > >

Re: [PATCH memory-model 0/19] Updates to the formal memory model

On Tue, May 15, 2018 at 08:15:45AM +0200, Ingo Molnar wrote: > > Hi, > > * Paul E. McKenney wrote: > > > Hello! > > > > This series contains updates to the Linux kernel's formal memory model in > > tools/memory-model. These are ready for inclusion into -tip. > > > > 1. Rename LKMM's "link"

Re: [PATCH memory-model 0/19] Updates to the formal memory model

Hi, * Paul E. McKenney wrote: > Hello! > > This series contains updates to the Linux kernel's formal memory model in > tools/memory-model. These are ready for inclusion into -tip. > > 1.Rename LKMM's "link" and "rcu-path" relations to "rcu-link" > and

Re: [PATCH memory-model 0/19] Updates to the formal memory model

Hi, * Paul E. McKenney wrote: > Hello! > > This series contains updates to the Linux kernel's formal memory model in > tools/memory-model. These are ready for inclusion into -tip. > > 1.Rename LKMM's "link" and "rcu-path" relations to "rcu-link" > and "rb", respectively, courtesy

[PATCH memory-model 0/19] Updates to the formal memory model

Hello! This series contains updates to the Linux kernel's formal memory model in tools/memory-model. These are ready for inclusion into -tip. 1. Rename LKMM's "link" and "rcu-path" relations to "rcu-link" and "rb", respectively, courtesy of Alan Stern. 2. Redefine LKMM's "rb"

[PATCH memory-model 0/19] Updates to the formal memory model

Hello! This series contains updates to the Linux kernel's formal memory model in tools/memory-model. These are ready for inclusion into -tip. 1. Rename LKMM's "link" and "rcu-path" relations to "rcu-link" and "rb", respectively, courtesy of Alan Stern. 2. Redefine LKMM's "rb"