summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaul E. McKenney <paulmck@kernel.org>2020-02-13 00:29:15 +0300
committerPaul E. McKenney <paulmck@kernel.org>2020-06-29 22:04:48 +0300
commitc93773c1a3fedf6c3f6fa12833e2b74a9897c3e3 (patch)
treefcef149dd6475a765ffe742467188f48b04b986a
parentcb38f82043d1641a27f96b58b402ca4b7a88f52d (diff)
downloadlinux-c93773c1a3fedf6c3f6fa12833e2b74a9897c3e3.tar.xz
rculist: Add ASSERT_EXCLUSIVE_ACCESS() to __list_splice_init_rcu()
After the sync() in __list_splice_init_rcu(), there should be no readers traversing the old list. This commit therefore enlists the help of KCSAN to verify this condition via a pair of calls to ASSERT_EXCLUSIVE_ACCESS(). Signed-off-by: Paul E. McKenney <paulmck@kernel.org> Cc: Marco Elver <elver@google.com>
-rw-r--r--include/linux/rculist.h2
1 files changed, 2 insertions, 0 deletions
diff --git a/include/linux/rculist.h b/include/linux/rculist.h
index df587d181844..2ebd112f86f7 100644
--- a/include/linux/rculist.h
+++ b/include/linux/rculist.h
@@ -248,6 +248,8 @@ static inline void __list_splice_init_rcu(struct list_head *list,
*/
sync();
+ ASSERT_EXCLUSIVE_ACCESS(*first);
+ ASSERT_EXCLUSIVE_ACCESS(*last);
/*
* Readers are finished with the source list, so perform splice.