Commits

Yit Phang Khoo committed e88a6ad

Add pldi2014-benchmarks Makefile target.

Comments (0)

Files changed (1)

 
 exhaustive : all $(addprefix ocamlbuild//,runadapton.top runtestadapton.d.byte runbenchmarkadapton.native adaptimetest.native)
 
+# designed to run on an early 2009 Mac Pro with two 2.26 GHz quad-core Intel Xeons and 16 GB memory
+pldi2014-benchmarks : SEEDS = -S 1 2 3 4 5 6 7 8
+pldi2014-benchmarks : MODULES = -m "Adapton" "EagerTotalOrder" -b "EagerNonInc" "LazyNonInc"
+pldi2014-benchmarks : FLAGS = $(SEEDS) $(MODULES)
+pldi2014-benchmarks : BENCHMARK = $(MAKE) benchmark-adapton
+pldi2014-benchmarks : OUTDIR := $(CURDIR)/Results/BenchmarkAdapton/$(shell date "+%F-%H-%M-%S")
+pldi2014-benchmarks :
+	-$(BENCHMARK) BENCHMARK_FLAGS='-O "$(OUTDIR)/lazy" -L "monotonic-take-1" -t filter map -I 1000000 4 -T 1 -M $(FLAGS)'
+	-$(BENCHMARK) BENCHMARK_FLAGS='-O "$(OUTDIR)/lazy" -L "monotonic-take-1" -t quicksort -I 100000 4 -T 1 -M -P 4 $(FLAGS)'
+	-$(BENCHMARK) BENCHMARK_FLAGS='-O "$(OUTDIR)/lazy" -L "monotonic-take-1" -t mergesort -I 100000 4 -T 1 -M -P 2 $(FLAGS)'
+	-$(BENCHMARK) BENCHMARK_FLAGS='-O "$(OUTDIR)/batch" -L "monotonic-take-all" -t filter map -I 1000000 4 -T 1000001 -M $(FLAGS)'
+	-$(BENCHMARK) BENCHMARK_FLAGS='-O "$(OUTDIR)/batch" -L "monotonic-take-all" -t exptree "tfold(sum)" "tfold(min)" -I 1000000 4 -T 1 -M $(FLAGS)'
+	-$(BENCHMARK) BENCHMARK_FLAGS='-O "$(OUTDIR)/switch" -L "non-monotonic-take-all" -t filter map -I 1000000 4 -T 1000001 -P 4 $(FLAGS)'
+	-$(BENCHMARK) BENCHMARK_FLAGS='-O "$(OUTDIR)/switch" -L "non-monotonic-take-all" -t "tfold(sum)" "tfold(min)" -I 1000000 4 -T 1 -P 2 $(FLAGS)'
+	-$(BENCHMARK) BENCHMARK_FLAGS='-O "$(OUTDIR)/switch" -L "non-monotonic-take-all" -t exptree -I 1000000 4 -T 1 $(FLAGS)'
+	-$(BENCHMARK) BENCHMARK_FLAGS='-O "$(OUTDIR)/swap" -L "non-monotonic-take-all" -t updown1 updown2 -I 100000 4 -T 1 -P 2 $(FLAGS)'
+	-$(BENCHMARK) BENCHMARK_FLAGS='-O "$(OUTDIR)/trend" -L "monotonic-trend" -t quicksort -I 100000 -T 5000 4500 4000 3500 3000 2500 2000 1500 1000 500 200 100 50 20 10 5 2 1 -M $(SEEDS) -P 4 -m "Adapton" "EagerTotalOrder" "LazyNonInc" -b "EagerNonInc"'
+	-$(BENCHMARK) BENCHMARK_FLAGS='-O "$(OUTDIR)/trend" -L "monotonic-trend" -t mergesort -I 100000 -T 5000 4500 4000 3500 3000 2500 2000 1500 1000 500 200 100 50 20 10 5 2 1 -M $(SEEDS) -P 4 -m "Adapton" "LazyNonInc" -b "EagerNonInc"'
+
 include Makefile.rules