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

b 10, 2018 at 08:46:25AM +0900, Akira Yokosawa wrote: > >>>> >From 7c1f497a9a51e8db1a94c8a7ef0b74b235aaab88 Mon Sep 17 00:00:00 2001 > >>>> From: Akira Yokosawa <aki...@gmail.com> > >>>> Date: Fri, 9 Feb 2018 04:51

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

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 ("-" -> "_")

a9a51e8db1a94c8a7ef0b74b235aaab88 Mon Sep 17 00:00:00 2001 >>>> From: Akira Yokosawa <aki...@gmail.com> >>>> 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 ("-" -> "_")

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 ("-" -> "_")

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 ("-" -> "_")

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 ("-" -> "_")

> From: Akira Yokosawa <aki...@gmail.com> > >> 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 p

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

>> 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 permitted and

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

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 >> errors such as: >> >> File "./linux-kernel.def",

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

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, characters 29-30:

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

* 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,

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

* 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

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

0 2001 > > > From: Akira Yokosawa <aki...@gmail.com> > > > 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.4

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

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 ("-" -> "_")

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 > > errors such as: > > > > File "

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

* 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] t

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

0 >> 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 >> errors such as: >> >> File "./linux-kernel.def", line 44

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

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 ("-" -> "_")

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 <aki...@gmail.com> > Date: Fri, 9 Feb 2018 04:51:05 -0800 > Subject: [PATCH v2] tools/memory-model: Make c

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

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

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

>From 7c1f497a9a51e8db1a94c8a7ef0b74b235aaab88 Mon Sep 17 00:00:00 2001 From: Akira Yokosawa <aki...@gmail.com> 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 no

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

>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 perm