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

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.882-54.880=0.001
σ	0.360-0.360=0.000
min	54.741-54.745=-0.003
max	55.905-55.903=0.002

*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.141-0.139=0.002
σ	0.005-0.006=-0.001
min	0.137-0.134=0.003
max	0.150-0.150=0.000

cache=y

dps=1

iters=10

policies=100

*mean*	43.848-43.850=-0.001
σ	0.005-0.006=-0.000
min	43.838-43.841=-0.002
max	43.856-43.859=-0.003

*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.125=-0.002
σ	0.005-0.004=0.001
min	0.116-0.121=-0.005
max	0.133-0.131=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-36.620=0.000

*mean*	4040.625-4043.750=-3.125
σ	2008.012-2010.011=-1.999
min	1218.000-1217.000=1.000
max	7146.000-7148.000=-2.000

*mean*	13.345-14.158=-0.813
σ	1.844-2.378=-0.534
min	12.362-12.279=0.082
max	17.860-18.224=-0.364

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*	4040.625-4043.750=-3.125
σ	2008.012-2010.011=-1.999
min	1218.000-1217.000=1.000
max	7146.000-7148.000=-2.000

*mean*	13.499-14.085=-0.586
σ	1.890-2.377=-0.487
min	12.308-11.983=0.326
max	18.040-18.304=-0.264

op=table_records(), no indexes

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

*mean*	7146.000-7148.000=-2.000
σ	0.000
min	7146.000-7148.000=-2.000
max	7146.000-7148.000=-2.000

*mean*	15.288-15.175=0.113
σ	0.120-0.113=0.008
min	15.112-15.050=0.062
max	15.512-15.366=0.145

op=table_records(), repeat

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

*mean*	4040.625-4043.750=-3.125
σ	2008.012-2010.011=-1.999
min	1218.000-1217.000=1.000
max	7146.000-7148.000=-2.000

*mean*	14.144-14.480=-0.336
σ	1.875-1.814=0.062
min	11.180-10.793=0.386
max	15.980-16.014=-0.034

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*	4040.625-4043.750=-3.125
σ	2008.012-2010.011=-1.999
min	1218.000-1217.000=1.000
max	7146.000-7148.000=-2.000

*mean*	9.491-10.021=-0.530
σ	1.218-1.536=-0.318
min	8.583-8.626=-0.043
max	12.392-12.458=-0.066

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-26.400=-0.000
max	26.404-26.404=0.000

*mean*	4040.625-4043.750=-3.125
σ	2008.012-2010.011=-1.999
min	1218.000-1217.000=1.000
max	7146.000-7148.000=-2.000

*mean*	7.178-7.792=-0.614
σ	1.259-1.557=-0.298
min	6.266-6.757=-0.491
max	10.220-10.307=-0.087

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

*mean*	4040.625-4043.750=-3.125
σ	2008.012-2010.011=-1.999
min	1218.000-1217.000=1.000
max	7146.000-7148.000=-2.000

*mean*	6.236-6.324=-0.088
σ	0.540-0.660=-0.121
min	5.834-5.787=0.047
max	7.528-7.495=0.034

op=vertical_lookup_row_list() on 3 (1 unindexed)

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

*mean*	4040.625-4043.750=-3.125
σ	2008.012-2010.011=-1.999
min	1218.000-1217.000=1.000
max	7146.000-7148.000=-2.000

*mean*	6.012-6.107=-0.095
σ	0.597-0.591=0.006
min	5.361-5.666=-0.305
max	7.331-7.061=0.270

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.613
σ	0.002
min	1021.612
max	1021.616

*mean*	7146.000-7148.000=-2.000
σ	0.000
min	7146.000-7148.000=-2.000
max	7146.000-7148.000=-2.000

*mean*	376.000-366.978=9.023
σ	82.312-53.986=28.325
min	343.817-341.552=2.266
max	579.648-500.400=79.248

op=load_product(), with indexes

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

