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.880-54.881=-0.001
σ	0.359-0.361=-0.002
min	54.740-54.742=-0.002
max	55.900-55.906=-0.006

*mean*	418.700-416.000=2.700
σ	0.483-0.000=0.483
min	418.000-416.000=2.000
max	419.000-416.000=3.000

*mean*	0.138-0.142=-0.004
σ	0.005-0.006=-0.001
min	0.132-0.137=-0.006
max	0.148-0.153=-0.006

cache=y

dps=1

iters=10

policies=100

*mean*	43.849-43.850=-0.001
σ	0.007-0.005=0.001
min	43.834-43.842=-0.008
max	43.856-43.860=-0.004

*mean*	419.000-416.000=3.000
σ	0.000
min	419.000-416.000=3.000
max	419.000-416.000=3.000

*mean*	0.123-0.125=-0.002
σ	0.006-0.004=0.003
min	0.116-0.122=-0.006
max	0.134-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*	4042.125-4043.500=-1.375
σ	2008.356-2009.675=-1.318
min	1217.000
max	7142.000-7149.000=-7.000

*mean*	13.297-12.694=0.602
σ	1.765-1.739=0.026
min	12.269-11.912=0.358
max	17.613-16.980=0.633

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.125-4043.500=-1.375
σ	2008.356-2009.675=-1.318
min	1217.000
max	7142.000-7149.000=-7.000

*mean*	13.441-12.578=0.863
σ	2.123-1.977=0.146
min	11.663-11.178=0.485
max	18.237-17.229=1.008

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*	7142.000-7149.000=-7.000
σ	0.000
min	7142.000-7149.000=-7.000
max	7142.000-7149.000=-7.000

*mean*	14.828-14.697=0.132
σ	1.266-0.144=1.122
min	11.711-14.500=-2.789
max	15.485-14.957=0.528

op=table_records(), repeat

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

*mean*	4042.125-4043.500=-1.375
σ	2008.356-2009.675=-1.318
min	1217.000
max	7142.000-7149.000=-7.000

*mean*	14.658-14.013=0.645
σ	1.079-1.646=-0.567
min	12.639-10.247=2.392
max	15.914-15.384=0.531

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*	4042.125-4043.500=-1.375
σ	2008.356-2009.675=-1.318
min	1217.000
max	7142.000-7149.000=-7.000

*mean*	9.876-9.388=0.488
σ	1.262-1.595=-0.333
min	8.950-8.038=0.912
max	12.600-12.106=0.493

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*	4042.125-4043.500=-1.375
σ	2008.356-2009.675=-1.318
min	1217.000
max	7142.000-7149.000=-7.000

*mean*	7.559-7.148=0.410
σ	1.358-1.628=-0.270
min	6.480-5.925=0.554
max	10.295-9.812=0.483

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.668-25.668=0.000
σ	0.004-0.004=0.000
min	25.665
max	25.678-25.678=0.000

*mean*	4042.125-4043.500=-1.375
σ	2008.356-2009.675=-1.318
min	1217.000
max	7142.000-7149.000=-7.000

*mean*	6.321-5.566=0.755
σ	0.593-0.542=0.051
min	6.048-5.251=0.797
max	7.783-6.876=0.907

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

*mean*	4042.125-4043.500=-1.375
σ	2008.356-2009.675=-1.318
min	1217.000
max	7142.000-7149.000=-7.000

*mean*	6.096-5.399=0.697
σ	0.484-0.460=0.024
min	5.749-5.087=0.662
max	7.262-6.499=0.763

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*	7142.000-7149.000=-7.000
σ	0.000
min	7142.000-7149.000=-7.000
max	7142.000-7149.000=-7.000

*mean*	363.421-374.308=-10.888
σ	41.907-79.599=-37.692
min	345.854-343.433=2.421
max	466.886-571.240=-104.354

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*	3274.625-3274.875=-0.250
σ	1824.932-1825.216=-0.284
min	809.000
max	5623.000-5624.000=-1.000

*mean*	3622.621-3658.245=-35.624
σ	957.661-1038.497=-80.836
min	3082.621-3070.515=12.106
max	5809.820-6036.809=-226.989

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.077
σ	0.002-0.002=0.000
min	62.076
max	62.080

*mean*	4042.125-4043.500=-1.375
σ	2008.356-2009.675=-1.318
min	1217.000
max	7142.000-7149.000=-7.000

