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.633=0.031
σ	0.000
min	558.664-558.633=0.031
max	558.664-558.633=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.879-54.880=-0.001
σ	0.357-0.359=-0.002
min	54.743-54.742=0.001
max	55.895-55.901=-0.006

*mean*	413.700-422.000=-8.300
σ	0.483-0.000=0.483
min	413.000-422.000=-9.000
max	414.000-422.000=-8.000

*mean*	0.139-0.141=-0.002
σ	0.004-0.005=-0.001
min	0.136-0.137=-0.001
max	0.149-0.150=-0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.849-43.849=-0.000
σ	0.006-0.005=0.000
min	43.841-43.838=0.003
max	43.857-43.857=0.001

*mean*	414.000-422.000=-8.000
σ	0.000
min	414.000-422.000=-8.000
max	414.000-422.000=-8.000

*mean*	0.123-0.123=-0.000
σ	0.005-0.005=0.000
min	0.116-0.116=0.000
max	0.132-0.131=0.000

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

*mean*	4029.375-4042.125=-12.750
σ	2000.009-2009.338=-9.329
min	1217.000-1218.000=-1.000
max	7127.000-7148.000=-21.000

*mean*	12.631-13.452=-0.821
σ	0.302-1.922=-1.620
min	12.304-12.178=0.127
max	13.277-18.106=-4.829

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

*mean*	4029.375-4042.125=-12.750
σ	2000.009-2009.338=-9.329
min	1217.000-1218.000=-1.000
max	7127.000-7148.000=-21.000

*mean*	12.664-13.436=-0.772
σ	0.702-1.937=-1.235
min	11.438-11.929=-0.491
max	13.366-18.122=-4.756

op=table_records(), no indexes

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

*mean*	7127.000-7148.000=-21.000
σ	0.000
min	7127.000-7148.000=-21.000
max	7127.000-7148.000=-21.000

*mean*	14.447-15.218=-0.771
σ	1.798-0.217=1.581
min	11.284-15.000=-3.717
max	15.608-15.585=0.023

op=table_records(), repeat

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

*mean*	4029.375-4042.125=-12.750
σ	2000.009-2009.338=-9.329
min	1217.000-1218.000=-1.000
max	7127.000-7148.000=-21.000

*mean*	13.770-14.607=-0.837
σ	2.047-1.598=0.448
min	11.228-10.980=0.248
max	15.965-15.953=0.012

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*	4029.375-4042.125=-12.750
σ	2000.009-2009.338=-9.329
min	1217.000-1218.000=-1.000
max	7127.000-7148.000=-21.000

*mean*	9.616-9.941=-0.326
σ	0.402-1.654=-1.253
min	9.091-8.780=0.311
max	10.183-12.650=-2.468

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*	4029.375-4042.125=-12.750
σ	2000.009-2009.338=-9.329
min	1217.000-1218.000=-1.000
max	7127.000-7148.000=-21.000

*mean*	6.945-7.585=-0.640
σ	0.533-1.536=-1.003
min	6.383-6.277=0.106
max	7.863-10.175=-2.312

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.668-25.668=0.000
σ	0.004-0.004=-0.000
min	25.665
max	25.678

*mean*	4029.375-4042.125=-12.750
σ	2000.009-2009.338=-9.329
min	1217.000-1218.000=-1.000
max	7127.000-7148.000=-21.000

*mean*	6.217-6.148=0.069
σ	0.193-0.560=-0.368
min	5.877-5.761=0.116
max	6.471-7.502=-1.031

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970-25.970=-0.000
σ	0.002-0.003=-0.001
min	25.968-25.968=0.000
max	25.972-25.976=-0.004

*mean*	4029.375-4042.125=-12.750
σ	2000.009-2009.338=-9.329
min	1217.000-1218.000=-1.000
max	7127.000-7148.000=-21.000

