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.698-54.697=0.001
σ	0.366-0.362=0.005
min	54.565-54.563=0.002
max	55.740-55.725=0.015

*mean*	419.000-421.700=-2.700
σ	0.000-0.483=-0.483
min	419.000-421.000=-2.000
max	419.000-422.000=-3.000

*mean*	0.139-0.140=-0.001
σ	0.003-0.004=-0.001
min	0.136-0.136=0.000
max	0.146-0.147=-0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.777-43.781=-0.004
σ	0.008-0.008=0.001
min	43.766-43.771=-0.005
max	43.792-43.795=-0.003

*mean*	419.700-422.000=-2.300
σ	0.483-0.000=0.483
min	419.000-422.000=-3.000
max	420.000-422.000=-2.000

*mean*	0.122-0.133=-0.011
σ	0.004-0.010=-0.006
min	0.118-0.120=-0.003
max	0.130-0.148=-0.018

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

*mean*	4588.500-4582.750=5.750
σ	2248.666-2255.131=-6.465
min	1487.000-1485.000=2.000
max	7380.000-7403.000=-23.000

*mean*	158.223-13.498=144.725
σ	411.195-2.527=408.668
min	11.904-11.883=0.022
max	1175.870-17.696=1158.174

op=column_set() on indexed, repeat

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

*mean*	4588.500-4582.750=5.750
σ	2248.666-2255.131=-6.465
min	1487.000-1485.000=2.000
max	7380.000-7403.000=-23.000

*mean*	15.051-13.869=1.182
σ	4.220-2.515=1.705
min	12.732-11.710=1.023
max	24.622-18.053=6.570

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*	7380.000-7403.000=-23.000
σ	0.000
min	7380.000-7403.000=-23.000
max	7380.000-7403.000=-23.000

*mean*	11.700-11.137=0.563
σ	1.747-0.181=1.566
min	10.904-10.868=0.036
max	16.007-11.402=4.605

op=table_records(), repeat

*mean*	41.925-41.925=0.000
σ	0.001-0.000=0.000
min	41.924
max	41.926-41.926=0.000

*mean*	4178.625-4168.125=10.500
σ	1945.570-1946.313=-0.743
min	1487.000-1485.000=2.000
max	7380.000-7403.000=-23.000

*mean*	11.660-11.715=-0.056
σ	1.947-1.775=0.172
min	10.652-10.902=-0.250
max	16.455-16.091=0.364

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

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

*mean*	4178.625-4168.125=10.500
σ	1945.570-1946.313=-0.743
min	1487.000-1485.000=2.000
max	7380.000-7403.000=-23.000

*mean*	9.265-8.952=0.314
σ	1.350-1.308=0.042
min	7.937-7.876=0.061
max	12.485-12.105=0.380

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

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

*mean*	4178.625-4168.125=10.500
σ	1945.570-1946.313=-0.743
min	1487.000-1485.000=2.000
max	7380.000-7403.000=-23.000

*mean*	7.053-6.936=0.116
σ	0.901-0.973=-0.072
min	6.427-5.963=0.464
max	9.253-9.214=0.039

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*	4588.500-4582.750=5.750
σ	2248.666-2255.131=-6.465
min	1487.000-1485.000=2.000
max	7380.000-7403.000=-23.000

*mean*	6.578-6.441=0.137
σ	0.934-0.695=0.238
min	6.034-5.822=0.212
max	8.591-7.579=1.012

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.963-25.962=0.000
σ	0.001-0.001=0.001
min	25.962-25.962=-0.000
max	25.966-25.964=0.002

*mean*	4588.500-4582.750=5.750
σ	2248.666-2255.131=-6.465
min	1487.000-1485.000=2.000
max	7380.000-7403.000=-23.000

*mean*	6.401-6.198=0.203
σ	0.983-0.635=0.348
min	5.818-5.667=0.151
max	8.574-7.263=1.311

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.599
σ	0.002
min	1021.597
max	1021.602

