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-558.695=-0.062
σ	0.000
min	558.633-558.695=-0.062
max	558.633-558.695=-0.062

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.882-54.879=0.003
σ	0.359-0.359=-0.000
min	54.744-54.744=0.000
max	55.903-55.900=0.002

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.140-0.140=0.000
σ	0.005-0.004=0.000
min	0.137-0.135=0.002
max	0.148-0.148=0.000

cache=y

dps=1

iters=10

policies=100

*mean*	43.848-43.849=-0.001
σ	0.005-0.006=-0.001
min	43.840-43.839=0.001
max	43.857-43.858=-0.001

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.121-0.124=-0.003
σ	0.004-0.004=-0.000
min	0.116-0.120=-0.005
max	0.127-0.131=-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
max	36.620-36.620=0.000

*mean*	4042.375-4041.750=0.625
σ	2011.167-2007.510=3.657
min	1217.000-1218.000=-1.000
max	7158.000-7145.000=13.000

*mean*	12.474-12.961=-0.488
σ	0.294-0.275=0.019
min	12.065-12.498=-0.434
max	12.902-13.344=-0.442

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.375-4041.750=0.625
σ	2011.167-2007.510=3.657
min	1217.000-1218.000=-1.000
max	7158.000-7145.000=13.000

*mean*	12.421-12.989=-0.567
σ	0.784-0.758=0.026
min	11.246-12.040=-0.794
max	13.274-13.957=-0.682

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

*mean*	7158.000-7145.000=13.000
σ	0.000
min	7158.000-7145.000=13.000
max	7158.000-7145.000=13.000

*mean*	14.639-15.559=-0.920
σ	0.071-0.318=-0.247
min	14.513-15.038=-0.525
max	14.723-16.158=-1.434

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.375-4041.750=0.625
σ	2011.167-2007.510=3.657
min	1217.000-1218.000=-1.000
max	7158.000-7145.000=13.000

*mean*	13.383-14.960=-1.578
σ	1.679-2.323=-0.644
min	10.739-11.068=-0.329
max	14.888-19.432=-4.544

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*	4042.375-4041.750=0.625
σ	2011.167-2007.510=3.657
min	1217.000-1218.000=-1.000
max	7158.000-7145.000=13.000

*mean*	8.899-10.051=-1.152
σ	1.195-1.417=-0.222
min	8.199-8.900=-0.700
max	11.826-13.154=-1.328

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
max	26.404-26.404=0.000

*mean*	4042.375-4041.750=0.625
σ	2011.167-2007.510=3.657
min	1217.000-1218.000=-1.000
max	7158.000-7145.000=13.000

*mean*	6.809-7.449=-0.640
σ	1.262-1.508=-0.246
min	5.435-5.924=-0.489
max	9.775-10.518=-0.743

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.677-25.678=-0.000

*mean*	4042.375-4041.750=0.625
σ	2011.167-2007.510=3.657
min	1217.000-1218.000=-1.000
max	7158.000-7145.000=13.000

*mean*	5.519-6.043=-0.524
σ	0.154-0.176=-0.022
min	5.316-5.768=-0.453
max	5.742-6.317=-0.575

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.969=-0.000
max	25.972-25.972=-0.000

*mean*	4042.375-4041.750=0.625
σ	2011.167-2007.510=3.657
min	1217.000-1218.000=-1.000
max	7158.000-7145.000=13.000

*mean*	5.301-5.775=-0.474
σ	0.061-0.151=-0.090
min	5.217-5.512=-0.296
max	5.401-5.960=-0.559

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.613
σ	0.002
min	1021.612
max	1021.616

*mean*	7158.000-7145.000=13.000
σ	0.000
min	7158.000-7145.000=13.000
max	7158.000-7145.000=13.000

*mean*	387.926-375.840=12.085
σ	120.183-80.146=40.037
min	343.935-344.492=-0.556
max	685.347-574.126=111.222

op=load_product(), with indexes

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

*mean*	3272.750-3273.625=-0.875
σ	1823.485-1823.218=0.267
min	808.000-809.000=-1.000
max	5619.000-5620.000=-1.000

*mean*	3733.392-3587.232=146.160
σ	1228.274-1009.164=219.110
min	3064.856-3074.885=-10.029
max	6177.480-5875.643=301.837

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

*mean*	4042.375-4041.750=0.625
σ	2011.167-2007.510=3.657
min	1217.000-1218.000=-1.000
max	7158.000-7145.000=13.000

*mean*	85.414-89.172=-3.758
σ	20.309-22.877=-2.568
min	70.019-70.873=-0.854
max	124.126-132.380=-8.254

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7158.000-7145.000=13.000
σ	0.000
min	7158.000-7145.000=13.000
max	7158.000-7145.000=13.000

*mean*	60.622-61.655=-1.033
σ	0.407-1.157=-0.750
min	59.779-60.620=-0.841
max	61.074-64.319=-3.245

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*	7158.000-7145.000=13.000
σ	0.000
min	7158.000-7145.000=13.000
max	7158.000-7145.000=13.000

