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.880-54.881=-0.001
σ	0.357-0.357=-0.001
min	54.747-54.747=-0.001
max	55.894-55.897=-0.003

*mean*	418.000-416.000=2.000
σ	0.000
min	418.000-416.000=2.000
max	418.000-416.000=2.000

*mean*	0.141-0.142=-0.002
σ	0.004-0.005=-0.001
min	0.137-0.138=-0.001
max	0.147-0.150=-0.003

cache=y

dps=1

iters=10

policies=100

*mean*	43.848-43.848=0.000
σ	0.004-0.006=-0.002
min	43.842-43.838=0.004
max	43.857-43.859=-0.003

*mean*	418.000-416.000=2.000
σ	0.000
min	418.000-416.000=2.000
max	418.000-416.000=2.000

*mean*	0.122-0.123=-0.001
σ	0.005-0.005=-0.000
min	0.117-0.118=-0.000
max	0.130-0.134=-0.004

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-36.616=0.000
max	36.620-36.620=0.000

*mean*	4042.250-4042.625=-0.375
σ	2008.850-2009.034=-0.184
min	1218.000-1217.000=1.000
max	7146.000-7143.000=3.000

*mean*	12.851-13.436=-0.585
σ	0.655-1.727=-1.072
min	12.262-12.249=0.013
max	14.367-17.602=-3.235

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.250-4042.625=-0.375
σ	2008.850-2009.034=-0.184
min	1218.000-1217.000=1.000
max	7146.000-7143.000=3.000

*mean*	12.985-13.243=-0.259
σ	0.596-2.055=-1.458
min	11.646-11.701=-0.055
max	13.513-18.171=-4.658

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*	7146.000-7143.000=3.000
σ	0.000
min	7146.000-7143.000=3.000
max	7146.000-7143.000=3.000

*mean*	15.171-15.226=-0.054
σ	0.161-2.057=-1.896
min	14.933-11.776=3.157
max	15.399-19.420=-4.020

op=table_records(), repeat

*mean*	41.930-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.250-4042.625=-0.375
σ	2008.850-2009.034=-0.184
min	1218.000-1217.000=1.000
max	7146.000-7143.000=3.000

*mean*	14.350-15.199=-0.850
σ	1.461-1.152=0.309
min	11.075-12.930=-1.855
max	15.767-16.772=-1.005

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.250-4042.625=-0.375
σ	2008.850-2009.034=-0.184
min	1218.000-1217.000=1.000
max	7146.000-7143.000=3.000

*mean*	9.636-9.946=-0.311
σ	1.391-1.659=-0.267
min	8.557-8.564=-0.007
max	12.681-12.790=-0.109

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*	4042.250-4042.625=-0.375
σ	2008.850-2009.034=-0.184
min	1218.000-1217.000=1.000
max	7146.000-7143.000=3.000

*mean*	7.433-7.915=-0.482
σ	1.213-1.599=-0.386
min	6.375-6.632=-0.257
max	10.145-10.491=-0.346

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*	4042.250-4042.625=-0.375
σ	2008.850-2009.034=-0.184
min	1218.000-1217.000=1.000
max	7146.000-7143.000=3.000

*mean*	5.989-6.125=-0.136
σ	0.153-0.566=-0.412
min	5.790-5.731=0.058
max	6.183-7.465=-1.281

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.250-4042.625=-0.375
σ	2008.850-2009.034=-0.184
min	1218.000-1217.000=1.000
max	7146.000-7143.000=3.000

*mean*	5.804-5.991=-0.187
σ	0.099-0.595=-0.495
min	5.694-5.660=0.034
max	5.995-7.430=-1.434

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

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

*mean*	7146.000-7143.000=3.000
σ	0.000
min	7146.000-7143.000=3.000
max	7146.000-7143.000=3.000

*mean*	362.994-348.726=14.268
σ	42.364-2.399=39.965
min	345.506-345.767=-0.261
max	467.761-352.630=115.130

op=load_product(), with indexes

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

*mean*	3273.375-3275.125=-1.750
σ	1825.315-1825.422=-0.108
min	810.000
max	5623.000-5626.000=-3.000

*mean*	3606.845-3657.879=-51.034
σ	1032.549-1027.550=4.999
min	3083.371-3088.488=-5.117
max	5973.199-6020.725=-47.526

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.250-4042.625=-0.375
σ	2008.850-2009.034=-0.184
min	1218.000-1217.000=1.000
max	7146.000-7143.000=3.000

