DragonFlyBSD Kernel Audit
DF-0945 / run.sh
← back to finding ↓ download raw
#!/bin/sh
# DF-0945 run script (root-side orchestrator).
# The race requires ROOT to swapoff/swapon and an UNPRIV user to drive
# pager pressure. From the host, scp the files to the guest and run this
# script as root on the guest.
#
# Usage: sh run.sh [main_dev] [swapfile_mb] [nstress] [chunk_mb] [seconds]
set -u
DEV="${DF0945_DEV:-/dev/vbd0s1b}"
SWAP_MB="${DF0945_SWAP_MB:-8}"
NSTRESS="${DF0945_NSTRESS:-1}"
CHUNK_MB="${DF0945_CHUNK_MB:-3250}"
SECS="${DF0945_SECS:-120}"
sh "$(dirname "$0")/run_poc.sh" "$DEV" "$SWAP_MB" "$NSTRESS" "$CHUNK_MB" "$SECS"