From a2617fd83c2c71aca272685eaa1669f53be02f95 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 17 Nov 2014 09:20:04 +0100 Subject: [PATCH] more precise benchmarks for caches --- benchs/run_benchs.ml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/benchs/run_benchs.ml b/benchs/run_benchs.ml index d8cfd8e4..2443cfbb 100644 --- a/benchs/run_benchs.ml +++ b/benchs/run_benchs.ml @@ -142,8 +142,11 @@ module Cache = struct let bench_fib n = let l = - [ "replacing_fib", make_fib (Cache.replacing 256), n - ; "LRU_fib", make_fib (Cache.lru 256), n + [ "replacing_fib (128)", make_fib (Cache.replacing 128), n + ; "LRU_fib (128)", make_fib (Cache.lru 128), n + ; "replacing_fib (16)", make_fib (Cache.replacing 16), n + ; "LRU_fib (16)", make_fib (Cache.lru 16), n + ; "unbounded", make_fib (Cache.unbounded 32), n ] in let l = if n <= 20