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
σ	0.000
min	6.645
max	6.645

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	54.772-54.775=-0.003
σ	0.366-0.366=-0.000
min	54.628-54.632=-0.005
max	55.813-55.817=-0.004

*mean*	420.700-418.000=2.700
σ	0.483-0.000=0.483
min	420.000-418.000=2.000
max	421.000-418.000=3.000

*mean*	0.136-0.140=-0.004
σ	0.004-0.004=0.000
min	0.132-0.136=-0.005
max	0.144-0.146=-0.002

cache=y

dps=1

iters=10

policies=100

*mean*	43.774-43.773=0.001
σ	0.006-0.006=0.000
min	43.763-43.764=-0.001
max	43.784-43.783=0.001

*mean*	421.000-418.000=3.000
σ	0.000
min	421.000-418.000=3.000
max	421.000-418.000=3.000

*mean*	0.122-0.122=0.000
σ	0.005-0.003=0.002
min	0.116-0.115=0.001
max	0.133-0.128=0.005

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-36.618=0.000

*mean*	4593.000-4586.125=6.875
σ	2247.207-2252.244=-5.037
min	1487.000
max	7384.000-7399.000=-15.000

*mean*	147.555-13.769=133.786
σ	382.374-3.394=378.980
min	11.893-11.684=0.209
max	1093.883-20.712=1073.170

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*	4593.000-4586.125=6.875
σ	2247.207-2252.244=-5.037
min	1487.000
max	7384.000-7399.000=-15.000

*mean*	13.480-13.699=-0.219
σ	4.408-3.444=0.964
min	11.489-11.232=0.257
max	24.323-20.242=4.081

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.951=-0.000

*mean*	7384.000-7399.000=-15.000
σ	0.000
min	7384.000-7399.000=-15.000
max	7384.000-7399.000=-15.000

*mean*	11.942-11.160=0.781
σ	1.772-0.275=1.497
min	10.969-10.856=0.113
max	16.254-11.720=4.534

op=table_records(), repeat

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

*mean*	4185.125-4173.500=11.625
σ	1943.921-1944.668=-0.748
min	1487.000
max	7384.000-7399.000=-15.000

*mean*	11.849-11.761=0.087
σ	1.598-1.654=-0.056
min	10.805-10.857=-0.052
max	15.747-15.823=-0.076

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

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

*mean*	4185.125-4173.500=11.625
σ	1943.921-1944.668=-0.748
min	1487.000
max	7384.000-7399.000=-15.000

*mean*	9.053-8.924=0.129
σ	1.346-1.418=-0.072
min	7.745-8.076=-0.331
max	12.240-12.400=-0.161

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*	4185.125-4173.500=11.625
σ	1943.921-1944.668=-0.748
min	1487.000
max	7384.000-7399.000=-15.000

*mean*	6.763-6.714=0.050
σ	1.072-1.030=0.041
min	5.933-6.008=-0.075
max	9.194-9.200=-0.006

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-25.688=-0.000

*mean*	4593.000-4586.125=6.875
σ	2247.207-2252.244=-5.037
min	1487.000
max	7384.000-7399.000=-15.000

*mean*	6.355-6.309=0.045
σ	0.965-0.615=0.349
min	5.807-5.740=0.067
max	8.714-7.377=1.338

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-25.984=-0.000
max	25.985-25.985=-0.000

*mean*	4593.000-4586.125=6.875
σ	2247.207-2252.244=-5.037
min	1487.000
max	7384.000-7399.000=-15.000

*mean*	6.132-6.143=-0.011
σ	1.091-0.680=0.411
min	5.420-5.658=-0.238
max	8.800-7.297=1.503

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.627
σ	0.002
min	1021.625
max	1021.629

*mean*	7384.000-7399.000=-15.000
σ	0.000
min	7384.000-7399.000=-15.000
max	7384.000-7399.000=-15.000

*mean*	348.010-361.235=-13.226
σ	2.906-43.550=-40.644
min	345.676-343.067=2.609
max	353.591-468.924=-115.333

op=load_product(), with indexes

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

*mean*	3760.000-3751.250=8.750
σ	2299.345-2298.035=1.311
min	720.000
max	7384.000-7399.000=-15.000