*mean*	87.340-91.202=-3.862
σ	19.912-21.948=-2.036
min	71.617-70.652=0.966
max	127.448-122.570=4.878

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*	7146.000-7143.000=3.000
σ	0.000
min	7146.000-7143.000=3.000
max	7146.000-7143.000=3.000

*mean*	62.125-82.332=-20.207
σ	1.258-54.556=-53.298
min	60.829-61.096=-0.267
max	65.065-217.186=-152.121

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*	7146.000-7143.000=3.000
σ	0.000
min	7146.000-7143.000=3.000
max	7146.000-7143.000=3.000

*mean*	257.875-104.861=153.014
σ	355.505-13.985=341.520
min	98.700-97.374=1.326
max	1109.245-138.626=970.618

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4042.250-4042.625=-0.375
σ	2008.850-2009.034=-0.184
min	1218.000-1217.000=1.000
max	7146.000-7143.000=3.000

*mean*	8011.853-8036.844=-24.991
σ	1914.002-1940.886=-26.884
min	5952.758-6017.304=-64.546
max	10843.400-11127.465=-284.065

op=vertical_lookup_list() on indexed

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

*mean*	7146.000-7143.000=3.000
σ	0.000
min	7146.000-7143.000=3.000
max	7146.000-7143.000=3.000

*mean*	5261.622-5393.781=-132.159
σ	572.617-1047.946=-475.329
min	4985.410-4999.777=-14.368
max	6619.549-7986.942=-1367.393

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*	357.327-381.807=-24.480
σ	40.660-18.474=22.186
min	296.401-337.081=-40.680
max	394.060-393.066=0.993

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	560.000-560.625=-0.625
σ	0.000-0.518=-0.518
min	560.000
max	560.000-561.000=-1.000

*mean*	756.781-711.065=45.716
σ	46.245-64.467=-18.222
min	649.121-629.224=19.897
max	789.230-773.316=15.914

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.824-1023.824=-0.000
max	1027.438-1027.438=-0.000

*mean*	1058.350-1037.350=21.000
σ	314.594-303.245=11.349
min	564.000-553.000=11.000
max	1521.000-1461.000=60.000

*mean*	1.544-1.571=-0.027
σ	0.074-0.091=-0.017
min	1.469-1.491=-0.022
max	1.764-1.878=-0.114

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.396-0.537=-0.141
σ	0.506-0.610=-0.104
min	0.143-0.151=-0.008
max	1.299-1.620=-0.320

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.482-0.845=-0.363
σ	0.317-0.560=-0.243
min	0.328-0.571=-0.243
max	1.049-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.216-0.391=-0.176
σ	0.023-0.039=-0.016
min	0.197-0.358=-0.161
max	0.256-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.330-0.593=-0.263
σ	0.018-0.026=-0.008
min	0.315-0.576=-0.260
max	0.362-0.637=-0.275

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*	435.600-431.800=3.800
σ	5.079-1.789=3.291
min	431.000
max	441.000-435.000=6.000

*mean*	0.574-0.644=-0.070
σ	0.028-0.071=-0.043
min	0.547-0.586=-0.040
max	0.613-0.752=-0.139

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

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

*mean*	0.483-0.444=0.039
σ	0.024-0.026=-0.002
min	0.461-0.418=0.043
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*	441.000-443.000=-2.000
σ	0.000
min	441.000-443.000=-2.000
max	441.000-443.000=-2.000

*mean*	2.610-1.969=0.642
σ	0.092-0.068=0.024
min	2.436-1.854=0.582
max	2.977-2.184=0.793

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

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

*mean*	2.608-2.408=0.200
σ	0.092-0.297=-0.205
min	2.447-1.872=0.575
max	2.925-2.844=0.082

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

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

*mean*	0.304-0.308=-0.004
σ	0.009-0.010=-0.001
min	0.290-0.293=-0.003
max	0.366-0.363=0.003

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

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

*mean*	0.294-0.292=0.002
σ	0.012-0.007=0.005
min	0.276-0.280=-0.004
max	0.375-0.332=0.043

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.735-298.694=0.041
σ	0.972-1.024=-0.052
min	298.229-298.320=-0.091
max	301.489-301.607=-0.118

*mean*	442.800-441.800=1.000
σ	15.375-16.308=-0.933
min	417.000
max	468.000-467.000=1.000

*mean*	0.609-0.602=0.007
σ	0.016-0.027=-0.011
min	0.575-0.547=0.029
max	0.638-0.637=0.000

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*	1063.250-1056.500=6.750
σ	33.234-26.870=6.364
min	981.000-990.000=-9.000
max	1075.000-1066.000=9.000

