Akira Yokosawa ([email protected])

Number of posts: 445 (0.18 per day)
First post: 2017-07-17 08:24:52
Last post: 2024-06-09 00:04:29

Previous Page
Date List Subject
2019-04-20 14:51:37 linux-kernel Re: Adding plain accesses and detecting data races in the LKMM
2019-04-19 19:25:02 linux-kernel Re: Adding plain accesses and detecting data races in the LKMM
2019-04-04 23:24:20 linux-kernel Re: [PATCH tip/core/rcu 04/21] docs/memory-barriers.txt: Rewrite "KERNEL I/O BARRIER EFFECTS" section
2019-04-04 15:59:42 linux-kernel Re: [PATCH tip/core/rcu 04/21] docs/memory-barriers.txt: Rewrite "KERNEL I/O BARRIER EFFECTS" section
2019-03-06 18:18:10 linux-kernel Re: [RFC PATCH] tools/memory-model: Remove (dep ; rfi) from ppo
2019-03-02 15:27:59 linux-kernel Re: [RFC PATCH] tools/memory-model: Remove (dep ; rfi) from ppo
2019-02-26 15:10:14 linux-kernel Re: [RFC PATCH] tools/memory-model: Remove (dep ; rfi) from ppo
2019-02-26 14:57:47 linux-kernel Re: [RFC PATCH] tools/memory-model: Remove (dep ; rfi) from ppo
2018-12-04 15:41:55 linux-kernel Re: [PATCH memory-model 0/3] Updates to the formal memory model
2018-12-03 23:29:06 linux-kernel Re: [PATCH memory-model 0/3] Updates to the formal memory model
2018-11-27 22:35:28 linux-kernel Re: [PATCH 0/3] tools/memory-model: Add SRCU support
2018-09-05 15:06:05 linux-kernel Re: [PATCH RFC LKMM 1/7] tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire
2018-09-05 14:36:29 linux-kernel Re: [PATCH RFC LKMM 1/7] tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire
2018-06-29 06:25:17 linux-kernel Re: [PATCH 0/2] tools/memory-model: remove ACCESS_ONCE()
2018-04-08 00:22:12 linux-kernel [PATCH] tools/memory-model: Update required version of herdtools7
2018-02-24 22:48:17 linux-kernel Re: [PATCH] tools/memory-model: update: remove rb-dep, smp_read_barrier_depends, and lockless_dereference
2018-02-24 03:23:25 linux-kernel Re: [PATCH] tools/memory-model: update: remove rb-dep, smp_read_barrier_depends, and lockless_dereference
2018-02-21 22:30:24 linux-kernel Re: [PATCH] tools/memory-model: update: remove rb-dep, smp_read_barrier_depends, and lockless_dereference
2018-02-18 16:02:31 linux-kernel Re: [PATCH v2] tools/memory-model: Make compat with herd7 7.47 ("-" -> "_")
2018-02-16 23:23:56 linux-kernel Re: [PATCH] tools/memory-model: remove rb-dep, smp_read_barrier_depends, and lockless_dereference
2018-02-16 17:41:02 linux-kernel Re: Trial of conflict resolution of Alan's patch
2018-02-15 16:02:37 linux-kernel Trial of conflict resolution of Alan's patch
2018-02-14 22:21:36 linux-kernel Re: [PATCH v2] tools/memory-model: Make compat with herd7 7.47 ("-" -> "_")
2018-02-10 03:05:20 linux-kernel Re: [PATCH v2] tools/memory-model: Make compat with herd7 7.47 ("-" -> "_")
2018-02-09 23:47:24 linux-kernel [PATCH v2] tools/memory-model: Make compat with herd7 7.47 ("-" -> "_")
2018-02-09 16:08:12 linux-kernel [PATCH] tools/memory-model: Restore compat with herd7 7.47 ("-" -> "_")
2018-02-09 16:04:19 linux-kernel Re: [PATCH RFC tools/lkmm] Miscellaneous fixes
2018-02-09 14:54:51 linux-kernel Re: [PATCH 1/2] Documentation/memory-barriers.txt: cross-reference "tools/memory-model/"
2018-02-09 13:19:35 linux-kernel Re: [PATCH 1/2] Documentation/memory-barriers.txt: cross-reference "tools/memory-model/"
2017-07-24 10:48:02 linux-kernel Re: [PATCH] documentation: Fix two-CPU control-dependency example
2017-07-24 00:05:24 linux-kernel Re: [PATCH] documentation: Fix two-CPU control-dependency example
2017-07-21 23:39:05 linux-kernel Re: [PATCH] documentation: Fix two-CPU control-dependency example
2017-07-20 22:52:11 linux-kernel Re: [PATCH] documentation: Fix two-CPU control-dependency example
2017-07-20 21:13:04 linux-kernel Re: [PATCH] documentation: Fix two-CPU control-dependency example
2017-07-20 12:55:38 linux-kernel Re: [PATCH] documentation: Fix two-CPU control-dependency example
2017-07-19 21:33:34 linux-kernel Re: [PATCH] documentation: Fix two-CPU control-dependency example
2017-07-17 08:24:52 linux-kernel [PATCH] documentation: Fix two-CPU control-dependency example