*mean*	5.756-5.916=-0.160
σ	0.240-0.488=-0.248
min	5.393-5.540=-0.147
max	6.084-7.060=-0.977

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*	7127.000-7148.000=-21.000
σ	0.000
min	7127.000-7148.000=-21.000
max	7127.000-7148.000=-21.000

*mean*	349.271-363.672=-14.401
σ	1.670-43.716=-42.046
min	346.191-346.566=-0.375
max	351.170-471.831=-120.661

op=load_product(), with indexes

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

*mean*	3263.875-3273.375=-9.500
σ	1814.005-1824.793=-10.788
min	809.000
max	5597.000-5625.000=-28.000

*mean*	3737.456-3820.647=-83.191
σ	1168.825-1206.411=-37.585
min	3094.162-3100.231=-6.069
max	5926.943-6183.956=-257.013

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*	4029.375-4042.125=-12.750
σ	2000.009-2009.338=-9.329
min	1217.000-1218.000=-1.000
max	7127.000-7148.000=-21.000

*mean*	81.142-91.085=-9.943
σ	13.411-21.916=-8.505
min	69.043-70.531=-1.488
max	105.387-124.891=-19.504

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946-40.946=0.000
σ	0.002-0.002=0.000
min	40.945
max	40.950

*mean*	7127.000-7148.000=-21.000
σ	0.000
min	7127.000-7148.000=-21.000
max	7127.000-7148.000=-21.000

*mean*	174.254-63.334=110.920
σ	319.577-2.727=316.850
min	60.042-61.716=-1.674
max	965.162-69.966=895.196

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*	7127.000-7148.000=-21.000
σ	0.000
min	7127.000-7148.000=-21.000
max	7127.000-7148.000=-21.000

*mean*	100.127-228.308=-128.181
σ	3.759-251.697=-247.938
min	97.699-99.005=-1.306
max	109.318-768.617=-659.299

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*	4029.375-4042.125=-12.750
σ	2000.009-2009.338=-9.329
min	1217.000-1218.000=-1.000
max	7127.000-7148.000=-21.000

*mean*	7995.355-8374.430=-379.075
σ	1631.303-1832.835=-201.531
min	5973.314-5979.185=-5.871
max	10012.553-11149.262=-1136.709

op=vertical_lookup_list() on indexed

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

*mean*	7127.000-7148.000=-21.000
σ	0.000
min	7127.000-7148.000=-21.000
max	7127.000-7148.000=-21.000

*mean*	5266.537-5465.398=-198.861
σ	603.778-1077.682=-473.904
min	5013.796-5002.900=10.896
max	6751.925-8099.197=-1347.272

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*	383.412-384.790=-1.379
σ	14.745-13.181=1.563
min	347.370-352.875=-5.505
max	391.972-393.375=-1.403

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

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

*mean*	748.732-753.321=-4.589
σ	62.458-19.866=42.592
min	631.491-709.769=-78.278
max	810.944-772.794=38.150

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.299-1024.299=0.001
σ	0.759-0.759=0.000
min	1023.826-1023.825=0.001
max	1027.438-1027.436=0.002

*mean*	1048.050-1037.650=10.400
σ	318.865-303.047=15.818
min	542.000-554.000=-12.000
max	1561.000-1461.000=100.000

*mean*	1.547-1.538=0.009
σ	0.078-0.136=-0.057
min	1.471-1.359=0.111
max	1.739-2.055=-0.316

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-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.292-0.387=-0.095
σ	0.299-0.464=-0.165
min	0.134-0.145=-0.012
max	0.822-1.213=-0.391

name=error_case.art

*mean*	2.339
σ	0.012
min	2.333
max	2.361

*mean*	402.000-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.472-0.630=-0.158
σ	0.316-0.088=0.228
min	0.319-0.573=-0.254
max	1.036-0.783=0.253

name=heavy_item.art

*mean*	1.522
σ	0.002
min	1.521
max	1.525

*mean*	402.000-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.218-0.386=-0.168
σ	0.022-0.037=-0.015
min	0.202-0.358=-0.156
max	0.256-0.444=-0.188

