#!/bin/sh
# DF-2908 run — leak measurement: baseline -> control -> race -> after.
# Run as root on the guest so vmstat -m is available; the PoC binary itself
# runs as the unprivileged user 'maxx'.
set -e
echo "== baseline M_VARSYM =="
vmstat -m | grep -i varsym
echo "== control run (joined spinners; expect NO growth) =="
su maxx -c '/tmp/df2908 control 5 500'
vmstat -m | grep -i varsym
echo "== race run (unpriv; expect growth) =="
su maxx -c '/tmp/df2908 race 5 2000'
echo "== after M_VARSYM =="
vmstat -m | grep -i varsym