*mean*	89.887-88.482=1.404
σ	20.330-20.978=-0.647
min	70.011-69.692=0.320
max	119.111-117.258=1.853

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7142.000-7149.000=-7.000
σ	0.000
min	7142.000-7149.000=-7.000
max	7142.000-7149.000=-7.000

*mean*	84.537-60.642=23.895
σ	67.458-1.309=66.149
min	59.907-59.502=0.405
max	251.446-63.778=187.668

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*	7142.000-7149.000=-7.000
σ	0.000
min	7142.000-7149.000=-7.000
max	7142.000-7149.000=-7.000

*mean*	203.100-99.493=103.607
σ	289.535-0.625=288.911
min	97.890-98.642=-0.752
max	919.590-100.577=819.012

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

*mean*	4042.125-4043.500=-1.375
σ	2008.356-2009.675=-1.318
min	1217.000
max	7142.000-7149.000=-7.000

*mean*	7829.707-8004.461=-174.754
σ	1821.569-1980.310=-158.741
min	5949.586-5963.004=-13.418
max	10693.045-10983.517=-290.472

op=vertical_lookup_list() on indexed

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

*mean*	7142.000-7149.000=-7.000
σ	0.000
min	7142.000-7149.000=-7.000
max	7142.000-7149.000=-7.000

*mean*	5321.623-5277.361=44.262
σ	721.703-594.570=127.133
min	4992.358-4991.534=0.824
max	7062.242-6697.683=364.559

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*	386.729-362.827=23.902
σ	15.555-35.619=-20.064
min	349.456-291.720=57.736
max	401.332-394.130=7.202

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	560.000-562.000=-2.000
σ	0.000
min	560.000-562.000=-2.000
max	560.000-562.000=-2.000

*mean*	732.305-739.148=-6.842
σ	76.399-76.360=0.039
min	588.881-584.521=4.360
max	794.353-805.016=-10.664

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.822-1023.827=-0.005
max	1027.436-1027.437=-0.001

*mean*	1049.700-1042.450=7.250
σ	317.083-300.010=17.073
min	570.000-556.000=14.000
max	1519.000-1463.000=56.000

*mean*	1.540-1.541=-0.001
σ	0.094-0.060=0.033
min	1.344-1.472=-0.127
max	1.687-1.697=-0.010

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

*mean*	0.378-0.309=0.069
σ	0.452-0.291=0.161
min	0.138-0.151=-0.013
max	1.181-0.826=0.355

name=error_case.art

*mean*	2.339
σ	0.012
min	2.333
max	2.361

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

*mean*	0.419-0.480=-0.061
σ	0.207-0.319=-0.111
min	0.312-0.326=-0.014
max	0.789-1.050=-0.261

name=heavy_item.art

*mean*	1.522
σ	0.002
min	1.521
max	1.525

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

*mean*	0.217-0.221=-0.004
σ	0.018-0.021=-0.003
min	0.207-0.206=0.001
max	0.249-0.257=-0.007

name=nested_use.art

*mean*	2.357
σ	0.002
min	2.356
max	2.360

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

*mean*	0.334-0.331=0.003
σ	0.019-0.016=0.003
min	0.317-0.320=-0.002
max	0.365-0.358=0.007

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-436.600=-0.600
σ	6.595-6.066=0.529
min	430.000-431.000=-1.000
max	443.000

*mean*	0.532-0.524=0.008
σ	0.026-0.050=-0.024
min	0.509-0.470=0.039
max	0.572-0.602=-0.030

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.483-0.498=-0.016
σ	0.024-0.020=0.004
min	0.456-0.477=-0.021
max	0.509-0.520=-0.010

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
σ	0.000
min	443.000
max	443.000

*mean*	1.940-2.618=-0.679
σ	0.105-0.086=0.019
min	1.737-2.445=-0.709
max	2.305-2.936=-0.631

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	2.273-2.549=-0.276
σ	0.324-0.062=0.261
min	1.851-2.418=-0.568
max	2.766-2.797=-0.031

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.306-0.308=-0.002
σ	0.014-0.017=-0.002
min	0.289-0.291=-0.002
max	0.387-0.417=-0.030

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.292-0.295=-0.004
σ	0.011-0.007=0.003
min	0.279-0.281=-0.002
max	0.361-0.339=0.022

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.599-298.692=-0.093
σ	1.023-1.038=-0.014
min	298.204-298.327=-0.123
max	301.509-301.644=-0.135

*mean*	443.200-441.800=1.400
σ	18.005-16.322=1.683
min	417.000
max	467.000-468.000=-1.000

