# DF-2750 decisive baseline run - STOCK kernel (DragonFly 6.5-DEVELOPMENT #0,
# INVARIANTS, unmodified sys/kern/kern_lock.c), guest QEMU/KVM 6 vCPUs.
# Command sequence (as root):
#   kldload /usr/obj/usr/src/sys/modules/lkmc/lkmc.ko
#   for i in 1 2 3; do sysctl -w debug.lkmc=20000 >/dev/null; done
#   dmesg | grep -E "lkmc: (rounds|DEFECT)"
#
# stdout of `sysctl -w debug.lkmc=20000':
debug.lkmc: 0 -> 20000
        0.13 real         0.00 user      0.14 sys
#
# dmesg:
lkmc: loaded (DF-2750 PoC, persistent threads)
lkmc: rounds=20000 hits=19750 healed=19750 bad_count=0000000008000000 stuck=0
lkmc: DEFECT REPRODUCED: concurrent KERNTHREAD releases drove XMASK 2->0, no wakeup, waiter slept on a free lock
lkmc: rounds=20000 hits=19756 healed=19756 bad_count=0000000008000000 stuck=0
lkmc: DEFECT REPRODUCED: concurrent KERNTHREAD releases drove XMASK 2->0, no wakeup, waiter slept on a free lock
lkmc: rounds=20000 hits=19617 healed=19617 bad_count=0000000008000000 stuck=0
lkmc: DEFECT REPRODUCED: concurrent KERNTHREAD releases drove XMASK 2->0, no wakeup, waiter slept on a free lock
#
# Guest state after runs: up, idle, responsive (uptime/load normal, no panic,
# no dump).  hit rate 98.1-98.8% of staged races; every hit left the waiter
# asleep on a FREE lock until the harness manually issued wakeup(&lk).