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)

Factor

compact size MiB

phase=processProdDef

*mean*	558.664-558.633=0.031
σ	0.000
min	558.664-558.633=0.031
max	558.664-558.633=0.031

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.881-54.881=0.000
σ	0.361-0.357=0.003
min	54.742-54.747=-0.005
max	55.906-55.897=0.009

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.142-0.142=-0.001
σ	0.006-0.005=0.000
min	0.137-0.138=-0.001
max	0.153-0.150=0.003

cache=y

dps=1

iters=10

policies=100

*mean*	43.850-43.848=0.002
σ	0.005-0.006=-0.001
min	43.842-43.838=0.005
max	43.860-43.859=0.001

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.125-0.123=0.002
σ	0.004-0.005=-0.002
min	0.122-0.118=0.005
max	0.133-0.134=-0.001

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.618-36.618=-0.000
σ	0.002-0.002=-0.000
min	36.616
max	36.620

*mean*	4043.500-4042.625=0.875
σ	2009.675-2009.034=0.641
min	1217.000
max	7149.000-7143.000=6.000

*mean*	12.694-13.436=-0.741
σ	1.739-1.727=0.012
min	11.912-12.249=-0.338
max	16.980-17.602=-0.622

op=column_set() on indexed, repeat

*mean*	36.618-36.618=0.000
σ	0.002-0.002=0.000
min	36.616-36.616=0.000
max	36.620-36.620=0.000

*mean*	4043.500-4042.625=0.875
σ	2009.675-2009.034=0.641
min	1217.000
max	7149.000-7143.000=6.000

*mean*	12.578-13.243=-0.666
σ	1.977-2.055=-0.077
min	11.178-11.701=-0.523
max	17.229-18.171=-0.942

op=table_records(), no indexes

*mean*	41.930-41.930=-0.000
σ	0.002-0.002=-0.000
min	41.928
max	41.932-41.933=-0.001

*mean*	7149.000-7143.000=6.000
σ	0.000
min	7149.000-7143.000=6.000
max	7149.000-7143.000=6.000

*mean*	14.697-15.226=-0.529
σ	0.144-2.057=-1.914
min	14.500-11.776=2.724
max	14.957-19.420=-4.463

op=table_records(), repeat

*mean*	41.929-41.929=0.000
σ	0.002-0.002=-0.000
min	41.927-41.927=0.000
max	41.932

*mean*	4043.500-4042.625=0.875
σ	2009.675-2009.034=0.641
min	1217.000
max	7149.000-7143.000=6.000

*mean*	14.013-15.199=-1.186
σ	1.646-1.152=0.494
min	10.247-12.930=-2.683
max	15.384-16.772=-1.388

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

*mean*	27.654-27.654=-0.000
σ	0.136-0.136=0.000
min	27.604
max	27.991-27.991=0.000

*mean*	4043.500-4042.625=0.875
σ	2009.675-2009.034=0.641
min	1217.000
max	7149.000-7143.000=6.000

*mean*	9.388-9.946=-0.558
σ	1.595-1.659=-0.064
min	8.038-8.564=-0.526
max	12.106-12.790=-0.684

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

*mean*	26.401
σ	0.002-0.002=-0.000
min	26.400-26.400=0.000
max	26.404

*mean*	4043.500-4042.625=0.875
σ	2009.675-2009.034=0.641
min	1217.000
max	7149.000-7143.000=6.000

*mean*	7.148-7.915=-0.767
σ	1.628-1.599=0.029
min	5.925-6.632=-0.706
max	9.812-10.491=-0.679

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.668-25.668=0.000
σ	0.004-0.004=0.000
min	25.665-25.665=0.000
max	25.678-25.677=0.000

*mean*	4043.500-4042.625=0.875
σ	2009.675-2009.034=0.641
min	1217.000
max	7149.000-7143.000=6.000

*mean*	5.566-6.125=-0.560
σ	0.542-0.566=-0.023
min	5.251-5.731=-0.480
max	6.876-7.465=-0.589

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970-25.970=0.000
σ	0.002-0.002=0.000
min	25.968-25.968=-0.000
max	25.972-25.972=0.000