*mean*	204.918-212.306=-7.388
σ	4.169-2.368=1.801
min	200.321-209.918=-9.597
max	210.940-216.448=-5.508

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1063.250-1056.500=6.750
σ	33.234-26.870=6.364
min	981.000-990.000=-9.000
max	1075.000-1066.000=9.000

*mean*	11.205-7.781=3.424
σ	2.107-1.558=0.549
min	7.552-6.384=1.167
max	13.223-9.620=3.603

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*	1063.250-1056.500=6.750
σ	33.234-26.870=6.364
min	981.000-990.000=-9.000
max	1075.000-1066.000=9.000

*mean*	642.496-496.799=145.698
σ	146.148-51.061=95.087
min	413.312-405.345=7.967
max	842.494-555.616=286.878

phase=processProdDef

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

*mean*	1075.000-1066.000=9.000
σ	0.000
min	1075.000-1066.000=9.000
max	1075.000-1066.000=9.000

*mean*	4986.471-4850.377=136.094
σ	370.565-474.686=-104.121
min	4532.103-4162.371=369.732
max	5466.147-5549.210=-83.064

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*	1063.250-1056.500=6.750
σ	33.234-26.870=6.364
min	981.000-990.000=-9.000
max	1075.000-1066.000=9.000

*mean*	42.325-29.561=12.764
σ	8.378-9.298=-0.921
min	26.462-19.895=6.566
max	51.704-40.820=10.884

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*	1063.250-1056.500=6.750
σ	33.234-26.870=6.364
min	981.000-990.000=-9.000
max	1075.000-1066.000=9.000

*mean*	831.217-766.882=64.335
σ	148.623-105.948=42.676
min	652.529-640.283=12.246
max	1124.511-904.045=220.465

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.769-293.767=0.002
max	293.861-293.860=0.001

*mean*	443.000
σ	0.000
min	443.000
max	443.000

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

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.216-1320.213=0.003
σ	0.033-0.031=0.002
min	1320.168-1320.172=-0.003
max	1320.256-1320.245=0.010

*mean*	1092.600-1094.400=-1.800
σ	183.028-185.924=-2.896
min	838.000-837.000=1.000
max	1309.000-1316.000=-7.000

*mean*	2.285-2.303=-0.018
σ	0.185-0.176=0.009
min	2.164-2.172=-0.008
max	2.613-2.611=0.002

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.617-1560.614=0.003
σ	6.226-6.222=0.004
min	1557.617-1557.623=-0.005
max	1571.749-1571.740=0.009

*mean*	617.800-617.200=0.600
σ	82.105-81.729=0.375
min	493.000
max	713.000-712.000=1.000

*mean*	2.302-2.321=-0.019
σ	0.183-0.199=-0.015
min	2.179-2.160=0.020
max	2.627-2.656=-0.029

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.172-1882.170=0.002
σ	0.053-0.049=0.004
min	1882.101-1882.116=-0.015
max	1882.242-1882.235=0.007

*mean*	1743.000-1721.200=21.800
σ	229.600-195.661=33.939
min	1442.000-1454.000=-12.000
max	1964.000-1906.000=58.000

*mean*	3.015-3.034=-0.019
σ	0.160-0.120=0.040
min	2.880-2.902=-0.023
max	3.231-3.163=0.068

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.833-1.674=0.159
σ	0.067-0.145=-0.077
min	1.731-1.522=0.210
max	1.893-1.864=0.029

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.083-452.082=0.001
σ	582.726-582.722=0.004
min	160.716-160.719=-0.003
max	1326.171-1326.165=0.006

*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.504-0.546=-0.043
σ	0.470-0.550=-0.080
min	0.266-0.266=-0.000
max	1.209-1.371=-0.162

policies=20

*mean*	1607.522-1607.522=0.000
σ	0.406-0.400=0.005
min	1607.245-1607.248=-0.003
max	1608.122-1608.114=0.008

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	450.000-446.500=3.500
σ	9.238-7.000=2.238
min	442.000-443.000=-1.000
max	458.000-457.000=1.000

*mean*	2.668-2.677=-0.009
σ	0.014-0.016=-0.001
min	2.649-2.663=-0.014
max	2.679-2.692=-0.012

policies=200

*mean*	16083.389-16083.384=0.005
σ	0.167-0.117=0.050
min	16083.285-16083.220=0.064
max	16083.638-16083.470=0.169

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	495.250-497.750=-2.500
σ	4.193-5.620=-1.427
min	491.000-492.000=-1.000
max	501.000-505.000=-4.000

*mean*	27.083-27.235=-0.152
σ	0.033-0.099=-0.066
min	27.037-27.175=-0.139
max	27.110-27.383=-0.273