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
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.
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.
> >
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.
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. Add scripts to check github litmus tests.
3. Make script
5 matches
Mail list logo