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

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.870-54.872=-0.002
σ	0.358-0.358=-0.000
min	54.739-54.734=0.005
max	55.888-55.890=-0.003

*mean*	418.500-418.000=0.500
σ	0.527-0.000=0.527
min	418.000
max	419.000-418.000=1.000

*mean*	0.141-0.141=-0.001
σ	0.006-0.004=0.002
min	0.133-0.138=-0.005
max	0.152-0.149=0.003

cache=y

dps=1

iters=10

policies=100

*mean*	43.840-43.840=0.001
σ	0.006-0.005=0.001
min	43.831-43.832=-0.001
max	43.848-43.849=-0.001

*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.121-0.121=-0.000
max	0.130-0.133=-0.003

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

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

*mean*	4030.500-4029.125=1.375
σ	2001.382-2000.760=0.622
min	1217.000-1218.000=-1.000
max	7128.000-7131.000=-3.000

*mean*	12.835-12.732=0.103
σ	0.252-0.220=0.032
min	12.433-12.486=-0.053
max	13.185-13.116=0.070

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*	4030.500-4029.125=1.375
σ	2001.382-2000.760=0.622
min	1217.000-1218.000=-1.000
max	7128.000-7131.000=-3.000

*mean*	12.952-12.184=0.767
σ	0.622-0.357=0.265
min	11.791-11.823=-0.032
max	13.601-12.872=0.730

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*	7128.000-7131.000=-3.000
σ	0.000
min	7128.000-7131.000=-3.000
max	7128.000-7131.000=-3.000

*mean*	14.482-14.341=0.141
σ	1.781-1.935=-0.154
min	11.449-11.137=0.312
max	15.539-15.772=-0.234

op=table_records(), repeat

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

*mean*	4030.500-4029.125=1.375
σ	2001.382-2000.760=0.622
min	1217.000-1218.000=-1.000
max	7128.000-7131.000=-3.000

*mean*	13.385-13.486=-0.101
σ	2.009-1.871=0.138
min	11.163-11.163=-0.000
max	15.629-15.376=0.253

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*	4030.500-4029.125=1.375
σ	2001.382-2000.760=0.622
min	1217.000-1218.000=-1.000
max	7128.000-7131.000=-3.000

*mean*	8.999-9.089=-0.090
σ	0.320-0.444=-0.124
min	8.614-8.513=0.101
max	9.431-9.712=-0.281

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*	4030.500-4029.125=1.375
σ	2001.382-2000.760=0.622
min	1217.000-1218.000=-1.000
max	7128.000-7131.000=-3.000

*mean*	6.752-6.892=-0.141
σ	0.356-0.435=-0.079
min	6.359-6.372=-0.013
max	7.351-7.633=-0.282

op=vertical_lookup_row_list() on 2 indexed

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

*mean*	4030.500-4029.125=1.375
σ	2001.382-2000.760=0.622
min	1217.000-1218.000=-1.000
max	7128.000-7131.000=-3.000

*mean*	5.992-5.828=0.164
σ	0.147-0.117=0.031
min	5.786-5.623=0.163
max	6.149-5.957=0.192

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

*mean*	4030.500-4029.125=1.375
σ	2001.382-2000.760=0.622
min	1217.000-1218.000=-1.000
max	7128.000-7131.000=-3.000

*mean*	5.838-5.813=0.026
σ	0.101-0.136=-0.035
min	5.617-5.609=0.008
max	5.951-5.969=-0.018

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*	7128.000-7131.000=-3.000
σ	0.000
min	7128.000-7131.000=-3.000
max	7128.000-7131.000=-3.000

*mean*	349.192-348.613=0.579
σ	1.775-2.063=-0.288
min	346.420-344.998=1.422
max	351.627-351.856=-0.229

op=load_product(), with indexes

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

*mean*	3264.125-3262.875=1.250
σ	1816.587-1813.755=2.832
min	810.000
max	5602.000-5596.000=6.000

*mean*	3669.469-3608.299=61.169
σ	1112.722-968.529=144.192
min	3122.262-3103.782=18.481
max	6233.717-5803.593=430.124

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*	4030.500-4029.125=1.375
σ	2001.382-2000.760=0.622
min	1217.000-1218.000=-1.000
max	7128.000-7131.000=-3.000

*mean*	82.195-82.473=-0.278
σ	11.776-13.573=-1.797
min	70.768-70.772=-0.005
max	98.857-106.901=-8.044

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7128.000-7131.000=-3.000
σ	0.000
min	7128.000-7131.000=-3.000
max	7128.000-7131.000=-3.000

*mean*	64.955-63.727=1.228
σ	6.913-4.936=1.978
min	60.497-60.418=0.079
max	79.723-74.660=5.063

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

*mean*	7128.000-7131.000=-3.000
σ	0.000
min	7128.000-7131.000=-3.000
max	7128.000-7131.000=-3.000

