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-558.695=-0.031
σ	0.000
min	558.664-558.695=-0.031
max	558.664-558.695=-0.031

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.889-54.890=-0.001
σ	0.359-0.365=-0.006
min	54.753-54.748=0.005
max	55.909-55.928=-0.019

*mean*	417.000-419.000=-2.000
σ	0.000
min	417.000-419.000=-2.000
max	417.000-419.000=-2.000

*mean*	0.141-0.140=0.001
σ	0.005-0.005=-0.001
min	0.137-0.133=0.004
max	0.149-0.148=0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.856-43.856=-0.000
σ	0.006-0.006=0.000
min	43.847-43.848=-0.001
max	43.865-43.867=-0.002

*mean*	417.000-419.000=-2.000
σ	0.000
min	417.000-419.000=-2.000
max	417.000-419.000=-2.000

*mean*	0.124-0.125=-0.001
σ	0.005-0.004=0.001
min	0.117-0.122=-0.005
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.000-4042.375=-0.375
σ	2008.631-2008.632=-0.001
min	1217.000-1218.000=-1.000
max	7147.000

*mean*	13.652-13.164=0.488
σ	1.900-1.787=0.113
min	12.822-12.261=0.561
max	18.334-17.542=0.792

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.000-4042.375=-0.375
σ	2008.631-2008.632=-0.001
min	1217.000-1218.000=-1.000
max	7147.000

*mean*	13.668-13.178=0.490
σ	2.017-1.945=0.072
min	12.102-11.963=0.139
max	18.446-17.891=0.555

op=table_records(), no indexes

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

*mean*	7147.000
σ	0.000
min	7147.000
max	7147.000

*mean*	15.548-14.798=0.750
σ	0.277-0.162=0.115
min	15.065-14.517=0.548
max	15.914-14.954=0.959

op=table_records(), repeat

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

*mean*	4042.000-4042.375=-0.375
σ	2008.631-2008.632=-0.001
min	1217.000-1218.000=-1.000
max	7147.000

*mean*	14.481-14.020=0.461
σ	2.109-1.622=0.487
min	11.103-10.261=0.842
max	16.469-15.441=1.029

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.000-4042.375=-0.375
σ	2008.631-2008.632=-0.001
min	1217.000-1218.000=-1.000
max	7147.000

*mean*	9.825-9.198=0.626
σ	1.768-1.259=0.509
min	8.250-8.322=-0.072
max	12.626-11.908=0.718

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

*mean*	26.401
σ	0.002-0.002=0.000
min	26.400-26.400=-0.000
max	26.404

*mean*	4042.000-4042.375=-0.375
σ	2008.631-2008.632=-0.001
min	1217.000-1218.000=-1.000
max	7147.000

*mean*	7.581-7.190=0.392
σ	1.709-1.365=0.344
min	6.047-6.169=-0.122
max	10.362-10.135=0.227

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

*mean*	4042.000-4042.375=-0.375
σ	2008.631-2008.632=-0.001
min	1217.000-1218.000=-1.000
max	7147.000

*mean*	6.227-5.698=0.529
σ	0.582-0.523=0.059
min	5.763-5.334=0.429
max	7.631-6.974=0.657

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*	4042.000-4042.375=-0.375
σ	2008.631-2008.632=-0.001
min	1217.000-1218.000=-1.000
max	7147.000

*mean*	5.971-5.545=0.426
σ	0.610-0.545=0.066
min	5.646-4.999=0.647
max	7.476-6.826=0.650

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

*mean*	382.483-361.833=20.650
σ	99.619-41.201=58.417
min	344.281-343.022=1.258
max	628.972-463.664=165.308

op=load_product(), with indexes

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

*mean*	3273.625-3273.875=-0.250
σ	1823.904-1824.294=-0.390
min	810.000-809.000=1.000
max	5621.000-5622.000=-1.000

*mean*	3706.886-3829.242=-122.356
σ	1064.955-1217.836=-152.881
min	3127.582-3094.360=33.222
max	6170.025-6246.179=-76.154

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

*mean*	4042.000-4042.375=-0.375
σ	2008.631-2008.632=-0.001
min	1217.000-1218.000=-1.000
max	7147.000

*mean*	87.809-88.450=-0.642
σ	20.950-18.574=2.377
min	71.621-70.627=0.994
max	126.518-110.580=15.938

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7147.000
σ	0.000
min	7147.000
max	7147.000

*mean*	61.066-60.609=0.457
σ	0.344-1.405=-1.062
min	60.610-59.513=1.098
max	61.676-63.956=-2.280

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

*mean*	100.143-242.518=-142.375
σ	0.893-316.643=-315.750
min	99.189-98.701=0.489
max	101.740-996.133=-894.393

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	14217.171-14217.171=0.000
σ	4.303-4.304=-0.000
min	14215.576
max	14227.820

*mean*	4042.000-4042.375=-0.375
σ	2008.631-2008.632=-0.001
min	1217.000-1218.000=-1.000
max	7147.000

