Commit c93773c1 authored by Paul E. McKenney's avatar Paul E. McKenney
Browse files

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: default avatarPaul E. McKenney <paulmck@kernel.org>
Cc: Marco Elver <elver@google.com>
parent cb38f820

include/linux/rculist.h

+2 −0
Original line number Diff line number Diff line
@@ -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.