*mean*	99.330-99.964=-0.634
σ	0.790-0.618=0.172
min	98.285-99.075=-0.790
max	100.402-100.962=-0.560

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

*mean*	4042.375-4041.750=0.625
σ	2011.167-2007.510=3.657
min	1217.000-1218.000=-1.000
max	7158.000-7145.000=13.000

*mean*	8122.886-8035.537=87.348
σ	1842.390-1955.195=-112.805
min	6030.696-5935.108=95.588
max	11054.139-10527.848=526.291

op=vertical_lookup_list() on indexed

*mean*	13159.109
σ	0.002
min	13159.106
max	13159.110

*mean*	7158.000-7145.000=13.000
σ	0.000
min	7158.000-7145.000=13.000
max	7158.000-7145.000=13.000

*mean*	5113.480-5250.088=-136.608
σ	206.699-610.178=-403.479
min	4981.078-4942.844=38.234
max	5447.167-6712.251=-1265.084

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*	474.000-477.000=-3.000
σ	0.000
min	474.000-477.000=-3.000
max	474.000-477.000=-3.000

*mean*	355.470-371.217=-15.747
σ	43.710-34.340=9.369
min	294.139-295.426=-1.287
max	390.176-391.572=-1.396

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	559.875-560.000=-0.125
σ	0.354-0.000=0.354
min	559.000-560.000=-1.000
max	560.000

*mean*	749.194-708.629=40.565
σ	53.434-79.530=-26.096
min	652.281-590.764=61.516
max	803.074-788.132=14.943

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.301-1024.297=0.003
σ	0.759-0.759=-0.000
min	1023.827-1023.823=0.003
max	1027.437-1027.436=0.001

*mean*	1052.200-1037.450=14.750
σ	301.264-303.200=-1.936
min	563.000-553.000=10.000
max	1460.000-1461.000=-1.000

*mean*	1.560-1.563=-0.002
σ	0.053-0.094=-0.041
min	1.498-1.368=0.130
max	1.661-1.843=-0.182

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.303-0.307=-0.004
σ	0.305-0.301=0.003
min	0.139-0.141=-0.002
max	0.845-0.842=0.003

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.473-0.479=-0.006
σ	0.321-0.314=0.007
min	0.320-0.327=-0.008
max	1.046-1.040=0.006

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.221-0.218=0.003
σ	0.019-0.029=-0.009
min	0.204-0.197=0.007
max	0.251-0.267=-0.017

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.327-0.327=0.000
σ	0.021-0.018=0.003
min	0.310-0.312=-0.002
max	0.363-0.357=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*	436.000-437.000=-1.000
σ	2.236-6.595=-4.359
min	432.000-431.000=1.000
max	437.000-444.000=-7.000

*mean*	0.551-0.539=0.012
σ	0.047-0.054=-0.007
min	0.503-0.465=0.038
max	0.608-0.593=0.015

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	437.000-444.000=-7.000
σ	0.000
min	437.000-444.000=-7.000
max	437.000-444.000=-7.000

*mean*	0.460-0.498=-0.038
σ	0.040-0.034=0.007
min	0.422-0.459=-0.037
max	0.525-0.527=-0.002

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*	437.000-444.000=-7.000
σ	0.000
min	437.000-444.000=-7.000
max	437.000-444.000=-7.000

*mean*	2.654-2.628=0.026
σ	0.091-0.124=-0.033
min	2.464-2.467=-0.002
max	2.990-3.447=-0.457

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	437.000-444.000=-7.000
σ	0.000
min	437.000-444.000=-7.000
max	437.000-444.000=-7.000

*mean*	2.638-2.603=0.035
σ	0.083-0.078=0.005
min	2.439-2.485=-0.046
max	2.819-2.859=-0.040

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	437.000-444.000=-7.000
σ	0.000
min	437.000-444.000=-7.000
max	437.000-444.000=-7.000

*mean*	0.308-0.309=-0.001
σ	0.008-0.010=-0.002
min	0.294-0.294=-0.000
max	0.351-0.372=-0.022

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	437.000-444.000=-7.000
σ	0.000
min	437.000-444.000=-7.000
max	437.000-444.000=-7.000

*mean*	0.296-0.294=0.002
σ	0.014-0.008=0.007
min	0.283-0.281=0.001
max	0.421-0.331=0.090

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.690-298.710=-0.020
σ	0.986-1.008=-0.022
min	298.225-298.327=-0.102
max	301.480-301.576=-0.096

*mean*	440.800-441.600=-0.800
σ	14.808-17.225=-2.417
min	420.000-417.000=3.000
max	463.000

*mean*	0.599-0.607=-0.008
σ	0.020-0.023=-0.003
min	0.567-0.561=0.005
max	0.639-0.641=-0.002

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.625-827.625=238.000
σ	35.002-7.763=27.239
min	979.000-822.000=157.000
max	1078.000-837.000=241.000