*mean*	8028.112-8147.083=-118.971
σ	1837.014-1922.872=-85.858
min	6000.789-5982.267=18.522
max	10658.260-10950.268=-292.008

op=vertical_lookup_list() on indexed

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

*mean*	7147.000
σ	0.000
min	7147.000
max	7147.000

*mean*	5146.095-5317.767=-171.673
σ	203.930-656.307=-452.377
min	5020.787-4991.607=29.180
max	5538.937-6893.274=-1354.337

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*	361.717-369.720=-8.003
σ	33.912-34.649=-0.737
min	293.975-295.023=-1.048
max	394.906-395.822=-0.916

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	560.000
σ	0.000
min	560.000
max	560.000

*mean*	748.069-745.821=2.248
σ	60.346-59.052=1.294
min	647.493-620.736=26.757
max	800.352-787.405=12.947

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.300-1024.299=0.001
σ	0.758-0.759=-0.000
min	1023.826-1023.824=0.002
max	1027.437-1027.439=-0.002

*mean*	1058.750-1037.150=21.600
σ	311.028-303.297=7.731
min	566.000-553.000=13.000
max	1509.000-1461.000=48.000

*mean*	1.576-1.579=-0.003
σ	0.080-0.131=-0.051
min	1.504-1.474=0.030
max	1.773-2.047=-0.274

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.438=-0.142
σ	0.293-0.598=-0.305
min	0.139-0.140=-0.002
max	0.817-1.505=-0.688

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.691=-0.210
σ	0.320-0.211=0.109
min	0.326-0.558=-0.232
max	1.053-1.063=-0.010

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.220-0.385=-0.165
σ	0.022-0.040=-0.017
min	0.204-0.358=-0.154
max	0.259-0.453=-0.193

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.338-0.589=-0.251
σ	0.017-0.037=-0.020
min	0.324-0.549=-0.225
max	0.367-0.648=-0.281

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*	431.000-431.600=-0.600
σ	0.000-1.342=-1.342
min	431.000
max	431.000-434.000=-3.000

*mean*	0.537-0.709=-0.171
σ	0.064-0.045=0.019
min	0.474-0.650=-0.176
max	0.612-0.751=-0.139

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	431.000-441.000=-10.000
σ	0.000
min	431.000-441.000=-10.000
max	431.000-441.000=-10.000

*mean*	0.452-0.641=-0.189
σ	0.058-0.009=0.049
min	0.380-0.631=-0.251
max	0.516-0.653=-0.137

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

*mean*	1.969-3.499=-1.531
σ	0.069-0.094=-0.025
min	1.836-3.358=-1.522
max	2.262-3.813=-1.551

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	431.000-441.000=-10.000
σ	0.000
min	431.000-441.000=-10.000
max	431.000-441.000=-10.000

*mean*	1.974-3.460=-1.486
σ	0.074-0.067=0.007
min	1.812-3.333=-1.521
max	2.293-3.726=-1.433

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	431.000-441.000=-10.000
σ	0.000
min	431.000-441.000=-10.000
max	431.000-441.000=-10.000

*mean*	0.311-0.542=-0.231
σ	0.051-0.016=0.035
min	0.294-0.518=-0.224
max	0.808-0.646=0.162

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	431.000-441.000=-10.000
σ	0.000
min	431.000-441.000=-10.000
max	431.000-441.000=-10.000

*mean*	0.297-0.514=-0.218
σ	0.030-0.013=0.017
min	0.277-0.492=-0.215
max	0.578-0.586=-0.008

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	299.032-298.533=0.498
σ	0.986-0.988=-0.002
min	298.607-298.134=0.473
max	301.832-301.342=0.490

*mean*	443.000-441.100=1.900
σ	15.499-15.524=-0.025
min	417.000-421.000=-4.000
max	469.000-465.000=4.000

*mean*	0.608-0.595=0.012
σ	0.019-0.031=-0.012
min	0.561-0.547=0.014
max	0.629-0.636=-0.008

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	236.678
σ	0.000
min	236.678
max	236.678

*mean*	942.750-940.875=1.875
σ	17.678-17.324=0.354
min	899.000-898.000=1.000
max	949.000-947.000=2.000

*mean*	203.875-205.296=-1.421
σ	3.848-4.969=-1.122
min	200.107-195.318=4.789
max	210.522-209.727=0.795

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	941.125-939.250=1.875
σ	22.274-21.920=0.354
min	886.000-885.000=1.000
max	949.000-947.000=2.000

*mean*	9.004-8.764=0.240
σ	2.708-1.214=1.493
min	6.395-6.838=-0.442
max	12.870-9.673=3.197

phase=parser

*mean*	1042.361-1042.361=-0.000
σ	0.000-0.000=0.000
min	1042.360-1042.361=-0.000
max	1042.361

*mean*	941.125-939.250=1.875
σ	22.274-21.920=0.354
min	886.000-885.000=1.000
max	949.000-947.000=2.000

*mean*	541.286-489.418=51.868
σ	140.390-73.762=66.628
min	375.459-417.734=-42.275
max	725.322-610.769=114.553

