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.001
σ	0.359-0.361=-0.002
min	54.745-54.742=0.003
max	55.902-55.906=-0.004

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

*mean*	0.141-0.142=-0.001
σ	0.004-0.006=-0.002
min	0.137-0.137=-0.001
max	0.148-0.153=-0.005

cache=y

dps=1

iters=10

policies=100

*mean*	43.849-43.850=-0.001
σ	0.007-0.005=0.002
min	43.836-43.842=-0.006
max	43.858-43.860=-0.002

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

*mean*	0.125-0.125=0.000
σ	0.004-0.004=0.001
min	0.121-0.122=-0.001
max	0.132-0.133=-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*	4041.250-4043.500=-2.250
σ	2008.838-2009.675=-0.837
min	1216.000-1217.000=-1.000
max	7148.000-7149.000=-1.000

*mean*	12.922-12.694=0.227
σ	0.315-1.739=-1.423
min	12.554-11.912=0.642
max	13.399-16.980=-3.581

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*	4041.250-4043.500=-2.250
σ	2008.838-2009.675=-0.837
min	1216.000-1217.000=-1.000
max	7148.000-7149.000=-1.000

*mean*	12.723-12.578=0.145
σ	0.673-1.977=-1.304
min	11.824-11.178=0.646
max	13.784-17.229=-3.445

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.932=0.001

*mean*	7148.000-7149.000=-1.000
σ	0.000
min	7148.000-7149.000=-1.000
max	7148.000-7149.000=-1.000

*mean*	15.374-14.697=0.677
σ	0.184-0.144=0.040
min	15.153-14.500=0.652
max	15.642-14.957=0.685

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*	4041.250-4043.500=-2.250
σ	2008.838-2009.675=-0.837
min	1216.000-1217.000=-1.000
max	7148.000-7149.000=-1.000

*mean*	13.615-14.013=-0.398
σ	1.889-1.646=0.243
min	10.758-10.247=0.511
max	16.383-15.384=1.000

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*	4041.250-4043.500=-2.250
σ	2008.838-2009.675=-0.837
min	1216.000-1217.000=-1.000
max	7148.000-7149.000=-1.000

*mean*	9.605-9.388=0.217
σ	1.283-1.595=-0.312
min	8.591-8.038=0.553
max	12.677-12.106=0.571

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*	4041.250-4043.500=-2.250
σ	2008.838-2009.675=-0.837
min	1216.000-1217.000=-1.000
max	7148.000-7149.000=-1.000

*mean*	8.017-7.148=0.869
σ	1.500-1.628=-0.128
min	6.994-5.925=1.068
max	10.704-9.812=0.892

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

*mean*	4041.250-4043.500=-2.250
σ	2008.838-2009.675=-0.837
min	1216.000-1217.000=-1.000
max	7148.000-7149.000=-1.000

*mean*	6.038-5.566=0.473
σ	0.108-0.542=-0.434
min	5.866-5.251=0.615
max	6.163-6.876=-0.713

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

*mean*	4041.250-4043.500=-2.250
σ	2008.838-2009.675=-0.837
min	1216.000-1217.000=-1.000
max	7148.000-7149.000=-1.000

*mean*	5.855-5.399=0.456
σ	0.100-0.460=-0.360
min	5.674-5.087=0.587
max	5.989-6.499=-0.510

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*	7148.000-7149.000=-1.000
σ	0.000
min	7148.000-7149.000=-1.000
max	7148.000-7149.000=-1.000

*mean*	366.098-374.308=-8.211
σ	53.388-79.599=-26.210
min	344.524-343.433=1.091
max	498.137-571.240=-73.103

op=load_product(), with indexes

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

*mean*	3272.875-3274.875=-2.000
σ	1823.353-1825.216=-1.862
min	809.000
max	5619.000-5624.000=-5.000

*mean*	3806.810-3658.245=148.565
σ	1320.083-1038.497=281.586
min	3082.815-3070.515=12.300
max	6199.142-6036.809=162.333

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*	4041.250-4043.500=-2.250
σ	2008.838-2009.675=-0.837
min	1216.000-1217.000=-1.000
max	7148.000-7149.000=-1.000

*mean*	91.506-88.482=3.024
σ	19.702-20.978=-1.275
min	75.383-69.692=5.692
max	127.516-117.258=10.257

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7148.000-7149.000=-1.000
σ	0.000
min	7148.000-7149.000=-1.000
max	7148.000-7149.000=-1.000

*mean*	61.265-60.642=0.623
σ	0.323-1.309=-0.987
min	60.918-59.502=1.416
max	61.671-63.778=-2.106

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

