Commit 75d8bf48 authored by Paul E. McKenney's avatar Paul E. McKenney Committed by Joel Fernandes
Browse files

rcutorture: Make srcu_lockdep.sh check reader-conflict handling 



Mixing different flavors of RCU readers is forbidden, for example, you
should not use srcu_read_lock() and srcu_read_lock_nmisafe() on the same
srcu_struct structure.  There are checks for this, but these checks are
not tested on a regular basis.  This commit therefore adds such tests
to srcu_lockdep.sh.

Signed-off-by: default avatarPaul E. McKenney <paulmck@kernel.org>
Signed-off-by: default avatarJoel Fernandes <joelagnelf@nvidia.com>
parent 31b7ce3d

tools/testing/selftests/rcutorture/bin/srcu_lockdep.sh

+31 −0
Original line number Diff line number Diff line
@@ -79,6 +79,37 @@ do 
	done

done



# Test lockdep-enabled testing of mixed SRCU readers.

for val in 0x1 0xf

do

	err=

	tools/testing/selftests/rcutorture/bin/kvm.sh --allcpus --duration 5s --configs "SRCU-P" --kconfig "CONFIG_FORCE_NEED_SRCU_NMI_SAFE=y" --bootargs "rcutorture.reader_flavor=$val" --trust-make --datestamp "$ds/$val" > "$T/kvm.sh.out" 2>&1

	ret=$?

	mv "$T/kvm.sh.out" "$RCUTORTURE/res/$ds/$val"

	if ! grep -q '^CONFIG_PROVE_LOCKING=y' .config

	then

		echo "rcu_torture_init_srcu_lockdep:Error: CONFIG_PROVE_LOCKING disabled in rcutorture SRCU-P scenario"

		nerrs=$((nerrs+1))

		err=1

	fi

	if test "$val" -eq 0xf && test "$ret" -eq 0

	then

		err=1

		echo -n Unexpected success for > "$RCUTORTURE/res/$ds/$val/kvm.sh.err"

	fi

	if test "$val" -eq 0x1 && test "$ret" -ne 0

	then

		err=1

		echo -n Unexpected failure for > "$RCUTORTURE/res/$ds/$val/kvm.sh.err"

	fi

	if test -n "$err"

	then

		grep "rcu_torture_init_srcu_lockdep: test_srcu_lockdep = " "$RCUTORTURE/res/$ds/$val/SRCU-P/console.log" | sed -e 's/^.*rcu_torture_init_srcu_lockdep://' >> "$RCUTORTURE/res/$ds/$val/kvm.sh.err"

		cat "$RCUTORTURE/res/$ds/$val/kvm.sh.err"

		nerrs=$((nerrs+1))

	fi

done



# Set up exit code.

if test "$nerrs" -ne 0

then