2023-08-24 23:23:59

by Paul E. McKenney

[permalink] [raw]
Subject: [GIT PULL] RCU changes for v6.6

Hello, Linus,

Once the merge window opens, please pull the latest RCU git tree from:

git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git tags/rcu.2023.08.21a
# HEAD: fe24a0b63278808013e1756e235e0e17e8bae281: Merge branches 'doc.2023.07.14b', 'fixes.2023.08.16a', 'rcu-tasks.2023.07.24a', 'rcuscale.2023.07.14b', 'refscale.2023.07.14b', 'torture.2023.08.14a' and 'torturescripts.2023.07.20a' into HEAD (2023-08-16 14:31:08 -0700)

----------------------------------------------------------------
RCU pull request for v6.6

doc.2023.07.14b: Documentation updates.

fixes.2023.08.16a: Miscellaneous fixes, perhaps most notably simplifying
SRCU_NOTIFIER_INIT() as suggested.

rcu-tasks.2023.07.24a: RCU Tasks updates, most notably treating
Tasks RCU callbacks as lazy while still treating synchronous
grace periods as urgent. Also fixes one bug that restores the
ability to apply debug-objects to RCU Tasks and another that
fixes a race condition that could result in false-positive
failures of the boot-time self-test code.

rcuscale.2023.07.14b: RCU-scalability performance-test updates,
most notably adding the ability to measure the RCU-Tasks's
grace-period kthread's CPU consumption. This proved
quite useful for the rcu-tasks.2023.07.24a work.

refscale.2023.07.14b: Reference-acquisition/release performance-test
updates, including a fix for an uninitialized wait_queue_head_t.

torture.2023.08.14a: Miscellaneous torture-test updates.

torturescripts.2023.07.20a: Torture-test scripting updates, including
removal of the non-longer-functional formal-verification scripts,
test builds of individual RCU Tasks flavors, better diagnostics
for loss of connectivity for distributed rcutorture tests,
disabling of reboot loops in qemu/KVM-based rcutorture testing,
and passing of init parameters to rcutorture's init program.

----------------------------------------------------------------
Alan Huang (2):
docs/RCU: Add the missing rcu_read_unlock()
rcu: Use WRITE_ONCE() for assignments to ->next for rculist_nulls

Arnd Bergmann (1):
rcuscale: fix building with RCU_TINY

Connor O'Brien (1):
torture: Support randomized shuffling for proxy exec testing

Dietmar Eggemann (1):
torture: Add lock_torture writer_fifo module parameter

