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

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.360-0.358=0.002
min	54.737-54.745=-0.008
max	55.904-55.898=0.006

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.141-0.139=0.002
σ	0.005-0.005=-0.000
min	0.136-0.133=0.003
max	0.148-0.147=0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.851-43.849=0.002
σ	0.007-0.006=0.000
min	43.841-43.842=-0.001
max	43.861-43.859=0.002

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.126-0.126=0.000
σ	0.005-0.004=0.001
min	0.121-0.122=-0.001
max	0.134-0.134=-0.000

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*	4041.250-4043.125=-1.875
σ	2007.312-2010.184=-2.872
min	1218.000-1219.000=-1.000
max	7143.000-7153.000=-10.000

*mean*	13.459-12.811=0.649
σ	1.917-0.269=1.648
min	12.477-12.405=0.072
max	18.174-13.270=4.905

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*	4041.250-4043.125=-1.875
σ	2007.312-2010.184=-2.872
min	1218.000-1219.000=-1.000
max	7143.000-7153.000=-10.000

*mean*	13.646-12.958=0.688
σ	1.936-0.601=1.336
min	12.130-11.775=0.354
max	18.350-13.507=4.843

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.932-41.932=-0.000

*mean*	7143.000-7153.000=-10.000
σ	0.000
min	7143.000-7153.000=-10.000
max	7143.000-7153.000=-10.000

*mean*	15.143-15.266=-0.122
σ	0.176-0.202=-0.026
min	14.935-15.001=-0.067
max	15.433-15.569=-0.135

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

*mean*	4041.250-4043.125=-1.875
σ	2007.312-2010.184=-2.872
min	1218.000-1219.000=-1.000
max	7143.000-7153.000=-10.000

*mean*	14.355-14.795=-0.439
σ	1.901-1.344=0.557
min	10.941-11.788=-0.847
max	16.226-16.030=0.195

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*	4041.250-4043.125=-1.875
σ	2007.312-2010.184=-2.872
min	1218.000-1219.000=-1.000
max	7143.000-7153.000=-10.000

*mean*	9.863-10.019=-0.156
σ	1.682-1.751=-0.069
min	8.668-8.518=0.149
max	12.713-12.912=-0.199

op=vertical_lookup_list() on indexed, after table_records(), repeat

*mean*	26.401
σ	0.002
min	26.400
max	26.404

*mean*	4041.250-4043.125=-1.875
σ	2007.312-2010.184=-2.872
min	1218.000-1219.000=-1.000
max	7143.000-7153.000=-10.000

*mean*	7.775-7.707=0.068
σ	1.639-1.648=-0.008
min	6.604-6.417=0.186
max	10.592-10.480=0.112

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*	4041.250-4043.125=-1.875
σ	2007.312-2010.184=-2.872
min	1218.000-1219.000=-1.000
max	7143.000-7153.000=-10.000

*mean*	6.176-6.042=0.134
σ	0.573-0.199=0.374
min	5.739-5.675=0.064
max	7.564-6.353=1.212

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

*mean*	4041.250-4043.125=-1.875
σ	2007.312-2010.184=-2.872
min	1218.000-1219.000=-1.000
max	7143.000-7153.000=-10.000

*mean*	5.967-5.895=0.072
σ	0.575-0.154=0.421
min	5.698-5.672=0.026
max	7.381-6.150=1.231

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*	7143.000-7153.000=-10.000
σ	0.000
min	7143.000-7153.000=-10.000
max	7143.000-7153.000=-10.000

*mean*	374.979-368.620=6.359
σ	84.162-53.006=31.155
min	341.356-346.080=-4.724
max	583.168-499.716=83.453

op=load_product(), with indexes

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

*mean*	3273.375-3274.125=-0.750
σ	1823.365-1824.172=-0.806
min	809.000-811.000=-2.000
max	5621.000-5623.000=-2.000

