#!/bin/sh
# DF-0755 run: deterministic harness before/after (the in-kernel path is
# latent on default GENERIC -- TCPDEBUG is not compiled in -- so the
# harness replica of the exact C pattern is the reproduction).
echo "############ UNFIXED (exact replica of sys/netinet/tcp_debug.c:84-95) ############"
./race_harness
echo ""
echo "############ FIXED (spinlock around increment+wrap, as in fix.diff) ############"
./race_harness_fixed
echo ""
echo "Expected: UNFIXED -> max_slot in the millions, millions of OOB writes"
echo "          FIXED   -> max_slot=99, ZERO OOB writes"