| 1234567891011121314 |
- #!/bin/bash
- # distinct-content prompts of one size, seeds given; guard log memguard8.log
- SP=${SP:-/tmp}
- LOG=${MEMGUARD_LOG:-$SP/memguard.log}; size=$1; shift
- mem() { awk '/MemAvailable/{printf "%.2f",$2/1048576}' /proc/meminfo; }
- for seed in "$@"; do
- s=$(date +%H:%M:%S); before=$(mem)
- out=$(ssh -i ~/.ssh/id_ed25519_shared zurih@10.0.0.2 "python3 /tmp/prefill_distinct.py $size $seed" 2>&1 | tail -1)
- e=$(date +%H:%M:%S); sleep 3; after=$(mem)
- min=$(awk -v s="$s" -v e="$e" '$1>=s && $1<=e && $2+0>0 {print $2}' $LOG | sort -n | head -1)
- aborts=$(awk -v s="$s" -v e="$e" '$1>=s && $1<=e && /ABORT/' $LOG | wc -l)
- echo "RAMP2 size=$size seed=$seed: before=${before} GB min=${min} GB after=${after} GB aborts=${aborts} | $out"
- if [ "$aborts" != "0" ]; then echo "RAMP2 STOP (guard fired)"; exit 1; fi
- done
|