*mean*	4043.500-4042.625=0.875
σ	2009.675-2009.034=0.641
min	1217.000
max	7149.000-7143.000=6.000

*mean*	5.399-5.991=-0.591
σ	0.460-0.595=-0.135
min	5.087-5.660=-0.574
max	6.499-7.430=-0.930

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.613-1021.613=0.000
σ	0.002-0.002=-0.000
min	1021.612
max	1021.616

*mean*	7149.000-7143.000=6.000
σ	0.000
min	7149.000-7143.000=6.000
max	7149.000-7143.000=6.000

*mean*	374.308-348.726=25.582
σ	79.599-2.399=77.200
min	343.433-345.767=-2.334
max	571.240-352.630=218.609

op=load_product(), with indexes

*mean*	7917.793-7917.793=-0.000
σ	0.469-0.469=0.000
min	7917.625
max	7918.954

*mean*	3274.875-3275.125=-0.250
σ	1825.216-1825.422=-0.207
min	809.000-810.000=-1.000
max	5624.000-5626.000=-2.000

*mean*	3658.245-3657.879=0.366
σ	1038.497-1027.550=10.947
min	3070.515-3088.488=-17.973
max	6036.809-6020.725=16.084

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.077-62.077=0.000
σ	0.002-0.002=-0.000
min	62.076-62.076=0.000
max	62.080

*mean*	4043.500-4042.625=0.875
σ	2009.675-2009.034=0.641
min	1217.000
max	7149.000-7143.000=6.000

*mean*	88.482-91.202=-2.720
σ	20.978-21.948=-0.970
min	69.692-70.652=-0.960
max	117.258-122.570=-5.311

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946-40.946=0.000
σ	0.002-0.002=-0.000
min	40.945-40.944=0.000
max	40.950

*mean*	7149.000-7143.000=6.000
σ	0.000
min	7149.000-7143.000=6.000
max	7149.000-7143.000=6.000

*mean*	60.642-82.332=-21.691
σ	1.309-54.556=-53.247
min	59.502-61.096=-1.594
max	63.778-217.186=-153.408

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.688-66.688=-0.000
σ	0.002-0.002=-0.000
min	66.686
max	66.691

*mean*	7149.000-7143.000=6.000
σ	0.000
min	7149.000-7143.000=6.000
max	7149.000-7143.000=6.000

*mean*	99.493-104.861=-5.367
σ	0.625-13.985=-13.361
min	98.642-97.374=1.268
max	100.577-138.626=-38.049

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	14217.171-14217.171=-0.000
σ	4.303-4.304=-0.000
min	14215.575
max	14227.820-14227.821=-0.001

*mean*	4043.500-4042.625=0.875
σ	2009.675-2009.034=0.641
min	1217.000
max	7149.000-7143.000=6.000

*mean*	8004.461-8036.844=-32.382
σ	1980.310-1940.886=39.425
min	5963.004-6017.304=-54.300
max	10983.517-11127.465=-143.948

op=vertical_lookup_list() on indexed

*mean*	13159.108-13159.109=-0.000
σ	0.002-0.002=-0.000
min	13159.106
max	13159.110

*mean*	7149.000-7143.000=6.000
σ	0.000
min	7149.000-7143.000=6.000
max	7149.000-7143.000=6.000

*mean*	5277.361-5393.781=-116.420
σ	594.570-1047.946=-453.376
min	4991.534-4999.777=-8.244
max	6697.683-7986.942=-1289.259

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	172.559
σ	0.001
min	172.558
max	172.562

*mean*	477.000-478.000=-1.000
σ	0.000
min	477.000-478.000=-1.000
max	477.000-478.000=-1.000

*mean*	362.827-381.807=-18.980
σ	35.619-18.474=17.145
min	291.720-337.081=-45.361
max	394.130-393.066=1.064

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	562.000-560.625=1.375
σ	0.000-0.518=-0.518
min	562.000-560.000=2.000
max	562.000-561.000=1.000

*mean*	739.148-711.065=28.082
σ	76.360-64.467=11.893
min	584.521-629.224=-44.703
max	805.016-773.316=31.700

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.300-1024.300=-0.001
σ	0.759-0.759=-0.000
min	1023.827-1023.824=0.003
max	1027.437-1027.438=-0.000

