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.082
σ	0.000
min	5.082
max	5.082

AST compact size (parser)

Factor

compact size MiB

phase=parser

*mean*	4.988
σ	0.000
min	4.988
max	4.988

AST compact size (processProdDef Decls)

Factor

compact size MiB

phase=processProdDef Decls

*mean*	4.863
σ	0.000
min	4.863
max	4.863

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.102
σ	0.000
min	446.102
max	446.102

AST compact size (renaming)

Factor

compact size MiB

phase=renaming

*mean*	5.238
σ	0.000
min	5.238
max	5.238

AST compact size (type checker)

Factor

compact size MiB

phase=type checker

*mean*	6.395
σ	0.000
min	6.395
max	6.395

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	54.704-54.699=0.005
σ	0.363-0.367=-0.004
min	54.570-54.565=0.005
max	55.736-55.743=-0.007

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

*mean*	0.157-0.139=0.018
σ	0.006-0.004=0.002
min	0.146-0.136=0.010
max	0.168-0.146=0.022

cache=y

dps=1

iters=10

policies=100

*mean*	43.778-43.778=-0.000
σ	0.007-0.007=-0.001
min	43.767-43.769=-0.002
max	43.785-43.792=-0.006

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

*mean*	0.122-0.123=-0.001
σ	0.006-0.004=0.002
min	0.115-0.120=-0.004
max	0.133-0.131=0.003

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.605-36.605=0.000
σ	0.000-0.000=-0.000
min	36.605
max	36.606

*mean*	4590.500-4426.875=163.625
σ	2252.577-2229.071=23.506
min	1487.000-1484.000=3.000
max	7401.000-7410.000=-9.000

*mean*	13.203-13.367=-0.165
σ	2.963-3.347=-0.384
min	11.797-11.852=-0.055
max	20.497-21.569=-1.072

op=column_set() on indexed, repeat

*mean*	36.605-36.605=-0.000
σ	0.000-0.000=-0.000
min	36.605
max	36.605-36.606=-0.001

*mean*	4590.500-4608.000=-17.500
σ	2252.577-2260.430=-7.853
min	1487.000-1484.000=3.000
max	7401.000-7410.000=-9.000

*mean*	13.217-141.591=-128.373
σ	3.185-361.007=-357.822
min	11.400-11.661=-0.262
max	21.003-1034.995=-1013.992

op=table_records(), no indexes

*mean*	41.940-41.940=0.000
σ	0.002-0.002=-0.000
min	41.938-41.938=0.000
max	41.942-41.942=0.000

*mean*	7401.000-7410.000=-9.000
σ	0.000
min	7401.000-7410.000=-9.000
max	7401.000-7410.000=-9.000

*mean*	11.523-11.037=0.486
σ	1.141-0.229=0.913
min	10.981-10.692=0.289
max	14.326-11.483=2.843

op=table_records(), repeat

*mean*	41.925-41.925=0.001
σ	0.002-0.000=0.001
min	41.924
max	41.929-41.925=0.004

*mean*	4178.750-4198.375=-19.625
σ	1945.591-1956.633=-11.042
min	1487.000-1484.000=3.000
max	7401.000-7410.000=-9.000

*mean*	11.688-11.031=0.657
σ	1.898-0.196=1.702
min	10.661-10.795=-0.133
max	16.358-11.408=4.950

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

*mean*	27.634-27.634=0.000
σ	0.137-0.137=-0.000
min	27.585
max	27.972-27.972=-0.000

*mean*	4178.750-4198.375=-19.625
σ	1945.591-1956.633=-11.042
min	1487.000-1484.000=3.000
max	7401.000-7410.000=-9.000

*mean*	9.286-8.535=0.751
σ	1.172-0.378=0.794
min	8.610-7.863=0.747
max	12.155-8.801=3.354

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

*mean*	26.385-26.385=-0.000
σ	0.000-0.001=-0.001
min	26.385-26.385=0.000
max	26.385-26.389=-0.004