*mean*	1759.678-1760.857=-1.179
σ	675.788-624.504=51.284
min	1389.166-1386.182=2.984
max	2940.392-2777.379=163.013

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

*mean*	4414.125-4407.250=6.875
σ	2216.713-2223.302=-6.589
min	1487.000
max	7384.000-7399.000=-15.000

*mean*	277.356-240.916=36.440
σ	402.381-306.027=96.354
min	122.997-123.785=-0.788
max	1272.186-997.208=274.978

op=column_set() on unindexed, dense, repeat

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

*mean*	4414.125-4586.125=-172.000
σ	2216.713-2252.244=-35.531
min	1487.000
max	7384.000-7399.000=-15.000

*mean*	45.777-187.160=-141.383
σ	8.399-399.686=-391.287
min	41.387-40.355=1.032
max	66.216-1176.141=-1109.925

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*	7384.000-7399.000=-15.000
σ	0.000
min	7384.000-7399.000=-15.000
max	7384.000-7399.000=-15.000

*mean*	215.888-23.215=192.673
σ	545.704-1.906=543.799
min	21.817-21.734=0.083
max	1566.427-27.115=1539.312

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

*mean*	7384.000-7399.000=-15.000
σ	0.000
min	7384.000-7399.000=-15.000
max	7384.000-7399.000=-15.000

*mean*	65.328-331.115=-265.787
σ	24.451-776.264=-751.813
min	55.089-54.617=0.472
max	125.256-2252.258=-2127.002

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.851-4646.850=0.000
σ	0.014-0.014=-0.000
min	4646.845
max	4646.884

*mean*	4185.125-4173.500=11.625
σ	1943.921-1944.668=-0.748
min	1487.000
max	7384.000-7399.000=-15.000

*mean*	3256.325-3238.568=17.757
σ	698.823-760.202=-61.379
min	2476.657-2482.712=-6.054
max	4242.099-4335.158=-93.059

op=vertical_lookup_list() on indexed

*mean*	1973.851
σ	0.002
min	1973.849
max	1973.854

*mean*	7384.000-7399.000=-15.000
σ	0.000
min	7384.000-7399.000=-15.000
max	7384.000-7399.000=-15.000

*mean*	996.525-1050.026=-53.501
σ	156.539-194.675=-38.136
min	912.826-916.955=-4.129
max	1347.062-1397.744=-50.682

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

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7384.000-7399.000=-15.000
σ	0.000
min	7384.000-7399.000=-15.000
max	7384.000-7399.000=-15.000

*mean*	391.019-406.309=-15.289
σ	4.801-37.227=-32.427
min	381.149-390.388=-9.240
max	395.981-498.257=-102.276

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*	475.125-474.875=0.250
σ	1.246
min	474.000
max	478.000-477.000=1.000

*mean*	391.542-373.942=17.600
σ	21.610-38.298=-16.688
min	366.272-315.399=50.873
max	438.111-427.554=10.557

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	562.000-559.000=3.000
σ	0.000
min	562.000-559.000=3.000
max	562.000-559.000=3.000

*mean*	751.176-747.583=3.593
σ	53.411-84.247=-30.836
min	653.262-603.086=50.176
max	826.080-829.151=-3.071

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.972-963.973=-0.001
σ	1.820-1.821=-0.002
min	963.263-963.263=-0.000
max	971.667-971.675=-0.008

*mean*	1041.050-1041.850=-0.800
σ	308.054-305.491=2.564
min	562.000-568.000=-6.000
max	1491.000-1490.000=1.000

*mean*	1.277-1.271=0.006
σ	0.097-0.079=0.017
min	1.181-1.185=-0.005
max	1.505-1.479=0.026

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.296-0.292=0.005
σ	0.291-0.267=0.024
min	0.143-0.151=-0.008
max	0.812-0.765=0.047

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.482-0.479=0.003
σ	0.329-0.315=0.014
min	0.324-0.326=-0.002
max	1.070-1.042=0.028

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.229-0.220=0.009
σ	0.024-0.026=-0.002
min	0.209-0.194=0.015
max	0.268-0.262=0.007

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.336-0.336=-0.000
σ	0.016-0.029=-0.012
min	0.322-0.313=0.008
max	0.363-0.386=-0.023

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*	437.000-442.200=-5.200
σ	6.595-4.025=2.571
min	431.000-435.000=-4.000
max	444.000