*mean*	1042.450-1037.350=5.100
σ	300.010-303.245=-3.235
min	556.000-553.000=3.000
max	1463.000-1461.000=2.000

*mean*	1.541-1.571=-0.029
σ	0.060-0.091=-0.031
min	1.472-1.491=-0.019
max	1.697-1.878=-0.181

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.309-0.537=-0.229
σ	0.291-0.610=-0.319
min	0.151-0.151=-0.000
max	0.826-1.620=-0.793

name=error_case.art

*mean*	2.339
σ	0.012
min	2.333
max	2.361

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.480-0.845=-0.365
σ	0.319-0.560=-0.241
min	0.326-0.571=-0.245
max	1.050-1.846=-0.797

name=heavy_item.art

*mean*	1.522
σ	0.002
min	1.521
max	1.525

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.221-0.391=-0.170
σ	0.021-0.039=-0.018
min	0.206-0.358=-0.152
max	0.257-0.458=-0.202

name=nested_use.art

*mean*	2.357
σ	0.002
min	2.356
max	2.360

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.331-0.593=-0.261
σ	0.016-0.026=-0.010
min	0.320-0.576=-0.256
max	0.358-0.637=-0.279

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.840
σ	0.011
min	964.835
max	964.859

*mean*	436.600-431.800=4.800
σ	6.066-1.789=4.277
min	431.000
max	443.000-435.000=8.000

*mean*	0.524-0.644=-0.120
σ	0.050-0.071=-0.021
min	0.470-0.586=-0.117
max	0.602-0.752=-0.151

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.498-0.444=0.054
σ	0.020-0.026=-0.006
min	0.477-0.418=0.058
max	0.520-0.482=0.038

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.709
σ	0.002
min	7.708
max	7.712

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	2.618-1.969=0.650
σ	0.086-0.068=0.018
min	2.445-1.854=0.592
max	2.936-2.184=0.751

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	2.549-2.408=0.141
σ	0.062-0.297=-0.235
min	2.418-1.872=0.547
max	2.797-2.844=-0.046

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.308-0.308=0.000
σ	0.017-0.010=0.007
min	0.291-0.293=-0.002
max	0.417-0.363=0.054

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.295-0.292=0.003
σ	0.007-0.007=-0.000
min	0.281-0.280=0.001
max	0.339-0.332=0.007

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.692-298.694=-0.002
σ	1.038-1.024=0.013
min	298.327-298.320=0.007
max	301.644-301.607=0.037

*mean*	441.800
σ	16.322-16.308=0.014
min	417.000
max	468.000-467.000=1.000

*mean*	0.593-0.602=-0.009
σ	0.035-0.027=0.008
min	0.527-0.547=-0.020
max	0.638-0.637=0.001

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	1064.875-1056.500=8.375
σ	34.295-26.870=7.425
min	980.000-990.000=-10.000
max	1077.000-1066.000=11.000

*mean*	203.855-212.306=-8.451
σ	2.968-2.368=0.600
min	200.425-209.918=-9.492
max	208.466-216.448=-7.982

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1064.875-1056.500=8.375
σ	34.295-26.870=7.425
min	980.000-990.000=-10.000
max	1077.000-1066.000=11.000

*mean*	10.048-7.781=2.267
σ	2.531-1.558=0.973
min	6.558-6.384=0.174
max	12.812-9.620=3.192

phase=parser

*mean*	1042.366-1042.361=0.005
σ	0.001-0.000=0.001
min	1042.363-1042.360=0.003
max	1042.366-1042.361=0.006

*mean*	1064.875-1056.500=8.375
σ	34.295-26.870=7.425
min	980.000-990.000=-10.000
max	1077.000-1066.000=11.000

*mean*	577.633-496.799=80.835
σ	125.907-51.061=74.846
min	403.653-405.345=-1.691
max	720.663-555.616=165.047

phase=processProdDef

*mean*	4850.765-4850.768=-0.003
σ	0.000-0.000=0.000
min	4850.765-4850.768=-0.003
max	4850.765-4850.768=-0.003