*mean*	3271.125-3274.750=-3.625
σ	1824.342-1826.594=-2.252
min	810.000-809.000=1.000
max	5619.000-5625.000=-6.000

*mean*	3582.866-3594.199=-11.333
σ	833.754-876.242=-42.489
min	3098.403-3076.295=22.108
max	5417.315-5541.104=-123.789

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*	4040.625-4043.750=-3.125
σ	2008.012-2010.011=-1.999
min	1218.000-1217.000=1.000
max	7146.000-7148.000=-2.000

*mean*	84.898-90.989=-6.091
σ	16.773-20.646=-3.873
min	71.101-71.507=-0.405
max	114.689-124.293=-9.604

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7146.000-7148.000=-2.000
σ	0.000
min	7146.000-7148.000=-2.000
max	7146.000-7148.000=-2.000

*mean*	61.768-62.192=-0.424
σ	0.292-2.289=-1.997
min	61.427-60.947=0.480
max	62.164-67.783=-5.620

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*	7146.000-7148.000=-2.000
σ	0.000
min	7146.000-7148.000=-2.000
max	7146.000-7148.000=-2.000

*mean*	99.581-98.924=0.656
σ	0.922-0.727=0.195
min	98.286-98.044=0.242
max	100.647-99.995=0.652

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4040.625-4043.750=-3.125
σ	2008.012-2010.011=-1.999
min	1218.000-1217.000=1.000
max	7146.000-7148.000=-2.000

*mean*	7869.270-8200.579=-331.309
σ	1892.339-1908.835=-16.496
min	5978.331-5995.610=-17.279
max	10855.409-10928.068=-72.659

op=vertical_lookup_list() on indexed

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

*mean*	7146.000-7148.000=-2.000
σ	0.000
min	7146.000-7148.000=-2.000
max	7146.000-7148.000=-2.000

*mean*	5114.584-5483.593=-369.009
σ	203.447-1112.818=-909.371
min	4987.326-4979.876=7.450
max	5476.477-8194.622=-2718.145

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

*mean*	386.562-369.484=17.078
σ	7.533-33.116=-25.583
min	370.760-291.020=79.740
max	393.272-393.783=-0.510

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	559.000-559.875=-0.875
σ	0.000-0.354=-0.354
min	559.000
max	559.000-560.000=-1.000

*mean*	736.987-759.562=-22.575
σ	62.418-41.643=20.775
min	615.718-677.055=-61.337
max	785.280-795.780=-10.500

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

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

*mean*	1039.950-1045.300=-5.350
σ	301.008-296.088=4.920
min	564.000-562.000=2.000
max	1462.000-1438.000=24.000

*mean*	1.574-1.570=0.004
σ	0.059-0.071=-0.012
min	1.499-1.509=-0.009
max	1.712-1.781=-0.068

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.313-0.331=-0.019
σ	0.321-0.283=0.038
min	0.142-0.148=-0.006
max	0.882-0.799=0.083

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.419-0.482=-0.063
σ	0.192-0.331=-0.139
min	0.319-0.320=-0.001
max	0.761-1.073=-0.312

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.222-0.260=-0.038
σ	0.024-0.074=-0.050
min	0.198-0.212=-0.014
max	0.262-0.389=-0.127

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.339-0.336=0.003
σ	0.017-0.020=-0.003
min	0.319-0.317=0.002
max	0.366-0.369=-0.003

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*	432.600-431.400=1.200
σ	3.130-0.894=2.236
min	430.000-431.000=-1.000
max	436.000-433.000=3.000

*mean*	0.539-0.566=-0.026
σ	0.052-0.040=0.012
min	0.461-0.527=-0.066
max	0.590-0.612=-0.022

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	436.000-440.000=-4.000
σ	0.000
min	436.000-440.000=-4.000
max	436.000-440.000=-4.000

