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.881-54.881=0.000
σ	0.359-0.359=0.000
min	54.748-54.745=0.003
max	55.903-55.902=0.001

*mean*	418.000-417.000=1.000
σ	0.000
min	418.000-417.000=1.000
max	418.000-417.000=1.000

*mean*	0.140-0.141=-0.001
σ	0.006-0.004=0.002
min	0.132-0.137=-0.004
max	0.150-0.148=0.002

cache=y

dps=1

iters=10

policies=100

*mean*	43.850-43.849=0.001
σ	0.006-0.007=-0.001
min	43.839-43.836=0.003
max	43.861-43.858=0.004

*mean*	418.000-417.000=1.000
σ	0.000
min	418.000-417.000=1.000
max	418.000-417.000=1.000

*mean*	0.125-0.125=-0.000
σ	0.003-0.004=-0.001
min	0.122-0.121=0.001
max	0.131-0.132=-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*	4042.125-4041.250=0.875
σ	2009.987-2008.838=1.149
min	1218.000-1216.000=2.000
max	7154.000-7148.000=6.000

*mean*	13.092-12.922=0.171
σ	0.516-0.315=0.200
min	12.558-12.554=0.004
max	14.216-13.399=0.817

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

*mean*	4042.125-4041.250=0.875
σ	2009.987-2008.838=1.149
min	1218.000-1216.000=2.000
max	7154.000-7148.000=6.000

*mean*	13.289-12.723=0.567
σ	0.266-0.673=-0.407
min	12.937-11.824=1.113
max	13.624-13.784=-0.160

op=table_records(), no indexes

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

*mean*	7154.000-7148.000=6.000
σ	0.000
min	7154.000-7148.000=6.000
max	7154.000-7148.000=6.000

*mean*	15.078-15.374=-0.296
σ	0.160-0.184=-0.025
min	14.802-15.153=-0.351
max	15.336-15.642=-0.306

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-4041.250=0.875
σ	2009.987-2008.838=1.149
min	1218.000-1216.000=2.000
max	7154.000-7148.000=6.000

*mean*	13.920-13.615=0.305
σ	1.840-1.889=-0.049
min	11.011-10.758=0.253
max	15.626-16.383=-0.757

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

*mean*	4042.125-4041.250=0.875
σ	2009.987-2008.838=1.149
min	1218.000-1216.000=2.000
max	7154.000-7148.000=6.000

*mean*	9.636-9.605=0.030
σ	1.255-1.283=-0.027
min	8.850-8.591=0.259
max	12.584-12.677=-0.093

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

*mean*	4042.125-4041.250=0.875
σ	2009.987-2008.838=1.149
min	1218.000-1216.000=2.000
max	7154.000-7148.000=6.000

*mean*	7.258-8.017=-0.759
σ	1.292-1.500=-0.208
min	6.132-6.994=-0.861
max	10.305-10.704=-0.399

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*	4042.125-4041.250=0.875
σ	2009.987-2008.838=1.149
min	1218.000-1216.000=2.000
max	7154.000-7148.000=6.000

*mean*	6.038-6.038=-0.001
σ	0.118-0.108=0.010
min	5.831-5.866=-0.035
max	6.181-6.163=0.018

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*	4042.125-4041.250=0.875
σ	2009.987-2008.838=1.149
min	1218.000-1216.000=2.000
max	7154.000-7148.000=6.000

*mean*	5.892-5.855=0.037
σ	0.186-0.100=0.086
min	5.713-5.674=0.040
max	6.328-5.989=0.339

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-1021.616=0.001

*mean*	7154.000-7148.000=6.000
σ	0.000
min	7154.000-7148.000=6.000
max	7154.000-7148.000=6.000

*mean*	361.545-366.098=-4.553
σ	42.122-53.388=-11.266
min	343.378-344.524=-1.146
max	465.525-498.137=-32.612

op=load_product(), with indexes

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

*mean*	3272.500-3272.875=-0.375
σ	1823.786-1823.353=0.433
min	810.000-809.000=1.000
max	5621.000-5619.000=2.000

*mean*	3620.502-3806.810=-186.308
σ	1104.269-1320.083=-215.814
min	3070.327-3082.815=-12.488
max	6182.075-6199.142=-17.067

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

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

*mean*	4042.125-4041.250=0.875
σ	2009.987-2008.838=1.149
min	1218.000-1216.000=2.000
max	7154.000-7148.000=6.000

*mean*	88.889-91.506=-2.617
σ	19.674-19.702=-0.028
min	71.136-75.383=-4.247
max	122.145-127.516=-5.370

op=vertical_lookup_list() on unindexed missing Int

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

*mean*	7154.000-7148.000=6.000
σ	0.000
min	7154.000-7148.000=6.000
max	7154.000-7148.000=6.000