*mean*	0.521-0.541=-0.020
σ	0.082-0.068=0.015
min	0.420-0.439=-0.019
max	0.604-0.606=-0.002

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	444.000
σ	0.000
min	444.000
max	444.000

*mean*	0.461-0.444=0.017
σ	0.025-0.038=-0.013
min	0.427-0.411=0.016
max	0.487-0.501=-0.014

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*	444.000
σ	0.000
min	444.000
max	444.000

*mean*	2.665-2.618=0.046
σ	0.139-0.105=0.034
min	2.453-2.479=-0.026
max	3.535-3.259=0.276

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	444.000
σ	0.000
min	444.000
max	444.000

*mean*	2.268-2.588=-0.320
σ	0.362-0.126=0.236
min	1.871-2.438=-0.566
max	2.960-3.377=-0.417

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	444.000
σ	0.000
min	444.000
max	444.000

*mean*	0.303-0.305=-0.002
σ	0.008-0.009=-0.001
min	0.290-0.284=0.007
max	0.351-0.352=-0.001

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	444.000
σ	0.000
min	444.000
max	444.000

*mean*	0.290-0.303=-0.013
σ	0.006-0.092=-0.086
min	0.278-0.272=0.006
max	0.321-1.062=-0.741

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.814-11.429=0.385
σ	11.817-11.342=0.475
min	0.574-0.574=0.000
max	87.140-88.772=-1.632

*mean*	466.609-461.933=4.676
σ	20.631-17.528=3.102
min	406.000-409.000=-3.000
max	480.000-478.000=2.000

*mean*	0.027-0.026=0.001
σ	0.029-0.028=0.001
min	0.001-0.001=-0.000
max	0.209-0.213=-0.004

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.652-278.721=-0.068
σ	1.056-1.031=0.025
min	278.225-278.322=-0.097
max	281.655-281.652=0.003

*mean*	445.700-444.800=0.900
σ	18.080-17.769=0.311
min	426.000-417.000=9.000
max	474.000-465.000=9.000

*mean*	0.579-0.577=0.002
σ	0.021-0.027=-0.006
min	0.540-0.509=0.031
max	0.613-0.609=0.004

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*	844.000-860.000=-16.000
σ	0.000
min	844.000-860.000=-16.000
max	844.000-860.000=-16.000

*mean*	222.369-233.494=-11.126
σ	23.444-25.297=-1.853
min	197.352-198.457=-1.104
max	254.150-258.086=-3.936

phase=macro expansion

*mean*	6.130-6.130=-0.000
σ	0.000-0.001=-0.001
min	6.130
max	6.130-6.133=-0.004

*mean*	843.375-860.000=-16.625
σ	1.768-0.000=1.768
min	839.000-860.000=-21.000
max	844.000-860.000=-16.000

*mean*	8.914-9.146=-0.232
σ	1.246-0.906=0.340
min	6.538-7.572=-1.033
max	9.758-9.965=-0.206

phase=parser

*mean*	1042.438-1042.435=0.002
σ	0.000-0.001=-0.001
min	1042.437-1042.432=0.005
max	1042.438-1042.436=0.002

*mean*	843.375-860.000=-16.625
σ	1.768-0.000=1.768
min	839.000-860.000=-21.000
max	844.000-860.000=-16.000

*mean*	558.000-587.552=-29.552
σ	68.030-34.922=33.108
min	426.704-504.536=-77.832
max	603.185-616.954=-13.769

phase=processProdDef

*mean*	2243.974-2243.976=-0.002
σ	0.000-0.001=-0.001
min	2243.974-2243.976=-0.002
max	2243.974-2243.979=-0.004

*mean*	844.000-860.000=-16.000
σ	0.000
min	844.000-860.000=-16.000
max	844.000-860.000=-16.000

*mean*	2827.871-2595.025=232.846
σ	465.193-503.165=-37.972
min	1994.308-1909.723=84.585
max	3512.224-3153.286=358.938

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	843.375-860.000=-16.625
σ	1.768-0.000=1.768
min	839.000-860.000=-21.000
max	844.000-860.000=-16.000

