rcutorture/formal: Replace synchronize_sched() with synchronize_rcu() (df56e0f9) · Commits · 戴 / test

Now that synchronize_rcu() waits for preempt-disable regions of code as well as RCU read-side critical sections, synchronize_sched() can be replaced by synchronize_rcu(). This commit therefore makes this change, even though it is but a comment. Signed-off-by:

Paul E. McKenney <paulmck@linux.ibm.com>

tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/types.h

+2 −2

Original line number	Diff line number	Diff line
		@@ -131,8 +131,8 @@ struct hlist_node {
		* weird ABI and we need to ask it explicitly.
		*
		* The alignment is required to guarantee that bits 0 and 1 of @next will be
		* clear under normal conditions -- as long as we use call_rcu(),
		* call_rcu_bh(), call_rcu_sched(), or call_srcu() to queue callback.
		* clear under normal conditions -- as long as we use call_rcu() or
		* call_srcu() to queue callback.
		*
		* This guarantee is important for few reasons:
		* - future call_rcu_lazy() will make use of lower bits in the pointer;

Admin message