Re: [PATCH 0/2] tools/memory-model: Model 'smp_store_mb()'

2018-04-13 Thread Andrea Parri
On Thu, Apr 12, 2018 at 02:06:27PM -0700, Paul E. McKenney wrote: > On Thu, Apr 12, 2018 at 02:22:48PM +0200, Andrea Parri wrote: > > Hi, > > > > This (tiny) series adds 'smp_store_mb()' to the model (patch 1/2), and > > it fixes a stylistic discrepancy in 'linux-kernel.def (patch 2/2). > > I

Re: [PATCH 0/2] tools/memory-model: Model 'smp_store_mb()'

2018-04-13 Thread Andrea Parri
On Thu, Apr 12, 2018 at 02:06:27PM -0700, Paul E. McKenney wrote: > On Thu, Apr 12, 2018 at 02:22:48PM +0200, Andrea Parri wrote: > > Hi, > > > > This (tiny) series adds 'smp_store_mb()' to the model (patch 1/2), and > > it fixes a stylistic discrepancy in 'linux-kernel.def (patch 2/2). > > I

Re: [PATCH 0/2] tools/memory-model: Model 'smp_store_mb()'

2018-04-12 Thread Paul E. McKenney
On Thu, Apr 12, 2018 at 02:22:48PM +0200, Andrea Parri wrote: > Hi, > > This (tiny) series adds 'smp_store_mb()' to the model (patch 1/2), and > it fixes a stylistic discrepancy in 'linux-kernel.def (patch 2/2). I applied them both, thank you! I had to apply 2/2 by hand for reasons that are not

Re: [PATCH 0/2] tools/memory-model: Model 'smp_store_mb()'

2018-04-12 Thread Paul E. McKenney
On Thu, Apr 12, 2018 at 02:22:48PM +0200, Andrea Parri wrote: > Hi, > > This (tiny) series adds 'smp_store_mb()' to the model (patch 1/2), and > it fixes a stylistic discrepancy in 'linux-kernel.def (patch 2/2). I applied them both, thank you! I had to apply 2/2 by hand for reasons that are not