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.879-54.880=-0.001
σ	0.357-0.359=-0.001
min	54.743-54.740=0.003
max	55.895-55.900=-0.005

*mean*	413.700-418.700=-5.000
σ	0.483
min	413.000-418.000=-5.000
max	414.000-419.000=-5.000

*mean*	0.139-0.138=0.001
σ	0.004-0.005=-0.000
min	0.136-0.132=0.004
max	0.149-0.148=0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.849-43.849=0.000
σ	0.006-0.007=-0.001
min	43.841-43.834=0.007
max	43.857-43.856=0.001

*mean*	414.000-419.000=-5.000
σ	0.000
min	414.000-419.000=-5.000
max	414.000-419.000=-5.000

*mean*	0.123-0.123=-0.000
σ	0.005-0.006=-0.001
min	0.116-0.116=0.000
max	0.132-0.134=-0.003

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*	4029.375-4042.125=-12.750
σ	2000.009-2008.356=-8.347
min	1217.000
max	7127.000-7142.000=-15.000

*mean*	12.631-13.297=-0.666
σ	0.302-1.765=-1.463
min	12.304-12.269=0.035
max	13.277-17.613=-4.336

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*	4029.375-4042.125=-12.750
σ	2000.009-2008.356=-8.347
min	1217.000
max	7127.000-7142.000=-15.000

*mean*	12.664-13.441=-0.777
σ	0.702-2.123=-1.421
min	11.438-11.663=-0.225
max	13.366-18.237=-4.871

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

*mean*	7127.000-7142.000=-15.000
σ	0.000
min	7127.000-7142.000=-15.000
max	7127.000-7142.000=-15.000

*mean*	14.447-14.828=-0.381
σ	1.798-1.266=0.532
min	11.284-11.711=-0.428
max	15.608-15.485=0.123

op=table_records(), repeat

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

*mean*	4029.375-4042.125=-12.750
σ	2000.009-2008.356=-8.347
min	1217.000
max	7127.000-7142.000=-15.000

*mean*	13.770-14.658=-0.889
σ	2.047-1.079=0.968
min	11.228-12.639=-1.411
max	15.965-15.914=0.051

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

*mean*	4029.375-4042.125=-12.750
σ	2000.009-2008.356=-8.347
min	1217.000
max	7127.000-7142.000=-15.000

*mean*	9.616-9.876=-0.260
σ	0.402-1.262=-0.860
min	9.091-8.950=0.141
max	10.183-12.600=-2.417

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*	4029.375-4042.125=-12.750
σ	2000.009-2008.356=-8.347
min	1217.000
max	7127.000-7142.000=-15.000

*mean*	6.945-7.559=-0.614
σ	0.533-1.358=-0.825
min	6.383-6.480=-0.096
max	7.863-10.295=-2.432

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*	4029.375-4042.125=-12.750
σ	2000.009-2008.356=-8.347
min	1217.000
max	7127.000-7142.000=-15.000

*mean*	6.217-6.321=-0.104
σ	0.193-0.593=-0.400
min	5.877-6.048=-0.171
max	6.471-7.783=-1.312

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
max	25.972

*mean*	4029.375-4042.125=-12.750
σ	2000.009-2008.356=-8.347
min	1217.000
max	7127.000-7142.000=-15.000

*mean*	5.756-6.096=-0.341
σ	0.240-0.484=-0.244
min	5.393-5.749=-0.356
max	6.084-7.262=-1.178

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*	7127.000-7142.000=-15.000
σ	0.000
min	7127.000-7142.000=-15.000
max	7127.000-7142.000=-15.000

*mean*	349.271-363.421=-14.149
σ	1.670-41.907=-40.237
min	346.191-345.854=0.337
max	351.170-466.886=-115.716

op=load_product(), with indexes

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

*mean*	3263.875-3274.625=-10.750
σ	1814.005-1824.932=-10.927
min	809.000
max	5597.000-5623.000=-26.000

*mean*	3737.456-3622.621=114.835
σ	1168.825-957.661=211.165
min	3094.162-3082.621=11.541
max	5926.943-5809.820=117.123

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*	4029.375-4042.125=-12.750
σ	2000.009-2008.356=-8.347
min	1217.000
max	7127.000-7142.000=-15.000

*mean*	81.142-89.887=-8.745
σ	13.411-20.330=-6.919
min	69.043-70.011=-0.968
max	105.387-119.111=-13.724

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

*mean*	7127.000-7142.000=-15.000
σ	0.000
min	7127.000-7142.000=-15.000
max	7127.000-7142.000=-15.000

