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

2018-12-04 Thread Paul E. McKenney
On Wed, Dec 05, 2018 at 12:40:01AM +0900, Akira Yokosawa wrote: > On 2018/12/03 15:51:27 -0800, Paul E. McKenney wrote: > > On Tue, Dec 04, 2018 at 08:28:03AM +0900, Akira Yokosawa wrote: > >> On 2018/12/03 15:04:11 -0800, Paul E. McKenney wrote: > >>> Hello, Ingo! > >>> > >>> This series contains

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

2018-12-04 Thread Akira Yokosawa
On 2018/12/03 15:51:27 -0800, Paul E. McKenney wrote: > On Tue, Dec 04, 2018 at 08:28:03AM +0900, Akira Yokosawa wrote: >> On 2018/12/03 15:04:11 -0800, Paul E. McKenney wrote: >>> Hello, Ingo! >>> >>> This series contains updates to the Linux kernel's formal memory model >>> in tools/memory-model.

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

2018-12-03 Thread Paul E. McKenney
On Tue, Dec 04, 2018 at 08:28:03AM +0900, Akira Yokosawa wrote: > On 2018/12/03 15:04:11 -0800, Paul E. McKenney wrote: > > Hello, Ingo! > > > > This series contains updates to the Linux kernel's formal memory model > > in tools/memory-model. These patches are ready for inclusion into -tip. > >

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

2018-12-03 Thread Akira Yokosawa
On 2018/12/03 15:04:11 -0800, Paul E. McKenney wrote: > Hello, Ingo! > > This series contains updates to the Linux kernel's formal memory model > in tools/memory-model. These patches are ready for inclusion into -tip. > > 1.Model smp_mb__after_unlock_lock(), courtesy of Andrea Parri. > > 2.