*mean*	3743.249-3613.534=129.714
σ	1233.020-1057.155=175.865
min	3070.330-3094.232=-23.902
max	6170.281-6036.579=133.701

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.001
max	62.080-62.080=-0.000

*mean*	4041.250-4043.125=-1.875
σ	2007.312-2010.184=-2.872
min	1218.000-1219.000=-1.000
max	7143.000-7153.000=-10.000

*mean*	89.585-90.643=-1.058
σ	22.597-23.940=-1.343
min	71.534-70.505=1.029
max	127.023-124.804=2.219

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.945=-0.000
max	40.950

*mean*	7143.000-7153.000=-10.000
σ	0.000
min	7143.000-7153.000=-10.000
max	7143.000-7153.000=-10.000

*mean*	61.561-61.570=-0.009
σ	0.437-1.195=-0.758
min	60.888-60.707=0.182
max	62.134-64.232=-2.097

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*	7143.000-7153.000=-10.000
σ	0.000
min	7143.000-7153.000=-10.000
max	7143.000-7153.000=-10.000

*mean*	99.245-99.470=-0.225
σ	0.659-0.684=-0.025
min	98.234-98.502=-0.268
max	100.252-100.718=-0.466

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

*mean*	4041.250-4043.125=-1.875
σ	2007.312-2010.184=-2.872
min	1218.000-1219.000=-1.000
max	7143.000-7153.000=-10.000

*mean*	8006.178-7465.415=540.763
σ	2021.856-2018.156=3.701
min	5928.120-5972.970=-44.850
max	10868.100-11050.383=-182.283

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*	7143.000-7153.000=-10.000
σ	0.000
min	7143.000-7153.000=-10.000
max	7143.000-7153.000=-10.000

*mean*	5059.862-5276.224=-216.362
σ	203.912-588.142=-384.230
min	4925.747-4988.044=-62.297
max	5406.972-6672.580=-1265.607

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*	362.987-370.203=-7.216
σ	33.719-36.340=-2.621
min	294.481-293.268=1.212
max	392.006-396.943=-4.937

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	560.250-562.000=-1.750
σ	1.035-0.000=1.035
min	559.000-562.000=-3.000
max	561.000-562.000=-1.000

*mean*	767.790-710.953=56.838
σ	28.639-61.385=-32.746
min	711.177-621.962=89.215
max	802.436-780.729=21.708

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.300-1024.300=0.000
σ	0.759-0.758=0.001
min	1023.824-1023.823=0.002
max	1027.438-1027.436=0.002

*mean*	1044.400-1050.450=-6.050
σ	309.171-301.823=7.347
min	583.000-576.000=7.000
max	1500.000-1458.000=42.000

*mean*	1.538-1.555=-0.017
σ	0.086-0.090=-0.004
min	1.355-1.480=-0.125
max	1.726-1.778=-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*	401.000
σ	0.000
min	401.000
max	401.000

*mean*	0.454-0.387=0.067
σ	0.379-0.455=-0.076
min	0.252-0.151=0.101
max	1.126-1.197=-0.071

name=error_case.art

*mean*	2.339
σ	0.012
min	2.333
max	2.361

*mean*	401.000
σ	0.000
min	401.000
max	401.000

*mean*	0.733-0.672=0.061
σ	0.304-0.179=0.126
min	0.577-0.575=0.002
max	1.275-0.990=0.285

name=heavy_item.art

*mean*	1.522
σ	0.002
min	1.521
max	1.525

*mean*	401.000
σ	0.000
min	401.000
max	401.000

*mean*	0.382-0.384=-0.002
σ	0.041-0.036=0.005
min	0.352-0.359=-0.007
max	0.451-0.447=0.005

name=nested_use.art

*mean*	2.357
σ	0.002
min	2.356
max	2.360

*mean*	401.000
σ	0.000
min	401.000
max	401.000

