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.887-54.889=-0.002
σ	0.360-0.360=-0.001
min	54.750-54.749=0.001
max	55.910-55.913=-0.004

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.138-0.141=-0.003
σ	0.004-0.005=-0.001
min	0.134-0.136=-0.002
max	0.146-0.149=-0.003

cache=y

dps=1

iters=10

policies=100

*mean*	43.855-43.854=0.001
σ	0.005-0.007=-0.003
min	43.848-43.841=0.007
max	43.864-43.868=-0.004

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.121-0.123=-0.002
σ	0.005-0.006=-0.001
min	0.117-0.115=0.001
max	0.129-0.132=-0.003

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*	4039.500-4042.500=-3.000
σ	2009.865-2009.182=0.683
min	1219.000-1218.000=1.000
max	7147.000-7150.000=-3.000

*mean*	12.819-12.284=0.535
σ	0.335-0.269=0.066
min	12.158-11.932=0.226
max	13.283-12.655=0.628

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*	4039.500-4042.500=-3.000
σ	2009.865-2009.182=0.683
min	1219.000-1218.000=1.000
max	7147.000-7150.000=-3.000

*mean*	12.476-12.395=0.081
σ	0.660-0.668=-0.008
min	11.471-11.239=0.232
max	13.289-12.863=0.426

op=table_records(), no indexes

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

*mean*	7147.000-7150.000=-3.000
σ	0.000
min	7147.000-7150.000=-3.000
max	7147.000-7150.000=-3.000

*mean*	15.254-14.712=0.543
σ	0.238-0.191=0.048
min	14.890-14.418=0.472
max	15.535-15.019=0.516

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*	4039.500-4042.500=-3.000
σ	2009.865-2009.182=0.683
min	1219.000-1218.000=1.000
max	7147.000-7150.000=-3.000

*mean*	13.989-13.614=0.375
σ	1.857-1.559=0.299
min	10.995-10.259=0.736
max	15.895-15.279=0.616

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

*mean*	4039.500-4042.500=-3.000
σ	2009.865-2009.182=0.683
min	1219.000-1218.000=1.000
max	7147.000-7150.000=-3.000

*mean*	9.626-9.309=0.316
σ	1.309-1.357=-0.048
min	8.708-8.292=0.415
max	12.819-12.373=0.446

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*	4039.500-4042.500=-3.000
σ	2009.865-2009.182=0.683
min	1219.000-1218.000=1.000
max	7147.000-7150.000=-3.000

*mean*	7.079-7.234=-0.155
σ	1.154-1.224=-0.070
min	5.866-6.218=-0.352
max	9.734-9.914=-0.181

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

*mean*	4039.500-4042.500=-3.000
σ	2009.865-2009.182=0.683
min	1219.000-1218.000=1.000
max	7147.000-7150.000=-3.000

*mean*	5.995-5.589=0.406
σ	0.058-0.093=-0.034
min	5.893-5.388=0.505
max	6.052-5.682=0.370

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

*mean*	4039.500-4042.500=-3.000
σ	2009.865-2009.182=0.683
min	1219.000-1218.000=1.000
max	7147.000-7150.000=-3.000

*mean*	5.763-5.399=0.364
σ	0.123-0.071=0.051
min	5.592-5.290=0.302
max	5.986-5.493=0.493

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*	7147.000-7150.000=-3.000
σ	0.000
min	7147.000-7150.000=-3.000
max	7147.000-7150.000=-3.000

*mean*	375.416-377.478=-2.061
σ	79.988-84.374=-4.386
min	346.191-343.600=2.591
max	573.361-586.202=-12.841

op=load_product(), with indexes

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

*mean*	3270.125-3273.500=-3.375
σ	1825.212-1824.195=1.017
min	811.000-809.000=2.000
max	5621.000-5622.000=-1.000

*mean*	3719.597-3612.105=107.492
σ	1164.999-1033.662=131.337
min	3078.867-3102.533=-23.666
max	5882.433-5982.640=-100.207

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

*mean*	4039.500-4042.500=-3.000
σ	2009.865-2009.182=0.683
min	1219.000-1218.000=1.000
max	7147.000-7150.000=-3.000

*mean*	86.028-88.697=-2.669
σ	18.551-21.347=-2.796
min	71.823-69.828=1.995
max	118.961-121.334=-2.373

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7147.000-7150.000=-3.000
σ	0.000
min	7147.000-7150.000=-3.000
max	7147.000-7150.000=-3.000

*mean*	60.801-60.479=0.322
σ	0.483-0.293=0.190
min	60.285-60.006=0.279
max	61.418-60.814=0.604

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-66.686=-0.000
max	66.691-66.691=0.000

*mean*	7147.000-7150.000=-3.000
σ	0.000
min	7147.000-7150.000=-3.000
max	7147.000-7150.000=-3.000

*mean*	99.188-99.679=-0.491
σ	0.499-0.685=-0.186
min	98.612-98.209=0.403
max	100.043-100.543=-0.500

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	14217.171-14217.171=-0.000
σ	4.304-4.304=-0.000
min	14215.575-14215.576=-0.001
max	14227.820-14227.821=-0.001