*mean*	174.254-84.537=89.717
σ	319.577-67.458=252.118
min	60.042-59.907=0.134
max	965.162-251.446=713.716

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*	7127.000-7142.000=-15.000
σ	0.000
min	7127.000-7142.000=-15.000
max	7127.000-7142.000=-15.000

*mean*	100.127-203.100=-102.973
σ	3.759-289.535=-285.776
min	97.699-97.890=-0.191
max	109.318-919.590=-810.272

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.575
max	14227.820

*mean*	4029.375-4042.125=-12.750
σ	2000.009-2008.356=-8.347
min	1217.000
max	7127.000-7142.000=-15.000

*mean*	7995.355-7829.707=165.648
σ	1631.303-1821.569=-190.266
min	5973.314-5949.586=23.728
max	10012.553-10693.045=-680.493

op=vertical_lookup_list() on indexed

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

*mean*	7127.000-7142.000=-15.000
σ	0.000
min	7127.000-7142.000=-15.000
max	7127.000-7142.000=-15.000

*mean*	5266.537-5321.623=-55.086
σ	603.778-721.703=-117.925
min	5013.796-4992.358=21.439
max	6751.925-7062.242=-310.318

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*	383.412-386.729=-3.317
σ	14.745-15.555=-0.811
min	347.370-349.456=-2.087
max	391.972-401.332=-9.360

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	560.000
σ	0.000
min	560.000
max	560.000

*mean*	748.732-732.305=16.427
σ	62.458-76.399=-13.941
min	631.491-588.881=42.610
max	810.944-794.353=16.592

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.299-1024.299=0.000
σ	0.759-0.759=0.000
min	1023.826-1023.822=0.004
max	1027.438-1027.436=0.002

*mean*	1048.050-1049.700=-1.650
σ	318.865-317.083=1.783
min	542.000-570.000=-28.000
max	1561.000-1519.000=42.000

*mean*	1.547-1.540=0.007
σ	0.078-0.094=-0.015
min	1.471-1.344=0.126
max	1.739-1.687=0.052

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

*mean*	0.292-0.378=-0.086
σ	0.299-0.452=-0.153
min	0.134-0.138=-0.004
max	0.822-1.181=-0.359

name=error_case.art

*mean*	2.339
σ	0.012
min	2.333
max	2.361

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

*mean*	0.472-0.419=0.052
σ	0.316-0.207=0.108
min	0.319-0.312=0.007
max	1.036-0.789=0.247

name=heavy_item.art

*mean*	1.522
σ	0.002
min	1.521
max	1.525

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

*mean*	0.218-0.217=0.001
σ	0.022-0.018=0.004
min	0.202-0.207=-0.004
max	0.256-0.249=0.006

name=nested_use.art

*mean*	2.357
σ	0.002
min	2.356
max	2.360

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

*mean*	0.325-0.334=-0.009
σ	0.018-0.019=-0.001
min	0.309-0.317=-0.008
max	0.354-0.365=-0.011

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-436.000=-0.400
σ	5.079-6.595=-1.516
min	431.000-430.000=1.000
max	441.000-443.000=-2.000

*mean*	0.574-0.532=0.041
σ	0.027-0.026=0.001
min	0.532-0.509=0.023
max	0.608-0.572=0.036

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*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.476-0.483=-0.006
σ	0.034-0.024=0.009
min	0.427-0.456=-0.029
max	0.515-0.509=0.006

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*	442.000-443.000=-1.000
σ	0.000
min	442.000-443.000=-1.000
max	442.000-443.000=-1.000

*mean*	1.940-1.940=-0.000
σ	0.113-0.105=0.008
min	1.731-1.737=-0.005
max	2.370-2.305=0.065

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

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

*mean*	1.951-2.273=-0.323
σ	0.063-0.324=-0.261
min	1.858-1.851=0.008
max	2.247-2.766=-0.520

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*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.304-0.306=-0.002
σ	0.009-0.014=-0.006
min	0.291-0.289=0.001
max	0.358-0.387=-0.029

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*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.293-0.292=0.001
σ	0.013-0.011=0.002
min	0.277-0.279=-0.002
max	0.368-0.361=0.008

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.931-298.599=0.332
σ	1.006-1.023=-0.017
min	298.550-298.204=0.346
max	301.792-301.509=0.284

*mean*	440.000-443.200=-3.200
σ	16.673-18.005=-1.332
min	417.000
max	467.000

*mean*	0.603-0.600=0.003
σ	0.019-0.024=-0.005
min	0.567-0.559=0.008
max	0.634-0.628=0.006

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	1065.750-1064.875=0.875
σ	34.648-34.295=0.354
min	980.000
max	1078.000-1077.000=1.000

*mean*	203.788-203.610=0.178
σ	2.047-2.986=-0.940
min	200.011-200.554=-0.543
max	206.394-209.702=-3.309

