Re: [PATCH v2] tools/memory-model: Make compat with herd7 7.47 ("-" -> "_")

2018-02-20 Thread Paul E. McKenney
b 10, 2018 at 08:46:25AM +0900, Akira Yokosawa wrote: > >>>> >From 7c1f497a9a51e8db1a94c8a7ef0b74b235aaab88 Mon Sep 17 00:00:00 2001 > >>>> From: Akira Yokosawa > >>>> Date: Fri, 9 Feb 2018 04:51:05 -0800 > >>>> Subject: [PATCH v2] tools/

Re: [PATCH v2] tools/memory-model: Make compat with herd7 7.47 ("-" -> "_")

2018-02-18 Thread Akira Yokosawa
a9a51e8db1a94c8a7ef0b74b235aaab88 Mon Sep 17 00:00:00 2001 >>>> From: Akira Yokosawa >>>> Date: Fri, 9 Feb 2018 04:51:05 -0800 >>>> Subject: [PATCH v2] tools/memory-model: Make compat with herd7 7.47 ("-" >>>> -> "_") >&g

Re: [PATCH v2] tools/memory-model: Make compat with herd7 7.47 ("-" -> "_")

2018-02-15 Thread Alan Stern
On Wed, 14 Feb 2018, Paul E. McKenney wrote: > Let's see, examining the Z6 litmus tests and running on herd7 version 7.48: > > Z6.0+pooncelock+pooncelock+pombonce Sometimes 1 7 > Z6.0+pooncelock+poonceLock+pombonce Never 0 7 > Z6.0+pooncerelease+poacquirerelease+mbonceonce Sometimes 1 7 > > But

Re: [PATCH v2] tools/memory-model: Make compat with herd7 7.47 ("-" -> "_")

2018-02-14 Thread Paul E. McKenney
>> From: Akira Yokosawa > >> Date: Fri, 9 Feb 2018 04:51:05 -0800 > >> Subject: [PATCH v2] tools/memory-model: Make compat with herd7 7.47 ("-" > >> -> "_") > >> > >> As of herd7 7.47, these '-'s are not per

Re: [PATCH v2] tools/memory-model: Make compat with herd7 7.47 ("-" -> "_")

2018-02-14 Thread Akira Yokosawa
bject: [PATCH v2] tools/memory-model: Make compat with herd7 7.47 ("-" -> >> "_") >> >> As of herd7 7.47, these '-'s are not permitted and end up in >> errors such as: >> >> File "./linux-kernel.def", line 44, characte

Re: [PATCH v2] tools/memory-model: Make compat with herd7 7.47 ("-" -> "_")

2018-02-13 Thread Ingo Molnar
* Paul E. McKenney wrote: > Cat-language code has used "-" as a word > separator in names, and the model had previously had an odd mixture of > "-" and "_". Hence, the switch to the cat-language convention. > > Of course, if underscore is strongly preferred, underscore does work, > and it shou

Re: [PATCH v2] tools/memory-model: Make compat with herd7 7.47 ("-" -> "_")

2018-02-12 Thread Paul E. McKenney
okosawa > > > Date: Fri, 9 Feb 2018 04:51:05 -0800 > > > Subject: [PATCH v2] tools/memory-model: Make compat with herd7 7.47 ("-" > > > -> "_") > > > > > > As of herd7 7.47, these '-'s are not permitted and end up in

Re: [PATCH v2] tools/memory-model: Make compat with herd7 7.47 ("-" -> "_")

2018-02-11 Thread Ingo Molnar
* Paul E. McKenney wrote: > On Sat, Feb 10, 2018 at 08:46:25AM +0900, Akira Yokosawa wrote: > > >From 7c1f497a9a51e8db1a94c8a7ef0b74b235aaab88 Mon Sep 17 00:00:00 2001 > > From: Akira Yokosawa > > Date: Fri, 9 Feb 2018 04:51:05 -0800 > > Subject: [PATCH v2] tools/

Re: [PATCH v2] tools/memory-model: Make compat with herd7 7.47 ("-" -> "_")

2018-02-09 Thread Akira Yokosawa
On 2018/02/10 10:07, Paul E. McKenney wrote: > On Sat, Feb 10, 2018 at 08:46:25AM +0900, Akira Yokosawa wrote: >> >From 7c1f497a9a51e8db1a94c8a7ef0b74b235aaab88 Mon Sep 17 00:00:00 2001 >> From: Akira Yokosawa >> Date: Fri, 9 Feb 2018 04:51:05 -0800 >> Subject: [PATC

Re: [PATCH v2] tools/memory-model: Make compat with herd7 7.47 ("-" -> "_")

2018-02-09 Thread Paul E. McKenney
On Sat, Feb 10, 2018 at 08:46:25AM +0900, Akira Yokosawa wrote: > >From 7c1f497a9a51e8db1a94c8a7ef0b74b235aaab88 Mon Sep 17 00:00:00 2001 > From: Akira Yokosawa > Date: Fri, 9 Feb 2018 04:51:05 -0800 > Subject: [PATCH v2] tools/memory-model: Make compat with herd7 7.47 ("-&qu

[PATCH v2] tools/memory-model: Make compat with herd7 7.47 ("-" -> "_")

2018-02-09 Thread Akira Yokosawa
>From 7c1f497a9a51e8db1a94c8a7ef0b74b235aaab88 Mon Sep 17 00:00:00 2001 From: Akira Yokosawa Date: Fri, 9 Feb 2018 04:51:05 -0800 Subject: [PATCH v2] tools/memory-model: Make compat with herd7 7.47 ("-" -> "_") As of herd7 7.47, these '-'s are not pe