*mean*	4039.500-4042.500=-3.000
σ	2009.865-2009.182=0.683
min	1219.000-1218.000=1.000
max	7147.000-7150.000=-3.000

*mean*	8045.955-7827.543=218.411
σ	1989.464-1871.453=118.011
min	5978.318-6012.739=-34.420
max	10873.230-10683.885=189.344

op=vertical_lookup_list() on indexed

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

*mean*	7147.000-7150.000=-3.000
σ	0.000
min	7147.000-7150.000=-3.000
max	7147.000-7150.000=-3.000

*mean*	5129.614-5121.913=7.701
σ	216.841-191.316=25.525
min	4995.115-5004.673=-9.558
max	5487.888-5502.942=-15.054

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-477.000=1.000
σ	0.000
min	478.000-477.000=1.000
max	478.000-477.000=1.000

*mean*	373.973-371.718=2.256
σ	23.351-25.232=-1.881
min	339.578-331.123=8.455
max	391.885-392.931=-1.046

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	561.000-562.000=-1.000
σ	0.000
min	561.000-562.000=-1.000
max	561.000-562.000=-1.000

*mean*	704.556-763.882=-59.326
σ	70.189-27.820=42.369
min	583.872-716.173=-132.301
max	787.498-783.360=4.139

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.301-1024.299=0.001
σ	0.759-0.759=0.000
min	1023.826-1023.827=-0.001
max	1027.440-1027.438=0.003

*mean*	1053.850-1053.600=0.250
σ	311.343-312.486=-1.143
min	571.000-569.000=2.000
max	1509.000-1511.000=-2.000

*mean*	1.553-1.548=0.005
σ	0.050-0.047=0.004
min	1.500-1.486=0.014
max	1.670-1.645=0.025

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.393-0.285=0.108
σ	0.483-0.263=0.220
min	0.148-0.141=0.007
max	1.254-0.751=0.504

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.481-0.471=0.009
σ	0.336-0.321=0.016
min	0.318-0.316=0.002
max	1.082-1.045=0.037

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.219=0.001
σ	0.021-0.021=-0.001
min	0.208-0.201=0.007
max	0.256-0.255=0.001

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.339-0.328=0.011
σ	0.014-0.018=-0.004
min	0.322-0.314=0.008
max	0.360-0.357=0.002

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*	439.000-431.000=8.000
σ	4.848-0.000=4.848
min	433.000-431.000=2.000
max	444.000-431.000=13.000

*mean*	0.535-0.531=0.004
σ	0.040-0.051=-0.011
min	0.497-0.484=0.013
max	0.603-0.609=-0.005

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	444.000-431.000=13.000
σ	0.000
min	444.000-431.000=13.000
max	444.000-431.000=13.000

*mean*	0.444-0.497=-0.054
σ	0.021-0.029=-0.008
min	0.419-0.446=-0.027
max	0.472-0.518=-0.046

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

*mean*	1.946-2.590=-0.645
σ	0.062-0.089=-0.027
min	1.782-2.452=-0.670
max	2.134-2.868=-0.734

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	444.000-431.000=13.000
σ	0.000
min	444.000-431.000=13.000
max	444.000-431.000=13.000

*mean*	1.828-2.590=-0.762
σ	0.074-0.097=-0.024
min	1.700-2.453=-0.753
max	2.020-2.895=-0.875

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	444.000-431.000=13.000
σ	0.000
min	444.000-431.000=13.000
max	444.000-431.000=13.000

*mean*	0.303-0.310=-0.007
σ	0.008-0.024=-0.016
min	0.289-0.290=-0.001
max	0.352-0.519=-0.167

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	444.000-431.000=13.000
σ	0.000
min	444.000-431.000=13.000
max	444.000-431.000=13.000

*mean*	0.299-0.296=0.003
σ	0.056-0.013=0.044
min	0.279-0.280=-0.001
max	0.852-0.385=0.467

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.774-298.462=0.312
σ	1.014-1.011=0.004
min	298.322-298.056=0.265
max	301.655-301.336=0.319

*mean*	442.600-441.200=1.400
σ	14.214-13.497=0.717
min	420.000
max	463.000-461.000=2.000

*mean*	0.606-0.590=0.016
σ	0.025-0.032=-0.007
min	0.543-0.529=0.014
max	0.638-0.643=-0.006

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

*mean*	926.000-954.000=-28.000
σ	11.314-22.627=-11.314
min	898.000
max	930.000-962.000=-32.000

*mean*	204.054-209.425=-5.371
σ	3.096-3.552=-0.456
min	198.367-203.721=-5.354
max	209.216-213.507=-4.291

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	923.250-953.250=-30.000
σ	19.092-24.749=-5.657
min	876.000-892.000=-16.000
max	930.000-962.000=-32.000

*mean*	8.414-9.290=-0.876
σ	2.481-2.033=0.447
min	6.219-6.389=-0.169
max	13.027-12.718=0.309