phase=macro expansion

*mean*	6.133-6.130=0.004
σ	0.000
min	6.133-6.130=0.004
max	6.133-6.130=0.004

*mean*	1065.750-1064.875=0.875
σ	34.648-34.295=0.354
min	980.000
max	1078.000-1077.000=1.000

*mean*	8.457-8.892=-0.435
σ	1.909-2.367=-0.458
min	6.341-6.310=0.031
max	10.972-12.933=-1.961

phase=parser

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

*mean*	1065.750-1064.875=0.875
σ	34.648-34.295=0.354
min	980.000
max	1078.000-1077.000=1.000

*mean*	520.718-577.270=-56.552
σ	127.191-133.498=-6.307
min	376.110-378.401=-2.291
max	713.701-825.222=-111.521

phase=processProdDef

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

*mean*	1078.000-1077.000=1.000
σ	0.000
min	1078.000-1077.000=1.000
max	1078.000-1077.000=1.000

*mean*	5077.625-4413.457=664.167
σ	344.199-442.792=-98.593
min	4496.135-3850.658=645.477
max	5409.691-5235.890=173.801

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1065.750-1064.875=0.875
σ	34.648-34.295=0.354
min	980.000
max	1078.000-1077.000=1.000

*mean*	30.232-32.438=-2.206
σ	9.001-11.308=-2.308
min	19.887-20.697=-0.810
max	40.216-51.452=-11.236

phase=type checker

*mean*	990.450
σ	0.071
min	990.344
max	990.563

*mean*	1065.750-1064.875=0.875
σ	34.648-34.295=0.354
min	980.000
max	1078.000-1077.000=1.000

*mean*	709.181-709.750=-0.569
σ	82.493-88.002=-5.509
min	644.018-640.547=3.471
max	875.032-917.939=-42.907

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.037=0.000
min	293.767-293.767=-0.000
max	293.859-293.859=-0.000

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.395-0.395=-0.000
σ	0.006-0.006=0.000
min	0.392-0.392=-0.001
max	0.405-0.405=0.000

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.219-1320.214=0.006
σ	0.029-0.032=-0.003
min	1320.173-1320.164=0.009
max	1320.245-1320.246=-0.001

*mean*	1067.000-1072.600=-5.600
σ	165.207-167.742=-2.534
min	844.000-845.000=-1.000
max	1269.000-1273.000=-4.000

*mean*	2.241-2.234=0.006
σ	0.077-0.055=0.022
min	2.126-2.152=-0.027
max	2.327-2.302=0.025

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.583-1560.613=-0.029
σ	6.208-6.218=-0.010
min	1557.594-1557.652=-0.059
max	1571.684-1571.732=-0.048

*mean*	618.800-618.000=0.800
σ	83.278-82.901=0.377
min	493.000
max	717.000-716.000=1.000

*mean*	2.231-2.358=-0.127
σ	0.091-0.211=-0.120
min	2.148-2.200=-0.052
max	2.373-2.717=-0.345

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.174-1882.153=0.021
σ	0.056-0.061=-0.006
min	1882.115-1882.102=0.014
max	1882.247-1882.256=-0.010

*mean*	1702.000-1697.800=4.200
σ	259.500-247.429=12.070
min	1399.000-1393.000=6.000
max	2063.000-2025.000=38.000

*mean*	2.952-2.941=0.011
σ	0.062-0.046=0.016
min	2.883-2.898=-0.015
max	3.039-2.996=0.042

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.700-1.868=-0.168
σ	0.157-0.074=0.084
min	1.470-1.747=-0.276
max	1.853-1.935=-0.083

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

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

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.553-0.544=0.009
σ	0.552-0.541=0.011
min	0.270-0.268=0.002
max	1.382-1.356=0.026

policies=20

*mean*	1607.524-1607.512=0.013
σ	0.407-0.405=0.002
min	1607.248-1607.235=0.013
max	1608.127-1608.111=0.016

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	452.000-450.500=1.500
σ	10.392-8.660=1.732
min	443.000
max	461.000-458.000=3.000

*mean*	2.684-2.680=0.005
σ	0.013-0.010=0.003
min	2.668-2.669=-0.001
max	2.700-2.690=0.010

policies=200

*mean*	16083.386-16083.364=0.022
σ	0.044-0.088=-0.044
min	16083.331-16083.281=0.050
max	16083.435-16083.488=-0.053

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	502.750-496.500=6.250
σ	4.787-3.317=1.471
min	497.000-492.000=5.000
max	508.000-500.000=8.000

*mean*	27.126-27.082=0.044
σ	0.037-0.048=-0.011
min	27.089-27.027=0.062
max	27.173-27.143=0.030