*mean*	0.471-0.473=-0.003
σ	0.062-0.067=-0.005
min	0.375-0.363=0.013
max	0.533-0.520=0.013

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*	436.000-440.000=-4.000
σ	0.000
min	436.000-440.000=-4.000
max	436.000-440.000=-4.000

*mean*	2.600-2.631=-0.031
σ	0.088-0.093=-0.005
min	2.451-2.457=-0.006
max	2.857-3.111=-0.254

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	436.000-440.000=-4.000
σ	0.000
min	436.000-440.000=-4.000
max	436.000-440.000=-4.000

*mean*	2.600-2.577=0.023
σ	0.093-0.097=-0.004
min	2.453-2.380=0.074
max	2.978-3.232=-0.254

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	436.000-440.000=-4.000
σ	0.000
min	436.000-440.000=-4.000
max	436.000-440.000=-4.000

*mean*	0.304-0.308=-0.004
σ	0.008-0.013=-0.004
min	0.290-0.287=0.003
max	0.358-0.356=0.002

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	436.000-440.000=-4.000
σ	0.000
min	436.000-440.000=-4.000
max	436.000-440.000=-4.000

*mean*	0.293-0.298=-0.005
σ	0.008-0.014=-0.007
min	0.281-0.282=-0.001
max	0.325-0.370=-0.045

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.806-11.608=0.197
σ	11.366-11.755=-0.389
min	0.858-0.574=0.284
max	87.179-99.828=-12.649

*mean*	464.717-454.068=10.649
σ	19.899-17.101=2.798
min	406.000-408.000=-2.000
max	480.000-472.000=8.000

*mean*	0.027-0.027=0.000
σ	0.028-0.029=-0.001
min	0.001-0.001=0.000
max	0.205-0.239=-0.034

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.605-298.777=-0.172
σ	0.998-1.017=-0.019
min	298.222-298.356=-0.135
max	301.443-301.668=-0.225

*mean*	437.100-443.800=-6.700
σ	15.271-18.005=-2.734
min	413.000-420.000=-7.000
max	460.000-469.000=-9.000

*mean*	0.589-0.596=-0.006
σ	0.035-0.031=0.005
min	0.529-0.536=-0.008
max	0.644-0.642=0.002

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
max	236.678-236.678=0.000

*mean*	1065.750-873.250=192.500
σ	34.648-31.290=3.358
min	980.000-823.000=157.000
max	1078.000-892.000=186.000

*mean*	209.477-213.023=-3.546
σ	3.033-4.501=-1.468
min	205.107-206.338=-1.231
max	214.919-221.169=-6.250

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1065.750-871.750=194.000
σ	34.648-34.196=0.452
min	980.000-811.000=169.000
max	1078.000-892.000=186.000

*mean*	9.277-9.733=-0.457
σ	2.751-2.439=0.312
min	6.299-6.444=-0.145
max	13.003-13.061=-0.058

phase=parser

*mean*	1042.363-1042.363=0.000
σ	0.000-0.000=-0.000
min	1042.362
max	1042.363

*mean*	1065.750-871.375=194.375
σ	34.648-34.965=-0.317
min	980.000-808.000=172.000
max	1078.000-892.000=186.000

*mean*	559.138-583.493=-24.355
σ	162.738-110.967=51.771
min	373.550-447.740=-74.190
max	827.579-763.203=64.375

phase=processProdDef

*mean*	4850.764-4850.764=0.000
σ	0.000-0.000=0.000
min	4850.764
max	4850.765-4850.764=0.001

*mean*	1078.000-881.875=196.125
σ	0.000-24.157=-24.157
min	1078.000-823.000=255.000
max	1078.000-892.000=186.000

*mean*	4787.670-4860.644=-72.974
σ	637.199-672.323=-35.124
min	3688.038-3966.858=-278.820
max	5859.354-5615.278=244.076

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1065.750-873.250=192.500
σ	34.648-31.290=3.358
min	980.000-823.000=157.000
max	1078.000-892.000=186.000

