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.633-558.664=-0.031
σ	0.000
min	558.633-558.664=-0.031
max	558.633-558.664=-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.880-54.881=-0.000
σ	0.359-0.361=-0.002
min	54.742-54.742=-0.000
max	55.901-55.906=-0.005

*mean*	422.000-416.000=6.000
σ	0.000
min	422.000-416.000=6.000
max	422.000-416.000=6.000

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

cache=y

dps=1

iters=10

policies=100

*mean*	43.849-43.850=-0.001
σ	0.005-0.005=0.000
min	43.838-43.842=-0.004
max	43.857-43.860=-0.003

*mean*	422.000-416.000=6.000
σ	0.000
min	422.000-416.000=6.000
max	422.000-416.000=6.000

*mean*	0.123-0.125=-0.002
σ	0.005-0.004=0.002
min	0.116-0.122=-0.007
max	0.131-0.133=-0.002

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*	4042.125-4043.500=-1.375
σ	2009.338-2009.675=-0.337
min	1218.000-1217.000=1.000
max	7148.000-7149.000=-1.000

*mean*	13.452-12.694=0.757
σ	1.922-1.739=0.183
min	12.178-11.912=0.266
max	18.106-16.980=1.126

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*	4042.125-4043.500=-1.375
σ	2009.338-2009.675=-0.337
min	1218.000-1217.000=1.000
max	7148.000-7149.000=-1.000

*mean*	13.436-12.578=0.858
σ	1.937-1.977=-0.041
min	11.929-11.178=0.751
max	18.122-17.229=0.893

op=table_records(), no indexes

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

*mean*	7148.000-7149.000=-1.000
σ	0.000
min	7148.000-7149.000=-1.000
max	7148.000-7149.000=-1.000

*mean*	15.218-14.697=0.521
σ	0.217-0.144=0.073
min	15.000-14.500=0.500
max	15.585-14.957=0.627

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

*mean*	4042.125-4043.500=-1.375
σ	2009.338-2009.675=-0.337
min	1218.000-1217.000=1.000
max	7148.000-7149.000=-1.000

*mean*	14.607-14.013=0.594
σ	1.598-1.646=-0.048
min	10.980-10.247=0.733
max	15.953-15.384=0.569

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-27.604=0.000
max	27.991

*mean*	4042.125-4043.500=-1.375
σ	2009.338-2009.675=-0.337
min	1218.000-1217.000=1.000
max	7148.000-7149.000=-1.000

*mean*	9.941-9.388=0.553
σ	1.654-1.595=0.059
min	8.780-8.038=0.742
max	12.650-12.106=0.544

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

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

*mean*	4042.125-4043.500=-1.375
σ	2009.338-2009.675=-0.337
min	1218.000-1217.000=1.000
max	7148.000-7149.000=-1.000

*mean*	7.585-7.148=0.437
σ	1.536-1.628=-0.092
min	6.277-5.925=0.352
max	10.175-9.812=0.363

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

*mean*	4042.125-4043.500=-1.375
σ	2009.338-2009.675=-0.337
min	1218.000-1217.000=1.000
max	7148.000-7149.000=-1.000

*mean*	6.148-5.566=0.582
σ	0.560-0.542=0.018
min	5.761-5.251=0.510
max	7.502-6.876=0.626

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970-25.970=0.000
σ	0.003-0.002=0.001
min	25.968
max	25.976-25.972=0.004

*mean*	4042.125-4043.500=-1.375
σ	2009.338-2009.675=-0.337
min	1218.000-1217.000=1.000
max	7148.000-7149.000=-1.000

*mean*	5.916-5.399=0.516
σ	0.488-0.460=0.028
min	5.540-5.087=0.454
max	7.060-6.499=0.561

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*	7148.000-7149.000=-1.000
σ	0.000
min	7148.000-7149.000=-1.000
max	7148.000-7149.000=-1.000

*mean*	363.672-374.308=-10.636
σ	43.716-79.599=-35.883
min	346.566-343.433=3.133
max	471.831-571.240=-99.408

op=load_product(), with indexes

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

*mean*	3273.375-3274.875=-1.500
σ	1824.793-1825.216=-0.423
min	809.000
max	5625.000-5624.000=1.000

*mean*	3820.647-3658.245=162.402
σ	1206.411-1038.497=167.914
min	3100.231-3070.515=29.716
max	6183.956-6036.809=147.147

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*	4042.125-4043.500=-1.375
σ	2009.338-2009.675=-0.337
min	1218.000-1217.000=1.000
max	7148.000-7149.000=-1.000

*mean*	91.085-88.482=2.603
σ	21.916-20.978=0.938
min	70.531-69.692=0.840
max	124.891-117.258=7.632

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7148.000-7149.000=-1.000
σ	0.000
min	7148.000-7149.000=-1.000
max	7148.000-7149.000=-1.000

*mean*	63.334-60.642=2.692
σ	2.727-1.309=1.418
min	61.716-59.502=2.214
max	69.966-63.778=6.188

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-66.686=0.000
max	66.691-66.691=0.000

