projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a67e3a) | patch
rcutorture/formal: Replace synchronize_sched() with synchronize_rcu()
authorPaul E. McKenney <paulmck@linux.ibm.com>
Wed, 7 Nov 2018 23:27:40 +0000 (15:27 -0800)
committerPaul E. McKenney <paulmck@linux.ibm.com>
Sat, 1 Dec 2018 20:38:52 +0000 (12:38 -0800)
commitdf56e0f960627f606cfc6ccda25c6ab5c61953d5
tree782ef96d7601adb22317dbe239ce91c4ace4ae08tree | snapshot
parent4a67e3a79e3bdc47dfd0c85a1888067d95a0282ccommit | diff
rcutorture/formal: Replace synchronize_sched() with synchronize_rcu()

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 diff | blob | history
ep93xx device tree rework repo: git://git.maquefel.me/linux.git