Merge pull request #162 from gwsystems/by_resolution_exp

feat: log resolution experiment data
main
Sean McBride 4 years ago committed by GitHub
commit a1bea35430
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -9,3 +9,8 @@ The `rust.sh` script stores per-run results to temporary files suffixed with `*.
In order to be compatible with the stdin/stdout model of serverless, the input and output files are binary concatenations of various C structs.
See `main()` in `runtime/tests/TinyEKF/extras/c/gps_ekf_fn.c` for specifics.
## Useful parsing of the log
_What is the average execution time of the first iteration?_
cat log.csv | grep ekf_first_iter | awk -F , '{ sum+=$5 } END{ print sum/NR }'

@ -21,10 +21,6 @@ else
echo "Running under gdb"
fi
one_iteration_expected_result="$(tr -d '\0' <./one_iteration.dat)"
two_iterations_expected_result="$(tr -d '\0' <./two_iterations.dat)"
three_iterations_expected_result="$(tr -d '\0' <./three_iterations.dat)"
success_count=0
total_count=50

@ -7,21 +7,17 @@
experiment_directory=$(pwd)
project_directory=$(cd ../../../.. && pwd)
binary_directory=$(cd "$project_directory"/bin && pwd)
# Copy Flower Image if not here
if [[ ! -f "./flower.jpg" ]]; then
cp ../../../../tests/sod/bin/flower.jpg ./flower.jpg
fi
log="$experiment_directory/log.csv"
if [ "$1" != "-d" ]; then
PATH="$binary_directory:$PATH" LD_LIBRARY_PATH="$binary_directory:$LD_LIBRARY_PATH" sledgert "$experiment_directory/spec.json" &
SLEDGE_SANDBOX_PERF_LOG=$log PATH="$binary_directory:$PATH" LD_LIBRARY_PATH="$binary_directory:$LD_LIBRARY_PATH" sledgert "$experiment_directory/spec.json" &
sleep 1
else
echo "Running under gdb"
fi
success_count=0
total_count=10
total_count=100
for ((i = 0; i < total_count; i++)); do
echo "$i"

Loading…
Cancel
Save