Compare commits

AST compact size (buildDeclTree)

Factor

compact size MiB

phase=buildDeclTree

*mean*	0.203
σ	0.000
min	0.203
max	0.203

AST compact size (macro expansion)

Factor

compact size MiB

phase=macro expansion

*mean*	5.301
σ	0.000
min	5.301
max	5.301

AST compact size (parser)

Factor

compact size MiB

phase=parser

*mean*	5.176
σ	0.000
min	5.176
max	5.176

AST compact size (processProdDef Decls)

Factor

compact size MiB

phase=processProdDef Decls

*mean*	5.676
σ	0.000
min	5.676
max	5.676

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.883
σ	0.000
min	446.883
max	446.883

AST compact size (renaming)

Factor

compact size MiB

phase=renaming

*mean*	5.488
σ	0.000
min	5.488
max	5.488

AST compact size (type checker)

Factor

compact size MiB

phase=type checker

*mean*	6.645-6.676=-0.031
σ	0.000
min	6.645-6.676=-0.031
max	6.645-6.676=-0.031

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	54.775-54.775=0.000
σ	0.361-0.365=-0.004
min	54.627-54.633=-0.006
max	55.803-55.813=-0.010

*mean*	418.700-418.000=0.700
σ	0.483-0.000=0.483
min	418.000
max	419.000-418.000=1.000

*mean*	0.139-0.139=0.000
σ	0.005-0.005=-0.000
min	0.132-0.130=0.002
max	0.146-0.147=-0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.774-43.773=0.001
σ	0.007-0.007=-0.000
min	43.761-43.763=-0.002
max	43.783-43.787=-0.004

*mean*	419.000-418.000=1.000
σ	0.000
min	419.000-418.000=1.000
max	419.000-418.000=1.000

*mean*	0.123-0.124=-0.001
σ	0.004-0.004=-0.001
min	0.120-0.120=-0.000
max	0.130-0.131=-0.001

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.617-36.617=-0.000
σ	0.000-0.000=0.000
min	36.617
max	36.618

*mean*	4580.000-4476.875=103.125
σ	2256.366-2208.293=48.073
min	1486.000-1470.000=16.000
max	7403.000-7286.000=117.000

*mean*	13.459-12.091=1.367
σ	3.507-0.190=3.317
min	12.045-11.914=0.131
max	22.126-12.535=9.591

op=column_set() on indexed, repeat

*mean*	36.617-36.617=0.000
σ	0.000-0.000=-0.000
min	36.617
max	36.618-36.618=0.000

*mean*	4580.000-4476.875=103.125
σ	2256.366-2208.293=48.073
min	1486.000-1470.000=16.000
max	7403.000-7286.000=117.000

*mean*	13.926-12.485=1.441
σ	3.336-0.524=2.812
min	11.722-11.514=0.208
max	22.113-12.890=9.222

op=table_records(), no indexes

*mean*	41.948-41.948=0.000
σ	0.002-0.002=-0.000
min	41.946-41.946=-0.000
max	41.951-41.950=0.001

*mean*	7403.000-7286.000=117.000
σ	0.000
min	7403.000-7286.000=117.000
max	7403.000-7286.000=117.000

*mean*	10.966-11.673=-0.707
σ	0.168-1.813=-1.645
min	10.700-10.748=-0.047
max	11.214-16.133=-4.919

op=table_records(), repeat

*mean*	41.933-41.933=0.000
σ	0.000-0.000=-0.000
min	41.933
max	41.934-41.934=-0.000

*mean*	4163.625-4476.875=-313.250
σ	1947.163-2208.293=-261.130
min	1486.000-1470.000=16.000
max	7403.000-7286.000=117.000

*mean*	11.673-11.324=0.349
σ	1.900-1.132=0.769
min	10.688-10.633=0.056
max	16.319-14.097=2.222

op=vertical_lookup_list() on indexed, after table_records()

*mean*	27.655-27.655=-0.000
σ	0.137-0.137=0.000
min	27.606
max	27.993

