#!/bin/sh
# DF-0923 run script: race /proc/<pid>/map reader against execve churn.
# Usage: ./run.sh [seconds] [nreaders]
# Default: 30s, 4 readers. Run repeatedly; the race is statistical.
cd "$(dirname "$0")"
secs=${1:-30}
nrd=${2:-4}
echo "[run.sh] racing ${secs}s with ${nrd} readers..."
./race_map "$secs" "$nrd"
rc=$?
echo "[run.sh] race_map exit=$rc"