*mean*	104.083-102.592=1.491
σ	6.751-4.126=2.624
min	99.698-99.929=-0.232
max	116.494-110.657=5.837

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*	4030.500-4029.125=1.375
σ	2001.382-2000.760=0.622
min	1217.000-1218.000=-1.000
max	7128.000-7131.000=-3.000

*mean*	8245.115-8445.156=-200.041
σ	1891.976-1718.513=173.463
min	6021.817-6007.633=14.183
max	10682.048-10968.760=-286.712

op=vertical_lookup_list() on indexed

*mean*	13159.109-13159.109=0.000
σ	0.001-0.001=0.000
min	13159.107
max	13159.110

*mean*	7128.000-7131.000=-3.000
σ	0.000
min	7128.000-7131.000=-3.000
max	7128.000-7131.000=-3.000

*mean*	5442.910-5388.493=54.417
σ	701.885-704.705=-2.820
min	5055.697-5023.610=32.087
max	7002.258-7041.743=-39.485

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*	478.000-477.000=1.000
σ	0.000
min	478.000-477.000=1.000
max	478.000-477.000=1.000

*mean*	372.087-377.398=-5.311
σ	32.826-18.200=14.626
min	298.303-355.191=-56.887
max	392.656-397.976=-5.321

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	556.500-561.000=-4.500
σ	5.880-0.000=5.880
min	551.000-561.000=-10.000
max	562.000-561.000=1.000

*mean*	757.766-723.073=34.694
σ	54.895-74.562=-19.667
min	665.472-599.979=65.493
max	823.973-793.235=30.737

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.323-1024.325=-0.003
σ	0.759-0.759=0.001
min	1023.851-1023.849=0.003
max	1027.462-1027.462=-0.000

*mean*	1061.850-1063.250=-1.400
σ	315.984-315.450=0.534
min	596.000-598.000=-2.000
max	1566.000

*mean*	1.565-1.557=0.008
σ	0.054-0.044=0.011
min	1.503-1.510=-0.006
max	1.704-1.670=0.033

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.303-0.493=-0.190
σ	0.306-0.464=-0.159
min	0.141-0.240=-0.098
max	0.847-1.316=-0.469

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.491-0.831=-0.340
σ	0.340-0.527=-0.186
min	0.319-0.571=-0.252
max	1.099-1.772=-0.673

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.223-0.380=-0.157
σ	0.020-0.037=-0.017
min	0.209-0.347=-0.138
max	0.258-0.441=-0.182

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.417-0.585=-0.167
σ	0.147-0.031=0.116
min	0.338-0.553=-0.215
max	0.679-0.635=0.043

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*	433.800-431.600=2.200
σ	3.033-1.342=1.692
min	431.000
max	437.000-434.000=3.000

*mean*	0.587-0.677=-0.090
σ	0.014-0.099=-0.085
min	0.564-0.533=0.030
max	0.601-0.757=-0.156

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	437.000-440.000=-3.000
σ	0.000
min	437.000-440.000=-3.000
max	437.000-440.000=-3.000

*mean*	0.488-0.490=-0.002
σ	0.033-0.037=-0.003
min	0.456-0.435=0.021
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*	437.000-440.000=-3.000
σ	0.000
min	437.000-440.000=-3.000
max	437.000-440.000=-3.000

*mean*	2.623-2.607=0.016
σ	0.097-0.092=0.004
min	2.475-2.480=-0.005
max	2.983-2.974=0.009

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	437.000-440.000=-3.000
σ	0.000
min	437.000-440.000=-3.000
max	437.000-440.000=-3.000

*mean*	2.619-2.587=0.032
σ	0.085-0.088=-0.002
min	2.474-2.450=0.024
max	2.865-2.887=-0.022

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	437.000-440.000=-3.000
σ	0.000
min	437.000-440.000=-3.000
max	437.000-440.000=-3.000

*mean*	0.306-0.307=-0.002
σ	0.009-0.011=-0.002
min	0.291-0.295=-0.004
max	0.357-0.369=-0.012

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	437.000-440.000=-3.000
σ	0.000
min	437.000-440.000=-3.000
max	437.000-440.000=-3.000

*mean*	0.292-0.292=0.000
σ	0.010-0.011=-0.000
min	0.276-0.278=-0.002
max	0.366-0.342=0.025

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.686-298.781=-0.095
σ	1.059-1.034=0.026
min	298.198-298.382=-0.184
max	301.688-301.720=-0.032

*mean*	442.600-441.600=1.000
σ	14.638-14.886=-0.248
min	420.000-417.000=3.000
max	464.000-468.000=-4.000

*mean*	0.604-0.605=-0.001
σ	0.026-0.033=-0.006
min	0.538-0.549=-0.010
max	0.644-0.647=-0.004

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	893.375-1065.750=-172.375
σ	38.537-34.648=3.889
min	798.000-980.000=-182.000
max	907.000-1078.000=-171.000

*mean*	214.741-215.440=-0.699
σ	5.113-3.369=1.744
min	206.486-210.266=-3.779
max	220.612-220.349=0.263

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	893.375-1065.750=-172.375
σ	38.537-34.648=3.889
min	798.000-980.000=-182.000
max	907.000-1078.000=-171.000