*mean*	7380.000-7403.000=-23.000
σ	0.000
min	7380.000-7403.000=-23.000
max	7380.000-7403.000=-23.000

*mean*	345.534-363.219=-17.686
σ	3.019-41.589=-38.570
min	341.768-347.367=-5.599
max	349.737-466.098=-116.361

op=load_product(), with indexes

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

*mean*	3756.000-3747.250=8.750
σ	2299.809-2298.744=1.065
min	720.000-719.000=1.000
max	7380.000-7403.000=-23.000

*mean*	1776.946-1638.072=138.874
σ	640.393-500.355=140.038
min	1401.211-1406.456=-5.245
max	2832.972-2860.820=-27.848

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

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

*mean*	4406.625-4403.000=3.625
σ	2217.864-2226.516=-8.652
min	1487.000-1485.000=2.000
max	7380.000-7403.000=-23.000

*mean*	265.086-243.952=21.135
σ	360.830-302.722=58.108
min	126.278-124.498=1.780
max	1156.969-991.912=165.056

op=column_set() on unindexed, dense, repeat

*mean*	62.069-62.069=-0.000
σ	0.001-0.001=-0.000
min	62.065
max	62.069-62.070=-0.001

*mean*	4406.625-4582.750=-176.125
σ	2217.864-2255.131=-37.266
min	1487.000-1485.000=2.000
max	7380.000-7403.000=-23.000

*mean*	46.966-180.909=-133.942
σ	9.673-378.434=-368.761
min	41.662-42.438=-0.776
max	70.586-1117.248=-1046.662

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

*mean*	7380.000-7403.000=-23.000
σ	0.000
min	7380.000-7403.000=-23.000
max	7380.000-7403.000=-23.000

*mean*	270.491-22.458=248.032
σ	701.631-1.480=700.150
min	21.463-21.638=-0.175
max	2006.930-26.084=1980.846

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*	7380.000-7403.000=-23.000
σ	0.000
min	7380.000-7403.000=-23.000
max	7380.000-7403.000=-23.000

*mean*	62.898-256.257=-193.360
σ	18.202-563.885=-545.684
min	55.356-55.276=0.080
max	107.811-1651.785=-1543.974

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.842-4646.842=0.000
σ	0.014-0.014=-0.000
min	4646.837
max	4646.876

*mean*	4178.625-4168.125=10.500
σ	1945.570-1946.313=-0.743
min	1487.000-1485.000=2.000
max	7380.000-7403.000=-23.000

*mean*	3345.215-3127.021=218.194
σ	894.713-834.015=60.699
min	2510.742-2494.685=16.057
max	4828.807-4726.674=102.133

op=vertical_lookup_list() on indexed

*mean*	1973.830
σ	0.002
min	1973.829
max	1973.833

*mean*	7380.000-7403.000=-23.000
σ	0.000
min	7380.000-7403.000=-23.000
max	7380.000-7403.000=-23.000

*mean*	1048.173-1078.066=-29.894
σ	281.754-283.941=-2.186
min	915.047-922.371=-7.324
max	1724.303-1744.875=-20.572

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

*mean*	905.084
σ	0.002
min	905.082
max	905.087

*mean*	7380.000-7403.000=-23.000
σ	0.000
min	7380.000-7403.000=-23.000
max	7380.000-7403.000=-23.000

*mean*	405.095-395.577=9.518
σ	42.605-5.312=37.293
min	375.072-390.845=-15.773
max	509.294-407.781=101.513

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*	478.250-477.000=1.250
σ	1.389-0.000=1.389
min	476.000-477.000=-1.000
max	479.000-477.000=2.000

*mean*	384.349-380.722=3.626
σ	21.229-34.230=-13.002
min	353.100-300.892=52.209
max	424.158-415.739=8.419

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	565.000-561.750=3.250
σ	0.000-0.463=-0.463
min	565.000-561.000=4.000
max	565.000-562.000=3.000