name=nested_use.art

*mean*	2.357
σ	0.002
min	2.356
max	2.360

*mean*	402.000-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.325-0.590=-0.265
σ	0.018-0.032=-0.014
min	0.309-0.555=-0.246
max	0.354-0.640=-0.286

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*	435.600-434.200=1.400
σ	5.079-4.550=0.530
min	431.000-430.000=1.000
max	441.000-439.000=2.000

*mean*	0.574-0.725=-0.151
σ	0.027-0.032=-0.004
min	0.532-0.672=-0.140
max	0.608-0.752=-0.144

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	442.000-439.000=3.000
σ	0.000
min	442.000-439.000=3.000
max	442.000-439.000=3.000

*mean*	0.476-0.625=-0.148
σ	0.034-0.021=0.012
min	0.427-0.589=-0.162
max	0.515-0.639=-0.123

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-439.000=3.000
σ	0.000
min	442.000-439.000=3.000
max	442.000-439.000=3.000

*mean*	1.940-3.505=-1.566
σ	0.113-0.089=0.024
min	1.731-3.335=-1.604
max	2.370-3.875=-1.504

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	442.000-439.000=3.000
σ	0.000
min	442.000-439.000=3.000
max	442.000-439.000=3.000

*mean*	1.951-3.479=-1.528
σ	0.063-0.098=-0.035
min	1.858-3.355=-1.497
max	2.247-4.130=-1.883

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	442.000-439.000=3.000
σ	0.000
min	442.000-439.000=3.000
max	442.000-439.000=3.000

*mean*	0.304-0.549=-0.245
σ	0.009-0.033=-0.024
min	0.291-0.519=-0.228
max	0.358-0.795=-0.437

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	442.000-439.000=3.000
σ	0.000
min	442.000-439.000=3.000
max	442.000-439.000=3.000

*mean*	0.293-0.512=-0.219
σ	0.013-0.011=0.002
min	0.277-0.488=-0.211
max	0.368-0.556=-0.188

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.931-298.564=0.367
σ	1.006-0.966=0.040
min	298.550-298.112=0.438
max	301.792-301.304=0.488

*mean*	440.000-446.100=-6.100
σ	16.673-18.460=-1.787
min	417.000-420.000=-3.000
max	467.000-472.000=-5.000

*mean*	0.603-0.598=0.005
σ	0.019-0.021=-0.002
min	0.567-0.553=0.014
max	0.634-0.628=0.007

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	1065.750-1070.750=-5.000
σ	34.648-40.305=-5.657
min	980.000-971.000=9.000
max	1078.000-1085.000=-7.000

*mean*	203.788-206.084=-2.296
σ	2.047-3.855=-1.809
min	200.011-197.850=2.161
max	206.394-210.478=-4.084

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*	1065.750-1070.750=-5.000
σ	34.648-40.305=-5.657
min	980.000-971.000=9.000
max	1078.000-1085.000=-7.000

*mean*	8.457-7.921=0.536
σ	1.909-1.860=0.049
min	6.341-6.257=0.083
max	10.972-10.839=0.134

phase=parser

*mean*	1042.362-1042.366=-0.004
σ	0.000-0.001=-0.001
min	1042.361-1042.363=-0.001
max	1042.362-1042.366=-0.004

*mean*	1065.750-1070.750=-5.000
σ	34.648-40.305=-5.657
min	980.000-971.000=9.000
max	1078.000-1085.000=-7.000

*mean*	520.718-457.983=62.735
σ	127.191-66.791=60.399
min	376.110-374.794=1.316
max	713.701-562.117=151.584

phase=processProdDef

*mean*	4850.764-4850.765=-0.001
σ	0.000-0.000=0.000
min	4850.764-4850.765=-0.001
max	4850.765-4850.765=-0.001

*mean*	1078.000-1085.000=-7.000
σ	0.000
min	1078.000-1085.000=-7.000
max	1078.000-1085.000=-7.000