*mean*	8.875-6.740=2.135
σ	2.296-0.376=1.920
min	6.302-6.335=-0.033
max	12.829-7.483=5.346

phase=parser

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

*mean*	893.375-1065.750=-172.375
σ	38.537-34.648=3.889
min	798.000-980.000=-182.000
max	907.000-1078.000=-171.000

*mean*	555.790-496.037=59.754
σ	123.918-65.170=58.748
min	376.458-377.617=-1.159
max	762.620-563.238=199.382

phase=processProdDef

*mean*	4850.767-4850.765=0.002
σ	0.000
min	4850.767-4850.765=0.002
max	4850.768-4850.766=0.002

*mean*	907.000-1078.000=-171.000
σ	0.000
min	907.000-1078.000=-171.000
max	907.000-1078.000=-171.000

*mean*	5325.176-4796.128=529.048
σ	205.406-649.442=-444.036
min	5108.578-3654.307=1454.271
max	5691.036-5471.457=219.580

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*	893.375-1065.750=-172.375
σ	38.537-34.648=3.889
min	798.000-980.000=-182.000
max	907.000-1078.000=-171.000

*mean*	34.238-21.054=13.184
σ	11.364-0.270=11.094
min	20.443-20.662=-0.218
max	47.479-21.580=25.899

phase=type checker

*mean*	990.450
σ	0.071
min	990.344
max	990.563

*mean*	893.375-1065.750=-172.375
σ	38.537-34.648=3.889
min	798.000-980.000=-182.000
max	907.000-1078.000=-171.000

*mean*	764.950-697.061=67.889
σ	102.801-45.063=57.738
min	663.040-667.732=-4.693
max	921.958-770.519=151.438

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.928-293.927=0.001
σ	0.038-0.038=-0.000
min	293.874-293.873=0.001
max	293.967-293.966=0.000

*mean*	440.200-443.400=-3.200
σ	1.643-0.548=1.095
min	439.000-443.000=-4.000
max	442.000-444.000=-2.000

*mean*	0.398-0.397=0.001
σ	0.006-0.006=-0.001
min	0.395-0.393=0.002
max	0.408-0.409=-0.001

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.186-1320.296=-0.111
σ	0.077-0.083=-0.006
min	1320.113-1320.152=-0.039
max	1320.302-1320.356=-0.055

*mean*	1068.600-1093.400=-24.800
σ	184.810-182.938=1.872
min	836.000-862.000=-26.000
max	1314.000

*mean*	1.859-2.232=-0.373
σ	0.037-0.060=-0.023
min	1.823-2.155=-0.332
max	1.902-2.315=-0.413

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.717-1560.710=0.007
σ	6.231-6.237=-0.005
min	1557.703-1557.694=0.009
max	1571.859-1571.861=-0.002

*mean*	619.400-626.800=-7.400
σ	79.204-80.658=-1.454
min	492.000-504.000=-12.000
max	687.000-717.000=-30.000

*mean*	2.312-2.293=0.019
σ	0.191-0.216=-0.025
min	2.141-2.145=-0.004
max	2.604-2.675=-0.071

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.280-1882.274=0.006
σ	0.054-0.064=-0.010
min	1882.210-1882.189=0.021
max	1882.352-1882.361=-0.010

*mean*	1711.600-1724.400=-12.800
σ	251.646-177.525=74.121
min	1419.000-1466.000=-47.000
max	2061.000-1884.000=177.000

*mean*	2.954-3.091=-0.138
σ	0.084-0.283=-0.199
min	2.887-2.892=-0.004
max	3.052-3.590=-0.537

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.838-1.638=0.200
σ	0.109-0.218=-0.109
min	1.648-1.364=0.284
max	1.909-1.952=-0.043

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.153-452.155=-0.002
σ	582.777-582.779=-0.002
min	160.762-160.760=0.003
max	1326.320-1326.324=-0.005

*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.549=-0.009
σ	0.540-0.554=-0.014
min	0.268-0.265=0.003
max	1.351-1.380=-0.029

policies=20

*mean*	1607.961-1607.968=-0.006
σ	0.404-0.418=-0.014
min	1607.683-1607.684=-0.000
max	1608.559-1608.589=-0.030

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	445.000-451.500=-6.500
σ	3.464-9.815=-6.351
min	442.000-443.000=-1.000
max	448.000-460.000=-12.000

*mean*	2.683-2.707=-0.024
σ	0.012-0.033=-0.021
min	2.665-2.675=-0.011
max	2.693-2.743=-0.049

policies=200

*mean*	16087.863-16087.771=0.092
σ	0.128-0.106=0.022
min	16087.770-16087.649=0.120
max	16088.042-16087.872=0.170

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	499.250-502.250=-3.000
σ	7.500-3.304=4.196
min	491.000-498.000=-7.000
max	507.000-506.000=1.000

*mean*	27.246-27.303=-0.058
σ	0.065-0.087=-0.022
min	27.149-27.174=-0.025
max	27.293-27.361=-0.067