phase=parser

*mean*	1042.361-1042.363=-0.002
σ	0.000-0.000=-0.000
min	1042.361-1042.363=-0.002
max	1042.361-1042.364=-0.003

*mean*	923.250-953.250=-30.000
σ	19.092-24.749=-5.657
min	876.000-892.000=-16.000
max	930.000-962.000=-32.000

*mean*	523.097-492.159=30.938
σ	141.444-76.861=64.583
min	374.351-383.675=-9.324
max	828.023-634.035=193.988

phase=processProdDef

*mean*	4850.766-4850.767=-0.001
σ	0.000-0.000=0.000
min	4850.766-4850.767=-0.001
max	4850.767-4850.767=-0.000

*mean*	930.000-962.000=-32.000
σ	0.000
min	930.000-962.000=-32.000
max	930.000-962.000=-32.000

*mean*	4991.071-4945.396=45.675
σ	348.746-395.300=-46.553
min	4436.017-4412.889=23.128
max	5439.482-5408.975=30.506

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	923.250-953.250=-30.000
σ	19.092-24.749=-5.657
min	876.000-892.000=-16.000
max	930.000-962.000=-32.000

*mean*	31.943-36.401=-4.458
σ	12.571-9.817=2.754
min	20.413-20.874=-0.461
max	50.849-47.294=3.555

phase=type checker

*mean*	990.454-990.454=-0.000
σ	0.071
min	990.348-990.348=-0.000
max	990.567-990.567=-0.000

*mean*	925.875-953.875=-28.000
σ	11.667-22.981=-11.314
min	897.000
max	930.000-962.000=-32.000

*mean*	702.574-688.169=14.406
σ	91.620-30.834=60.787
min	646.620-643.360=3.260
max	924.951-754.954=169.997

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.821-293.820=0.002
σ	0.038-0.038=0.000
min	293.768-293.767=0.001
max	293.861-293.859=0.002

*mean*	440.400-442.400=-2.000
σ	3.286-0.548=2.739
min	438.000-442.000=-4.000
max	444.000-443.000=1.000

*mean*	0.394-0.393=0.001
σ	0.003-0.001=0.002
min	0.391-0.392=-0.001
max	0.398-0.395=0.003

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.089-1320.199=-0.110
σ	0.083-0.091=-0.008
min	1320.005-1320.084=-0.079
max	1320.209-1320.338=-0.129

*mean*	1066.600-1065.400=1.200
σ	164.597-165.364=-0.767
min	844.000-842.000=2.000
max	1267.000

*mean*	1.983-2.145=-0.163
σ	0.236-0.205=0.031
min	1.825-2.020=-0.194
max	2.393-2.505=-0.112

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.607-1560.617=-0.010
σ	6.237-6.232=0.005
min	1557.611-1557.616=-0.005
max	1571.760-1571.759=0.001

*mean*	619.000-618.200=0.800
σ	82.553-82.309=0.244
min	494.000
max	716.000-715.000=1.000

*mean*	2.298-2.383=-0.085
σ	0.218-0.252=-0.034
min	2.120-2.086=0.035
max	2.670-2.717=-0.046

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.165-1882.184=-0.019
σ	0.053-0.069=-0.016
min	1882.103-1882.102=0.000
max	1882.244-1882.274=-0.031

*mean*	1708.400-1708.600=-0.200
σ	249.983-257.757=-7.775
min	1395.000-1393.000=2.000
max	2033.000-2051.000=-18.000

*mean*	2.897-2.955=-0.058
σ	0.056-0.097=-0.041
min	2.837-2.832=0.006
max	2.984-3.079=-0.095

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.726-1.738=-0.011
σ	0.104-0.168=-0.064
min	1.563-1.463=0.101
max	1.824-1.910=-0.086

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.081-452.082=-0.001
σ	582.724-582.722=0.002
min	160.713-160.720=-0.007
max	1326.167-1326.166=0.002

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	0.547-0.536=0.011
σ	0.534-0.535=-0.001
min	0.269-0.266=0.003
max	1.348-1.339=0.009

policies=20

*mean*	1607.523-1607.506=0.016
σ	0.406-0.412=-0.006
min	1607.249-1607.228=0.021
max	1608.125-1608.116=0.009

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	451.250-449.000=2.250
σ	10.112-8.083=2.029
min	442.000
max	460.000-456.000=4.000

*mean*	2.694-2.688=0.007
σ	0.008-0.011=-0.003
min	2.687-2.674=0.013
max	2.705-2.697=0.008

policies=200

*mean*	16083.454-16083.472=-0.018
σ	0.202-0.173=0.029
min	16083.274-16083.295=-0.021
max	16083.736-16083.692=0.044

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	499.500-496.500=3.000
σ	3.000-3.317=-0.317
min	496.000-492.000=4.000
max	502.000-500.000=2.000

*mean*	27.263-27.154=0.109
σ	0.138-0.062=0.076
min	27.131-27.098=0.033
max	27.411-27.233=0.178