*mean*	7148.000-7149.000=-1.000
σ	0.000
min	7148.000-7149.000=-1.000
max	7148.000-7149.000=-1.000

*mean*	100.160-99.493=0.666
σ	0.693-0.625=0.069
min	99.234-98.642=0.591
max	101.288-100.577=0.710

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.821-14227.820=0.001

*mean*	4041.250-4043.500=-2.250
σ	2008.838-2009.675=-0.837
min	1216.000-1217.000=-1.000
max	7148.000-7149.000=-1.000

*mean*	8175.550-8004.461=171.088
σ	2157.102-1980.310=176.792
min	6002.891-5963.004=39.887
max	11067.801-10983.517=84.285

op=vertical_lookup_list() on indexed

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

*mean*	7148.000-7149.000=-1.000
σ	0.000
min	7148.000-7149.000=-1.000
max	7148.000-7149.000=-1.000

*mean*	5090.331-5277.361=-187.030
σ	172.373-594.570=-422.197
min	4962.508-4991.534=-29.025
max	5381.260-6697.683=-1316.423

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*	382.309-362.827=19.483
σ	19.092-35.619=-16.527
min	350.784-291.720=59.064
max	394.179-394.130=0.049

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

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

*mean*	704.380-739.148=-34.768
σ	73.371-76.360=-2.989
min	591.987-584.521=7.466
max	790.846-805.016=-14.170

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.299-1024.300=-0.000
σ	0.759-0.759=-0.000
min	1023.827-1023.827=-0.000
max	1027.437-1027.437=-0.000

*mean*	1037.800-1042.450=-4.650
σ	301.078-300.010=1.068
min	562.000-556.000=6.000
max	1460.000-1463.000=-3.000

*mean*	1.536-1.541=-0.005
σ	0.068-0.060=0.008
min	1.361-1.472=-0.110
max	1.642-1.697=-0.055

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.442-0.309=0.133
σ	0.625-0.291=0.334
min	0.132-0.151=-0.019
max	1.557-0.826=0.731

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.719-0.480=0.239
σ	0.292-0.319=-0.027
min	0.562-0.326=0.236
max	1.239-1.050=0.189

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.381-0.221=0.160
σ	0.041-0.021=0.020
min	0.356-0.206=0.150
max	0.451-0.257=0.194

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.584-0.331=0.253
σ	0.030-0.016=0.014
min	0.560-0.320=0.240
max	0.634-0.358=0.276

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.200-436.600=-1.400
σ	4.550-6.066=-1.517
min	431.000
max	440.000-443.000=-3.000

*mean*	0.608-0.524=0.084
σ	0.075-0.050=0.025
min	0.548-0.470=0.079
max	0.739-0.602=0.138

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

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

*mean*	0.463-0.498=-0.035
σ	0.032-0.020=0.012
min	0.426-0.477=-0.051
max	0.495-0.520=-0.025

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*	440.000-443.000=-3.000
σ	0.000
min	440.000-443.000=-3.000
max	440.000-443.000=-3.000

*mean*	2.634-2.618=0.016
σ	0.123-0.086=0.036
min	2.457-2.445=0.011
max	3.248-2.936=0.312

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

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

*mean*	2.605-2.549=0.056
σ	0.094-0.062=0.032
min	2.428-2.418=0.009
max	2.841-2.797=0.044

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

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

*mean*	0.303-0.308=-0.005
σ	0.011-0.017=-0.005
min	0.286-0.291=-0.005
max	0.372-0.417=-0.045

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

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

*mean*	0.303-0.295=0.007
σ	0.070-0.007=0.062
min	0.274-0.281=-0.007
max	0.757-0.339=0.418

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.896-298.692=0.204
σ	1.002-1.038=-0.036
min	298.502-298.327=0.176
max	301.743-301.644=0.099

*mean*	441.200-441.800=-0.600
σ	14.359-16.322=-1.963
min	418.000-417.000=1.000
max	467.000-468.000=-1.000

*mean*	0.598-0.593=0.005
σ	0.024-0.035=-0.011
min	0.546-0.527=0.020
max	0.621-0.638=-0.017

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.000-1064.875=0.125
σ	33.941-34.295=-0.354
min	981.000-980.000=1.000
max	1077.000

*mean*	204.754-203.855=0.899
σ	2.560-2.968=-0.408
min	200.470-200.425=0.045
max	208.766-208.466=0.300

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1065.000-1064.875=0.125
σ	33.941-34.295=-0.354
min	981.000-980.000=1.000
max	1077.000

*mean*	10.272-10.048=0.224
σ	2.103-2.531=-0.428
min	6.365-6.558=-0.193
max	13.111-12.812=0.299