*mean*	61.638-61.265=0.373
σ	1.086-0.323=0.763
min	60.582-60.918=-0.336
max	64.027-61.671=2.356

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*	7154.000-7148.000=6.000
σ	0.000
min	7154.000-7148.000=6.000
max	7154.000-7148.000=6.000

*mean*	268.025-100.160=167.866
σ	371.556-0.693=370.862
min	98.450-99.234=-0.784
max	1150.573-101.288=1049.285

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.576-14215.575=0.001
max	14227.820-14227.821=-0.001

*mean*	4042.125-4041.250=0.875
σ	2009.987-2008.838=1.149
min	1218.000-1216.000=2.000
max	7154.000-7148.000=6.000

*mean*	8038.435-8175.550=-137.114
σ	1961.053-2157.102=-196.049
min	5977.666-6002.891=-25.226
max	10943.169-11067.801=-124.633

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*	7154.000-7148.000=6.000
σ	0.000
min	7154.000-7148.000=6.000
max	7154.000-7148.000=6.000

*mean*	5272.488-5090.331=182.156
σ	646.114-172.373=473.741
min	4964.340-4962.508=1.832
max	6819.033-5381.260=1437.773

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*	364.488-382.309=-17.821
σ	30.867-19.092=11.775
min	301.170-350.784=-49.614
max	389.191-394.179=-4.988

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	560.000-561.000=-1.000
σ	0.000
min	560.000-561.000=-1.000
max	560.000-561.000=-1.000

*mean*	757.741-704.380=53.361
σ	52.144-73.371=-21.227
min	632.068-591.987=40.081
max	797.583-790.846=6.737

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.297-1024.299=-0.002
σ	0.759-0.759=-0.000
min	1023.822-1023.827=-0.005
max	1027.435-1027.437=-0.002

*mean*	1050.150-1037.800=12.350
σ	314.003-301.078=12.925
min	574.000-562.000=12.000
max	1514.000-1460.000=54.000

*mean*	1.577-1.536=0.041
σ	0.079-0.068=0.011
min	1.507-1.361=0.146
max	1.799-1.642=0.157

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.477-0.442=0.035
σ	0.495-0.625=-0.129
min	0.248-0.132=0.116
max	1.363-1.557=-0.194

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.839-0.719=0.120
σ	0.530-0.292=0.238
min	0.583-0.562=0.021
max	1.785-1.239=0.546

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.385-0.381=0.004
σ	0.042-0.041=0.001
min	0.354-0.356=-0.002
max	0.454-0.451=0.003

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.566-0.584=-0.018
σ	0.079-0.030=0.049
min	0.431-0.560=-0.129
max	0.640-0.634=0.006

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*	437.000-435.200=1.800
σ	6.595-4.550=2.046
min	431.000
max	444.000-440.000=4.000

*mean*	0.704-0.608=0.096
σ	0.051-0.075=-0.024
min	0.627-0.548=0.078
max	0.752-0.739=0.013

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

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

*mean*	0.623-0.463=0.160
σ	0.029-0.032=-0.003
min	0.578-0.426=0.153
max	0.650-0.495=0.155

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

*mean*	3.512-2.634=0.878
σ	0.077-0.123=-0.045
min	3.398-2.457=0.942
max	3.886-3.248=0.638

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

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

*mean*	3.487-2.605=0.882
σ	0.063-0.094=-0.031
min	3.361-2.428=0.933
max	3.778-2.841=0.937

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

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

*mean*	0.543-0.303=0.240
σ	0.014-0.011=0.003
min	0.520-0.286=0.234
max	0.635-0.372=0.263

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

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

*mean*	0.512-0.303=0.210
σ	0.011-0.070=-0.058
min	0.493-0.274=0.220
max	0.565-0.757=-0.192

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.398
σ	12.035
min	0.574
max	134.669

*mean*	464.126
σ	18.590
min	406.000
max	478.000

*mean*	0.026
σ	0.030
min	0.001
max	0.315

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.611-298.896=-0.285
σ	0.996-1.002=-0.006
min	298.183-298.502=-0.319
max	301.436-301.743=-0.307

*mean*	441.500-441.200=0.300
σ	13.485-14.359=-0.874
min	424.000-418.000=6.000
max	463.000-467.000=-4.000

*mean*	0.600-0.598=0.002
σ	0.018-0.024=-0.006
min	0.579-0.546=0.033
max	0.635-0.621=0.014

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-1065.000=0.750
σ	34.648-33.941=0.707
min	980.000-981.000=-1.000
max	1078.000-1077.000=1.000

*mean*	209.376-204.754=4.622
σ	1.883-2.560=-0.678
min	206.959-200.470=6.489
max	211.565-208.766=2.799

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1065.750-1065.000=0.750
σ	34.648-33.941=0.707
min	980.000-981.000=-1.000
max	1078.000-1077.000=1.000