*mean*	35.915-36.390=-0.476
σ	7.897-6.184=1.713
min	20.548-26.092=-5.544
max	40.495-40.772=-0.278

phase=type checker

*mean*	989.755-989.755=0.000
σ	0.066-0.066=-0.001
min	989.658-989.654=0.004
max	989.845

*mean*	843.375-860.000=-16.625
σ	1.768-0.000=1.768
min	839.000-860.000=-21.000
max	844.000-860.000=-16.000

*mean*	698.558-682.303=16.255
σ	33.317-8.843=24.474
min	662.039-665.167=-3.128
max	770.877-692.340=78.537

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.394-282.393=0.001
σ	0.036-0.024=0.012
min	282.338-282.372=-0.034
max	282.426-282.424=0.001

*mean*	444.400-444.000=0.400
σ	0.548-0.000=0.548
min	444.000
max	445.000-444.000=1.000

*mean*	0.380-0.381=-0.002
σ	0.005-0.007=-0.002
min	0.376-0.376=-0.000
max	0.388-0.390=-0.002

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.109-1267.120=-0.011
σ	0.100-0.100=-0.000
min	1266.990-1266.992=-0.002
max	1267.266-1267.269=-0.003

*mean*	1114.400-1112.400=2.000
σ	170.154
min	899.000-897.000=2.000
max	1331.000-1329.000=2.000

*mean*	2.011-2.060=-0.050
σ	0.093-0.125=-0.032
min	1.891-1.897=-0.005
max	2.105-2.223=-0.118

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.124-1506.099=0.025
σ	2.967-2.924=0.043
min	1504.612-1504.608=0.004
max	1511.420-1511.319=0.101

*mean*	630.200-628.200=2.000
σ	90.162-90.062=0.100
min	506.000-504.000=2.000
max	730.000-727.000=3.000

*mean*	2.358-2.233=0.125
σ	0.323-0.163=0.161
min	2.086-2.067=0.019
max	2.879-2.404=0.475

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.115-1829.113=0.002
σ	0.087-0.059=0.029
min	1829.031-1829.043=-0.012
max	1829.246-1829.188=0.058

*mean*	1766.400-1762.600=3.800
σ	209.229-213.296=-4.067
min	1491.000-1490.000=1.000
max	1965.000-1969.000=-4.000

*mean*	3.193-3.179=0.015
σ	0.341-0.366=-0.026
min	2.807-2.856=-0.049
max	3.599-3.750=-0.152

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.707-1.730=-0.024
σ	0.115-0.130=-0.015
min	1.584-1.598=-0.014
max	1.835-1.877=-0.042

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.670-138.669=0.002
max	1174.774-1174.773=0.001

*mean*	97.750
σ	7.500
min	94.000
max	109.000

*mean*	446.000-444.000=2.000
σ	0.000
min	446.000-444.000=2.000
max	446.000-444.000=2.000

*mean*	0.498-0.500=-0.002
σ	0.526-0.528=-0.003
min	0.233-0.234=-0.001
max	1.287-1.293=-0.006

policies=20

*mean*	1386.821-1386.827=-0.005
σ	0.162-0.165=-0.003
min	1386.725-1386.715=0.010
max	1387.063-1387.071=-0.008

*mean*	940.000
σ	0.000
min	940.000
max	940.000

*mean*	446.000
σ	0.000-2.309=-2.309
min	446.000-444.000=2.000
max	446.000-448.000=-2.000

*mean*	2.322-2.338=-0.016
σ	0.022-0.020=0.002
min	2.301-2.316=-0.015
max	2.350-2.359=-0.008

policies=200

*mean*	13876.822-13876.858=-0.036
σ	0.135-0.176=-0.041
min	13876.717-13876.667=0.049
max	13877.019-13877.072=-0.053

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	494.000-491.000=3.000
σ	3.162-2.944=0.218
min	490.000-488.000=2.000
max	497.000-495.000=2.000

*mean*	23.588-23.625=-0.037
σ	0.111-0.232=-0.122
min	23.485-23.437=0.047
max	23.692-23.956=-0.264