*mean*	34.283-41.074=-6.790
σ	12.656-15.502=-2.846
min	20.215-20.603=-0.387
max	51.250-68.648=-17.398

phase=type checker

*mean*	990.450
σ	0.071
min	990.344
max	990.563

*mean*	1065.750-873.250=192.500
σ	34.648-31.290=3.358
min	980.000-823.000=157.000
max	1078.000-892.000=186.000

*mean*	718.425-752.015=-33.590
σ	85.553-84.133=1.420
min	648.474-678.800=-30.326
max	902.898-906.132=-3.235

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.820-293.821=-0.001
σ	0.038-0.038=-0.000
min	293.767-293.768=-0.001
max	293.859-293.861=-0.002

*mean*	440.000-442.400=-2.400
σ	2.739-0.548=2.191
min	438.000-442.000=-4.000
max	443.000

*mean*	0.393-0.396=-0.003
σ	0.001-0.001=0.000
min	0.393-0.394=-0.002
max	0.396-0.398=-0.002

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.220-1320.216=0.004
σ	0.030-0.034=-0.003
min	1320.172-1320.158=0.014
max	1320.245-1320.243=0.002

*mean*	1067.400-1084.000=-16.600
σ	164.722-171.572=-6.850
min	845.000-879.000=-34.000
max	1268.000-1316.000=-48.000

*mean*	2.245-2.313=-0.068
σ	0.079-0.246=-0.167
min	2.137-2.134=0.003
max	2.346-2.746=-0.400

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.612-1560.608=0.004
σ	6.200-6.215=-0.016
min	1557.640-1557.644=-0.004
max	1571.699-1571.722=-0.023

*mean*	619.600-611.800=7.800
σ	82.473-94.349=-11.876
min	495.000-499.000=-4.000
max	717.000-735.000=-18.000

*mean*	2.274-2.295=-0.021
σ	0.087-0.121=-0.034
min	2.213-2.155=0.058
max	2.424-2.433=-0.010

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.172-1882.171=0.000
σ	0.056-0.059=-0.004
min	1882.107-1882.099=0.008
max	1882.242-1882.253=-0.011

*mean*	1709.200-1727.400=-18.200
σ	253.564-180.414=73.150
min	1397.000-1468.000=-71.000
max	2044.000-1891.000=153.000

*mean*	2.986-3.166=-0.180
σ	0.082-0.362=-0.281
min	2.901-2.883=0.018
max	3.086-3.770=-0.684

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.737-1.656=0.081
σ	0.088-0.113=-0.025
min	1.587-1.524=0.063
max	1.802-1.832=-0.029

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.258-452.082=0.176
σ	582.731-582.722=0.008
min	160.891-160.719=0.172
max	1326.354-1326.166=0.189

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	442.000-443.000=-1.000
σ	0.000
min	442.000-443.000=-1.000
max	442.000-443.000=-1.000

*mean*	0.540-0.539=0.002
σ	0.533-0.525=0.008
min	0.268-0.269=-0.001
max	1.339-1.326=0.013

policies=20

*mean*	1609.234-1607.535=1.699
σ	0.428-0.427=0.001
min	1608.947-1607.247=1.700
max	1609.869-1608.168=1.701

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	449.000-449.500=-0.500
σ	8.083-7.506=0.577
min	442.000-443.000=-1.000
max	456.000

*mean*	2.718-2.716=0.002
σ	0.021-0.069=-0.048
min	2.702-2.669=0.033
max	2.747-2.817=-0.070

policies=200

*mean*	16100.601-16083.456=17.145
σ	0.172-0.078=0.095
min	16100.453-16083.397=17.057
max	16100.831-16083.565=17.266

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	497.500-493.500=4.000
σ	4.203-3.109=1.094
min	492.000-490.000=2.000
max	502.000-497.000=5.000

*mean*	27.258-27.137=0.121
σ	0.076-0.046=0.030
min	27.179-27.111=0.068
max	27.357-27.206=0.151