*mean*	9.424-10.272=-0.848
σ	3.388-2.103=1.285
min	6.471-6.365=0.106
max	15.769-13.111=2.658

phase=parser

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

*mean*	1065.750-1065.000=0.750
σ	34.648-33.941=0.707
min	980.000-981.000=-1.000
max	1078.000-1077.000=1.000

*mean*	611.255-534.641=76.614
σ	121.192-108.425=12.767
min	516.716-379.637=137.078
max	841.672-708.169=133.502

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-1077.000=1.000
σ	0.000
min	1078.000-1077.000=1.000
max	1078.000-1077.000=1.000

*mean*	4833.831-4957.461=-123.630
σ	159.214-326.121=-166.908
min	4592.824-4349.627=243.197
max	5028.156-5330.964=-302.808

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1065.750-1065.000=0.750
σ	34.648-33.941=0.707
min	980.000-981.000=-1.000
max	1078.000-1077.000=1.000

*mean*	34.317-39.943=-5.626
σ	13.768-8.042=5.725
min	20.844-21.633=-0.789
max	56.060-48.137=7.923

phase=type checker

*mean*	990.450
σ	0.071
min	990.344
max	990.563

*mean*	1065.750-1065.000=0.750
σ	34.648-33.941=0.707
min	980.000-981.000=-1.000
max	1078.000-1077.000=1.000

*mean*	750.484-745.459=5.025
σ	109.557-82.410=27.147
min	652.466-643.765=8.701
max	946.528-894.559=51.969

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.000
max	293.859-293.860=-0.001

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

*mean*	0.391-0.400=-0.009
σ	0.002-0.005=-0.003
min	0.388-0.394=-0.006
max	0.394-0.406=-0.012

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.218-1320.211=0.007
σ	0.033-0.047=-0.014
min	1320.171-1320.137=0.034
max	1320.252-1320.257=-0.005

*mean*	1066.800-1067.600=-0.800
σ	165.095-164.483=0.611
min	843.000-845.000=-2.000
max	1267.000-1268.000=-1.000

*mean*	2.308-2.249=0.060
σ	0.186-0.124=0.062
min	2.158-2.147=0.011
max	2.629-2.456=0.172

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.616-1560.617=-0.002
σ	6.233-6.226=0.007
min	1557.616-1557.635=-0.019
max	1571.762-1571.750=0.011

*mean*	620.000-619.600=0.400
σ	82.741-82.984=-0.243
min	495.000-494.000=1.000
max	717.000

*mean*	2.329-2.304=0.025
σ	0.232-0.188=0.043
min	2.146-2.181=-0.035
max	2.730-2.623=0.107

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.174-1882.168=0.005
σ	0.054-0.056=-0.002
min	1882.110-1882.105=0.006
max	1882.250-1882.241=0.009

*mean*	1711.000-1708.600=2.400
σ	261.579-258.907=2.672
min	1397.000-1396.000=1.000
max	2064.000-2056.000=8.000

*mean*	2.904-2.929=-0.026
σ	0.062-0.076=-0.013
min	2.849-2.842=0.007
max	3.008-3.013=-0.005

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.627-1.841=-0.214
σ	0.138-0.050=0.088
min	1.493-1.755=-0.262
max	1.855-1.874=-0.019

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.081-452.082=-0.001
σ	582.723-582.721=0.001
min	160.714-160.720=-0.005
max	1326.165-1326.164=0.001

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	443.000-441.000=2.000
σ	0.000
min	443.000-441.000=2.000
max	443.000-441.000=2.000

*mean*	0.533-0.541=-0.007
σ	0.522-0.542=-0.020
min	0.266-0.268=-0.002
max	1.317-1.354=-0.037

policies=20

*mean*	1607.513-1607.527=-0.014
σ	0.414-0.413=0.001
min	1607.232-1607.247=-0.015
max	1608.129-1608.139=-0.010

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	451.000-445.000=6.000
σ	9.238-4.619=4.619
min	443.000-441.000=2.000
max	459.000-449.000=10.000

*mean*	2.692-2.694=-0.002
σ	0.024-0.017=0.006
min	2.670-2.677=-0.007
max	2.717-2.714=0.004

policies=200

*mean*	16083.465-16083.364=0.100
σ	0.120-0.167=-0.047
min	16083.360-16083.200=0.160
max	16083.622-16083.533=0.089

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	497.250-493.750=3.500
σ	2.986-4.031=-1.045
min	494.000-489.000=5.000
max	501.000-498.000=3.000

*mean*	27.152-27.146=0.007
σ	0.138-0.033=0.105
min	27.023-27.115=-0.092
max	27.347-27.193=0.154