⬢ DragonFlyBSD Kernel Audit
DF-4478 / run.log
← back to finding ↓ download raw
# BASELINE (stock kernel: DragonFly 6.5-DEVELOPMENT #0: Thu Jul 2 06:02:54 UTC 2026)
# PoC: ./v1b 150|240  (4 threads VINUM_SETSTATE(plex0, up/down alternated, force)
#                      + 2 threads VINUM_ATTACH/VINUM_DETACH(sd0))
# Run 1 (150s, kern.consmute=1): guest DIED ~150s in (ssh dead, serial silent).
# Run 2 (240s, console live):    SURVIVED 400,903 setstate vs 68,017 attach/detach;
#                                console showed heavy state tearing ("vinum: p0 is faulty").
# Run 3 (240s, console live):    guest DIED at t+90s.  Serial capture
#                                (serial_v1b_run3_death.log, 199,723 vinum lines)
#                                ends mid-kprintf -- kernel death with the console
#                                writer in flight (no trap text reached the port).
# Two kills in three runs; the surviving run still shows the state machine
# tearing on the console.