*mean*	4163.625-4476.875=-313.250
σ	1947.163-2208.293=-261.130
min	1486.000-1470.000=16.000
max	7403.000-7286.000=117.000

*mean*	9.079-8.763=0.317
σ	1.362-0.860=0.502
min	7.752-7.882=-0.130
max	12.303-10.612=1.692

op=vertical_lookup_list() on indexed, after table_records(), repeat

*mean*	26.406-26.406=0.000
σ	0.000-0.000=-0.000
min	26.406-26.406=0.000
max	26.406

*mean*	4163.625-4476.875=-313.250
σ	1947.163-2208.293=-261.130
min	1486.000-1470.000=16.000
max	7403.000-7286.000=117.000

*mean*	6.944-6.897=0.047
σ	1.048-0.592=0.455
min	6.262-6.385=-0.123
max	9.453-8.262=1.191

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.681-25.681=-0.000
σ	0.003-0.003=0.000
min	25.680
max	25.688

*mean*	4580.000-4476.875=103.125
σ	2256.366-2208.293=48.073
min	1486.000-1470.000=16.000
max	7403.000-7286.000=117.000

*mean*	6.266-6.018=0.248
σ	0.935-0.152=0.782
min	5.808-5.777=0.031
max	8.556-6.166=2.390

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.984-25.984=0.000
σ	0.000-0.000=-0.000
min	25.984
max	25.985-25.985=-0.000

*mean*	4580.000-4476.875=103.125
σ	2256.366-2208.293=48.073
min	1486.000-1470.000=16.000
max	7403.000-7286.000=117.000

*mean*	6.165-5.915=0.250
σ	1.011-0.171=0.840
min	5.686-5.642=0.044
max	8.647-6.133=2.514

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.627-1021.627=-0.000
σ	0.002-0.002=0.000
min	1021.625-1021.625=-0.000
max	1021.629

*mean*	7403.000-7286.000=117.000
σ	0.000
min	7403.000-7286.000=117.000
max	7403.000-7286.000=117.000

*mean*	361.823-346.921=14.903
σ	41.284-1.540=39.744
min	345.231-345.043=0.188
max	463.923-348.450=115.474

op=load_product(), with indexes

*mean*	3495.878-3495.878=0.000
σ	0.468-0.468=0.000
min	3495.713
max	3497.038-3497.037=0.001

*mean*	3744.500-3656.750=87.750
σ	2298.814-2234.164=64.650
min	719.000-725.000=-6.000
max	7403.000-7286.000=117.000

*mean*	1619.413-1593.584=25.829
σ	554.134-560.192=-6.058
min	1390.142-1390.497=-0.355
max	2981.764-2979.930=1.834

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense, minor warmup

*mean*	107.854-107.854=0.000
σ	0.000-0.000=0.000
min	107.854-107.853=0.000
max	107.855-107.854=0.000

*mean*	4398.500-4476.875=-78.375
σ	2227.802-2208.293=19.509
min	1486.000-1470.000=16.000
max	7403.000-7286.000=117.000

*mean*	236.094-136.055=100.038
σ	281.241-12.033=269.208
min	126.408-122.524=3.884
max	930.620-153.090=777.530

op=column_set() on unindexed, dense, repeat

*mean*	62.082-62.081=0.000
σ	0.000-0.000=0.000
min	62.081
max	62.082-62.082=0.001

*mean*	4580.000-4476.875=103.125
σ	2256.366-2208.293=48.073
min	1486.000-1470.000=16.000
max	7403.000-7286.000=117.000

*mean*	169.667-43.962=125.705
σ	352.743-1.778=350.964
min	42.680-42.004=0.676
max	1042.644-47.186=995.458

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948-40.948=-0.000
σ	0.002-0.002=0.000
min	40.947
max	40.950

*mean*	7403.000-7286.000=117.000
σ	0.000
min	7403.000-7286.000=117.000
max	7403.000-7286.000=117.000