phase=parser

*mean*	1042.363-1042.366=-0.003
σ	0.000-0.001=-0.001
min	1042.362-1042.363=-0.000
max	1042.363-1042.366=-0.003

*mean*	1065.000-1064.875=0.125
σ	33.941-34.295=-0.354
min	981.000-980.000=1.000
max	1077.000

*mean*	534.641-577.633=-42.993
σ	108.425-125.907=-17.482
min	379.637-403.653=-24.016
max	708.169-720.663=-12.494

phase=processProdDef

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

*mean*	1077.000
σ	0.000
min	1077.000
max	1077.000

*mean*	4957.461-4669.794=287.666
σ	326.121-498.763=-172.642
min	4349.627-3743.943=605.684
max	5330.964-5428.587=-97.624

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1065.000-1064.875=0.125
σ	33.941-34.295=-0.354
min	981.000-980.000=1.000
max	1077.000

*mean*	39.943-37.836=2.107
σ	8.042-11.557=-3.514
min	21.633-19.908=1.725
max	48.137-47.763=0.374

phase=type checker

*mean*	990.450-990.453=-0.003
σ	0.071-0.072=-0.001
min	990.344
max	990.563-990.567=-0.004

*mean*	1065.000-1064.875=0.125
σ	33.941-34.295=-0.354
min	981.000-980.000=1.000
max	1077.000

*mean*	745.459-747.410=-1.951
σ	82.410-93.821=-11.411
min	643.765-640.420=3.345
max	894.559-882.400=12.159

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.821-293.821=-0.000
σ	0.038-0.038=0.000
min	293.768-293.768=-0.000
max	293.860-293.860=0.000

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.400-0.393=0.007
σ	0.005-0.000=0.004
min	0.394-0.392=0.002
max	0.406-0.394=0.013

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.211-1320.223=-0.012
σ	0.047-0.029=0.018
min	1320.137-1320.174=-0.038
max	1320.257-1320.247=0.010

*mean*	1067.600-1084.600=-17.000
σ	164.483-179.553=-15.070
min	845.000-851.000=-6.000
max	1268.000-1309.000=-41.000

*mean*	2.249-2.239=0.010
σ	0.124-0.038=0.086
min	2.147-2.186=-0.039
max	2.456-2.278=0.179

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.617-1560.612=0.005
σ	6.226-6.245=-0.019
min	1557.635-1557.612=0.023
max	1571.750-1571.779=-0.029

*mean*	619.600-620.400=-0.800
σ	82.984-83.494=-0.511
min	494.000-495.000=-1.000
max	717.000-720.000=-3.000

*mean*	2.304-2.333=-0.029
σ	0.188-0.256=-0.068
min	2.181-2.198=-0.017
max	2.623-2.790=-0.167

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.168-1882.147=0.021
σ	0.056-0.046=0.009
min	1882.105-1882.099=0.006
max	1882.241-1882.221=0.020

*mean*	1708.600-1735.200=-26.600
σ	258.907-226.928=31.979
min	1396.000-1440.000=-44.000
max	2056.000-1953.000=103.000

*mean*	2.929-3.069=-0.140
σ	0.076-0.220=-0.144
min	2.842-2.862=-0.020
max	3.013-3.384=-0.372

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.841-1.718=0.123
σ	0.050-0.148=-0.098
min	1.755-1.469=0.286
max	1.874-1.839=0.035

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.082-452.082=-0.000
σ	582.721-582.722=-0.001
min	160.720-160.718=0.001
max	1326.164-1326.165=-0.001

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*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.541-0.536=0.004
σ	0.542-0.527=0.015
min	0.268-0.265=0.003
max	1.354-1.327=0.027

policies=20

*mean*	1607.527-1607.524=0.004
σ	0.413-0.406=0.007
min	1607.247-1607.248=-0.000
max	1608.139-1608.124=0.014

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	445.000-446.750=-1.750
σ	4.619-7.500=-2.881
min	441.000-443.000=-2.000
max	449.000-458.000=-9.000

*mean*	2.694-2.681=0.013
σ	0.017-0.013=0.004
min	2.677-2.661=0.016
max	2.714-2.691=0.023

policies=200

*mean*	16083.364-16083.348=0.016
σ	0.167-0.110=0.057
min	16083.200-16083.237=-0.038
max	16083.533-16083.479=0.054

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	493.750-497.750=-4.000
σ	4.031-5.315=-1.284
min	489.000-492.000=-3.000
max	498.000-504.000=-6.000

*mean*	27.146-27.116=0.029
σ	0.033-0.042=-0.009
min	27.115-27.072=0.043
max	27.193-27.172=0.021