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

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.890-54.888=0.002
σ	0.358-0.358=-0.000
min	54.755-54.749=0.006
max	55.908-55.907=0.001

*mean*	419.000-415.000=4.000
σ	0.000
min	419.000-415.000=4.000
max	419.000-415.000=4.000

*mean*	0.146-0.139=0.008
σ	0.009-0.006=0.003
min	0.133-0.133=0.000
max	0.159-0.152=0.007

cache=y

dps=1

iters=10

policies=100

*mean*	43.854-43.855=-0.001
σ	0.004-0.007=-0.002
min	43.849-43.847=0.002
max	43.861-43.868=-0.006

*mean*	419.000-415.000=4.000
σ	0.000
min	419.000-415.000=4.000
max	419.000-415.000=4.000

*mean*	0.126-0.125=0.001
σ	0.006-0.004=0.001
min	0.120-0.121=-0.001
max	0.135-0.134=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-36.616=0.000
max	36.620-36.620=0.000

*mean*	4044.250-4044.125=0.125
σ	2011.085-2007.991=3.094
min	1216.000-1219.000=-3.000
max	7154.000-7143.000=11.000

*mean*	12.812-13.416=-0.605
σ	0.362-1.830=-1.468
min	12.390-12.254=0.136
max	13.459-17.863=-4.404

op=column_set() on indexed, repeat

*mean*	36.618-36.618=0.000
σ	0.002-0.002=-0.000
min	36.616-36.615=0.001
max	36.620-36.620=0.000

*mean*	4044.250-4044.125=0.125
σ	2011.085-2007.991=3.094
min	1216.000-1219.000=-3.000
max	7154.000-7143.000=11.000

*mean*	12.600-13.514=-0.915
σ	0.529-1.925=-1.396
min	12.015-11.456=0.559
max	13.320-17.892=-4.572

op=table_records(), no indexes

*mean*	41.930-41.930=-0.000
σ	0.002-0.002=-0.000
min	41.928
max	41.932-41.933=-0.001

*mean*	7154.000-7143.000=11.000
σ	0.000
min	7154.000-7143.000=11.000
max	7154.000-7143.000=11.000

*mean*	15.466-15.422=0.044
σ	0.311-0.241=0.070
min	15.069-15.154=-0.085
max	15.964-15.788=0.176

op=table_records(), repeat

*mean*	41.929-41.930=-0.000
σ	0.002-0.002=0.000
min	41.928
max	41.932

*mean*	4044.250-4044.125=0.125
σ	2011.085-2007.991=3.094
min	1216.000-1219.000=-3.000
max	7154.000-7143.000=11.000

*mean*	14.191-14.706=-0.515
σ	1.655-1.516=0.139
min	11.560-11.127=0.434
max	15.566-15.844=-0.278

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

*mean*	4044.250-4044.125=0.125
σ	2011.085-2007.991=3.094
min	1216.000-1219.000=-3.000
max	7154.000-7143.000=11.000

*mean*	9.507-9.919=-0.412
σ	0.917-1.228=-0.312
min	8.458-8.755=-0.297
max	11.230-12.596=-1.366

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*	4044.250-4044.125=0.125
σ	2011.085-2007.991=3.094
min	1216.000-1219.000=-3.000
max	7154.000-7143.000=11.000

*mean*	6.706-7.310=-0.604
σ	0.765-1.442=-0.677
min	5.845-5.911=-0.066
max	8.289-10.377=-2.088

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.666=-0.000
max	25.678-25.677=0.000

*mean*	4044.250-4044.125=0.125
σ	2011.085-2007.991=3.094
min	1216.000-1219.000=-3.000
max	7154.000-7143.000=11.000

*mean*	6.065-6.268=-0.203
σ	0.126-0.493=-0.368
min	5.931-5.953=-0.022
max	6.294-7.474=-1.181

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

*mean*	4044.250-4044.125=0.125
σ	2011.085-2007.991=3.094
min	1216.000-1219.000=-3.000
max	7154.000-7143.000=11.000