*mean*	22.567-84.966=-62.399
σ	1.787-179.095=-177.308
min	21.516-21.381=0.135
max	25.746-528.202=-502.456

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.308-71.308=0.000
σ	0.002-0.002=-0.000
min	71.307-71.307=0.000
max	71.311-71.311=0.000

*mean*	7403.000-7286.000=117.000
σ	0.000
min	7403.000-7286.000=117.000
max	7403.000-7286.000=117.000

*mean*	299.552-64.345=235.208
σ	687.371-24.398=662.974
min	55.232-55.008=0.223
max	2000.699-124.717=1875.982

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.851-4646.851=-0.000
σ	0.014-0.014=0.000
min	4646.845
max	4646.885

*mean*	4163.625-4476.875=-313.250
σ	1947.163-2208.293=-261.130
min	1486.000-1470.000=16.000
max	7403.000-7286.000=117.000

*mean*	3170.135-3610.914=-440.779
σ	902.440-822.797=79.642
min	2495.583-2497.735=-2.152
max	4786.024-4993.060=-207.036

op=vertical_lookup_list() on indexed

*mean*	1973.851
σ	0.002
min	1973.849
max	1973.854

*mean*	7403.000-7286.000=117.000
σ	0.000
min	7403.000-7286.000=117.000
max	7403.000-7286.000=117.000

*mean*	1094.320-1020.187=74.133
σ	307.748-210.542=97.206
min	912.954-910.903=2.051
max	1775.605-1491.368=284.237

op=vertical_lookup_list() on unindexed missing Int, minor warmup

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7403.000-7286.000=117.000
σ	0.000
min	7403.000-7286.000=117.000
max	7403.000-7286.000=117.000

*mean*	404.181-388.327=15.854
σ	37.608-2.768=34.841
min	386.027-382.445=3.582
max	496.795-390.606=106.190

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	148.144
σ	0.001
min	148.144
max	148.148

*mean*	477.000-476.000=1.000
σ	0.000-1.069=-1.069
min	477.000-475.000=2.000
max	477.000

*mean*	360.545-376.071=-15.526
σ	29.703-19.826=9.877
min	306.858-339.751=-32.893
max	395.739-406.308=-10.568

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	562.000-559.125=2.875
σ	0.000-2.642=-2.642
min	562.000-553.000=9.000
max	562.000

*mean*	763.783-738.520=25.262
σ	56.421-71.898=-15.477
min	682.568-598.500=84.068
max	842.520-814.734=27.787

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.971-963.970=0.001
σ	1.821-1.822=-0.001
min	963.262-963.263=-0.000
max	971.673-971.675=-0.002

*mean*	1047.550-1032.050=15.500
σ	320.292-301.006=19.286
min	545.000-552.000=-7.000
max	1570.000-1459.000=111.000

*mean*	1.275-1.277=-0.002
σ	0.109-0.136=-0.027
min	1.191-1.182=0.009
max	1.645-1.799=-0.154

Parser: Comma Sep

Factor

allocated MiB

peak allocated MiB

time (ms)

name=ambiguous_item.art

*mean*	0.913
σ	0.020
min	0.903
max	0.949

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.297-0.306=-0.008
σ	0.287-0.302=-0.015
min	0.148-0.140=0.009
max	0.807-0.840=-0.033

name=error_case.art

*mean*	2.340
σ	0.012
min	2.334
max	2.362

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.475-0.481=-0.006
σ	0.325-0.322=0.003
min	0.316-0.331=-0.016
max	1.055-1.057=-0.002

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.521
max	1.525

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.217-0.217=-0.000
σ	0.024-0.021=0.003
min	0.200-0.206=-0.005
max	0.259-0.255=0.004

name=nested_use.art

*mean*	2.358
σ	0.002
min	2.357
max	2.361

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.325-0.333=-0.008
σ	0.008-0.018=-0.010
min	0.318-0.317=0.002
max	0.339-0.362=-0.024

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.971
σ	0.011
min	964.965
max	964.989

*mean*	436.000
σ	5.612
min	431.000
max	442.000