*mean*	213.376-219.985=-6.609
σ	2.963-3.041=-0.079
min	210.005-216.281=-6.276
max	217.596-225.828=-8.232

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1065.625-826.250=239.375
σ	35.002-9.647=25.354
min	979.000-811.000=168.000
max	1078.000-837.000=241.000

*mean*	8.560-9.618=-1.057
σ	2.396-1.641=0.756
min	6.367-6.461=-0.094
max	12.752-12.518=0.234

phase=parser

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

*mean*	1065.625-825.875=239.750
σ	35.002-10.357=24.645
min	979.000-808.000=171.000
max	1078.000-837.000=241.000

*mean*	584.033-592.580=-8.547
σ	102.360-33.306=69.054
min	477.592-522.319=-44.727
max	753.489-624.719=128.770

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-829.500=248.500
σ	0.000-8.018=-8.018
min	1078.000-822.000=256.000
max	1078.000-837.000=241.000

*mean*	4788.422-4928.398=-139.975
σ	604.265-550.860=53.405
min	3616.750-3973.532=-356.781
max	5569.193-5503.164=66.029

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1065.625-827.625=238.000
σ	35.002-7.763=27.239
min	979.000-822.000=157.000
max	1078.000-837.000=241.000

*mean*	29.875-39.367=-9.492
σ	10.287-7.854=2.433
min	20.593-21.286=-0.693
max	47.820-48.113=-0.293

phase=type checker

*mean*	990.450
σ	0.071
min	990.344
max	990.563

*mean*	1065.625-827.625=238.000
σ	35.002-7.763=27.239
min	979.000-822.000=157.000
max	1078.000-837.000=241.000

*mean*	749.509-789.207=-39.698
σ	116.668-78.170=38.499
min	652.938-679.341=-26.404
max	920.770-905.375=15.396

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.819-293.821=-0.002
σ	0.038-0.038=-0.000
min	293.767-293.768=-0.001
max	293.858-293.860=-0.002

*mean*	443.400
σ	0.548
min	443.000
max	444.000

*mean*	0.394-0.392=0.001
σ	0.006-0.006=0.000
min	0.389-0.389=-0.000
max	0.404-0.403=0.002

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.200-1320.224=-0.023
σ	0.052-0.034=0.018
min	1320.144-1320.167=-0.022
max	1320.246-1320.253=-0.007

*mean*	1067.200-1084.600=-17.400
σ	164.756-179.760=-15.004
min	845.000-852.000=-7.000
max	1269.000-1311.000=-42.000

*mean*	2.224-2.238=-0.014
σ	0.062-0.032=0.030
min	2.149-2.214=-0.065
max	2.311-2.294=0.017

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.630-1560.604=0.026
σ	6.204-6.218=-0.013
min	1557.693-1557.601=0.092
max	1571.726-1571.722=0.004

*mean*	618.600-619.800=-1.200
σ	82.473-83.572=-1.099
min	494.000
max	716.000-719.000=-3.000

*mean*	2.347-2.283=0.063
σ	0.254-0.168=0.086
min	2.139-2.159=-0.021
max	2.696-2.576=0.120

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.174-1882.173=0.001
σ	0.058-0.050=0.008
min	1882.113-1882.115=-0.002
max	1882.258-1882.236=0.022

*mean*	1703.000-1735.600=-32.600
σ	256.510-226.589=29.921
min	1397.000-1440.000=-43.000
max	2051.000-1953.000=98.000

*mean*	2.945-3.014=-0.069
σ	0.108-0.128=-0.019
min	2.840-2.891=-0.051
max	3.099-3.180=-0.080

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.847-1.780=0.067
σ	0.050-0.131=-0.081
min	1.787-1.600=0.187
max	1.913-1.940=-0.028

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.083-452.080=0.003
σ	582.725-582.723=0.002
min	160.716-160.715=0.001
max	1326.170-1326.164=0.006

*mean*	102.250
σ	8.500
min	98.000
max	115.000

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

*mean*	0.553-0.536=0.017
σ	0.555-0.526=0.030
min	0.265-0.267=-0.002
max	1.386-1.324=0.062

policies=20

*mean*	1607.522-1607.527=-0.005
σ	0.406-0.417=-0.011
min	1607.246-1607.239=0.007
max	1608.125-1608.144=-0.019

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	450.000-449.500=0.500
σ	8.083-8.660=-0.577
min	443.000-442.000=1.000
max	457.000

*mean*	2.675-2.692=-0.018
σ	0.023-0.008=0.016
min	2.658-2.687=-0.028
max	2.709-2.703=0.005

policies=200

*mean*	16083.377-16083.374=0.002
σ	0.098-0.098=-0.000
min	16083.264-16083.285=-0.021
max	16083.459-16083.488=-0.029

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	499.000-496.500=2.500
σ	3.651-4.435=-0.783
min	495.000-491.000=4.000
max	503.000-501.000=2.000

*mean*	27.143-27.217=-0.075
σ	0.017-0.107=-0.090
min	27.118-27.119=-0.001
max	27.158-27.366=-0.207