*mean*	4178.750-4198.375=-19.625
σ	1945.591-1956.633=-11.042
min	1487.000-1484.000=3.000
max	7401.000-7410.000=-9.000

*mean*	7.193-6.646=0.548
σ	0.848-0.364=0.484
min	6.723-6.004=0.719
max	9.280-6.944=2.336

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.663-25.663=-0.000
σ	0.004-0.004=-0.000
min	25.662
max	25.674-25.674=-0.000

*mean*	4590.500-4608.000=-17.500
σ	2252.577-2260.430=-7.853
min	1487.000-1484.000=3.000
max	7401.000-7410.000=-9.000

*mean*	6.179-6.733=-0.554
σ	0.583-1.308=-0.725
min	5.833-5.912=-0.078
max	7.579-8.934=-1.355

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.962-25.962=-0.000
σ	0.000-0.001=-0.000
min	25.962
max	25.964-25.964=-0.000

*mean*	4590.500-4608.000=-17.500
σ	2252.577-2260.430=-7.853
min	1487.000-1484.000=3.000
max	7401.000-7410.000=-9.000

*mean*	6.082-6.635=-0.553
σ	0.556-1.387=-0.832
min	5.705-5.759=-0.054
max	7.406-9.080=-1.674

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.599-1021.599=-0.000
σ	0.002-0.002=-0.000
min	1021.597
max	1021.602-1021.602=-0.000

*mean*	7401.000-7410.000=-9.000
σ	0.000
min	7401.000-7410.000=-9.000
max	7401.000-7410.000=-9.000

*mean*	365.129-349.082=16.047
σ	43.145-4.123=39.022
min	347.183-343.630=3.553
max	471.770-357.220=114.551

op=load_product(), with indexes

*mean*	3495.846-3495.846=0.000
σ	0.455-0.455=-0.000
min	3495.685-3495.685=0.000
max	3496.972

*mean*	3755.375-3771.750=-16.375
σ	2299.724-2312.625=-12.901
min	720.000
max	7401.000-7410.000=-9.000

*mean*	1779.447-1805.701=-26.254
σ	674.013-674.760=-0.747
min	1402.096-1408.059=-5.963
max	2960.362-2946.082=14.280

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense, minor warmup

*mean*	107.842-107.841=0.000
σ	0.000-0.000=0.000
min	107.841
max	107.842-107.842=0.000

*mean*	4411.875-4198.375=213.500
σ	2223.359-1956.633=266.726
min	1487.000-1484.000=3.000
max	7401.000-7410.000=-9.000

*mean*	264.075-131.361=132.715
σ	359.578-4.653=354.925
min	124.805-126.820=-2.015
max	1152.963-140.152=1012.811

op=column_set() on unindexed, dense, repeat

*mean*	62.069
σ	0.001
min	62.065
max	62.070

*mean*	4590.500-4426.875=163.625
σ	2252.577-2229.071=23.506
min	1487.000-1484.000=3.000
max	7401.000-7410.000=-9.000

*mean*	160.234-188.908=-28.673
σ	325.796-413.061=-87.264
min	40.696-41.145=-0.449
max	966.444-1211.175=-244.731

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.927-40.927=-0.000
σ	0.002-0.002=-0.000
min	40.926
max	40.930-40.930=-0.001

*mean*	7401.000-7410.000=-9.000
σ	0.000
min	7401.000-7410.000=-9.000
max	7401.000-7410.000=-9.000

*mean*	23.436-104.166=-80.730
σ	3.062-231.269=-228.207
min	21.501-21.594=-0.093
max	29.428-676.519=-647.091

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.294-71.294=0.000
σ	0.002-0.002=0.000
min	71.293-71.293=0.000
max	71.297-71.297=0.000

*mean*	7401.000-7410.000=-9.000
σ	0.000
min	7401.000-7410.000=-9.000
max	7401.000-7410.000=-9.000

*mean*	307.162-59.067=248.094
σ	703.043-8.872=694.171
min	55.682-55.396=0.286
max	2047.080-81.007=1966.073

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.842-4646.842=0.000
σ	0.013-0.013=-0.000
min	4646.837
max	4646.875