*mean*	0.600-0.593=0.007
σ	0.024-0.035=-0.011
min	0.559-0.527=0.033
max	0.628-0.638=-0.010

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*	1064.875
σ	34.295
min	980.000
max	1077.000

*mean*	203.610-203.855=-0.245
σ	2.986-2.968=0.019
min	200.554-200.425=0.129
max	209.702-208.466=1.237

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1064.875
σ	34.295
min	980.000
max	1077.000

*mean*	8.892-10.048=-1.155
σ	2.367-2.531=-0.164
min	6.310-6.558=-0.248
max	12.933-12.812=0.121

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*	1064.875
σ	34.295
min	980.000
max	1077.000

*mean*	577.270-577.633=-0.363
σ	133.498-125.907=7.591
min	378.401-403.653=-25.252
max	825.222-720.663=104.559

phase=processProdDef

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

*mean*	1077.000
σ	0.000
min	1077.000
max	1077.000

*mean*	4413.457-4669.794=-256.337
σ	442.792-498.763=-55.971
min	3850.658-3743.943=106.715
max	5235.890-5428.587=-192.697

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1064.875
σ	34.295
min	980.000
max	1077.000

*mean*	32.438-37.836=-5.397
σ	11.308-11.557=-0.248
min	20.697-19.908=0.789
max	51.452-47.763=3.690

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*	1064.875
σ	34.295
min	980.000
max	1077.000

*mean*	709.750-747.410=-37.660
σ	88.002-93.821=-5.819
min	640.547-640.420=0.127
max	917.939-882.400=35.540

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.821-293.821=-0.001
σ	0.037-0.038=-0.000
min	293.767-293.768=-0.001
max	293.859-293.860=-0.001

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.395-0.393=0.002
σ	0.006-0.000=0.005
min	0.392-0.392=-0.000
max	0.405-0.394=0.011

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.214-1320.223=-0.009
σ	0.032-0.029=0.003
min	1320.164-1320.174=-0.010
max	1320.246-1320.247=-0.001

*mean*	1072.600-1084.600=-12.000
σ	167.742-179.553=-11.811
min	845.000-851.000=-6.000
max	1273.000-1309.000=-36.000

*mean*	2.234-2.239=-0.005
σ	0.055-0.038=0.017
min	2.152-2.186=-0.034
max	2.302-2.278=0.025

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.613-1560.612=0.000
σ	6.218-6.245=-0.027
min	1557.652-1557.612=0.040
max	1571.732-1571.779=-0.047

*mean*	618.000-620.400=-2.400
σ	82.901-83.494=-0.594
min	493.000-495.000=-2.000
max	716.000-720.000=-4.000

*mean*	2.358-2.333=0.025
σ	0.211-0.256=-0.045
min	2.200-2.198=0.002
max	2.717-2.790=-0.073

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.153-1882.147=0.005
σ	0.061-0.046=0.015
min	1882.102-1882.099=0.003
max	1882.256-1882.221=0.035

*mean*	1697.800-1735.200=-37.400
σ	247.429-226.928=20.501
min	1393.000-1440.000=-47.000
max	2025.000-1953.000=72.000

*mean*	2.941-3.069=-0.128
σ	0.046-0.220=-0.174
min	2.898-2.862=0.036
max	2.996-3.384=-0.388

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.868-1.718=0.151
σ	0.074-0.148=-0.074
min	1.747-1.469=0.278
max	1.935-1.839=0.096

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

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

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.544-0.536=0.007
σ	0.541-0.527=0.014
min	0.268-0.265=0.002
max	1.356-1.327=0.029

policies=20

*mean*	1607.512-1607.524=-0.012
σ	0.405-0.406=-0.001
min	1607.235-1607.248=-0.013
max	1608.111-1608.124=-0.013

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	450.500-446.750=3.750
σ	8.660-7.500=1.160
min	443.000
max	458.000

*mean*	2.680-2.681=-0.001
σ	0.010-0.013=-0.003
min	2.669-2.661=0.007
max	2.690-2.691=-0.001

policies=200

*mean*	16083.364-16083.348=0.016
σ	0.088-0.110=-0.022
min	16083.281-16083.237=0.044
max	16083.488-16083.479=0.009

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	496.500-497.750=-1.250
σ	3.317-5.315=-1.998
min	492.000
max	500.000-504.000=-4.000

*mean*	27.082-27.116=-0.035
σ	0.048-0.042=0.006
min	27.027-27.072=-0.046
max	27.143-27.172=-0.029