*mean*	0.579-0.579=0.000
σ	0.027-0.018=0.009
min	0.553-0.561=-0.008
max	0.623-0.603=0.020

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*	436.000-430.400=5.600
σ	6.595-0.894=5.701
min	430.000
max	443.000-432.000=11.000

*mean*	0.600-0.643=-0.043
σ	0.084-0.112=-0.028
min	0.524-0.502=0.022
max	0.743-0.744=-0.001

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	443.000-438.000=5.000
σ	0.000
min	443.000-438.000=5.000
max	443.000-438.000=5.000

*mean*	0.464-0.476=-0.012
σ	0.041-0.044=-0.002
min	0.427-0.418=0.008
max	0.521-0.533=-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*	443.000-438.000=5.000
σ	0.000
min	443.000-438.000=5.000
max	443.000-438.000=5.000

*mean*	1.955-2.581=-0.626
σ	0.066-0.083=-0.018
min	1.824-2.443=-0.619
max	2.118-2.840=-0.722

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	443.000-438.000=5.000
σ	0.000
min	443.000-438.000=5.000
max	443.000-438.000=5.000

*mean*	1.954-2.562=-0.608
σ	0.066-0.083=-0.018
min	1.839-2.425=-0.586
max	2.251-2.804=-0.553

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	443.000-438.000=5.000
σ	0.000
min	443.000-438.000=5.000
max	443.000-438.000=5.000

*mean*	0.310-0.305=0.005
σ	0.042-0.009=0.034
min	0.292-0.289=0.004
max	0.721-0.359=0.362

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	443.000-438.000=5.000
σ	0.000
min	443.000-438.000=5.000
max	443.000-438.000=5.000

*mean*	0.290-0.292=-0.002
σ	0.008-0.007=0.000
min	0.276-0.281=-0.006
max	0.321-0.326=-0.005

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.680-298.668=0.012
σ	1.051-1.049=0.002
min	298.260-298.279=-0.020
max	301.666-301.649=0.016

*mean*	444.000-443.100=0.900
σ	17.423-16.224=1.199
min	417.000-420.000=-3.000
max	470.000-473.000=-3.000

*mean*	0.609-0.595=0.015
σ	0.018-0.028=-0.010
min	0.575-0.552=0.023
max	0.644-0.640=0.005

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	958.750-1069.500=-110.750
σ	20.506-26.870=-6.364
min	908.000-1003.000=-95.000
max	966.000-1079.000=-113.000

*mean*	208.595-207.707=0.888
σ	9.079-9.811=-0.732
min	199.919-200.787=-0.868
max	229.155-230.886=-1.731

phase=macro expansion

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

*mean*	958.750-1069.500=-110.750
σ	20.506-26.870=-6.364
min	908.000-1003.000=-95.000
max	966.000-1079.000=-113.000

*mean*	9.589-8.352=1.237
σ	2.862-2.194=0.668
min	6.259-6.331=-0.072
max	12.694-12.765=-0.071

phase=parser

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

*mean*	958.750-1069.500=-110.750
σ	20.506-26.870=-6.364
min	908.000-1003.000=-95.000
max	966.000-1079.000=-113.000

*mean*	587.401-536.136=51.265
σ	147.128-95.860=51.267
min	379.284-373.770=5.514
max	742.601-720.230=22.372

phase=processProdDef

*mean*	4850.768-4850.764=0.004
σ	0.000
min	4850.768-4850.763=0.004
max	4850.769-4850.764=0.004

*mean*	966.000-1079.000=-113.000
σ	0.000
min	966.000-1079.000=-113.000
max	966.000-1079.000=-113.000

*mean*	4703.729-4873.274=-169.545
σ	586.969-557.040=29.929
min	3576.217-3779.698=-203.480
max	5391.795-5601.809=-210.014

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	958.750-1069.500=-110.750
σ	20.506-26.870=-6.364
min	908.000-1003.000=-95.000
max	966.000-1079.000=-113.000

