Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Improve type-inference performance #809

Merged
merged 16 commits into from
Dec 27, 2021
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
neaten perf-scripts
johnkerl committed Dec 26, 2021

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
commit 115d99999e559d1d9c9bfd1b5ed1c44fb0df76fc
22 changes: 11 additions & 11 deletions scripts/chain-cmps.sh
Original file line number Diff line number Diff line change
@@ -1,13 +1,13 @@
mlrs="mlr5 ~/tmp/miller/mlr ./mlr"
reps="1"
#mlrs="mlr5 ~/tmp/miller/mlr ./mlr"
#reps="1"

#mlrs="mlr5 ./mlr"
#reps="1 2 3"
mlrs="mlr5 ./mlr"
reps="1 2 3"

echo; for mlr in $mlrs; do for k in $reps; do justtime $mlr --csv --from ~/tmp/big.csv check | md5sum; done; done
echo; for mlr in $mlrs; do for k in $reps; do justtime $mlr --csv --from ~/tmp/big.csv cat | md5sum; done; done
echo; for mlr in $mlrs; do for k in $reps; do justtime $mlr --csv --from ~/tmp/big.csv head | md5sum; done; done
echo; for mlr in $mlrs; do for k in $reps; do justtime $mlr --csv --from ~/tmp/big.csv tail | md5sum; done; done
echo; for mlr in $mlrs; do for k in $reps; do justtime $mlr --csv --from ~/tmp/big.csv tac | md5sum; done; done
echo; for mlr in $mlrs; do for k in $reps; do justtime $mlr --csv --from ~/tmp/big.csv sort -f shape | md5sum; done; done
echo; for mlr in $mlrs; do for k in $reps; do justtime $mlr --csv --from ~/tmp/big.csv sort -n quantity | md5sum; done; done
echo; for mlr in $mlrs; do for k in $reps; do justtime $mlr --csv --from ~/tmp/big.csv check > /dev/null; done; done
echo; for mlr in $mlrs; do for k in $reps; do justtime $mlr --csv --from ~/tmp/big.csv cat > /dev/null; done; done
echo; for mlr in $mlrs; do for k in $reps; do justtime $mlr --csv --from ~/tmp/big.csv head > /dev/null; done; done
echo; for mlr in $mlrs; do for k in $reps; do justtime $mlr --csv --from ~/tmp/big.csv tail > /dev/null; done; done
echo; for mlr in $mlrs; do for k in $reps; do justtime $mlr --csv --from ~/tmp/big.csv tac > /dev/null; done; done
echo; for mlr in $mlrs; do for k in $reps; do justtime $mlr --csv --from ~/tmp/big.csv sort -f shape > /dev/null; done; done
echo; for mlr in $mlrs; do for k in $reps; do justtime $mlr --csv --from ~/tmp/big.csv sort -n quantity > /dev/null; done; done
2 changes: 1 addition & 1 deletion scripts/time-big-file
Original file line number Diff line number Diff line change
@@ -15,4 +15,4 @@ fi
if [ $# -eq 2 ]; then
mlr="$2"
fi
justtime $mlr $iflag cat ~/tmp/big.$suffix | md5sum -
justtime $mlr $iflag cat ~/tmp/big.$suffix > /dev/null
20 changes: 12 additions & 8 deletions scripts/time-big-files
Original file line number Diff line number Diff line change
@@ -2,12 +2,16 @@

ourdir=$(dirname $0)

mlrs="mlr5 ~/tmp/miller/mlr ./mlr"

echo; for mlr in $mlrs; do $ourdir/time-big-file csv $mlr; done
echo; for mlr in $mlrs; do $ourdir/time-big-file csvlite $mlr; done
echo; for mlr in $mlrs; do $ourdir/time-big-file dkvp $mlr; done
echo; for mlr in $mlrs; do $ourdir/time-big-file nidx $mlr; done
echo; for mlr in $mlrs; do $ourdir/time-big-file xtab $mlr; done
echo; for mlr in $mlrs; do $ourdir/time-big-file json $mlr; done
#mlrs="mlr5 ~/tmp/miller/mlr ./mlr"
mlrs="mlr5 ./mlr"

#reps="1"
reps="1 2 3"

echo; for mlr in $mlrs; do for k in $reps; do $ourdir/time-big-file csv $mlr; done; done
echo; for mlr in $mlrs; do for k in $reps; do $ourdir/time-big-file csvlite $mlr; done; done
echo; for mlr in $mlrs; do for k in $reps; do $ourdir/time-big-file dkvp $mlr; done; done
echo; for mlr in $mlrs; do for k in $reps; do $ourdir/time-big-file nidx $mlr; done; done
echo; for mlr in $mlrs; do for k in $reps; do $ourdir/time-big-file xtab $mlr; done; done
echo; for mlr in $mlrs; do for k in $reps; do $ourdir/time-big-file json $mlr; done; done