RCU changes for v4.11
Subsystems (10)
Linus,
Please pull the latest core-rcu-for-linus git tree from:
git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git core-rcu-for-linus
# HEAD: a8709fa4a06d4af5f86e3660839531cbe0f2a19b Merge branch 'for-mingo' of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu into core/rcu
The RCU changes in this cycle are:
- Dynticks updates, consolidating open-coded counter accesses into a well-defined API
- SRCU updates: Simplify algorithm, add formal verification
- Documentation updates
- Miscellaneous fixes
- Torture-test updates
Most of the diffstat comes from the relatively large documentation update.
Thanks,
Ingo
------------------>
Byungchul Park (1):
rcu: Only dump stalled-tasks stacks if there was a real stall
Joel Fernandes (1):
llist: Clarify comments about when locking is needed
Lance Roy (2):
srcu: Implement more-efficient reader counts
rcutorture: Add CBMC-based formal verification for SRCU
Mathieu Desnoyers (1):
Fix: Disable sys_membarrier when nohz_full is enabled
Matt Fleming (1):
rcu: Enable RCU tracepoints by default to aid in debugging
Paul E. McKenney (32):
rcu: Design documentation for expedited grace periods
doc: Update control-dependencies section of memory-barriers.txt
doc: Quick-Quiz answers are now inline
doc: Add rcutree.rcu_kick_kthreads to kernel-parameters.txt
torture: Add a check for CONFIG_RCU_STALL_COMMON for TINY01
torture: Add CONFIG_PROVE_RCU_REPEATEDLY=y for TINY02
torture: Add tests without slow grace period setup/cleanup
torture: Run at least one test with CONFIG_DEBUG_OBJECTS_RCU_HEAD
torture: Run one test with DEBUG_LOCK_ALLOC but not PROVE_LOCKING
torture: Run a couple scenarios with CONFIG_RCU_EQS_DEBUG
torture: Update RCU test scenario documentation
torture: Enable DEBUG_OBJECTS_RCU_HEAD for Tiny RCU
rcu: Abstract the dynticks momentary-idle operation
rcu: Abstract the dynticks snapshot operation
lockdep: Make RCU suspicious-access splats use pr_err
rcu: Remove unneeded rcu_process_callbacks() declarations
rcu: Add long-term CPU kicking
rcu: Remove short-term CPU kicking
rcu: Once again use NMI-based stack traces in stall warnings
rcu: Re-enable TASKS_RCU for User Mode Linux
rcu: Don't wake rcuc/X kthreads on NOCB CPUs
rcu: Add comment headers to expedited-grace-period counter functions
rcu: Make rcu_cpu_starting() use its "cpu" argument
rcu: Fix comment in rcu_organize_nocb_kthreads()
rcu: Eliminate unused expedited_normal counter
rcu: Add lockdep checks to synchronous expedited primitives
rcu: Abstract dynticks extended quiescent state enter/exit operations
rcu: Abstract extended quiescent state determination
rcu: Check cond_resched_rcu_qs() state less often to reduce GP overhead
rcu: Adjust FQS offline checks for exact online-CPU detection
srcu: Force full grace-period ordering
srcu: Reduce probability of SRCU ->unlock_count[] counter overflow
Sebastian Andrzej Siewior (1):
rcu: update: Make RCU_EXPEDITE_BOOT be the default
Tetsuo Handa (1):
doc: Fix RCU requirements typos
Tobias Klauser (1):
rcu: Remove unused but set variable
Yang Shi (1):
locktorture: Fix potential memory leak with rw lock test
.../Design/Data-Structures/Data-Structures.html | 5 +- .../Design/Expedited-Grace-Periods/ExpRCUFlow.svg | 830 +++++++++++++++++++++ .../Expedited-Grace-Periods/ExpSchedFlow.svg | 826 ++++++++++++++++++++ .../Expedited-Grace-Periods.html | 626 ++++++++++++++++ .../RCU/Design/Expedited-Grace-Periods/Funnel0.svg | 275 +++++++ .../RCU/Design/Expedited-Grace-Periods/Funnel1.svg | 275 +++++++ .../RCU/Design/Expedited-Grace-Periods/Funnel2.svg | 287 +++++++ .../RCU/Design/Expedited-Grace-Periods/Funnel3.svg | 323 ++++++++ .../RCU/Design/Expedited-Grace-Periods/Funnel4.svg | 323 ++++++++ .../RCU/Design/Expedited-Grace-Periods/Funnel5.svg | 335 +++++++++ .../RCU/Design/Expedited-Grace-Periods/Funnel6.svg | 335 +++++++++ .../RCU/Design/Expedited-Grace-Periods/Funnel7.svg | 347 +++++++++ .../RCU/Design/Expedited-Grace-Periods/Funnel8.svg | 311 ++++++++ .../RCU/Design/Requirements/Requirements.html | 12 +- Documentation/RCU/trace.txt | 5 +- Documentation/admin-guide/kernel-parameters.txt | 7 + Documentation/memory-barriers.txt | 70 +- include/linux/llist.h | 37 +- include/linux/rcupdate.h | 12 + include/linux/rcutiny.h | 6 + include/linux/srcu.h | 10 +- include/trace/events/rcu.h | 10 +- init/Kconfig | 14 - kernel/locking/lockdep.c | 12 +- kernel/locking/locktorture.c | 6 + kernel/membarrier.c | 4 + kernel/rcu/rcutorture.c | 19 +- kernel/rcu/srcu.c | 143 ++-- kernel/rcu/tiny.c | 2 - kernel/rcu/tree.c | 262 ++++--- kernel/rcu/tree.h | 15 +- kernel/rcu/tree_exp.h | 38 +- kernel/rcu/tree_plugin.h | 7 +- kernel/rcu/tree_trace.c | 5 +- kernel/rcu/update.c | 6 +- lib/Kconfig.debug | 1 + .../selftests/rcutorture/configs/rcu/CFcommon | 3 - .../selftests/rcutorture/configs/rcu/TINY01 | 1 + .../selftests/rcutorture/configs/rcu/TINY02 | 3 +- .../selftests/rcutorture/configs/rcu/TREE01 | 3 + .../selftests/rcutorture/configs/rcu/TREE02 | 4 + .../selftests/rcutorture/configs/rcu/TREE03 | 3 + .../selftests/rcutorture/configs/rcu/TREE04 | 4 + .../selftests/rcutorture/configs/rcu/TREE05 | 3 + .../selftests/rcutorture/configs/rcu/TREE06 | 3 + .../selftests/rcutorture/configs/rcu/TREE07 | 3 + .../selftests/rcutorture/configs/rcu/TREE08 | 4 +- .../selftests/rcutorture/doc/TREE_RCU-kconfig.txt | 33 +- .../rcutorture/formal/srcu-cbmc/.gitignore | 1 + .../selftests/rcutorture/formal/srcu-cbmc/Makefile | 16 + .../formal/srcu-cbmc/empty_includes/linux/delay.h | 0 .../formal/srcu-cbmc/empty_includes/linux/export.h | 0 .../formal/srcu-cbmc/empty_includes/linux/mutex.h | 0 .../formal/srcu-cbmc/empty_includes/linux/percpu.h | 0 .../srcu-cbmc/empty_includes/linux/preempt.h | 0 .../srcu-cbmc/empty_includes/linux/rcupdate.h | 0 .../formal/srcu-cbmc/empty_includes/linux/sched.h | 0 .../formal/srcu-cbmc/empty_includes/linux/smp.h | 0 .../srcu-cbmc/empty_includes/linux/workqueue.h | 0 .../srcu-cbmc/empty_includes/uapi/linux/types.h | 0 .../formal/srcu-cbmc/include/linux/.gitignore | 1 + .../formal/srcu-cbmc/include/linux/kconfig.h | 1 + .../formal/srcu-cbmc/include/linux/types.h | 155 ++++ .../rcutorture/formal/srcu-cbmc/modify_srcu.awk | 375 ++++++++++ .../rcutorture/formal/srcu-cbmc/src/assume.h | 16 + .../rcutorture/formal/srcu-cbmc/src/barriers.h | 41 + .../rcutorture/formal/srcu-cbmc/src/bug_on.h | 13 + .../formal/srcu-cbmc/src/combined_source.c | 13 + .../rcutorture/formal/srcu-cbmc/src/config.h | 27 + .../rcutorture/formal/srcu-cbmc/src/include_srcu.c | 31 + .../rcutorture/formal/srcu-cbmc/src/int_typedefs.h | 33 + .../rcutorture/formal/srcu-cbmc/src/locks.h | 220 ++++++ .../rcutorture/formal/srcu-cbmc/src/misc.c | 11 + .../rcutorture/formal/srcu-cbmc/src/misc.h | 58 ++ .../rcutorture/formal/srcu-cbmc/src/percpu.h | 92 +++ .../rcutorture/formal/srcu-cbmc/src/preempt.c | 78 ++ .../rcutorture/formal/srcu-cbmc/src/preempt.h | 58 ++ .../formal/srcu-cbmc/src/simple_sync_srcu.c | 50 ++ .../rcutorture/formal/srcu-cbmc/src/workqueues.h | 102 +++ .../srcu-cbmc/tests/store_buffering/.gitignore | 1 + .../srcu-cbmc/tests/store_buffering/Makefile | 11 + .../tests/store_buffering/assert_end.fail | 1 + .../srcu-cbmc/tests/store_buffering/force.fail | 1 + .../srcu-cbmc/tests/store_buffering/force2.fail | 1 + .../srcu-cbmc/tests/store_buffering/force3.fail | 1 + .../srcu-cbmc/tests/store_buffering/main.pass | 0 .../formal/srcu-cbmc/tests/store_buffering/test.c | 72 ++ .../formal/srcu-cbmc/tests/test_script.sh | 102 +++ 88 files changed, 7150 insertions(+), 300 deletions(-) create mode 100644 Documentation/RCU/Design/Expedited-Grace-Periods/ExpRCUFlow.svg create mode 100644 Documentation/RCU/Design/Expedited-Grace-Periods/ExpSchedFlow.svg create mode 100644 Documentation/RCU/Design/Expedited-Grace-Periods/Expedited-Grace-Periods.html create mode 100644 Documentation/RCU/Design/Expedited-Grace-Periods/Funnel0.svg create mode 100644 Documentation/RCU/Design/Expedited-Grace-Periods/Funnel1.svg create mode 100644 Documentation/RCU/Design/Expedited-Grace-Periods/Funnel2.svg create mode 100644 Documentation/RCU/Design/Expedited-Grace-Periods/Funnel3.svg create mode 100644 Documentation/RCU/Design/Expedited-Grace-Periods/Funnel4.svg create mode 100644 Documentation/RCU/Design/Expedited-Grace-Periods/Funnel5.svg create mode 100644 Documentation/RCU/Design/Expedited-Grace-Periods/Funnel6.svg create mode 100644 Documentation/RCU/Design/Expedited-Grace-Periods/Funnel7.svg create mode 100644 Documentation/RCU/Design/Expedited-Grace-Periods/Funnel8.svg create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/.gitignore create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/Makefile create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/delay.h create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/export.h create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/mutex.h create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/percpu.h create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/preempt.h create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/rcupdate.h create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/sched.h create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/smp.h create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/workqueue.h create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/uapi/linux/types.h create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/.gitignore create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/kconfig.h create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/types.h create mode 100755 tools/testing/selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/assume.h create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/barriers.h create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/bug_on.h create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/combined_source.c create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/config.h create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/include_srcu.c create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/int_typedefs.h create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/misc.c create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/misc.h create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.h create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/simple_sync_srcu.c create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/workqueues.h create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/.gitignore create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/Makefile create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/assert_end.fail create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/force.fail create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/force2.fail create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/force3.fail create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/main.pass create mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/test.c create mode 100755 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/test_script.sh
Documentation/RCU/Design/Data-Structures/Data-Structures.html +1 -4
@@ -4,7 +4,7 @@ <head><title>A Tour Through TREE_RCU's Data Structures [LWN.net]</title> <meta HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1"> - <p>January 27, 2016</p> + <p>December 18, 2016</p> <p>This article was contributed by Paul E. McKenney</p> <h3>Introduction</h3>
@@ -31,9 +31,6 @@ to each other. Accessor Functions</a> </ol> -At the end we have the -<a href="#Answers to Quick Quizzes">answers to the quick quizzes</a>. - <h3><a name="Data-Structure Relationships">Data-Structure Relationships</a></h3> <p>RCU is for all intents and purposes a large state machine, and its
Documentation/RCU/Design/Expedited-Grace-Periods/ExpRCUFlow.svg new file +830 -0
830 lines not on this page · raw message
Documentation/RCU/Design/Expedited-Grace-Periods/ExpSchedFlow.svg new file +826 -0
826 lines not on this page · raw message
Documentation/RCU/Design/Expedited-Grace-Periods/Expedited-Grace-Periods.html new file +626 -0
626 lines not on this page · raw message
Documentation/RCU/Design/Expedited-Grace-Periods/Funnel0.svg new file +275 -0
275 lines not on this page · raw message
Documentation/RCU/Design/Expedited-Grace-Periods/Funnel1.svg new file +275 -0
275 lines not on this page · raw message
Documentation/RCU/Design/Expedited-Grace-Periods/Funnel2.svg new file +287 -0
151 lines not on this page · raw message
Documentation/RCU/Design/Expedited-Grace-Periods/Funnel3.svg new file +323 -0
323 lines not on this page · raw message
Documentation/RCU/Design/Expedited-Grace-Periods/Funnel4.svg new file +323 -0
323 lines not on this page · raw message
Documentation/RCU/Design/Expedited-Grace-Periods/Funnel5.svg new file +335 -0
335 lines not on this page · raw message
Documentation/RCU/Design/Expedited-Grace-Periods/Funnel6.svg new file +335 -0
335 lines not on this page · raw message
Documentation/RCU/Design/Expedited-Grace-Periods/Funnel7.svg new file +347 -0
347 lines not on this page · raw message
Documentation/RCU/Design/Expedited-Grace-Periods/Funnel8.svg new file +311 -0
311 lines not on this page · raw message
Documentation/RCU/Design/Requirements/Requirements.html +6 -6
Lines of this file are not shown. View the raw message.
Documentation/admin-guide/kernel-parameters.txt +7 -0
Lines of this file are not shown. View the raw message.
Documentation/memory-barriers.txt +38 -32
70 lines not on this page · raw message
kernel/rcu/srcu.c +62 -81
143 lines not on this page · raw message
kernel/rcu/tree.c +177 -85
262 lines not on this page · raw message
tools/testing/selftests/rcutorture/configs/rcu/CFcommon +0 -3
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/configs/rcu/TINY01 +1 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/configs/rcu/TINY02 +2 -1
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/configs/rcu/TREE01 +3 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/configs/rcu/TREE02 +4 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/configs/rcu/TREE03 +3 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/configs/rcu/TREE04 +4 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/configs/rcu/TREE05 +3 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/configs/rcu/TREE06 +3 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/configs/rcu/TREE07 +3 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/configs/rcu/TREE08 +2 -2
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/doc/TREE_RCU-kconfig.txt +31 -2
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/formal/srcu-cbmc/.gitignore new file +1 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/formal/srcu-cbmc/Makefile new file +16 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/delay.h new file +0 -0
tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/export.h new file +0 -0
tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/mutex.h new file +0 -0
tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/percpu.h new file +0 -0
tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/preempt.h new file +0 -0
tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/rcupdate.h new file +0 -0
tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/sched.h new file +0 -0
tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/smp.h new file +0 -0
tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/workqueue.h new file +0 -0
tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/uapi/linux/types.h new file +0 -0
tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/.gitignore new file +1 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/kconfig.h new file +1 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/types.h new file +155 -0
155 lines not on this page · raw message
tools/testing/selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk new file +375 -0
375 lines not on this page · raw message
tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/assume.h new file +16 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/barriers.h new file +41 -0
41 lines not on this page · raw message
tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/bug_on.h new file +13 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/combined_source.c new file +13 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/config.h new file +27 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/include_srcu.c new file +31 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/int_typedefs.h new file +33 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h new file +220 -0
220 lines not on this page · raw message
tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/misc.c new file +11 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/misc.h new file +58 -0
58 lines not on this page · raw message
tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h new file +92 -0
92 lines not on this page · raw message
tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c new file +78 -0
78 lines not on this page · raw message
tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.h new file +58 -0
58 lines not on this page · raw message
tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/simple_sync_srcu.c new file +50 -0
50 lines not on this page · raw message
tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/workqueues.h new file +102 -0
102 lines not on this page · raw message
tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/.gitignore new file +1 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/Makefile new file +11 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/assert_end.fail new file +1 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/force.fail new file +1 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/force2.fail new file +1 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/force3.fail new file +1 -0
Lines of this file are not shown. View the raw message.
tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/main.pass new file +0 -0
tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/test.c new file +72 -0
72 lines not on this page · raw message
tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/test_script.sh new file +102 -0
102 lines not on this page · raw message
The rest of this diff is not shown. View the raw message.
Part of the diff is not shown here. View the raw message.