kybaaz/linux-xiaomi-chiron
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
linux-xiaomi-chiron/tools/testing/selftests/rcutorture/formal/srcu-cbmc
History
Paul E. McKenney df56e0f960 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>
2018-12-01 12:38:52 -08:00
..
empty_includes rcutorture: Add CBMC-based formal verification for SRCU 2017-01-25 12:54:22 -08:00
include/linux rcutorture/formal: Replace synchronize_sched() with synchronize_rcu() 2018-12-01 12:38:52 -08:00
src Merge branch 'linus' into locking/core, to resolve conflicts 2017-11-07 10:32:44 +01:00
tests License cleanup: add SPDX GPL-2.0 license identifier to files with no license 2017-11-02 11:10:55 +01:00
.gitignore rcutorture: Add CBMC-based formal verification for SRCU 2017-01-25 12:54:22 -08:00
Makefile License cleanup: add SPDX GPL-2.0 license identifier to files with no license 2017-11-02 11:10:55 +01:00
modify_srcu.awk License cleanup: add SPDX GPL-2.0 license identifier to files with no license 2017-11-02 11:10:55 +01:00