diff --git a/experiments/nginx_single_run.sh b/experiments/nginx_single_run.sh index 0c0be357ac0f7e036bf721c969195d9150a5d217..52111f1ab895ae030b3a121fba8d1a777028319b 100644 --- a/experiments/nginx_single_run.sh +++ b/experiments/nginx_single_run.sh @@ -2,12 +2,29 @@ source "$EXP_ROOT/experiments/nginx.shared.sh" pre_start() { nginx_pre_start + + while [ ! -z "$1" ]; do + case "$1" in + --perf-record) + PERF_RECORD_TYPE="$2" + EXPERIMENT_NAME_EXT="perf_$PERF_RECORD_TYPE.$EXPERIMENT_NAME_EXT" + shift + shift + ;; + *) + echo "Unknown option" + exit 1 + ;; + esac + done } run_exp() { nginx_start nginx_warmup + [ ! -z "$PERF_RECORD_TYPE" ] && perf_record_start nginx_bench 10000 + [ ! -z "$PERF_RECORD_TYPE" ] && perf_record_stop nginx_stop }