*mean*	0.564-0.548=0.016
σ	0.032-0.040=-0.008
min	0.531-0.491=0.040
max	0.599-0.584=0.015

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	0.460-0.479=-0.018
σ	0.059-0.031=0.027
min	0.390-0.452=-0.062
max	0.516-0.516=-0.000

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.710
σ	0.002
min	7.709
max	7.713

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	2.586-2.532=0.054
σ	0.087-0.082=0.005
min	2.439-2.392=0.047
max	2.865-2.804=0.061

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	2.570-2.547=0.023
σ	0.070-0.077=-0.007
min	2.462-2.418=0.044
max	2.817-2.818=-0.001

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	0.316-0.303=0.013
σ	0.049-0.012=0.037
min	0.291-0.283=0.008
max	0.721-0.383=0.338

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	0.293-0.291=0.002
σ	0.009-0.011=-0.002
min	0.279-0.274=0.005
max	0.336-0.365=-0.029

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.693-11.748=-0.055
σ	11.096-11.647=-0.552
min	0.577-0.573=0.004
max	87.142-109.053=-21.912

*mean*	462.676-459.924=2.752
σ	19.867-19.594=0.273
min	406.000-407.000=-1.000
max	479.000

*mean*	0.027-0.027=-0.000
σ	0.027-0.028=-0.001
min	0.001-0.001=0.000
max	0.212-0.263=-0.051

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.582-278.612=-0.029
σ	1.022-1.126=-0.103
min	278.116-278.122=-0.006
max	281.482-281.801=-0.319

*mean*	443.700-447.200=-3.500
σ	17.770-22.095=-4.324
min	416.000-414.000=2.000
max	473.000-477.000=-4.000

*mean*	0.582-0.579=0.004
σ	0.016-0.018=-0.002
min	0.547-0.531=0.016
max	0.613-0.594=0.019

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	173.738-173.738=-0.000
σ	0.000-0.000=-0.000
min	173.738
max	173.738-173.738=-0.000

*mean*	840.000-839.000=1.000
σ	0.000
min	840.000-839.000=1.000
max	840.000-839.000=1.000

*mean*	233.375-241.502=-8.127
σ	21.558-16.690=4.868
min	200.238-202.519=-2.281
max	252.078-258.186=-6.108

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	840.000-839.000=1.000
σ	0.000
min	840.000-839.000=1.000
max	840.000-839.000=1.000

*mean*	9.687-9.526=0.161
σ	0.304-0.100=0.204
min	9.471-9.342=0.129
max	10.400-9.705=0.695

phase=parser

*mean*	1042.435-1042.431=0.004
σ	0.000-0.000=-0.000
min	1042.434-1042.431=0.004
max	1042.435-1042.431=0.004

*mean*	840.000-839.000=1.000
σ	0.000
min	840.000-839.000=1.000
max	840.000-839.000=1.000

*mean*	595.734-588.497=7.237
σ	3.648-4.943=-1.295
min	591.571-578.534=13.037
max	601.436-592.884=8.552

phase=processProdDef

*mean*	2243.975-2243.978=-0.003
σ	0.000
min	2243.975-2243.978=-0.003
max	2243.975-2243.978=-0.003

*mean*	840.000-839.000=1.000
σ	0.000
min	840.000-839.000=1.000
max	840.000-839.000=1.000

*mean*	2804.972-2554.118=250.854
σ	134.504-291.708=-157.205
min	2654.972-1995.627=659.345
max	3091.288-2871.553=219.735

phase=renaming

*mean*	21.675-21.671=0.004
σ	0.000
min	21.675-21.671=0.004
max	21.675-21.671=0.004

*mean*	840.000-839.000=1.000
σ	0.000
min	840.000-839.000=1.000
max	840.000-839.000=1.000

*mean*	39.091-40.424=-1.333
σ	2.560-0.573=1.987
min	32.771-39.682=-6.911
max	40.222-41.435=-1.214

phase=type checker