*mean*	34.610-32.623=1.987
σ	12.539-13.142=-0.603
min	20.707-20.657=0.050
max	48.614-50.206=-1.592

phase=type checker

*mean*	990.454-990.450=0.004
σ	0.071
min	990.348-990.344=0.004
max	990.567-990.563=0.004

*mean*	958.750-1069.500=-110.750
σ	20.506-26.870=-6.364
min	908.000-1003.000=-95.000
max	966.000-1079.000=-113.000

*mean*	761.311-698.407=62.904
σ	128.754-81.875=46.880
min	648.260-640.172=8.088
max	942.501-887.454=55.047

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.818-293.821=-0.003
σ	0.039-0.038=0.001
min	293.765-293.768=-0.003
max	293.860-293.861=-0.001

*mean*	442.600-442.200=0.400
σ	2.191-1.643=0.548
min	441.000
max	445.000-444.000=1.000

*mean*	0.399-0.392=0.007
σ	0.010-0.001=0.009
min	0.392-0.391=0.002
max	0.415-0.394=0.021

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.222-1320.218=0.003
σ	0.036-0.030=0.006
min	1320.168-1320.177=-0.009
max	1320.264-1320.252=0.012

*mean*	1093.400-1098.600=-5.200
σ	182.871-189.723=-6.852
min	839.000-838.000=1.000
max	1310.000-1326.000=-16.000

*mean*	2.278-2.265=0.013
σ	0.140-0.105=0.036
min	2.175-2.185=-0.010
max	2.524-2.442=0.082

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.616-1560.621=-0.005
σ	6.237-6.225=0.012
min	1557.612-1557.643=-0.031
max	1571.768-1571.752=0.015

*mean*	619.400-618.200=1.200
σ	82.020-81.729=0.291
min	495.000-494.000=1.000
max	715.000-713.000=2.000

*mean*	2.312-2.345=-0.033
σ	0.217-0.207=0.010
min	2.158-2.211=-0.053
max	2.692-2.698=-0.006

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.171-1882.175=-0.004
σ	0.045-0.063=-0.018
min	1882.117-1882.104=0.013
max	1882.233-1882.264=-0.031

*mean*	1735.000-1728.000=7.000
σ	226.279-175.345=50.933
min	1440.000-1470.000=-30.000
max	1952.000-1881.000=71.000

*mean*	3.047-3.123=-0.076
σ	0.218-0.289=-0.071
min	2.815-2.916=-0.101
max	3.324-3.620=-0.296

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.622-1.681=-0.059
σ	0.158-0.061=0.097
min	1.419-1.624=-0.206
max	1.790-1.783=0.007

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.082-452.081=0.001
σ	582.722-582.722=0.001
min	160.719-160.720=-0.001
max	1326.165-1326.163=0.002

*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.546-0.548=-0.002
σ	0.546-0.549=-0.003
min	0.266-0.268=-0.001
max	1.366-1.371=-0.005

policies=20

*mean*	1607.529-1607.528=0.001
σ	0.411-0.414=-0.003
min	1607.248-1607.246=0.002
max	1608.137-1608.140=-0.003

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	450.000-444.750=5.250
σ	8.083-7.500=0.583
min	443.000-441.000=2.000
max	457.000-456.000=1.000

*mean*	2.686-2.687=-0.000
σ	0.013-0.009=0.004
min	2.670-2.676=-0.006
max	2.699-2.698=0.001

policies=200

*mean*	16083.469-16083.459=0.010
σ	0.087-0.120=-0.033
min	16083.384-16083.338=0.046
max	16083.589-16083.606=-0.017

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	494.500-493.250=1.250
σ	2.646-2.500=0.146
min	492.000-490.000=2.000
max	498.000-496.000=2.000

*mean*	27.147-27.072=0.075
σ	0.067-0.074=-0.007
min	27.075-26.973=0.102
max	27.209-27.139=0.069