Paul E. McKenney (52):
rcu-tasks: Treat only synchronous grace periods urgently
rcu-tasks: Remove redundant #ifdef CONFIG_TASKS_RCU
rcu-tasks: Add kernel boot parameters for callback laziness
rcu-tasks: Cancel callback laziness if too many callbacks
refscale: Add CONFIG_PREEMPT_DYNAMIC=n to NOPREEMPT scenario
refscale: Add a "jiffies" test
rcuscale: Permit blocking delays between writers
rcuscale: Fix gp_async_max typo: s/reader/writer/
rcuscale: Add minruntime module parameter
rcuscale: Print out full set of module parameters
rcuscale: Print out full set of kfree_rcu parameters
rcuscale: Measure grace-period kthread CPU time
rcuscale: Add kfree_by_call_rcu and kfree_mult to documentation
rcuscale: Print grace-period kthread CPU time, if recorded
rcuscale: Measure RCU Tasks Trace grace-period kthread CPU time
rcuscale: Add RCU Tasks Rude testing
rcuscale: Add CONFIG_PREEMPT_DYNAMIC=n to TRACE01 scenario
rcutorture: Dump grace-period state upon rtort_pipe_count incidents
rcutorture: Remove obsolete BOOTPARAM_HOTPLUG_CPU0 Kconfig option
rcu: Remove formal-verification tests
torture: Add "--no-" as synonym for "--do-no-" in torture.sh
rcutorture: Remove contradictory Kconfig constraint
torture: Allow #CHECK# in --kconfig argument to kvm.sh
torture: Make kvm-recheck.sh report .config errors
torture: Add RCU Tasks individual-flavor build tests
torture: Make kvm-remote print diagnostics on initial ssh failure
rcutorture: Remove obsolete parameter check from mkinitrd.sh
torture: Place --bootargs parameters at end of -append list
torture: Make torture.sh summarize config and build errors
torture: Loosen .config checks for KCSAN kernels
rcu: Update synchronize_rcu_mult() comment for call_rcu_hurry()
rcu: Clarify rcu_is_watching() kernel-doc comment
torture: Add srcu_lockdep.sh to torture.sh
torture: Avoid torture-test reboot loops
torture: Add init-program support for loongarch
torture: Switch qemu from -nographic to -display none
torture: Make init program dump command-line arguments
torture: Cause mkinitrd.sh to indicate failure on compile errors
checkpatch: Complain about unexpected uses of RCU Tasks Trace
rcu-tasks: Permit use of debug-objects with RCU Tasks flavors
rcu-tasks: Fix boot-time RCU tasks debug-only deadlock
torture: Add a kthread-creation callback to _torture_create_kthread()
torture: Make torture_hrtimeout_*() use TASK_IDLE
torture: Move torture_onoff() timeouts to hrtimers
torture: Move torture_shuffle() timeouts to hrtimers
torture: Move stutter_wait() timeouts to hrtimers
torture: Stop right-shifting torture_random() return values
rcutorture: Stop right-shifting torture_random() return values
srcu,notifier: Remove #ifdefs in favor of SRCU Tiny srcu_usage
rcu: Mark __rcu_irq_enter_check_tick() ->rcu_urgent_qs load
rcu: Make the rcu_nocb_poll boot parameter usable via boot config
Merge branches 'doc.2023.07.14b', 'fixes.2023.08.16a', 'rcu-tasks.2023.07.24a', 'rcuscale.2023.07.14b', 'refscale.2023.07.14b', 'torture.2023.08.14a' and 'torturescripts.2023.07.20a' into HEAD

SeongJae Park (5):
Docs/RCU/rculist_nulls: Fix trivial coding style
Docs/RCU/rculist_nulls: Assign 'obj' before use from the examples
Docs/RCU/rculist_nulls: Specify type of the object in examples
Docs/RCU/rculist_nulls: Fix hlist_[nulls]_head field names of 'obj'
Docs/RCU/rculist_nulls: Fix text about atomic_set_release()

Tycho Andersen (1):
documentation/rcu: Fix typo

Waiman Long (1):
refscale: Fix uninitalized use of wait_queue_head_t

Zqiang (1):
rcuscale: Move rcu_scale_writer() schedule_timeout_uninterruptible() to _idle()

