Files
rockchip-kernel/include/linux
Marco Elver bf07132f96 seqlock: Require WRITE_ONCE surrounding raw_seqcount_barrier
This patch proposes to require marked atomic accesses surrounding
raw_write_seqcount_barrier. We reason that otherwise there is no way to
guarantee propagation nor atomicity of writes before/after the barrier
[1]. For example, consider the compiler tears stores either before or
after the barrier; in this case, readers may observe a partial value,
and because readers are unaware that writes are going on (writes are not
in a seq-writer critical section), will complete the seq-reader critical
section while having observed some partial state.
[1] https://lwn.net/Articles/793253/

This came up when designing and implementing KCSAN, because KCSAN would
flag these accesses as data-races. After careful analysis, our reasoning
as above led us to conclude that the best thing to do is to propose an
amendment to the raw_seqcount_barrier usage.

Signed-off-by: Marco Elver <elver@google.com>
Acked-by: Paul E. McKenney <paulmck@kernel.org>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
2019-11-16 07:23:15 -08:00
..
2019-08-09 09:15:05 +02:00
2019-09-17 10:27:46 -07:00
2019-09-16 09:56:27 -07:00
2019-05-31 11:13:10 +02:00
2019-08-20 22:09:52 +02:00
2019-07-01 08:18:54 -06:00
2019-08-28 21:17:12 -06:00
2019-06-12 20:27:13 +02:00
2019-09-05 19:52:33 -06:00
2019-08-05 21:52:53 +02:00
2019-09-05 11:40:54 +02:00
2019-09-24 15:54:08 -07:00
2019-10-02 06:36:50 -07:00
2019-07-05 21:34:50 +02:00
2019-06-26 13:19:46 -07:00
2019-06-10 13:00:24 +02:00
2019-09-07 04:28:05 -03:00
2019-09-02 11:43:54 +01:00
2019-09-05 12:32:05 +02:00
2019-08-14 15:30:35 +02:00
2019-08-08 09:09:25 +02:00
2019-07-08 19:25:19 -07:00
2019-06-13 09:02:33 -04:00
2019-07-26 17:01:29 -06:00
2019-07-16 19:23:25 -07:00
2019-10-04 18:11:08 -07:00
2019-08-01 21:49:46 +02:00
2019-06-12 11:42:13 +02:00
2019-06-15 12:25:49 +02:00
2019-08-23 16:39:26 +01:00
2019-07-31 19:03:35 +02:00
2019-05-31 12:37:46 -07:00
2019-10-28 13:33:41 -07:00
2019-10-31 14:01:40 -07:00
2019-09-25 17:51:41 -07:00
2019-09-07 21:42:25 +02:00
2019-10-02 10:06:45 +02:00
2019-08-30 07:27:17 -07:00
2019-08-01 20:51:22 +02:00
2019-08-20 17:05:05 +02:00
2019-07-31 19:03:35 +02:00
2019-10-14 15:04:01 -07:00