*mean*	4178.750-4198.375=-19.625
σ	1945.591-1956.633=-11.042
min	1487.000-1484.000=3.000
max	7401.000-7410.000=-9.000

*mean*	3346.057-3264.250=81.807
σ	725.829-660.496=65.333
min	2565.292-2519.057=46.235
max	4189.832-4096.779=93.053

op=vertical_lookup_list() on indexed

*mean*	1973.830-1973.830=0.000
σ	0.002-0.002=0.000
min	1973.829
max	1973.833-1973.833=0.000

*mean*	7401.000-7410.000=-9.000
σ	0.000
min	7401.000-7410.000=-9.000
max	7401.000-7410.000=-9.000

*mean*	1180.239-1022.273=157.966
σ	394.031-202.359=191.672
min	940.536-924.740=15.797
max	1912.316-1508.517=403.799

op=vertical_lookup_list() on unindexed missing Int, minor warmup

*mean*	905.084
σ	0.002
min	905.082
max	905.087

*mean*	7401.000-7410.000=-9.000
σ	0.000
min	7401.000-7410.000=-9.000
max	7401.000-7410.000=-9.000

*mean*	411.259-414.756=-3.497
σ	39.755-42.030=-2.274
min	393.525-390.953=2.572
max	509.109-517.863=-8.754

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	148.144
σ	0.001
min	148.144
max	148.148

*mean*	477.000
σ	0.000
min	477.000
max	477.000

*mean*	377.690-385.517=-7.826
σ	41.718-19.764=21.954
min	309.901-362.621=-52.719
max	429.821-424.502=5.319

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	563.000-565.000=-2.000
σ	0.000
min	563.000-565.000=-2.000
max	563.000-565.000=-2.000

*mean*	745.221-752.410=-7.189
σ	46.556-61.637=-15.081
min	682.043-636.987=45.056
max	833.057-845.228=-12.171

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.556-964.556=-0.001
σ	1.879-1.881=-0.002
min	963.837-963.836=0.000
max	972.503-972.512=-0.009

*mean*	1039.500-1039.900=-0.400
σ	318.349-308.504=9.845
min	551.000-563.000=-12.000
max	1508.000-1491.000=17.000

*mean*	1.301-1.272=0.029
σ	0.143-0.138=0.005
min	1.183-1.179=0.004
max	1.674-1.775=-0.101

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.296-0.410=-0.113
σ	0.296-0.530=-0.233
min	0.134-0.141=-0.007
max	0.822-1.354=-0.532

name=error_case.art

*mean*	2.346
σ	0.012
min	2.340
max	2.368

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.480-0.479=0.000
σ	0.322-0.324=-0.002
min	0.325-0.319=0.006
max	1.056-1.058=-0.002

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.522
max	1.526

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.215-0.223=-0.008
σ	0.026-0.021=0.004
min	0.197-0.209=-0.012
max	0.257-0.260=-0.003

name=nested_use.art

*mean*	2.364
σ	0.002
min	2.363
max	2.367

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.331-0.334=-0.003
σ	0.015-0.024=-0.009
min	0.321-0.315=0.005
max	0.357-0.375=-0.018

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.978
σ	0.009
min	964.973
max	964.995

*mean*	431.800-430.000=1.800
σ	1.789-0.000=1.789
min	431.000-430.000=1.000
max	435.000-430.000=5.000

*mean*	0.574-0.596=-0.022
σ	0.056-0.010=0.046
min	0.477-0.580=-0.102
max	0.615-0.603=0.012

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

*mean*	443.000-430.000=13.000
σ	0.000
min	443.000-430.000=13.000
max	443.000-430.000=13.000

*mean*	0.510-0.484=0.026
σ	0.014-0.063=-0.050
min	0.488-0.371=0.117
max	0.525-0.519=0.006

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.719
σ	0.002
min	7.718
max	7.722

*mean*	443.000-430.000=13.000
σ	0.000
min	443.000-430.000=13.000
max	443.000-430.000=13.000