*mean*	7148.000-7149.000=-1.000
σ	0.000
min	7148.000-7149.000=-1.000
max	7148.000-7149.000=-1.000

*mean*	228.308-99.493=128.814
σ	251.697-0.625=251.072
min	99.005-98.642=0.362
max	768.617-100.577=668.039

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4042.125-4043.500=-1.375
σ	2009.338-2009.675=-0.337
min	1218.000-1217.000=1.000
max	7148.000-7149.000=-1.000

*mean*	8374.430-8004.461=369.969
σ	1832.835-1980.310=-147.476
min	5979.185-5963.004=16.180
max	11149.262-10983.517=165.745

op=vertical_lookup_list() on indexed

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

*mean*	7148.000-7149.000=-1.000
σ	0.000
min	7148.000-7149.000=-1.000
max	7148.000-7149.000=-1.000

*mean*	5465.398-5277.361=188.037
σ	1077.682-594.570=483.112
min	5002.900-4991.534=11.366
max	8099.197-6697.683=1401.514

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

*mean*	384.790-362.827=21.964
σ	13.181-35.619=-22.438
min	352.875-291.720=61.155
max	393.375-394.130=-0.755

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	562.000
σ	0.000
min	562.000
max	562.000

*mean*	753.321-739.148=14.174
σ	19.866-76.360=-56.493
min	709.769-584.521=125.248
max	772.794-805.016=-32.222

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.299-1024.300=-0.001
σ	0.759-0.759=0.000
min	1023.825-1023.827=-0.002
max	1027.436-1027.437=-0.002

*mean*	1037.650-1042.450=-4.800
σ	303.047-300.010=3.037
min	554.000-556.000=-2.000
max	1461.000-1463.000=-2.000

*mean*	1.538-1.541=-0.004
σ	0.136-0.060=0.075
min	1.359-1.472=-0.112
max	2.055-1.697=0.358

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*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.387-0.309=0.078
σ	0.464-0.291=0.173
min	0.145-0.151=-0.005
max	1.213-0.826=0.387

name=error_case.art

*mean*	2.339
σ	0.012
min	2.333
max	2.361

*mean*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.630-0.480=0.150
σ	0.088-0.319=-0.231
min	0.573-0.326=0.247
max	0.783-1.050=-0.267

name=heavy_item.art

*mean*	1.522
σ	0.002
min	1.521
max	1.525

*mean*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.386-0.221=0.165
σ	0.037-0.021=0.016
min	0.358-0.206=0.152
max	0.444-0.257=0.187

name=nested_use.art

*mean*	2.357
σ	0.002
min	2.356
max	2.360

*mean*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.590-0.331=0.259
σ	0.032-0.016=0.016
min	0.555-0.320=0.235
max	0.640-0.358=0.282

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*	434.200-436.600=-2.400
σ	4.550-6.066=-1.517
min	430.000-431.000=-1.000
max	439.000-443.000=-4.000

*mean*	0.725-0.524=0.201
σ	0.032-0.050=-0.018
min	0.672-0.470=0.202
max	0.752-0.602=0.151

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	439.000-443.000=-4.000
σ	0.000
min	439.000-443.000=-4.000
max	439.000-443.000=-4.000

*mean*	0.625-0.498=0.126
σ	0.021-0.020=0.001
min	0.589-0.477=0.112
max	0.639-0.520=0.119

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*	439.000-443.000=-4.000
σ	0.000
min	439.000-443.000=-4.000
max	439.000-443.000=-4.000

*mean*	3.505-2.618=0.887
σ	0.089-0.086=0.003
min	3.335-2.445=0.890
max	3.875-2.936=0.939

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	439.000-443.000=-4.000
σ	0.000
min	439.000-443.000=-4.000
max	439.000-443.000=-4.000

*mean*	3.479-2.549=0.929
σ	0.098-0.062=0.036
min	3.355-2.418=0.937
max	4.130-2.797=1.332

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	439.000-443.000=-4.000
σ	0.000
min	439.000-443.000=-4.000
max	439.000-443.000=-4.000

*mean*	0.549-0.308=0.241
σ	0.033-0.017=0.016
min	0.519-0.291=0.228
max	0.795-0.417=0.378

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	439.000-443.000=-4.000
σ	0.000
min	439.000-443.000=-4.000
max	439.000-443.000=-4.000

*mean*	0.512-0.295=0.217
σ	0.011-0.007=0.004
min	0.488-0.281=0.208
max	0.556-0.339=0.217

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.564-298.692=-0.128
σ	0.966-1.038=-0.072
min	298.112-298.327=-0.214
max	301.304-301.644=-0.339

*mean*	446.100-441.800=4.300
σ	18.460-16.322=2.138
min	420.000-417.000=3.000
max	472.000-468.000=4.000

*mean*	0.598-0.593=0.006
σ	0.021-0.035=-0.014
min	0.553-0.527=0.026
max	0.628-0.638=-0.010

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	236.678
σ	0.000
min	236.678
max	236.678