*mean*	739.004-791.439=-52.435
σ	64.604-30.708=33.896
min	603.344-742.820=-139.476
max	825.396-834.739=-9.343

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.559-964.558=0.001
σ	1.880-1.878=0.002
min	963.836-963.836=-0.001
max	972.511-972.503=0.008

*mean*	1049.000-1043.900=5.100
σ	313.781-315.480=-1.700
min	558.000-581.000=-23.000
max	1499.000-1508.000=-9.000

*mean*	1.313-1.275=0.038
σ	0.142-0.084=0.058
min	1.185-1.193=-0.009
max	1.608-1.438=0.170

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.402-0.402=0.001
σ	0.521-0.520=0.001
min	0.143-0.146=-0.003
max	1.331-1.329=0.001

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.743-0.483=0.260
σ	0.334-0.323=0.011
min	0.580-0.333=0.246
max	1.339-1.060=0.279

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.386-0.215=0.171
σ	0.032-0.023=0.008
min	0.368-0.198=0.170
max	0.442-0.255=0.188

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.595-0.336=0.260
σ	0.026-0.015=0.010
min	0.575-0.323=0.252
max	0.633-0.361=0.272

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.000
σ	0.000
min	431.000
max	431.000

*mean*	0.599-0.556=0.043
σ	0.089-0.053=0.037
min	0.530-0.483=0.047
max	0.747-0.609=0.139

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.467-0.487=-0.020
σ	0.052-0.021=0.031
min	0.388-0.466=-0.078
max	0.514-0.515=-0.001

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

*mean*	2.620-2.614=0.005
σ	0.131-0.088=0.043
min	1.961-2.454=-0.493
max	2.960-2.878=0.082

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	2.670-2.592=0.077
σ	0.117-0.084=0.032
min	2.444-2.451=-0.006
max	3.120-2.849=0.271

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.311-0.304=0.007
σ	0.042-0.008=0.034
min	0.289-0.288=0.002
max	0.646-0.351=0.295

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.287-0.288=-0.001
σ	0.006-0.008=-0.001
min	0.275-0.275=0.000
max	0.318-0.330=-0.012

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.499-11.793=-0.294
σ	10.633-11.082=-0.449
min	0.573-0.574=-0.001
max	79.203-74.489=4.714

*mean*	462.121-462.758=-0.637
σ	19.252-21.705=-2.453
min	406.000
max	479.000-482.000=-3.000

*mean*	0.026-0.027=-0.000
σ	0.026-0.027=-0.001
min	0.001-0.001=-0.000
max	0.193-0.183=0.010

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	279.098-279.084=0.014
σ	1.036-0.998=0.038
min	278.604-278.643=-0.039
max	282.038-281.917=0.121

*mean*	447.100-443.000=4.100
σ	16.908-14.974=1.934
min	426.000-414.000=12.000
max	472.000-466.000=6.000

*mean*	0.576-0.567=0.009
σ	0.023-0.027=-0.005
min	0.534-0.514=0.020
max	0.616-0.606=0.011

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-848.000=2.000
σ	0.000
min	850.000-848.000=2.000
max	850.000-848.000=2.000

*mean*	146.511-154.536=-8.025
σ	9.528-9.545=-0.017
min	130.708-136.111=-5.403
max	159.843-163.019=-3.176

phase=macro expansion

*mean*	5.894
σ	0.000
min	5.894
max	5.894

*mean*	850.000-848.000=2.000
σ	0.000
min	850.000-848.000=2.000
max	850.000-848.000=2.000

*mean*	8.349-8.406=-0.057
σ	2.259-1.281=0.978
min	5.806-5.844=-0.038
max	11.951-9.313=2.638

phase=parser

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

*mean*	850.000-848.000=2.000
σ	0.000
min	850.000-848.000=2.000
max	850.000-848.000=2.000

*mean*	527.006-562.653=-35.647
σ	133.388-96.235=37.153
min	373.149-400.064=-26.915
max	722.566-622.966=99.600

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-848.000=2.000
σ	0.000
min	850.000-848.000=2.000
max	850.000-848.000=2.000