*mean*	1.951-2.191=-0.240
σ	0.097-0.362=-0.265
min	1.754-1.855=-0.101
max	2.383-2.906=-0.522

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	443.000-430.000=13.000
σ	0.000
min	443.000-430.000=13.000
max	443.000-430.000=13.000

*mean*	1.953-1.949=0.004
σ	0.077-0.120=-0.043
min	1.834-1.747=0.087
max	2.227-2.546=-0.319

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	443.000-430.000=13.000
σ	0.000
min	443.000-430.000=13.000
max	443.000-430.000=13.000

*mean*	0.302-0.308=-0.006
σ	0.009-0.018=-0.009
min	0.288-0.294=-0.006
max	0.351-0.461=-0.110

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	443.000-430.000=13.000
σ	0.000
min	443.000-430.000=13.000
max	443.000-430.000=13.000

*mean*	0.289-0.290=-0.001
σ	0.006-0.007=-0.001
min	0.273-0.279=-0.005
max	0.320-0.329=-0.009

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.358-11.614=-0.256
σ	12.039-13.116=-1.076
min	0.574-0.574=-0.000
max	93.534-144.209=-50.675

*mean*	462.984-458.454=4.530
σ	20.455-19.210=1.245
min	406.000
max	480.000-479.000=1.000

*mean*	0.026-0.027=-0.000
σ	0.030-0.032=-0.002
min	0.001-0.001=0.000
max	0.225-0.339=-0.115

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	279.151-279.080=0.071
σ	1.043-1.029=0.013
min	278.785-278.630=0.155
max	282.118-282.003=0.115

*mean*	442.900-442.400=0.500
σ	16.190-15.153=1.037
min	414.000-417.000=-3.000
max	462.000-465.000=-3.000

*mean*	0.580-0.573=0.007
σ	0.010-0.013=-0.004
min	0.559-0.547=0.012
max	0.589-0.587=0.002

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	106.546-106.546=0.000
σ	0.000-0.000=0.000
min	106.546
max	106.546-106.546=0.000

*mean*	850.000-816.625=33.375
σ	0.000-52.777=-52.777
min	850.000-707.000=143.000
max	850.000-844.000=6.000

*mean*	152.881-144.642=8.239
σ	10.680-7.335=3.345
min	135.361-134.154=1.207
max	163.268-158.001=5.267

phase=macro expansion

*mean*	5.894
σ	0.000
min	5.894
max	5.894

*mean*	850.000-801.375=48.625
σ	0.000-60.994=-60.994
min	850.000-702.000=148.000
max	850.000-844.000=6.000

*mean*	8.976-8.722=0.254
σ	2.781-1.773=1.008
min	5.919-5.925=-0.006
max	12.102-11.969=0.133

phase=parser

*mean*	1042.132-1042.130=0.002
σ	0.000-0.000=0.000
min	1042.132-1042.130=0.002
max	1042.132-1042.131=0.002

*mean*	850.000-801.375=48.625
σ	0.000-60.994=-60.994
min	850.000-702.000=148.000
max	850.000-844.000=6.000

*mean*	564.230-555.213=9.017
σ	163.723-112.530=51.193
min	376.388-405.546=-29.158
max	735.950-727.318=8.632

phase=processProdDef

*mean*	2241.194-2241.195=-0.001
σ	0.000
min	2241.194-2241.195=-0.001
max	2241.194-2241.195=-0.001

*mean*	850.000-816.625=33.375
σ	0.000-52.777=-52.777
min	850.000-707.000=143.000
max	850.000-844.000=6.000

*mean*	2628.693-3048.623=-419.930
σ	416.291-331.109=85.182
min	2257.335-2483.907=-226.572
max	3337.208-3366.483=-29.274

phase=renaming

*mean*	21.434-21.433=0.000
σ	0.000
min	21.434-21.433=0.000
max	21.434-21.433=0.000

*mean*	850.000-801.375=48.625
σ	0.000-60.994=-60.994
min	850.000-702.000=148.000
max	850.000-844.000=6.000