*mean*	5.781-6.041=-0.260
σ	0.198-0.510=-0.312
min	5.420-5.531=-0.111
max	6.041-7.193=-1.152

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

*mean*	7154.000-7143.000=11.000
σ	0.000
min	7154.000-7143.000=11.000
max	7154.000-7143.000=11.000

*mean*	362.853-374.338=-11.485
σ	40.993-75.028=-34.036
min	346.011-345.242=0.770
max	464.265-559.967=-95.702

op=load_product(), with indexes

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

*mean*	3275.500-3275.250=0.250
σ	1824.967-1826.635=-1.668
min	810.000
max	5625.000-5623.000=2.000

*mean*	3771.008-3701.432=69.576
σ	1250.969-1095.690=155.278
min	3100.186-3091.086=9.100
max	6215.143-6232.778=-17.635

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.001
max	62.080-62.080=-0.000

*mean*	4044.250-4044.125=0.125
σ	2011.085-2007.991=3.094
min	1216.000-1219.000=-3.000
max	7154.000-7143.000=11.000

*mean*	84.020-88.656=-4.636
σ	14.990-19.597=-4.607
min	71.829-70.880=0.949
max	108.268-122.479=-14.211

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7154.000-7143.000=11.000
σ	0.000
min	7154.000-7143.000=11.000
max	7154.000-7143.000=11.000

*mean*	61.701-61.546=0.156
σ	1.238-0.335=0.903
min	60.882-61.206=-0.324
max	64.694-62.031=2.663

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*	7154.000-7143.000=11.000
σ	0.000
min	7154.000-7143.000=11.000
max	7154.000-7143.000=11.000

*mean*	278.019-99.487=178.532
σ	379.178-1.294=377.884
min	98.229-98.451=-0.222
max	1161.044-102.159=1058.885

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	14217.171
σ	4.303
min	14215.575
max	14227.820

*mean*	4044.250-4044.125=0.125
σ	2011.085-2007.991=3.094
min	1216.000-1219.000=-3.000
max	7154.000-7143.000=11.000

*mean*	8126.663-7907.544=219.119
σ	2007.704-1857.075=150.629
min	5981.000-6016.884=-35.884
max	11142.531-10457.820=684.711

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*	7154.000-7143.000=11.000
σ	0.000
min	7154.000-7143.000=11.000
max	7154.000-7143.000=11.000

*mean*	5313.571-5125.425=188.146
σ	583.133-197.326=385.807
min	5036.314-4992.903=43.410
max	6705.192-5456.987=1248.205

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

*mean*	374.659-368.843=5.816
σ	23.400-26.211=-2.810
min	346.184-340.857=5.327
max	394.417-395.876=-1.459

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

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

*mean*	742.792-777.702=-34.909
σ	62.320-12.833=49.486
min	631.526-763.821=-132.295
max	801.578-800.148=1.430

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.299-1024.299=-0.000
σ	0.759-0.759=-0.000
min	1023.825-1023.825=-0.000
max	1027.436-1027.437=-0.001

*mean*	1040.450-1039.300=1.150
σ	299.936-300.485=-0.549
min	554.000-565.000=-11.000
max	1461.000

*mean*	1.545-1.553=-0.008
σ	0.071-0.076=-0.005
min	1.478-1.473=0.005
max	1.769-1.797=-0.028

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.291-0.466=-0.175
σ	0.286-0.472=-0.186
min	0.141-0.240=-0.099
max	0.800-1.311=-0.511

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.478-0.828=-0.350
σ	0.323-0.523=-0.200
min	0.326-0.580=-0.254
max	1.055-1.762=-0.707

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.385=-0.164
σ	0.020-0.043=-0.023
min	0.202-0.347=-0.146
max	0.253-0.450=-0.197

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.330-0.586=-0.256
σ	0.019-0.029=-0.010
min	0.315-0.561=-0.246
max	0.363-0.637=-0.274

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.200-431.000=5.200
σ	5.541-0.000=5.541
min	431.000
max	442.000-431.000=11.000

