Home / Branches / federicoroffi/exp-1688-improve-filtering-and-grouping-in-the-placement-supertable / 03ab043a7f18ea3b8682a67e203b06115c21c287
| Factor | compact size MiB | ||||||||
|---|---|---|---|---|---|---|---|---|---|
phase=buildDeclTree |
|
| Factor | compact size MiB | ||||||||
|---|---|---|---|---|---|---|---|---|---|
phase=macro expansion |
|
| Factor | compact size MiB | ||||||||
|---|---|---|---|---|---|---|---|---|---|
phase=parser |
|
| Factor | compact size MiB | ||||||||
|---|---|---|---|---|---|---|---|---|---|
phase=processProdDef Decls |
|
| Factor | compact size MiB | ||||||||
|---|---|---|---|---|---|---|---|---|---|
phase=processProdDef |
|
| Factor | compact size MiB | ||||||||
|---|---|---|---|---|---|---|---|---|---|
phase=renaming |
|
| Factor | compact size MiB | ||||||||
|---|---|---|---|---|---|---|---|---|---|
phase=type checker |
|
| Factor | allocated MiB | peak allocated MiB | time_s | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
cache=n dps=1 iters=10 policies=100 |
|
|
| ||||||||||||||||||||||||
cache=y dps=1 iters=10 policies=100 |
|
|
|
| Factor | allocated MiB | peak allocated MiB | time (ms) | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
op=column_set() on indexed |
|
|
| ||||||||||||||||||||||||
op=column_set() on indexed, repeat |
|
|
| ||||||||||||||||||||||||
op=table_records(), no indexes |
|
|
| ||||||||||||||||||||||||
op=table_records(), repeat |
|
|
| ||||||||||||||||||||||||
op=vertical_lookup_list() on indexed, after table_records() |
|
|
| ||||||||||||||||||||||||
op=vertical_lookup_list() on indexed, after table_records(), repeat |
|
|
| ||||||||||||||||||||||||
op=vertical_lookup_row_list() on 2 indexed |
|
|
| ||||||||||||||||||||||||
op=vertical_lookup_row_list() on 3 (1 unindexed) |
|
|
|
| Factor | allocated MiB | peak allocated MiB | time (ms) | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
op=load_product(), no indexes |
|
|
| ||||||||||||||||||||||||
op=load_product(), with indexes |
|
|
|
| Factor | allocated MiB | peak allocated MiB | time (ms) | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
op=column_set() on unindexed, dense, minor warmup |
|
|
| ||||||||||||||||||||||||
op=column_set() on unindexed, dense, repeat |
|
|
| ||||||||||||||||||||||||
op=vertical_lookup_list() repeated on unindexed missing Int |
|
|
| ||||||||||||||||||||||||
op=vertical_lookup_row_list() on unindexed small unique Int |
|
|
|
| Factor | allocated MiB | peak allocated MiB | time (ms) | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
op=table_records() |
|
|
| ||||||||||||||||||||||||
op=vertical_lookup_list() on indexed |
|
|
| ||||||||||||||||||||||||
op=vertical_lookup_list() on unindexed missing Int, minor warmup |
|
|
|
| Factor | allocated MiB | peak allocated MiB | time (ms) | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
op=pointedIndexFromKvs rows=200000 |
|
|
| ||||||||||||||||||||||||
op=pointedIndexFromKvs rows=400000 |
|
|
|
| Factor | allocated MiB | peak allocated MiB | time | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
datapoints=1 iterations=20 |
|
|
|
| Factor | allocated MiB | peak allocated MiB | time (ms) | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
name=ambiguous_item.art |
|
|
| ||||||||||||||||||||||||
name=error_case.art |
|
|
| ||||||||||||||||||||||||
name=heavy_item.art |
|
|
| ||||||||||||||||||||||||
name=nested_use.art |
|
|
|
| Factor | allocated MiB | peak allocated MiB | time (sec) | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
name=aon_gpf25_7k_loc.art |
|
|
| ||||||||||||||||||||||||
name=cdr_enhanced_4k_loc.art |
|
|
|
| Factor | allocated MiB | peak allocated MiB | time (ms) | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
name=record_render_large_success.art |
|
|
| ||||||||||||||||||||||||
name=record_render_large_syntax_err.art |
|
|
| ||||||||||||||||||||||||
name=record_render_success.art |
|
|
| ||||||||||||||||||||||||
name=record_render_syntax_err.art |
|
|
|
| Factor | allocated MiB | peak allocated MiB | time_s | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
number of threads=8 revision count=1000 |
|
|
|
| Factor | allocated MiB | peak allocated MiB | time_s | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
iters=10 rows=1000 |
|
|
|
| Factor | allocated MiB | peak allocated MiB | time (ms) | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
phase=buildDeclTree |
|
|
| ||||||||||||||||||||||||
phase=macro expansion |
|
|
| ||||||||||||||||||||||||
phase=parser |
|
|
| ||||||||||||||||||||||||
phase=processProdDef |
|
|
| ||||||||||||||||||||||||
phase=renaming |
|
|
| ||||||||||||||||||||||||
phase=type checker |
|
|
|
| Factor | allocated MiB | peak allocated MiB | time | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
iters=5 new-facts=1 prior-facts=1 |
|
|
| ||||||||||||||||||||||||
iters=5 new-facts=1 prior-facts=6402 |
|
|
| ||||||||||||||||||||||||
iters=5 new-facts=6402 prior-facts=1 |
|
|
| ||||||||||||||||||||||||
iters=5 new-facts=6402 prior-facts=6402 |
|
|
|
| Factor | time_s | ||||||||
|---|---|---|---|---|---|---|---|---|---|
iterations=5 |
|
| Factor | allocated MiB | db queries | peak allocated MiB | time | ||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
policies=2 |
|
|
|
| ||||||||||||||||||||||||||||||||
policies=20 |
|
|
|
| ||||||||||||||||||||||||||||||||
policies=200 |
|
|
|
|