*mean*	43.072-42.995=0.077
σ	3.156-8.800=-5.643
min	39.688-25.911=13.777
max	47.283-51.298=-4.015

phase=type checker

*mean*	958.462
σ	0.047
min	958.439
max	958.564

*mean*	850.000-801.375=48.625
σ	0.000-60.994=-60.994
min	850.000-702.000=148.000
max	850.000-844.000=6.000

*mean*	738.732-675.981=62.752
σ	89.107-29.709=59.398
min	641.152-647.473=-6.321
max	842.719-744.050=98.669

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.856-282.856=0.000
σ	0.036-0.038=-0.002
min	282.804-282.801=0.003
max	282.891-282.892=-0.001

*mean*	444.000-444.400=-0.400
σ	0.000-0.548=-0.548
min	444.000
max	444.000-445.000=-1.000

*mean*	0.376-0.381=-0.005
σ	0.002-0.009=-0.007
min	0.374-0.375=-0.001
max	0.378-0.396=-0.017

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.038-1268.053=-0.015
σ	0.098-0.108=-0.010
min	1267.958-1267.958=0.001
max	1268.199-1268.231=-0.033

*mean*	1112.200-1094.400=17.800
σ	168.415-178.450=-10.034
min	898.000-864.000=34.000
max	1323.000-1308.000=15.000

*mean*	1.904-1.935=-0.032
σ	0.108-0.115=-0.007
min	1.835-1.820=0.014
max	2.095-2.108=-0.013

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.059-1507.021=0.037
σ	2.978-2.972=0.006
min	1505.518-1505.471=0.048
max	1512.375-1512.325=0.049

*mean*	629.800-629.200=0.600
σ	89.843-81.125=8.718
min	506.000-505.000=1.000
max	729.000-719.000=10.000

*mean*	2.332-2.215=0.117
σ	0.341-0.206=0.135
min	2.082-2.097=-0.015
max	2.874-2.581=0.293

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.057-1830.060=-0.004
σ	0.060-0.042=0.018
min	1829.974-1829.996=-0.022
max	1830.108-1830.105=0.003

*mean*	1752.800-1728.800=24.000
σ	210.703-180.014=30.688
min	1471.000-1474.000=-3.000
max	1952.000-1896.000=56.000

*mean*	3.116-2.943=0.173
σ	0.217-0.241=-0.025
min	2.808-2.780=0.028
max	3.289-3.365=-0.075

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.553-1.590=-0.037
σ	0.064-0.203=-0.138
min	1.480-1.256=0.224
max	1.643-1.784=-0.141

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	405.943-405.944=-0.000
σ	509.286-509.285=0.000
min	151.296-151.296=-0.000
max	1169.872-1169.872=-0.000

*mean*	101.750
σ	7.500
min	98.000
max	113.000

*mean*	440.000-444.000=-4.000
σ	0.000
min	440.000-444.000=-4.000
max	440.000-444.000=-4.000

*mean*	0.507-0.506=0.000
σ	0.500-0.496=0.005
min	0.253-0.255=-0.001
max	1.257-1.250=0.007

policies=20

*mean*	1513.145-1513.140=0.004
σ	0.264-0.258=0.006
min	1512.975-1512.973=0.002
max	1513.537-1513.522=0.014

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	445.250-444.750=0.500
σ	3.500-0.500=3.000
min	440.000-444.000=-4.000
max	447.000-445.000=2.000

*mean*	2.487-2.481=0.006
σ	0.017-0.005=0.012
min	2.475-2.476=-0.002
max	2.511-2.488=0.023

policies=200

*mean*	15140.005-15140.007=-0.002
σ	0.108-0.093=0.014
min	15139.864-15139.905=-0.042
max	15140.125-15140.118=0.007

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	498.250-495.500=2.750
σ	4.272-5.568=-1.296
min	493.000-490.000=3.000
max	503.000

*mean*	25.010-25.049=-0.039
σ	0.125-0.123=0.002
min	24.919-24.897=0.022
max	25.186-25.165=0.021