1. Yit Phang Khoo
  2. Adapton.ocaml

Commits

Author Commit Message Date Builds
Yit Phang Khoo
Add hyperlinks and summary to benchmark results.
Yit Phang Khoo
Invalidate timestamps before replacing them in EagerSATotalOrder.
Yit Phang Khoo
Add some sanity checks to TotalOrder.
Yit Phang Khoo
Fix TotalOrder so that all valid elements can be properly invalidated (the initial element is considered invalid).
Yit Phang Khoo
Immediately unqueue invalidated thunks in EagerSATotalOrder before nulling out timestamps, to ensure that the priority queue is correctly ordered.
Yit Phang Khoo
Remove an unused function from EagerSATotalOrder since #75f62053c596.
Yit Phang Khoo
Minor refactoring of EagerSATotalOrder to unify updating of thunk values.
Yit Phang Khoo
Use xbound/ybound instead of xlim/ylim to scale and zero the axis of the benchmark results.
Yit Phang Khoo
Remove dependencies list from EagerSATotalOrder, which is no longer neccessary as of #533dc40fafdc since the TotalOrder invalidation callback also provides a strong reference to prevent the GC from collecting intermediate dependencies.
Yit Phang Khoo
Extract EagerSATotalOrder.TotalOrder into a new module TotalOrder.
Yit Phang Khoo
Resolve "latest" symlink to use as label for benchmark summary.
Yit Phang Khoo
Check that the process count is valid in benchmark.
Yit Phang Khoo
Also report maximum load and minimum memory in benchmark heartbeat.
Yit Phang Khoo
Fix benchmark heartbeat to report actual free memory (rather than "available" memory which misleadingly isn't necessarily available).
Yit Phang Khoo
Extract EagerSATotalOrder.PriorityQueue into a new module PrioritySet, and make it mutable.
Yit Phang Khoo
Add Types.Counter and use it.
Yit Phang Khoo
Unify receipt implementation in LazySABidi.
Yit Phang Khoo
Refactor LazySABidi to make repair and receipt both polymorphic in the continuation, and thread the value and receipt through the continuation of repair (more composable but slightly slower and uses a bit more memory).
Yit Phang Khoo
Account for duplicate input sizes/take counts for benchmark.
Yit Phang Khoo
Avoid making empty plots in benchmark.
Yit Phang Khoo
Allow benchmark to compare non self-adjusting modules.
Yit Phang Khoo
Memoize a bit more of SAList.memo_mergesort.
Yit Phang Khoo
Make linear probing window for WeakSet a function of size, not constant.
Yit Phang Khoo
Add comments to WeakSet.
Yit Phang Khoo
Minor refactoring in LazySABidi.
Yit Phang Khoo
Minor refactoring in EagerSATotalOrder.
Yit Phang Khoo
No need to restore eager_finger during refresh in EagerSATotalOrder.
Yit Phang Khoo
Remove timestamps for const/update_const and add timestamps as well as compute the value eagerly for update_thunk in EagerSATotalOrder.
Yit Phang Khoo
Restore eager_now timestamp after refreshing in EagerSATotalOrder.
Yit Phang Khoo
Minor refactoring to remove set_eager_now from EagerSATotalOrder.
  1. Prev
  2. Next