*mean*	1070.750-1064.875=5.875
σ	40.305-34.295=6.010
min	971.000-980.000=-9.000
max	1085.000-1077.000=8.000

*mean*	206.084-203.855=2.229
σ	3.855-2.968=0.887
min	197.850-200.425=-2.575
max	210.478-208.466=2.012

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1070.750-1064.875=5.875
σ	40.305-34.295=6.010
min	971.000-980.000=-9.000
max	1085.000-1077.000=8.000

*mean*	7.921-10.048=-2.127
σ	1.860-2.531=-0.671
min	6.257-6.558=-0.301
max	10.839-12.812=-1.973

phase=parser

*mean*	1042.366-1042.366=0.000
σ	0.001-0.001=0.000
min	1042.363
max	1042.366

*mean*	1070.750-1064.875=5.875
σ	40.305-34.295=6.010
min	971.000-980.000=-9.000
max	1085.000-1077.000=8.000

*mean*	457.983-577.633=-119.650
σ	66.791-125.907=-59.116
min	374.794-403.653=-28.859
max	562.117-720.663=-158.546

phase=processProdDef

*mean*	4850.765
σ	0.000
min	4850.765
max	4850.765

*mean*	1085.000-1077.000=8.000
σ	0.000
min	1085.000-1077.000=8.000
max	1085.000-1077.000=8.000

*mean*	4757.988-4669.794=88.194
σ	683.242-498.763=184.479
min	3638.557-3743.943=-105.387
max	5484.195-5428.587=55.607

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1070.750-1064.875=5.875
σ	40.305-34.295=6.010
min	971.000-980.000=-9.000
max	1085.000-1077.000=8.000

*mean*	28.080-37.836=-9.756
σ	9.049-11.557=-2.508
min	20.443-19.908=0.535
max	40.878-47.763=-6.885

phase=type checker

*mean*	990.453
σ	0.072
min	990.344
max	990.567

*mean*	1070.750-1064.875=5.875
σ	40.305-34.295=6.010
min	971.000-980.000=-9.000
max	1085.000-1077.000=8.000

*mean*	726.691-747.410=-20.720
σ	103.051-93.821=9.230
min	648.015-640.420=7.595
max	893.459-882.400=11.059

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

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

*mean*	441.200-443.000=-1.800
σ	1.643-0.000=1.643
min	440.000-443.000=-3.000
max	443.000

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

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.208-1320.223=-0.015
σ	0.038-0.029=0.009
min	1320.163-1320.174=-0.012
max	1320.247-1320.247=0.000

*mean*	1073.800-1084.600=-10.800
σ	185.577-179.553=6.024
min	833.000-851.000=-18.000
max	1314.000-1309.000=5.000

*mean*	2.282-2.239=0.043
σ	0.193-0.038=0.155
min	2.177-2.186=-0.009
max	2.626-2.278=0.349

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.687-1560.612=0.075
σ	6.175-6.245=-0.070
min	1557.771-1557.612=0.159
max	1571.731-1571.779=-0.049

*mean*	629.400-620.400=9.000
σ	95.435-83.494=11.940
min	518.000-495.000=23.000
max	752.000-720.000=32.000

*mean*	2.446-2.333=0.113
σ	0.290-0.256=0.034
min	2.165-2.198=-0.033
max	2.927-2.790=0.137

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.173-1882.147=0.025
σ	0.058-0.046=0.011
min	1882.109-1882.099=0.010
max	1882.255-1882.221=0.034

*mean*	1725.800-1735.200=-9.400
σ	179.380-226.928=-47.548
min	1467.000-1440.000=27.000
max	1888.000-1953.000=-65.000

*mean*	3.062-3.069=-0.007
σ	0.265-0.220=0.045
min	2.880-2.862=0.018
max	3.529-3.384=0.144

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.805-1.718=0.088
σ	0.077-0.148=-0.070
min	1.684-1.469=0.215
max	1.884-1.839=0.044

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

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

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.544-0.536=0.008
σ	0.541-0.527=0.014
min	0.267-0.265=0.002
max	1.356-1.327=0.029

policies=20

*mean*	1607.524-1607.524=0.001
σ	0.407-0.406=0.001
min	1607.246-1607.248=-0.002
max	1608.127-1608.124=0.003

*mean*	980.000
σ	0.000
min	980.000
max	980.000

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

*mean*	2.683-2.681=0.002
σ	0.019-0.013=0.006
min	2.658-2.661=-0.003
max	2.704-2.691=0.013

policies=200

*mean*	16083.357-16083.348=0.008
σ	0.167-0.110=0.057
min	16083.248-16083.237=0.011
max	16083.605-16083.479=0.126

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	497.500-497.750=-0.250
σ	3.697-5.315=-1.618
min	494.000-492.000=2.000
max	502.000-504.000=-2.000

*mean*	27.123-27.116=0.006
σ	0.043-0.042=0.001
min	27.084-27.072=0.011
max	27.183-27.172=0.011