The following commit has been merged into the locking/core branch of tip:
Commit-ID: 9146658cc49a1dbed5ece140f658be884e189ade
Gitweb:
https://git.kernel.org/tip/9146658cc49a1dbed5ece140f658be884e189ade
Author:Akira Yokosawa
AuthorDate:Thu, 14 Jan 2021 23:09:07 +09:00
The following commit has been merged into the core/rcu branch of tip:
Commit-ID: 5bb1369d4bea078dd1298dfc2c6ce781d9e34dde
Gitweb:
https://git.kernel.org/tip/5bb1369d4bea078dd1298dfc2c6ce781d9e34dde
Author:Akira Yokosawa
AuthorDate:Sat, 16 Jan 2021 00:11:45 +09:00
The following commit has been merged into the locking/core branch of tip:
Commit-ID: 3d5c70329b910ab583673a33e3a615873c5d4115
Gitweb:
https://git.kernel.org/tip/3d5c70329b910ab583673a33e3a615873c5d4115
Author:Akira Yokosawa
AuthorDate:Sat, 28 Nov 2020 14:32:15 +09:00
The following commit has been merged into the locking/core branch of tip:
Commit-ID: 5c587f9b9c35850f9da3c425f98dc53ab1cde9f3
Gitweb:
https://git.kernel.org/tip/5c587f9b9c35850f9da3c425f98dc53ab1cde9f3
Author:Akira Yokosawa
AuthorDate:Sat, 28 Nov 2020 08:43:45 +09:00
>From f92cae321e9a42a1d4bc8a2d5d1a2cd62ab35410 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa
Date: Fri, 15 Jan 2021 23:39:03 +0900
Subject: [PATCH -rcu] rculist: Replace reference to atomic_ops.rst
atomic_ops.rst was removed in commit f0400a77ebdc ("atomic: Delete
obsolete docum
>From 1d7642add7f74ca307f1bf70569e23edf8b1a023 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa
Date: Thu, 14 Jan 2021 23:09:07 +0900
Subject: [PATCH -rcu] tools/memory-model: Remove reference to atomic_ops.rst
atomic_ops.rst was removed by commit f0400a77ebdc ("atomic: Delete
On Fri, 27 Nov 2020 07:46:52 -0800, Paul E. McKenney wrote:
> On Wed, Nov 25, 2020 at 08:34:47PM +0900, Akira Yokosawa wrote:
[...]
>> Hi Paul,
>>
>> I'm seeing this patch still alive in the updated for-mingo-lkmm branch.
>> Have you got some objection?
>
>From 3a871845825d96a23d64be05b6cf6d4af2bae167 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa
Date: Sat, 28 Nov 2020 08:43:45 +0900
Subject: [PATCH 1/2] tools/memory-model: Remove redundant initialization in
litmus tests
This is a revert of commit 1947bfcf81a9 ("tools/memory-model: A
>From 4f577823fa60e14ae58caa2d3c0b2ced64e6eb43 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa
Date: Sat, 28 Nov 2020 14:32:15 +0900
Subject: [PATCH 2/2] tools/memory-model: Fix typo in klitmus7 compatibility
table
klitmus7 of herdtools7 7.48 or earlier depends on ACCESS_ONCE(),
which was remo
On Thu, 5 Nov 2020 14:56:05 -0800, Paul E. McKenney wrote:
> On Fri, Nov 06, 2020 at 07:41:48AM +0900, Akira Yokosawa wrote:
>> Hi Paul,
>>
>> On 2020/11/06 7:00, paul...@kernel.org wrote:
>>> From: "Paul E. McKenney"
>>>
>>> This commi
Hi Paul,
On 2020/11/06 7:00, paul...@kernel.org wrote:
> From: "Paul E. McKenney"
>
> This commit adds type information for global variables in the litmus
> tests in order to allow easier use with klitmus7.
IIUC, klitmus7 is happy with existing litmus tests under tools/memory-model.
So I don't
On Wed, 14 Oct 2020 09:56:03 +0200, Mauro Carvalho Chehab wrote:
> Em Tue, 13 Oct 2020 18:58:40 -0700
> "Paul E. McKenney" escreveu:
>
>> On Tue, Oct 13, 2020 at 12:38:36PM -0400, Alan Stern wrote:
>>> On Tue, Oct 13, 2020 at 09:33:54AM -0700, Paul E. McKenney wrote:
On Tue, Oct 13, 2020
On Sat, 3 Oct 2020 13:13:38 -0400, Alan Stern wrote:
> On Sun, Oct 04, 2020 at 12:16:31AM +0900, Akira Yokosawa wrote:
>> Hi Alan,
>>
>> Just a minor nit in the litmus test.
>>
>> On Sat, 3 Oct 2020 09:22:12 -0400, Alan Stern wrote:
>>> To expand on my sta
Hi Alan,
Just a minor nit in the litmus test.
On Sat, 3 Oct 2020 09:22:12 -0400, Alan Stern wrote:
> To expand on my statement about the LKMM's weakness regarding control
> constructs, here is a litmus test to illustrate the issue. You might
> want to add this to one of the archives.
>
>
On Mon, 31 Aug 2020 11:20:36 -0700, paul...@kernel.org wrote:
> From: "Paul E. McKenney"
>
> The Linux kernel has a number of categories of ordering primitives, which
> are recorded in the LKMM implementation and hinted at by cheatsheet.txt.
> But there is no overview of these categories, and
>From f808c371075d2f92b955da1a83ecb3828db1972e Mon Sep 17 00:00:00 2001
From: Akira Yokosawa
Date: Wed, 24 Jun 2020 06:59:26 +0900
Subject: [PATCH 2/2] Documentation/litmus-tests: Add note on herd7 7.56 in
atomic litmus test
herdtools 7.56 has enhanced herd7's C parser so that the "(v
>From 89f96cba0db5643b1d22a0fe740f4c5cac788b29 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa
Date: Wed, 24 Jun 2020 06:56:43 +0900
Subject: [PATCH 1/2] tools/memory-model/README: Mention herdtools7 7.56 in
compatibility table
herdtools7 7.56 is going to be released in the week of 22 Jun 2
On Mon, 22 Jun 2020 17:52:30 -0700, paul...@kernel.org wrote:
> From: Akira Yokosawa
>
> klitmus7 is independent of the memory model but depends on the
> build-target kernel release.
> It occasionally lost compatibility due to kernel API changes [1, 2, 3].
> It was remed
>From 87048d7212f6cb16b0a2b85fa6d2f34c28b078c0 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa
Date: Sun, 31 May 2020 20:04:32 +0900
Subject: [PATCH RFC] tools/memory-model/README: Expand dependency of klitmus7
klitmus7 is independent of the memory model but depends on the
build-target ker
On Tue, 26 May 2020 13:19:36 -0700, Andrii Nakryiko wrote:
> On Tue, May 26, 2020 at 7:02 AM Akira Yokosawa wrote:
>>
>> On Tue, 26 May 2020 19:50:47 +0900, Akira Yokosawa wrote:
>>> On Mon, 25 May 2020 16:31:05 -0700, Andrii Nakryiko wrote:
>>>> On Mon, Ma
On Tue, 26 May 2020 13:15:49 -0700, Andrii Nakryiko wrote:
> On Tue, May 26, 2020 at 3:50 AM Akira Yokosawa wrote:
>>
>> On Mon, 25 May 2020 16:31:05 -0700, Andrii Nakryiko wrote:
>>> On Mon, May 25, 2020 at 3:01 PM Akira Yokosawa wrote:
>>>>
>> [.
On Tue, 26 May 2020 19:50:47 +0900, Akira Yokosawa wrote:
> On Mon, 25 May 2020 16:31:05 -0700, Andrii Nakryiko wrote:
>> On Mon, May 25, 2020 at 3:01 PM Akira Yokosawa wrote:
>>>
> [...]
>>> Yes, that should work.
>>
>> Ok, assigning to z
On Mon, 25 May 2020 16:31:05 -0700, Andrii Nakryiko wrote:
> On Mon, May 25, 2020 at 3:01 PM Akira Yokosawa wrote:
>>
[...]
>> Yes, that should work.
>
> Ok, assigning to zero didn't work (it still complained about
> uninitialized read), but using a separate int *lenFai
On Mon, 25 May 2020 11:31:27 -0700, Andrii Nakryiko wrote:
> On Sun, May 24, 2020 at 5:09 AM Akira Yokosawa wrote:
>>
>> On Fri, 22 May 2020 12:38:21 -0700, Andrii Nakryiko wrote:
>>> On 5/22/20 10:43 AM, Paul E. McKenney wrote:
>>>> On Fri, May 22, 2020 a
On Fri, 22 May 2020 12:38:21 -0700, Andrii Nakryiko wrote:
> On 5/22/20 10:43 AM, Paul E. McKenney wrote:
>> On Fri, May 22, 2020 at 10:32:01AM -0400, Alan Stern wrote:
>>> On Fri, May 22, 2020 at 11:44:07AM +0200, Peter Zijlstra wrote:
On Thu, May 21, 2020 at 05:38:50PM -0700, Paul E.
On Thu, 14 May 2020 15:45:58 -0700, Paul E. McKenney wrote:
> On Fri, May 15, 2020 at 07:03:33AM +0900, Akira Yokosawa wrote:
>> On Thu, 14 May 2020 10:16:56 -0700, Paul E. McKenney wrote:
>>> On Thu, May 14, 2020 at 08:46:18AM +0800, Boqun Feng wrote:
>>>> On Wed, Ma
On Thu, 14 May 2020 10:16:56 -0700, Paul E. McKenney wrote:
> On Thu, May 14, 2020 at 08:46:18AM +0800, Boqun Feng wrote:
>> On Wed, May 13, 2020 at 06:39:03AM +0900, Akira Yokosawa wrote:
>>> From 96fa6680e3b990633ecbb6d11acf03a161b790bd Mon Sep 17 00:00:00 2001
>>> Fro
On Tue, 12 May 2020 17:43:42 -0400, Joel Fernandes wrote:
> On Tue, May 12, 2020 at 09:30:22AM -0700, Paul E. McKenney wrote:
>> On Tue, May 12, 2020 at 11:41:01AM -0400, Joel Fernandes wrote:
>>> On Tue, May 12, 2020 at 11:07 AM Akira Yokosawa wro
l/, make sure that it is
at least referenced from Documentation/litmus-tests/'s README.
Co-developed-by: Joel Fernandes (Google)
Co-developed-by: Akira Yokosawa
[Alan: grammar nit]
Suggested-by: Alan Stern
Signed-off-by: Joel Fernandes (Google)
Signed-off-by: Akira Yokosawa
---
Documentation
>From 96fa6680e3b990633ecbb6d11acf03a161b790bd Mon Sep 17 00:00:00 2001
From: Akira Yokosawa
Date: Sun, 10 May 2020 15:12:57 +0900
Subject: [PATCH RESEND 3/4] Documentation/litmus-tests: Merge atomic's README
into top-level one
Where Documentation/litmus-tests/README lists RCU litmus te
>From dec86a9f1a947ae01d8b66b4f5d9b431fb2a55b5 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa
Date: Sun, 10 May 2020 13:43:34 +0900
Subject: [PATCH RESEND 2/4] Revert "Documentation: LKMM: Move
MP+onceassign+derefonce to new litmus-tests/rcu/"
This r
>From f9aa6cde74b95cdaae67d484504c3dd69e8bc205 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa
Date: Sun, 10 May 2020 13:37:14 +0900
Subject: [PATCH RESEND 1/4] tools/memory-model: Fix reference to litmus test in
recipes.txt
The name of litmus test doesn't match the one described below.
-tests/rcu/")
>
> o Apply a series of patches.
Here you are!
Note: For 1/4 -- 3/4, Added Andrea's and Joel's Acked-by tags.
Thanks, Akira
--
Akira Yokosawa (3):
tools/memory-model: Fix reference to litmus test in recipes.txt
Revert "Documentation: LKMM: Move MP+on
ure that it is
at least referenced from Documentation/litmus-tests/'s README.
Co-developed-by: Joel Fernandes (Google)
Co-developed-by: Akira Yokosawa
[Alan: grammar nit]
Suggested-by: Alan Stern
Signed-off-by: Joel Fernandes (Google)
Signed-off-by: Akira Yokosawa
---
I said in the earlier mess
On Tue, 12 May 2020 07:19:44 -0700, Paul E. McKenney wrote:
> On Tue, May 12, 2020 at 08:19:36AM -0400, Joel Fernandes wrote:
>> On Tue, May 12, 2020 at 08:50:45PM +0900, Akira Yokosawa wrote:
>> [...]
>>>> I think on top of this patch, I'd like to add a reference to
On Mon, 11 May 2020 22:13:09 -0400, Joel Fernandes wrote:
> On Mon, May 11, 2020 at 10:33:48AM -0700, Paul E. McKenney wrote:
>> On Sun, May 10, 2020 at 04:21:02PM +0900, Akira Yokosawa wrote:
>>> On Sat, 9 May 2020 12:43:30 +0900, Akira Yokosawa wrote:
>>>> Hi Joel
>From 1aa2c25f0ad16382a5bc597cdbdcc817645e01cd Mon Sep 17 00:00:00 2001
From: Akira Yokosawa
Date: Sun, 10 May 2020 15:12:57 +0900
Subject: [PATCH 3/3] Documentation/litmus-tests: Merge atomic's README into
top-level one
Where Documentation/litmus-tests/README lists RCU litmus te
>From 898051fee51913f5b9bd01cab98beb8944ec50b2 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa
Date: Sun, 10 May 2020 13:43:34 +0900
Subject: [PATCH 2/3] Revert "Documentation: LKMM: Move MP+onceassign+derefonce
to new litmus-tests/rcu/"
This r
>From c171026a697d401ea5d2ad6656d0481944604b14 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa
Date: Sun, 10 May 2020 13:37:14 +0900
Subject: [PATCH 1/3] tools/memory-model: Fix reference to litmus test in
recipes.txt
The name of litmus test doesn't match the one described below.
Fix the n
On Sat, 9 May 2020 12:43:30 +0900, Akira Yokosawa wrote:
> Hi Joel,
>
> Sorry for the late response but I've noticed some glitches.
>
> On Sun, 22 Mar 2020 21:57:32 -0400, Joel Fernandes (Google) wrote:
>> Move MP+onceassign+derefonce to the new Documentation/litmus-te
Hi Joel,
Sorry for the late response but I've noticed some glitches.
On Sun, 22 Mar 2020 21:57:32 -0400, Joel Fernandes (Google) wrote:
> Move MP+onceassign+derefonce to the new Documentation/litmus-tests/rcu/
> directory.
MP+onceassign+derefonce.litmus is called out in
(CC to documentation, get_maintainer, and LKMM maintainers)
Hi Mauro,
As I didn't receive "[PATCH 12/14] docs: move remaining stuff under
Documentation/*.txt to Documentation/staging", I'm replying to
[PATCH 00/14].
On Fri, 1 May 2020 17:37:44 +0200, Mauro Carvalho Chehab wrote:
> The main goal
>From 67092cb93f7a0fd3c4f9a300637e4f5c61fc944a Mon Sep 17 00:00:00 2001
From: Akira Yokosawa
Date: Wed, 14 Aug 2019 17:48:25 +0900
Subject: [PATCH 2/2] tools/memory-model: Mention data-race capability in
jugdelitmus.sh's header
Replicate description of data-race capability from the change
>From 6251ebb775a81f1ac158f197ad8110b8f98c4248 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa
Date: Wed, 14 Aug 2019 17:20:54 +0900
Subject: [PATCH 1/2] tools/memory-model: Reflect updated file name convention
in judgelitmus.sh
Commit ("tools/memory-model: Move from .AArch64.li
Patch 2/2 corresponds to ("tools/memory-model: Add data-race
capabilities to judgelitmus.sh").
You should be able to use each patch as a fix-up commit respectively.
I'm OK either with them applied at the head of the branch or
with them merged into your commits.
Thanks, Akira
Hi Paul,
(CC: using Andrea's gmail address, adding Daniel)
Sorry for slow response, but please find inline comments below.
On Thu, 1 Aug 2019 15:20:52 -0700, Paul E. McKenney wrote:
> This commit adds functionality to judgelitmus.sh to allow it to handle
> both the "DATARACE" markers in the
Peter Zijlstra
> Cc: Boqun Feng
> Cc: Nicholas Piggin
> Cc: David Howells
> Cc: Jade Alglave
> Cc: Luc Maranget
> Cc: "Paul E. McKenney"
> Cc: Akira Yokosawa
> Cc: Daniel Lustig
> ---
> MAINTAINERS | 2 +-
> 1 file changed, 1 insertion(+), 1 dele
ase, adding the link (or message id) in the change
log would help people see the circumstances, I suppose.
Paul, can you amend the change log?
I ran herd7 on said litmus test at both "lkmm" and "dev" of -rcu and
confirmed that this patch fixes the result.
So,
Tested-by: Akira
On Fri, 19 Apr 2019 11:06:41 -0700, Paul E. McKenney wrote:
> On Sat, Apr 20, 2019 at 12:06:58AM +0900, Akira Yokosawa wrote:
>> Hi Paul,
>>
[...]
>
>>> + (1) The compiler can reorder the load from a to precede the
>>> + atomic_dec(), (2) Because
Hi Paul,
Please find inline comments below.
On Fri, 19 Apr 2019 05:47:20 -0700, Paul E. McKenney wrote:
> On Fri, Apr 19, 2019 at 02:53:02AM +0200, Andrea Parri wrote:
>>> Are you saying that on x86, atomic_inc() acts as a full memory barrier
>>> but not as a compiler barrier, and vice versa
On Thu, 4 Apr 2019 17:40:22 +0100, Will Deacon wrote:
> Hi Akira,
>
> On Fri, Apr 05, 2019 at 12:58:36AM +0900, Akira Yokosawa wrote:
>> On Tue, 2 Apr 2019 14:03:46 +0100, Will Deacon wrote:
>>> On Tue, Mar 26, 2019 at 04:41:16PM -0700, Paul E. McKenney wrote
Hi Will,
On Tue, 2 Apr 2019 14:03:46 +0100, Will Deacon wrote:
> On Tue, Mar 26, 2019 at 04:41:16PM -0700, Paul E. McKenney wrote:
>> From: Will Deacon
>>
>> The "KERNEL I/O BARRIER EFFECTS" section of memory-barriers.txt is vague,
>> x86-centric, out-of-date, incomplete and demonstrably
On Tue, 26 Feb 2019 16:04:50 +0100, Peter Zijlstra wrote:
> On Tue, Feb 26, 2019 at 06:28:45AM -0800, Paul E. McKenney wrote:
>
>> Yes, this all is a bit on the insane side from a kernel viewpoint.
>> But the paper you found does not impose this; it has instead been there
>> for about 20 years,
Hello Peter,
On Tue, 26 Feb 2019 14:49:06 +0100, Peter Zijlstra wrote:
> On Tue, Feb 26, 2019 at 12:38:13PM +0100, Borislav Petkov wrote:
>> On Tue, Feb 26, 2019 at 12:30:08PM +0100, Peter Zijlstra wrote:
>>> When I used the argc variant, gcc-8 'works', but with s/argc/1/ it is
>>> still broken.
On Tue, 26 Feb 2019 07:04:27 -0800, Paul E. McKenney wrote:
> On Tue, Feb 26, 2019 at 11:56:57PM +0900, Akira Yokosawa wrote:
>> Hi Paul,
>>
>> On Tue, 26 Feb 2019 06:28:45 -0800, Paul E. McKenney wrote:
>>> On Tue, Feb 26, 2019 at 02:49:06PM +0100, Peter Zijlstra wr
Hi Paul,
On Tue, 26 Feb 2019 06:28:45 -0800, Paul E. McKenney wrote:
> On Tue, Feb 26, 2019 at 02:49:06PM +0100, Peter Zijlstra wrote:
>> On Tue, Feb 26, 2019 at 12:38:13PM +0100, Borislav Petkov wrote:
>>> On Tue, Feb 26, 2019 at 12:30:08PM +0100, Peter Zijlstra wrote:
When I used the argc
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 me
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 me
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.
>
>
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.
>
>
On 2018/11/27 09:17:46 -0800, Paul E. McKenney wrote:
> On Tue, Nov 27, 2018 at 01:26:42AM +0100, Andrea Parri wrote:
>>> commit 72f61917f12236514a70017d1ebafb9b8d34a9b6
>>> Author: Paul E. McKenney
>>> Date: Mon Nov 26 14:26:43 2018 -0800
>>>
>>> tools/memory-model: Update README for
On 2018/11/27 09:17:46 -0800, Paul E. McKenney wrote:
> On Tue, Nov 27, 2018 at 01:26:42AM +0100, Andrea Parri wrote:
>>> commit 72f61917f12236514a70017d1ebafb9b8d34a9b6
>>> Author: Paul E. McKenney
>>> Date: Mon Nov 26 14:26:43 2018 -0800
>>>
>>> tools/memory-model: Update README for
On 2018/09/06 0:00, Andrea Parri wrote:
> On Wed, Sep 05, 2018 at 11:33:08PM +0900, Akira Yokosawa wrote:
>> On 2018/09/05 09:21:51 +0200, Andrea Parri wrote:
>>> On Tue, Sep 04, 2018 at 03:09:49PM -0400, Alan Stern wrote:
>>>> On Tue, 4 Sep 2018, Andrea Parri wr
On 2018/09/06 0:00, Andrea Parri wrote:
> On Wed, Sep 05, 2018 at 11:33:08PM +0900, Akira Yokosawa wrote:
>> On 2018/09/05 09:21:51 +0200, Andrea Parri wrote:
>>> On Tue, Sep 04, 2018 at 03:09:49PM -0400, Alan Stern wrote:
>>>> On Tue, 4 Sep 2018, Andrea Parri wr
On 2018/09/05 09:21:51 +0200, Andrea Parri wrote:
> On Tue, Sep 04, 2018 at 03:09:49PM -0400, Alan Stern wrote:
>> On Tue, 4 Sep 2018, Andrea Parri wrote:
>>> Heh, your confusion might be the reflection of mine... ;-) That was
>>> indeed a long and not conclusive discussion (meaning there're
On 2018/09/05 09:21:51 +0200, Andrea Parri wrote:
> On Tue, Sep 04, 2018 at 03:09:49PM -0400, Alan Stern wrote:
>> On Tue, 4 Sep 2018, Andrea Parri wrote:
>>> Heh, your confusion might be the reflection of mine... ;-) That was
>>> indeed a long and not conclusive discussion (meaning there're
of scripts/checklitmus.sh should
also be updated.
When it is fixed,
Acked-by: Akira Yokosawa
Thanks, Akira
> 5bb22d0126f9 tools/memory-model: Rename litmus tests to comply to norm7
> 1bc179880fba docs: atomic_ops: Describe atomic_set as a write operation
>
> The abov
of scripts/checklitmus.sh should
also be updated.
When it is fixed,
Acked-by: Akira Yokosawa
Thanks, Akira
> 5bb22d0126f9 tools/memory-model: Rename litmus tests to comply to norm7
> 1bc179880fba docs: atomic_ops: Describe atomic_set as a write operation
>
> The abov
Commit-ID: 5b62832c1e5284030500f82d6b3579ceed399fe6
Gitweb: https://git.kernel.org/tip/5b62832c1e5284030500f82d6b3579ceed399fe6
Author: Akira Yokosawa <aki...@gmail.com>
AuthorDate: Mon, 14 May 2018 16:33:41 -0700
Committer: Ingo Molnar <mi...@kernel.org>
CommitDate: Tue, 15
Commit-ID: 5b62832c1e5284030500f82d6b3579ceed399fe6
Gitweb: https://git.kernel.org/tip/5b62832c1e5284030500f82d6b3579ceed399fe6
Author: Akira Yokosawa
AuthorDate: Mon, 14 May 2018 16:33:41 -0700
Committer: Ingo Molnar
CommitDate: Tue, 15 May 2018 08:11:16 +0200
tools/memory-model
>From 64542a47acf159d26b8290480c0af9c2a05d20d6 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <aki...@gmail.com>
Date: Sun, 8 Apr 2018 07:44:55 +0900
Subject: [PATCH] tools/memory-model: Update required version of herdtools7
Code generated by klitmus7 version 7.48 doesn't compile wi
>From 64542a47acf159d26b8290480c0af9c2a05d20d6 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa
Date: Sun, 8 Apr 2018 07:44:55 +0900
Subject: [PATCH] tools/memory-model: Update required version of herdtools7
Code generated by klitmus7 version 7.48 doesn't compile with kernel
header of 4
On 2018/02/24 10:08:14 -0800, Paul E. McKenney wrote:
> On Sat, Feb 24, 2018 at 11:49:20AM -0500, Alan Stern wrote:
>> On Sat, 24 Feb 2018, Andrea Parri wrote:
>>
>>> On Fri, Feb 23, 2018 at 07:30:13PM -0800, Paul E. McKenney wrote:
>>>> On Sat, Feb 24, 2018
On 2018/02/24 10:08:14 -0800, Paul E. McKenney wrote:
> On Sat, Feb 24, 2018 at 11:49:20AM -0500, Alan Stern wrote:
>> On Sat, 24 Feb 2018, Andrea Parri wrote:
>>
>>> On Fri, Feb 23, 2018 at 07:30:13PM -0800, Paul E. McKenney wrote:
>>>> On Sat, Feb 24, 2018
On 2018/02/22 07:29:02 +0900, Akira Yokosawa wrote:
> On 2018/02/22 2:15, Alan Stern wrote:
>> Commit bf28ae562744 ("tools/memory-model: Remove rb-dep,
>> smp_read_barrier_depends, and lockless_dereference") was accidentally
>> merged too early, while it was stil
On 2018/02/22 07:29:02 +0900, Akira Yokosawa wrote:
> On 2018/02/22 2:15, Alan Stern wrote:
>> Commit bf28ae562744 ("tools/memory-model: Remove rb-dep,
>> smp_read_barrier_depends, and lockless_dereference") was accidentally
>> merged too early, while it was stil
8897cc7631
> ("locking/atomics/alpha: Add smp_read_barrier_depends() to
> _release()/_relaxed() atomics") as an important precursor, and he
> contributed commit cb13b424e986 ("locking/xchg/alpha: Add
> unconditional memory barrier to cmpxchg()"), another prerequisite.
>
>
8897cc7631
> ("locking/atomics/alpha: Add smp_read_barrier_depends() to
> _release()/_relaxed() atomics") as an important precursor, and he
> contributed commit cb13b424e986 ("locking/xchg/alpha: Add
> unconditional memory barrier to cmpxchg()"), another prerequisite.
>
On 2018/02/14 14:52:38 -0800, Paul E. McKenney wrote:
> On Thu, Feb 15, 2018 at 07:20:35AM +0900, Akira Yokosawa wrote:
>> On 2018/02/09 17:07:03 -0800, Paul E. McKenney wrote:
>>> On Sat, Feb 10, 2018 at 08:46:25AM +0900, Akira Yokosawa wrote:
>>>> >From 7c1f497
On 2018/02/14 14:52:38 -0800, Paul E. McKenney wrote:
> On Thu, Feb 15, 2018 at 07:20:35AM +0900, Akira Yokosawa wrote:
>> On 2018/02/09 17:07:03 -0800, Paul E. McKenney wrote:
>>> On Sat, Feb 10, 2018 at 08:46:25AM +0900, Akira Yokosawa wrote:
>>>> >From 7c1f497
ong with the internal rb-dep relation, and updates the
> revelant documentation.
>
> Signed-off-by: Alan Stern <st...@rowland.harvard.edu>
>
A few nits. Please see inline comments below.
With those fixed,
Reviewed-by: Akira Yokosawa <aki...@gmail.com>
Th
ong with the internal rb-dep relation, and updates the
> revelant documentation.
>
> Signed-off-by: Alan Stern
>
A few nits. Please see inline comments below.
With those fixed,
Reviewed-by: Akira Yokosawa
Thanks, Akira
On 2018/02/15 11:29:14 -0800, Paul E. McKenney wrote:
> On Thu, Feb 15, 2018 at 12:51:56PM -0500, Alan Stern wrote:
>> On Fri, 16 Feb 2018, Akira Yokosawa wrote:
>>
>>> So, I attempted to rebase the patch to current (somewhat old) master of
>>> https://github.com/
On 2018/02/15 11:29:14 -0800, Paul E. McKenney wrote:
> On Thu, Feb 15, 2018 at 12:51:56PM -0500, Alan Stern wrote:
>> On Fri, 16 Feb 2018, Akira Yokosawa wrote:
>>
>>> So, I attempted to rebase the patch to current (somewhat old) master of
>>> https://github.com/
rel) | wmb
+let cumul-fence = A-cumul(strong-fence | po-rel) | wmb | rel-rf-acq-po
let prop = (overwrite & ext)? ; cumul-fence* ; rfe?
(*
Signed-off-by: Alan Stern <st...@rowland.harvard.edu>
[akiyks: Rebased to current master]
Signed-off-by: Akira Yokosawa <aki
nce = A-cumul(strong-fence | po-rel) | wmb | rel-rf-acq-po
let prop = (overwrite & ext)? ; cumul-fence* ; rfe?
(*
Signed-off-by: Alan Stern
[akiyks: Rebased to current master]
Signed-off-by: Akira Yokosawa
---
So, I attempted to rebase the patch to current (somewhat old) master of
http
On 2018/02/09 17:07:03 -0800, 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 <aki...@gmail.com>
>> Date: Fri, 9 Feb 2018 04:
On 2018/02/09 17:07:03 -0800, 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
>> Su
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 <aki...@gmail.com>
>> Date: Fri, 9 Feb 2018 04:51:05 -080
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
>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
>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
>From 9a0de4d75e18ef8e25a1096f88c7a970d9d693f5 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <aki...@gmail.com>
Date: Sat, 10 Feb 2018 00:45:25 +0900
Subject: [PATCH] tools/memory-model: Restore compat with herd7 7.47 ("-" -> "_")
As of herd7 7.47, these '
>From 9a0de4d75e18ef8e25a1096f88c7a970d9d693f5 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa
Date: Sat, 10 Feb 2018 00:45:25 +0900
Subject: [PATCH] tools/memory-model: Restore compat with herd7 7.47 ("-" -> "_")
As of herd7 7.47, these '-'s are not permitted and end
.Add comments explaining the purpose of the various litmus tests.
>
> 5.Fix puntuation errors in litmus-tests/README.
>
> 6.Add LKMM acronym to MAINTAINERS entry. If there are no objections,
> this will be squashed with #3 above.
>
> 7.Add Akira Yokosawa
.Add comments explaining the purpose of the various litmus tests.
>
> 5.Fix puntuation errors in litmus-tests/README.
>
> 6.Add LKMM acronym to MAINTAINERS entry. If there are no objections,
> this will be squashed with #3 above.
>
> 7.Add Akira Yokosawa
gt;>
>>>> On Mon, Feb 05, 2018 at 01:14:10AM +0900, Akira Yokosawa wrote:
>>>>> Hi Paul,
>>>>> CC: Andrea
>>>>>
>>>>> This is intentionally off the list, as I was not cc'd in the thread.
>>>>> If you think it i
gt;>
>>>> On Mon, Feb 05, 2018 at 01:14:10AM +0900, Akira Yokosawa wrote:
>>>>> Hi Paul,
>>>>> CC: Andrea
>>>>>
>>>>> This is intentionally off the list, as I was not cc'd in the thread.
>>>>> If you think it i
On 2018/02/09 21:50, Andrea Parri wrote:
> On Fri, Feb 09, 2018 at 04:31:00AM -0800, Paul E. McKenney wrote:
>> On Sun, Feb 04, 2018 at 07:37:08PM +0100, Andrea Parri wrote:
>>> Hi Akira,
>>>
>>> On Mon, Feb 05, 2018 at 01:14:10AM +0900, Akira Yokosawa
On 2018/02/09 21:50, Andrea Parri wrote:
> On Fri, Feb 09, 2018 at 04:31:00AM -0800, Paul E. McKenney wrote:
>> On Sun, Feb 04, 2018 at 07:37:08PM +0100, Andrea Parri wrote:
>>> Hi Akira,
>>>
>>> On Mon, Feb 05, 2018 at 01:14:10AM +0900, Akira Yokosawa
1 - 100 of 116 matches
Mail list logo
