⬢ DragonFlyBSD Kernel Audit
DF-5017 / run.2.log
← back to finding ↓ download raw
KLDLOAD_OK
[DF5017] loaded; hz=100 ticks=4211
[DF5017] TEST A (400 unsignaled waits, timeout=1 tick)
[DF5017]   baseline wait_any: ret<0:399  ret==0:1  ret>0:0  (contract: every ret must be 0)
[DF5017]   fixed     wait_any: ret<0:0  ret==0:400  ret>0:0
[DF5017]   VERDICT A: BUG M-bM^@M^T negative return on clean timeout
[DF5017] TEST B baseline: MAX_SCHEDULE_TIMEOUT intr=false, signal@3s -> ret=9223372036854775507 elapsed=300 ticks
[DF5017] TEST B fixed    : MAX_SCHEDULE_TIMEOUT intr=false, signal@3s -> ret=1 elapsed=300 ticks (correct)
[DF5017] TEST E: tsleep timo=(int)MAX_SCHEDULE_TIMEOUT=-1 -> 52 wakeups in 1s (infinite sleep would be 0 wakeups; wait_any loop => tick-rate poll)
[DF5017] all tests done
UNLOAD_OK