Marco Elver ([email protected])

Number of posts: 2668 (1.44 per day)
First post: 2019-05-17 13:21:47
Last post: 2024-06-14 14:32:11

Date	List	Subject
2020-03-04 16:58:18	linux-kernel	Re: [PATCH 2/3] kcsan: Update Documentation/dev-tools/kcsan.rst
2020-03-04 16:41:27	linux-kernel	Re: [PATCH -next] lib: disable KCSAN for XArray
2020-03-04 16:28:51	linux-kernel	[PATCH 1/3] kcsan: Fix a typo in a comment
2020-03-04 16:27:39	linux-kernel	[PATCH 3/3] kcsan: Update API documentation in kcsan-checks.h
2020-03-04 16:27:36	linux-kernel	[PATCH 2/3] kcsan: Update Documentation/dev-tools/kcsan.rst
2020-03-03 21:47:54	linux-kernel	Re: [PATCH -next 2/2] Revert "mm/kmemleak: annotate various data races obj->ptr"
2020-03-03 21:46:52	linux-kernel	Re: [PATCH -next 1/2] mm: disable KCSAN for kmemleak
2020-03-03 21:39:40	linux-kernel	Re: [PATCH -next] signal: annotate data races in sys_rt_sigaction
2020-03-03 18:09:30	linux-kernel	Re: [PATCH -next] signal: annotate data races in sys_rt_sigaction
2020-03-02 18:33:36	linux-kernel	Re: [PATCH v2] tools/memory-model/Documentation: Fix "conflict" definition
2020-03-02 17:27:35	linux-kernel	Re: [PATCH v2] tools/memory-model/Documentation: Fix "conflict" definition
2020-03-02 17:24:23	linux-kernel	[PATCH v3] tools/memory-model/Documentation: Fix "conflict" definition
2020-03-02 14:21:44	linux-kernel	Re: [PATCH] tools/memory-model/Documentation: Fix "conflict" definition
2020-03-02 14:19:17	linux-kernel	[PATCH v2] tools/memory-model/Documentation: Fix "conflict" definition
2020-02-28 20:33:21	linux-kernel	Re: [PATCH] tools/memory-model/Documentation: Fix "conflict" definition
2020-02-28 19:01:05	linux-kernel	Re: [PATCH] tools/memory-model/Documentation: Fix "conflict" definition
2020-02-28 18:55:53	linux-kernel	Re: [PATCH] tools/memory-model/Documentation: Fix "conflict" definition
2020-02-28 16:47:56	linux-kernel	[PATCH] tools/memory-model/Documentation: Fix "conflict" definition
2020-02-28 12:44:36	linux-kernel	Re: [PATCH] mm/swap: annotate data races for lru_rotate_pvecs
2020-02-28 10:50:46	linux-kernel	Re: [PATCH] mm/swap: annotate data races for lru_rotate_pvecs
2020-02-25 20:28:58	linux-kernel	Re: [PATCH] xfs: fix data races in inode->i_*time
2020-02-25 14:57:07	linux-kernel	[PATCH] kcsan: Add current->state to implicitly atomic accesses
2020-02-24 19:17:23	linux-kernel	Re: [PATCH v3] kcsan: Add option for verbose reporting
2020-02-21 23:12:51	linux-kernel	Re: [PATCH v2] kcsan: Add option for verbose reporting
2020-02-21 23:10:59	linux-kernel	[PATCH v3] kcsan: Add option for verbose reporting
2020-02-21 23:02:41	linux-kernel	Re: [PATCH] kcsan: Add option for verbose reporting
2020-02-21 22:59:31	linux-kernel	Re: [PATCH v2] kcsan: Add option to allow watcher interruptions
2020-02-21 22:57:48	linux-kernel	[PATCH v2] kcsan: Add option for verbose reporting
2020-02-21 22:03:04	linux-kernel	[PATCH v2] kcsan: Add option to allow watcher interruptions
2020-02-21 17:59:12	linux-kernel	Re: [PATCH] kcsan: Add option for verbose reporting
2020-02-21 17:09:35	linux-kernel	Re: [PATCH] percpu_counter: fix a data race at vm_committed_as
2020-02-20 21:33:49	linux-kernel	Re: [PATCH] kcsan: Add option to allow watcher interruptions
2020-02-20 14:17:05	linux-kernel	[PATCH] kcsan: Add option to allow watcher interruptions
2020-02-19 15:17:48	linux-kernel	[PATCH] kcsan: Add option for verbose reporting
2020-02-19 09:22:21	linux-kernel	Re: [PATCH] fs: fix a data race in i_size_write/i_size_read
2020-02-18 14:11:18	linux-kernel	Re: [PATCH -next] fork: annotate a data race in vm_area_dup()
2020-02-17 18:47:12	linux-kernel	Re: [PATCH tip/core/rcu 1/3] rcu-tasks: *_ONCE() for rcu_tasks_cbs_head
2020-02-14 22:00:13	linux-kernel	Re: [PATCH] kcsan, trace: Make KCSAN compatible with tracing
2020-02-14 21:11:28	linux-kernel	[PATCH v2] kcsan, trace: Make KCSAN compatible with tracing
2020-02-14 19:05:28	linux-kernel	[PATCH] kcsan, trace: Make KCSAN compatible with tracing
2020-02-12 10:58:10	linux-kernel	Re: [PATCH v2 5/5] kcsan: Introduce ASSERT_EXCLUSIVE_BITS(var, mask)
2020-02-11 17:10:34	linux-kernel	Re: [PATCH 5/5] kcsan: Introduce ASSERT_EXCLUSIVE_BITS(var, mask)
2020-02-11 17:09:44	linux-kernel	[PATCH v2 5/5] kcsan: Introduce ASSERT_EXCLUSIVE_BITS(var, mask)
2020-02-11 17:09:27	linux-kernel	[PATCH v2 2/5] compiler.h, seqlock.h: Remove unnecessary kcsan.h includes
2020-02-11 17:09:26	linux-kernel	[PATCH v2 1/5] kcsan: Move interfaces that affects checks to kcsan-checks.h
2020-02-11 17:09:25	linux-kernel	[PATCH v2 3/5] kcsan: Introduce kcsan_value_change type
2020-02-11 17:08:44	linux-kernel	[PATCH v2 4/5] kcsan: Add kcsan_set_access_mask() support
2020-02-11 10:16:57	linux-kernel	Re: [PATCH -next] locking/osq_lock: annotate a data race in osq_lock
2020-02-11 10:03:17	linux-kernel	[PATCH v2] kcsan: Fix misreporting if concurrent races on same address
2020-02-10 20:45:34	linux-kernel	Re: [PATCH -next] mm/filemap: fix a data race in filemap_fault()
2020-02-10 18:45:12	linux-kernel	[PATCH 3/5] kcsan: Introduce kcsan_value_change type