Documentation/RCU/lockdep-splat.rst | 2 +-
Documentation/RCU/rculist_nulls.rst | 38 ++-
Documentation/admin-guide/kernel-parameters.txt | 56 ++-
include/linux/notifier.h | 11 -
include/linux/rculist_nulls.h | 4 +-
include/linux/rcupdate_trace.h | 1 +
include/linux/rcupdate_wait.h | 5 +
include/linux/srcutiny.h | 4 +
include/linux/torture.h | 7 +-
kernel/locking/locktorture.c | 12 +-
kernel/rcu/rcu.h | 8 +
kernel/rcu/rcuscale.c | 83 ++++-
kernel/rcu/rcutorture.c | 7 +-
kernel/rcu/refscale.c | 37 +-
kernel/rcu/tasks.h | 136 ++++++--
kernel/rcu/tree.c | 16 +-
kernel/rcu/tree_nocb.h | 4 +-
kernel/torture.c | 39 ++-
scripts/checkpatch.pl | 24 ++
.../selftests/rcutorture/bin/configcheck.sh | 61 ++--
.../testing/selftests/rcutorture/bin/functions.sh | 2 +-
.../rcutorture/bin/kvm-recheck-rcuscale.sh | 8 +-
.../selftests/rcutorture/bin/kvm-recheck.sh | 44 ++-
.../testing/selftests/rcutorture/bin/kvm-remote.sh | 12 +-
.../selftests/rcutorture/bin/kvm-test-1-run.sh | 12 +-
tools/testing/selftests/rcutorture/bin/kvm.sh | 2 +-
tools/testing/selftests/rcutorture/bin/mkinitrd.sh | 17 +-
tools/testing/selftests/rcutorture/bin/torture.sh | 123 +++++--
.../rcutorture/configs/lock/ver_functions.sh | 5 +-
.../selftests/rcutorture/configs/rcu/TASKS03 | 1 -
.../selftests/rcutorture/configs/rcu/TREE01 | 1 -
.../rcutorture/configs/rcu/ver_functions.sh | 5 +-
.../selftests/rcutorture/configs/rcuscale/CFcommon | 2 +
.../selftests/rcutorture/configs/rcuscale/TRACE01 | 2 +
.../rcutorture/configs/rcuscale/ver_functions.sh | 5 +-
.../rcutorture/configs/refscale/NOPREEMPT | 1 +
.../rcutorture/configs/refscale/ver_functions.sh | 5 +-
.../rcutorture/configs/scf/ver_functions.sh | 5 +-
.../rcutorture/formal/srcu-cbmc/.gitignore | 2 -
.../selftests/rcutorture/formal/srcu-cbmc/Makefile | 17 -
.../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 | 2 -
.../formal/srcu-cbmc/include/linux/kconfig.h | 1 -
.../formal/srcu-cbmc/include/linux/types.h | 152 ---------
.../rcutorture/formal/srcu-cbmc/modify_srcu.awk | 376 ---------------------
.../rcutorture/formal/srcu-cbmc/src/assume.h | 17 -
.../rcutorture/formal/srcu-cbmc/src/barriers.h | 41 ---
.../rcutorture/formal/srcu-cbmc/src/bug_on.h | 14 -
.../formal/srcu-cbmc/src/combined_source.c | 14 -
.../rcutorture/formal/srcu-cbmc/src/config.h | 28 --
.../rcutorture/formal/srcu-cbmc/src/include_srcu.c | 32 --
.../rcutorture/formal/srcu-cbmc/src/int_typedefs.h | 34 --
.../rcutorture/formal/srcu-cbmc/src/locks.h | 221 ------------
.../rcutorture/formal/srcu-cbmc/src/misc.c | 12 -
.../rcutorture/formal/srcu-cbmc/src/misc.h | 58 ----
.../rcutorture/formal/srcu-cbmc/src/percpu.h | 93 -----
.../rcutorture/formal/srcu-cbmc/src/preempt.c | 79 -----
.../rcutorture/formal/srcu-cbmc/src/preempt.h | 59 ----
.../formal/srcu-cbmc/src/simple_sync_srcu.c | 51 ---
.../rcutorture/formal/srcu-cbmc/src/workqueues.h | 103 ------
.../srcu-cbmc/tests/store_buffering/.gitignore | 2 -
.../srcu-cbmc/tests/store_buffering/Makefile | 12 -
.../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 | 73 ----
.../formal/srcu-cbmc/tests/test_script.sh | 103 ------
78 files changed, 636 insertions(+), 1771 deletions(-)
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/.gitignore
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/Makefile
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/delay.h
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/export.h
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/mutex.h
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/percpu.h
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/preempt.h
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/rcupdate.h
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/sched.h
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/smp.h
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/linux/workqueue.h
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/empty_includes/uapi/linux/types.h
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/.gitignore
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/kconfig.h
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/types.h
delete mode 100755 tools/testing/selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/assume.h
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/barriers.h
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/bug_on.h
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/combined_source.c
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/config.h
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/include_srcu.c
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/int_typedefs.h
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/misc.c
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/misc.h
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.h
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/simple_sync_srcu.c
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/workqueues.h
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/.gitignore
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/Makefile
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/assert_end.fail
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/force.fail
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/force2.fail
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/force3.fail
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/main.pass
delete mode 100644 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/test.c
delete mode 100755 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/test_script.sh