*mean*	1077.000-1066.000=11.000
σ	0.000
min	1077.000-1066.000=11.000
max	1077.000-1066.000=11.000

*mean*	4669.794-4850.377=-180.582
σ	498.763-474.686=24.077
min	3743.943-4162.371=-418.428
max	5428.587-5549.210=-120.623

phase=renaming

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

*mean*	1064.875-1056.500=8.375
σ	34.295-26.870=7.425
min	980.000-990.000=-10.000
max	1077.000-1066.000=11.000

*mean*	37.836-29.561=8.275
σ	11.557-9.298=2.258
min	19.908-19.895=0.012
max	47.763-40.820=6.942

phase=type checker

*mean*	990.453-990.450=0.003
σ	0.072-0.071=0.001
min	990.344
max	990.567-990.563=0.004

*mean*	1064.875-1056.500=8.375
σ	34.295-26.870=7.425
min	980.000-990.000=-10.000
max	1077.000-1066.000=11.000

*mean*	747.410-766.882=-19.472
σ	93.821-105.948=-12.126
min	640.420-640.283=0.137
max	882.400-904.045=-21.646

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.821-293.820=0.001
σ	0.038-0.038=-0.000
min	293.768-293.767=0.001
max	293.860-293.860=0.000

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.393-0.392=0.001
σ	0.000-0.001=-0.000
min	0.392-0.391=0.001
max	0.394-0.393=0.001

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.223-1320.213=0.010
σ	0.029-0.031=-0.002
min	1320.174-1320.172=0.003
max	1320.247-1320.245=0.002

*mean*	1084.600-1094.400=-9.800
σ	179.553-185.924=-6.371
min	851.000-837.000=14.000
max	1309.000-1316.000=-7.000

*mean*	2.239-2.303=-0.064
σ	0.038-0.176=-0.138
min	2.186-2.172=0.014
max	2.278-2.611=-0.334

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.612-1560.614=-0.002
σ	6.245-6.222=0.023
min	1557.612-1557.623=-0.010
max	1571.779-1571.740=0.039

*mean*	620.400-617.200=3.200
σ	83.494-81.729=1.765
min	495.000-493.000=2.000
max	720.000-712.000=8.000

*mean*	2.333-2.321=0.012
σ	0.256-0.199=0.057
min	2.198-2.160=0.039
max	2.790-2.656=0.134

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.147-1882.170=-0.023
σ	0.046-0.049=-0.003
min	1882.099-1882.116=-0.017
max	1882.221-1882.235=-0.014

*mean*	1735.200-1721.200=14.000
σ	226.928-195.661=31.267
min	1440.000-1454.000=-14.000
max	1953.000-1906.000=47.000

*mean*	3.069-3.034=0.035
σ	0.220-0.120=0.099
min	2.862-2.902=-0.040
max	3.384-3.163=0.221

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.718-1.674=0.044
σ	0.148-0.145=0.003
min	1.469-1.522=-0.052
max	1.839-1.864=-0.025

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.082-452.082=0.000
σ	582.722-582.722=0.000
min	160.718-160.719=-0.001
max	1326.165-1326.165=0.000

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.536-0.546=-0.010
σ	0.527-0.550=-0.023
min	0.265-0.266=-0.000
max	1.327-1.371=-0.044

policies=20

*mean*	1607.524-1607.522=0.002
σ	0.406-0.400=0.006
min	1607.248-1607.248=-0.001
max	1608.124-1608.114=0.010

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	446.750-446.500=0.250
σ	7.500-7.000=0.500
min	443.000
max	458.000-457.000=1.000

*mean*	2.681-2.677=0.004
σ	0.013-0.016=-0.002
min	2.661-2.663=-0.002
max	2.691-2.692=-0.001

policies=200

*mean*	16083.348-16083.384=-0.036
σ	0.110-0.117=-0.007
min	16083.237-16083.220=0.017
max	16083.479-16083.470=0.009

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	497.750
σ	5.315-5.620=-0.305
min	492.000
max	504.000-505.000=-1.000

*mean*	27.116-27.235=-0.119
σ	0.042-0.099=-0.058
min	27.072-27.175=-0.103
max	27.172-27.383=-0.211