phase=processProdDef

*mean*	4850.768
σ	0.000
min	4850.768
max	4850.768

*mean*	949.000-947.000=2.000
σ	0.000
min	949.000-947.000=2.000
max	949.000-947.000=2.000

*mean*	4976.311-5204.523=-228.212
σ	578.483-204.082=374.401
min	3750.251-4826.932=-1076.681
max	5488.381-5447.823=40.558

phase=renaming

*mean*	21.675
σ	0.000
min	21.675
max	21.675

*mean*	941.125-939.250=1.875
σ	22.274-21.920=0.354
min	886.000-885.000=1.000
max	949.000-947.000=2.000

*mean*	34.272-35.191=-0.919
σ	13.047-9.630=3.417
min	20.819-20.026=0.793
max	48.337-48.440=-0.103

phase=type checker

*mean*	990.450
σ	0.071
min	990.344
max	990.563

*mean*	942.500-940.750=1.750
σ	18.385-17.678=0.707
min	897.000
max	949.000-947.000=2.000

*mean*	748.147-699.571=48.576
σ	80.726-67.098=13.627
min	643.034-642.647=0.388
max	889.987-826.464=63.523

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.821-293.821=-0.000
σ	0.039-0.039=0.000
min	293.769-293.769=-0.000
max	293.862-293.860=0.002

*mean*	443.000-441.200=1.800
σ	0.000-1.643=-1.643
min	443.000-440.000=3.000
max	443.000

*mean*	0.396-0.395=0.001
σ	0.008-0.002=0.006
min	0.390-0.392=-0.002
max	0.410-0.397=0.013

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.092-1320.203=-0.112
σ	0.089-0.044=0.045
min	1320.000-1320.152=-0.152
max	1320.223-1320.254=-0.031

*mean*	1066.800-1084.000=-17.200
σ	165.406-171.048=-5.642
min	843.000-880.000=-37.000
max	1268.000-1314.000=-46.000

*mean*	1.947-2.314=-0.367
σ	0.165-0.235=-0.070
min	1.839-2.185=-0.347
max	2.236-2.732=-0.496

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.607-1560.609=-0.002
σ	6.225-6.214=0.011
min	1557.605-1557.668=-0.063
max	1571.738-1571.722=0.017

*mean*	618.800-611.200=7.600
σ	82.739-94.158=-11.419
min	494.000-498.000=-4.000
max	716.000-734.000=-18.000

*mean*	2.278-2.297=-0.019
σ	0.178-0.115=0.063
min	2.171-2.176=-0.006
max	2.595-2.453=0.142

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.177-1882.160=0.018
σ	0.053-0.059=-0.006
min	1882.110-1882.078=0.032
max	1882.248-1882.243=0.005

*mean*	1707.600-1731.200=-23.600
σ	243.436-177.797=65.640
min	1396.000-1464.000=-68.000
max	2018.000-1882.000=136.000

*mean*	2.937-3.050=-0.113
σ	0.042-0.114=-0.073
min	2.894-2.911=-0.017
max	2.987-3.193=-0.206

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.735-1.807=-0.072
σ	0.189-0.095=0.094
min	1.449-1.667=-0.218
max	1.884-1.931=-0.048

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.082-450.969=1.113
σ	582.723-582.723=0.001
min	160.716-159.607=1.109
max	1326.167-1325.053=1.114

*mean*	102.250-98.250=4.000
σ	8.500
min	98.000-94.000=4.000
max	115.000-111.000=4.000

*mean*	441.000-443.000=-2.000
σ	0.000
min	441.000-443.000=-2.000
max	441.000-443.000=-2.000

*mean*	0.535-0.551=-0.016
σ	0.525-0.555=-0.030
min	0.268-0.262=0.005
max	1.323-1.383=-0.061

policies=20

*mean*	1607.539-1596.406=11.134
σ	0.423-0.387=0.036
min	1607.255-1596.138=11.117
max	1608.167-1596.980=11.187

*mean*	980.000-940.000=40.000
σ	0.000
min	980.000-940.000=40.000
max	980.000-940.000=40.000

*mean*	447.500-447.000=0.500
σ	7.506-8.000=-0.494
min	441.000-443.000=-2.000
max	454.000-459.000=-5.000

*mean*	2.706-2.673=0.033
σ	0.011-0.015=-0.004
min	2.697-2.660=0.037
max	2.722-2.688=0.034

policies=200

*mean*	16083.456-15972.203=111.253
σ	0.178-0.118=0.060
min	16083.347-15972.090=111.257
max	16083.721-15972.356=111.365

*mean*	9800.000-9400.000=400.000
σ	0.000
min	9800.000-9400.000=400.000
max	9800.000-9400.000=400.000

*mean*	496.750-495.500=1.250
σ	5.315-3.697=1.618
min	491.000-492.000=-1.000
max	503.000-500.000=3.000

*mean*	27.302-26.940=0.362
σ	0.085-0.034=0.050
min	27.176-26.905=0.271
max	27.357-26.987=0.371