*mean*	989.752-989.755=-0.004
σ	0.066
min	989.654-989.658=-0.004
max	989.841-989.845=-0.004

*mean*	840.000-839.000=1.000
σ	0.000
min	840.000-839.000=1.000
max	840.000-839.000=1.000

*mean*	699.529-674.081=25.448
σ	50.138-1.977=48.160
min	671.836-671.863=-0.027
max	820.167-677.687=142.480

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.393-282.387=0.006
σ	0.036-0.037=-0.001
min	282.338-282.338=0.000
max	282.426-282.429=-0.003

*mean*	444.800-441.200=3.600
σ	1.095-3.347=-2.251
min	444.000-438.000=6.000
max	446.000

*mean*	0.380-0.381=-0.001
σ	0.006-0.006=-0.000
min	0.373-0.376=-0.003
max	0.389-0.389=0.000

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.113-1267.092=0.020
σ	0.129-0.085=0.044
min	1267.005-1266.995=0.011
max	1267.334-1267.228=0.106

*mean*	1087.600-1111.800=-24.200
σ	168.728-171.491=-2.763
min	854.000-897.000=-43.000
max	1285.000-1335.000=-50.000

*mean*	1.854-2.022=-0.168
σ	0.060-0.140=-0.080
min	1.787-1.866=-0.079
max	1.908-2.190=-0.281

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.091-1506.122=-0.031
σ	2.914-2.891=0.023
min	1504.615-1504.647=-0.032
max	1511.296-1511.285=0.011

*mean*	617.000-638.200=-21.200
σ	77.878-74.560=3.318
min	497.000-540.000=-43.000
max	704.000-728.000=-24.000

*mean*	2.128-2.314=-0.186
σ	0.110-0.268=-0.158
min	2.041-2.039=0.002
max	2.311-2.650=-0.339

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.105-1829.117=-0.011
σ	0.041-0.078=-0.037
min	1829.050-1829.032=0.018
max	1829.160-1829.228=-0.068

*mean*	1714.600-1762.000=-47.400
σ	240.164-213.743=26.421
min	1411.000-1492.000=-81.000
max	2016.000-1969.000=47.000

*mean*	2.808-3.145=-0.337
σ	0.034-0.357=-0.323
min	2.762-2.750=0.012
max	2.857-3.504=-0.647

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.707-1.688=0.019
σ	0.094-0.162=-0.068
min	1.568-1.428=0.140
max	1.827-1.809=0.017

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.697-397.697=0.000
σ	518.051-518.051=0.000
min	138.669-138.669=-0.000
max	1174.774-1174.773=0.001

*mean*	97.750
σ	7.500
min	94.000
max	109.000

*mean*	444.000-447.000=-3.000
σ	0.000
min	444.000-447.000=-3.000
max	444.000-447.000=-3.000

*mean*	0.501-0.492=0.009
σ	0.526-0.515=0.011
min	0.235-0.233=0.002
max	1.290-1.265=0.025

policies=20

*mean*	1386.830-1386.826=0.004
σ	0.161-0.159=0.002
min	1386.717-1386.714=0.003
max	1387.068-1387.061=0.007

*mean*	940.000
σ	0.000
min	940.000
max	940.000

*mean*	444.000-448.500=-4.500
σ	0.000-1.732=-1.732
min	444.000-447.000=-3.000
max	444.000-450.000=-6.000

*mean*	2.310-2.313=-0.003
σ	0.007-0.015=-0.007
min	2.301-2.296=0.004
max	2.317-2.332=-0.015

policies=200

*mean*	13876.891-13876.881=0.010
σ	0.096-0.111=-0.015
min	13876.833-13876.814=0.019
max	13877.035-13877.047=-0.012

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	495.000-495.250=-0.250
σ	6.831-3.775=3.056
min	488.000-490.000=-2.000
max	504.000-499.000=5.000

*mean*	23.391-23.456=-0.065
σ	0.108-0.121=-0.013
min	23.240-23.339=-0.099
max	23.497-23.607=-0.110