*mean*	5077.625-4757.988=319.637
σ	344.199-683.242=-339.043
min	4496.135-3638.557=857.578
max	5409.691-5484.195=-74.504

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1065.750-1070.750=-5.000
σ	34.648-40.305=-5.657
min	980.000-971.000=9.000
max	1078.000-1085.000=-7.000

*mean*	30.232-28.080=2.152
σ	9.001-9.049=-0.048
min	19.887-20.443=-0.556
max	40.216-40.878=-0.661

phase=type checker

*mean*	990.450-990.453=-0.003
σ	0.071-0.072=-0.001
min	990.344
max	990.563-990.567=-0.004

*mean*	1065.750-1070.750=-5.000
σ	34.648-40.305=-5.657
min	980.000-971.000=9.000
max	1078.000-1085.000=-7.000

*mean*	709.181-726.691=-17.510
σ	82.493-103.051=-20.558
min	644.018-648.015=-3.997
max	875.032-893.459=-18.427

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

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

*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.395-0.391=0.003
σ	0.006-0.002=0.004
min	0.392-0.389=0.003
max	0.405-0.393=0.012

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.219-1320.208=0.011
σ	0.029-0.038=-0.009
min	1320.173-1320.163=0.011
max	1320.245-1320.247=-0.001

*mean*	1067.000-1073.800=-6.800
σ	165.207-185.577=-20.369
min	844.000-833.000=11.000
max	1269.000-1314.000=-45.000

*mean*	2.241-2.282=-0.041
σ	0.077-0.193=-0.116
min	2.126-2.177=-0.051
max	2.327-2.626=-0.299

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.583-1560.687=-0.103
σ	6.208-6.175=0.033
min	1557.594-1557.771=-0.178
max	1571.684-1571.731=-0.047

*mean*	618.800-629.400=-10.600
σ	83.278-95.435=-12.157
min	493.000-518.000=-25.000
max	717.000-752.000=-35.000

*mean*	2.231-2.446=-0.215
σ	0.091-0.290=-0.199
min	2.148-2.165=-0.017
max	2.373-2.927=-0.554

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.174-1882.173=0.001
σ	0.056-0.058=-0.002
min	1882.115-1882.109=0.006
max	1882.247-1882.255=-0.008

*mean*	1702.000-1725.800=-23.800
σ	259.500-179.380=80.119
min	1399.000-1467.000=-68.000
max	2063.000-1888.000=175.000

*mean*	2.952-3.062=-0.110
σ	0.062-0.265=-0.202
min	2.883-2.880=0.003
max	3.039-3.529=-0.490

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.700-1.805=-0.105
σ	0.157-0.077=0.080
min	1.470-1.684=-0.214
max	1.853-1.884=-0.031

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.081-452.081=-0.001
σ	582.723-582.723=-0.000
min	160.719-160.719=-0.000
max	1326.165-1326.166=-0.001

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.553-0.544=0.009
σ	0.552-0.541=0.011
min	0.270-0.267=0.002
max	1.382-1.356=0.026

policies=20

*mean*	1607.524-1607.524=-0.000
σ	0.407-0.407=-0.000
min	1607.248-1607.246=0.002
max	1608.127-1608.127=0.000

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	452.000-446.500=5.500
σ	10.392-7.000=3.392
min	443.000
max	461.000-457.000=4.000

*mean*	2.684-2.683=0.002
σ	0.013-0.019=-0.006
min	2.668-2.658=0.009
max	2.700-2.704=-0.004

policies=200

*mean*	16083.386-16083.357=0.030
σ	0.044-0.167=-0.123
min	16083.331-16083.248=0.083
max	16083.435-16083.605=-0.169

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	502.750-497.500=5.250
σ	4.787-3.697=1.090
min	497.000-494.000=3.000
max	508.000-502.000=6.000

*mean*	27.126-27.123=0.003
σ	0.037-0.043=-0.005
min	27.089-27.084=0.005
max	27.173-27.183=-0.011