linux-kernel - [PATCH rcu 0/18] Torture-test scripting updates for v6.6

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives
Hash Suite: Windows password security audit tool. GUI, reports in PDF.
[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-ID: <d03c7482-acde-4f33-a7fb-fa7c58fdc9a2@paulmck-laptop>
Date:   Mon, 17 Jul 2023 11:23:33 -0700
From:   "Paul E. McKenney" <paulmck@...nel.org>
To:     rcu@...r.kernel.org
Cc:     linux-kernel@...r.kernel.org, kernel-team@...a.com,
        rostedt@...dmis.org
Subject: [PATCH rcu 0/18] Torture-test scripting updates for v6.6

Hello!

This series contains updates for torture-test scripting:

1.	Remove obsolete BOOTPARAM_HOTPLUG_CPU0 Kconfig option.

2.	Remove formal-verification tests.

3.	Add "--no-" as synonym for "--do-no-" in torture.sh.

4.	Remove contradictory Kconfig constraint.

5.	Allow #CHECK# in --kconfig argument to kvm.sh.

6.	Make kvm-recheck.sh report .config errors.

7.	Add RCU Tasks individual-flavor build tests.

8.	Make kvm-remote print diagnostics on initial ssh failure.

9.	Remove obsolete parameter check from mkinitrd.sh.

10.	Place --bootargs parameters at end of -append list.

11.	Make torture.sh summarize config and build errors.

12.	Loosen .config checks for KCSAN kernels.

13.	Add srcu_lockdep.sh to torture.sh.

14.	Avoid torture-test reboot loops.

15.	Add init-program support for loongarch.

16.	Switch qemu from -nographic to -display none.

17.	Make init program dump command-line arguments.

18.	Cause mkinitrd.sh to indicate failure on compile errors.

						Thanx, Paul

------------------------------------------------------------------------

 b/tools/testing/selftests/rcutorture/bin/configcheck.sh                                   |   61 -
 b/tools/testing/selftests/rcutorture/bin/functions.sh                                     |    2 
 b/tools/testing/selftests/rcutorture/bin/kvm-recheck.sh                                   |   37 
 b/tools/testing/selftests/rcutorture/bin/kvm-remote.sh                                    |   12 
 b/tools/testing/selftests/rcutorture/bin/kvm-test-1-run.sh                                |    1 
 b/tools/testing/selftests/rcutorture/bin/kvm.sh                                           |    2 
 b/tools/testing/selftests/rcutorture/bin/mkinitrd.sh                                      |    1 
 b/tools/testing/selftests/rcutorture/bin/torture.sh                                       |   44 -
 b/tools/testing/selftests/rcutorture/configs/lock/ver_functions.sh                        |    5 
 b/tools/testing/selftests/rcutorture/configs/rcu/TASKS03                                  |    1 
 b/tools/testing/selftests/rcutorture/configs/rcu/TREE01                                   |    1 
 b/tools/testing/selftests/rcutorture/configs/rcu/ver_functions.sh                         |    5 
 b/tools/testing/selftests/rcutorture/configs/rcuscale/ver_functions.sh                    |    5 
 b/tools/testing/selftests/rcutorture/configs/refscale/ver_functions.sh                    |    5 
 b/tools/testing/selftests/rcutorture/configs/scf/ver_functions.sh                         |    5 
 tools/testing/selftests/rcutorture/bin/kvm-recheck.sh                                     |    7 
 tools/testing/selftests/rcutorture/bin/kvm-test-1-run.sh                                  |   19 
 tools/testing/selftests/rcutorture/bin/mkinitrd.sh                                        |   17 
 tools/testing/selftests/rcutorture/bin/torture.sh                                         |   77 ++
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/.gitignore                            |    2 
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/Makefile                              |   17 
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/.gitignore              |    2 
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/kconfig.h               |    1 
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/types.h                 |  152 ----
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk                       |  376 ----------
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/assume.h                          |   17 
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/barriers.h                        |   41 -
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/bug_on.h                          |   14 
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/combined_source.c                 |   14 
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/config.h                          |   28 
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/include_srcu.c                    |   32 
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/int_typedefs.h                    |   34 
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/locks.h                           |  221 -----
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/misc.c                            |   12 
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/misc.h                            |   58 -
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h                          |   93 --
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c                         |   79 --
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.h                         |   59 -
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/simple_sync_srcu.c                |   51 -
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/workqueues.h                      |  103 --
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/.gitignore      |    2 
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/Makefile        |   12 
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/assert_end.fail |    1 
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/force.fail      |    1 
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/force2.fail     |    1 
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/force3.fail     |    1 
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/store_buffering/test.c          |   73 -
 tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/test_script.sh                  |  103 --
 48 files changed, 218 insertions(+), 1689 deletions(-)