*mean*	0.533-0.554=-0.021
σ	0.022-0.081=-0.059
min	0.497-0.461=0.037
max	0.555-0.683=-0.128

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	442.000-431.000=11.000
σ	0.000
min	442.000-431.000=11.000
max	442.000-431.000=11.000

*mean*	0.475-0.477=-0.002
σ	0.053-0.046=0.007
min	0.390-0.437=-0.047
max	0.522-0.529=-0.007

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

*mean*	2.675-1.994=0.682
σ	0.090-0.080=0.009
min	2.505-1.857=0.648
max	2.919-2.220=0.700

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	442.000-431.000=11.000
σ	0.000
min	442.000-431.000=11.000
max	442.000-431.000=11.000

*mean*	2.618-1.971=0.647
σ	0.094-0.058=0.036
min	2.484-1.858=0.626
max	3.084-2.172=0.912

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	442.000-431.000=11.000
σ	0.000
min	442.000-431.000=11.000
max	442.000-431.000=11.000

*mean*	0.306-0.305=0.001
σ	0.019-0.009=0.010
min	0.289-0.292=-0.002
max	0.465-0.359=0.106

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	442.000-431.000=11.000
σ	0.000
min	442.000-431.000=11.000
max	442.000-431.000=11.000

*mean*	0.291-0.295=-0.004
σ	0.007-0.041=-0.034
min	0.277-0.277=-0.000
max	0.336-0.690=-0.354

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.742-298.557=0.184
σ	1.019-1.040=-0.021
min	298.302-298.167=0.135
max	301.635-301.514=0.121

*mean*	438.700-441.300=-2.600
σ	13.598-13.671=-0.073
min	415.000-417.000=-2.000
max	461.000-464.000=-3.000

*mean*	0.597-0.586=0.011
σ	0.024-0.039=-0.015
min	0.546-0.527=0.019
max	0.634-0.645=-0.011

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	236.681-236.678=0.004
σ	0.000
min	236.681-236.678=0.004
max	236.681-236.678=0.004

*mean*	1064.125-1065.750=-1.625
σ	33.588-34.648=-1.061
min	981.000-980.000=1.000
max	1076.000-1078.000=-2.000

*mean*	206.635-206.840=-0.205
σ	3.712-3.258=0.454
min	201.109-202.685=-1.576
max	211.349-211.187=0.162

phase=macro expansion

*mean*	6.133-6.130=0.004
σ	0.000
min	6.133-6.130=0.004
max	6.133-6.130=0.004

*mean*	1064.125-1065.750=-1.625
σ	33.588-34.648=-1.061
min	981.000-980.000=1.000
max	1076.000-1078.000=-2.000

*mean*	8.631-7.753=0.879
σ	2.879-2.392=0.488
min	6.370-6.154=0.216
max	13.044-13.018=0.026

phase=parser

*mean*	1042.359-1042.363=-0.004
σ	0.000-0.000=0.000
min	1042.359-1042.362=-0.004
max	1042.360-1042.363=-0.004

*mean*	1064.125-1065.750=-1.625
σ	33.588-34.648=-1.061
min	981.000-980.000=1.000
max	1076.000-1078.000=-2.000

*mean*	538.012-511.775=26.238
σ	119.425-146.741=-27.316
min	376.660-374.587=2.074
max	721.858-829.419=-107.561

phase=processProdDef

*mean*	4850.767-4850.764=0.003
σ	0.000-0.000=-0.000
min	4850.767-4850.764=0.003
max	4850.767-4850.765=0.002

*mean*	1076.000-1078.000=-2.000
σ	0.000
min	1076.000-1078.000=-2.000
max	1076.000-1078.000=-2.000

*mean*	5042.242-4741.469=300.773
σ	428.210-469.270=-41.060
min	4397.127-4055.010=342.116
max	5495.544-5324.561=170.983

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1064.125-1065.750=-1.625
σ	33.588-34.648=-1.061
min	981.000-980.000=1.000
max	1076.000-1078.000=-2.000