*mean*	2836.880-2915.301=-78.421
σ	276.808-432.419=-155.611
min	2542.343-2003.104=539.239
max	3311.402-3308.934=2.468

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-848.000=2.000
σ	0.000
min	850.000-848.000=2.000
max	850.000-848.000=2.000

*mean*	39.462-45.291=-5.829
σ	5.358-5.897=-0.540
min	29.793-34.958=-5.165
max	47.226-49.658=-2.432

phase=type checker

*mean*	958.462
σ	0.047
min	958.439
max	958.564

*mean*	850.000-848.000=2.000
σ	0.000
min	850.000-848.000=2.000
max	850.000-848.000=2.000

*mean*	708.288-666.824=41.464
σ	76.047-17.233=58.814
min	641.949-628.938=13.011
max	855.109-682.904=172.205

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.855-282.856=-0.002
σ	0.038-0.037=0.000
min	282.800-282.801=-0.002
max	282.891-282.892=-0.001

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

*mean*	0.374-0.379=-0.005
σ	0.000-0.008=-0.007
min	0.374-0.375=-0.002
max	0.375-0.393=-0.018

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.052-1268.050=0.001
σ	0.107-0.110=-0.003
min	1267.955-1267.956=-0.002
max	1268.229-1268.236=-0.008

*mean*	1089.000-1095.400=-6.400
σ	167.581-178.120=-10.539
min	891.000-865.000=26.000
max	1320.000-1309.000=11.000

*mean*	1.995-1.981=0.013
σ	0.083-0.158=-0.075
min	1.895-1.788=0.107
max	2.076-2.098=-0.023

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.028-1507.006=0.022
σ	2.963-2.985=-0.022
min	1505.470-1505.439=0.030
max	1512.316-1512.333=-0.017

*mean*	624.200-630.000=-5.800
σ	87.311-81.040=6.271
min	494.000-506.000=-12.000
max	726.000-719.000=7.000

*mean*	2.240-2.195=0.045
σ	0.209-0.242=-0.033
min	2.114-1.986=0.128
max	2.612-2.605=0.007

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.059-1830.059=0.000
σ	0.049-0.052=-0.003
min	1829.988-1829.984=0.004
max	1830.103-1830.110=-0.007

*mean*	1721.600-1729.800=-8.200
σ	172.709-179.742=-7.033
min	1474.000-1475.000=-1.000
max	1882.000-1896.000=-14.000

*mean*	3.008-2.989=0.019
σ	0.286-0.258=0.028
min	2.823-2.796=0.028
max	3.516-3.442=0.074

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.637-1.778=-0.140
σ	0.122-0.066=0.056
min	1.483-1.686=-0.203
max	1.769-1.855=-0.086

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	405.942-405.944=-0.002
σ	509.285-509.285=-0.000
min	151.294-151.298=-0.004
max	1169.870-1169.873=-0.003

*mean*	101.750
σ	7.500
min	98.000
max	113.000

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

*mean*	0.493-0.467=0.027
σ	0.482-0.437=0.045
min	0.247-0.245=0.002
max	1.216-1.122=0.094

policies=20

*mean*	1513.123-1513.139=-0.017
σ	0.246-0.266=-0.021
min	1512.960-1513.000=-0.040
max	1513.487-1513.539=-0.052

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	451.000-444.000=7.000
σ	11.165-2.309=8.856
min	441.000-442.000=-1.000
max	467.000-446.000=21.000

*mean*	2.472-2.496=-0.023
σ	0.021-0.011=0.009
min	2.445-2.484=-0.038
max	2.494-2.511=-0.017

policies=200

*mean*	15139.966-15140.013=-0.047
σ	0.084-0.084=0.000
min	15139.873-15139.922=-0.050
max	15140.041-15140.124=-0.083

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	500.000-494.250=5.750
σ	3.916-5.123=-1.208
min	496.000-489.000=7.000
max	505.000-500.000=5.000

*mean*	25.073-25.124=-0.052
σ	0.112-0.098=0.014
min	24.987-25.014=-0.027
max	25.237-25.252=-0.015