*mean*	32.152-27.947=4.205
σ	12.071-12.040=0.031
min	20.594-20.205=0.389
max	48.932-52.367=-3.436

phase=type checker

*mean*	990.450
σ	0.071
min	990.344
max	990.563

*mean*	1064.125-1065.750=-1.625
σ	33.588-34.648=-1.061
min	981.000-980.000=1.000
max	1076.000-1078.000=-2.000

*mean*	747.580-712.258=35.322
σ	90.263-101.850=-11.588
min	650.819-639.947=10.872
max	895.926-933.455=-37.528

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.821-293.823=-0.002
σ	0.037-0.038=-0.000
min	293.768-293.770=-0.002
max	293.859-293.861=-0.002

*mean*	443.000-439.000=4.000
σ	0.000-2.739=-2.739
min	443.000-437.000=6.000
max	443.000-442.000=1.000

*mean*	0.392-0.393=-0.001
σ	0.001-0.002=-0.001
min	0.390-0.390=0.000
max	0.393-0.397=-0.004

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.218-1320.185=0.034
σ	0.032-0.094=-0.061
min	1320.173-1320.069=0.103
max	1320.250-1320.318=-0.069

*mean*	1067.600-1064.200=3.400
σ	165.770-164.322=1.448
min	843.000-841.000=2.000
max	1270.000-1263.000=7.000

*mean*	2.244-2.072=0.172
σ	0.083-0.084=-0.001
min	2.148-2.002=0.146
max	2.370-2.193=0.176

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.614-1560.583=0.031
σ	6.217-6.250=-0.034
min	1557.646-1557.550=0.096
max	1571.731-1571.757=-0.026

*mean*	619.000-617.000=2.000
σ	82.553
min	494.000-492.000=2.000
max	716.000-714.000=2.000

*mean*	2.322-2.303=0.019
σ	0.174-0.226=-0.053
min	2.180-2.149=0.031
max	2.614-2.696=-0.082

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.174-1882.178=-0.004
σ	0.056-0.057=-0.002
min	1882.118-1882.111=0.006
max	1882.253-1882.252=0.001

*mean*	1701.400-1705.600=-4.200
σ	256.354-253.431=2.923
min	1400.000-1394.000=6.000
max	2055.000-2041.000=14.000

*mean*	2.939-2.951=-0.012
σ	0.091-0.112=-0.021
min	2.858-2.798=0.060
max	3.048-3.091=-0.044

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.887-1.549=0.338
σ	0.027-0.155=-0.128
min	1.849-1.305=0.544
max	1.920-1.726=0.193

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.079-452.082=-0.003
σ	582.722-582.722=-0.000
min	160.715-160.719=-0.004
max	1326.162-1326.165=-0.003

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	441.000-444.000=-3.000
σ	0.000
min	441.000-444.000=-3.000
max	441.000-444.000=-3.000

*mean*	0.540-0.545=-0.004
σ	0.542-0.548=-0.006
min	0.267-0.266=0.002
max	1.353-1.367=-0.014

policies=20

*mean*	1607.524-1607.531=-0.007
σ	0.418-0.416=0.003
min	1607.239-1607.243=-0.004
max	1608.143-1608.145=-0.003

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	447.750-450.500=-2.750
σ	4.500-7.506=-3.006
min	441.000-444.000=-3.000
max	450.000-457.000=-7.000

*mean*	2.696-2.687=0.009
σ	0.020-0.019=0.001
min	2.674-2.663=0.011
max	2.714-2.705=0.008

policies=200

*mean*	16083.554-16083.572=-0.018
σ	0.105-0.080=0.026
min	16083.470-16083.521=-0.051
max	16083.707-16083.690=0.017

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	500.000-496.000=4.000
σ	4.546-3.742=0.804
min	494.000-492.000=2.000
max	505.000-501.000=4.000

*mean*	27.248-27.214=0.034
σ	0.111-0.025=0.086
min	27.096-27.185=-0.089
max	27.348-27.238=0.110