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

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.887=-0.000
σ	0.359-0.357=0.001
min	54.750-54.754=-0.003
max	55.907-55.904=0.003

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.139-0.141=-0.001
σ	0.006-0.006=-0.000
min	0.133-0.132=0.000
max	0.152-0.150=0.002

cache=y

dps=1

iters=10

policies=100

*mean*	43.856-43.856=-0.000
σ	0.006-0.006=-0.000
min	43.850-43.848=0.001
max	43.868-43.869=-0.001

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.124-0.125=-0.001
σ	0.005-0.005=-0.000
min	0.118-0.118=0.001
max	0.133-0.133=-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*	4027.250-4028.875=-1.625
σ	1999.518-2000.391=-0.873
min	1216.000-1217.000=-1.000
max	7122.000-7125.000=-3.000

*mean*	12.796-12.625=0.171
σ	0.249-0.335=-0.086
min	12.509-11.979=0.529
max	13.111-13.001=0.111

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*	4027.250-4028.875=-1.625
σ	1999.518-2000.391=-0.873
min	1216.000-1217.000=-1.000
max	7122.000-7125.000=-3.000

*mean*	12.854-12.865=-0.012
σ	0.749-0.646=0.104
min	11.885-11.437=0.448
max	13.910-13.395=0.515

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.932=0.001

*mean*	7122.000-7125.000=-3.000
σ	0.000
min	7122.000-7125.000=-3.000
max	7122.000-7125.000=-3.000

*mean*	14.681-14.627=0.054
σ	1.413-1.457=-0.043
min	11.526-11.277=0.249
max	15.681-15.410=0.271

op=table_records(), repeat

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

*mean*	4027.250-4028.875=-1.625
σ	1999.518-2000.391=-0.873
min	1216.000-1217.000=-1.000
max	7122.000-7125.000=-3.000

*mean*	13.776-13.229=0.547
σ	1.957-2.100=-0.143
min	11.154-11.160=-0.006
max	15.493-15.796=-0.303

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*	4027.250-4028.875=-1.625
σ	1999.518-2000.391=-0.873
min	1216.000-1217.000=-1.000
max	7122.000-7125.000=-3.000

*mean*	9.066-9.040=0.027
σ	0.476-0.267=0.209
min	8.329-8.538=-0.209
max	9.858-9.302=0.556

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*	4027.250-4028.875=-1.625
σ	1999.518-2000.391=-0.873
min	1216.000-1217.000=-1.000
max	7122.000-7125.000=-3.000

*mean*	6.717-6.746=-0.029
σ	0.185-0.397=-0.211
min	6.480-6.263=0.218
max	6.981-7.455=-0.474

op=vertical_lookup_row_list() on 2 indexed

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

*mean*	4027.250-4028.875=-1.625
σ	1999.518-2000.391=-0.873
min	1216.000-1217.000=-1.000
max	7122.000-7125.000=-3.000

*mean*	6.059-5.986=0.073
σ	0.183-0.113=0.070
min	5.692-5.848=-0.156
max	6.321-6.159=0.161

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*	4027.250-4028.875=-1.625
σ	1999.518-2000.391=-0.873
min	1216.000-1217.000=-1.000
max	7122.000-7125.000=-3.000

*mean*	5.871-5.803=0.068
σ	0.155-0.067=0.089
min	5.606-5.724=-0.117
max	6.132-5.916=0.216

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*	7122.000-7125.000=-3.000
σ	0.000
min	7122.000-7125.000=-3.000
max	7122.000-7125.000=-3.000

*mean*	350.391-348.717=1.674
σ	1.649-2.259=-0.610
min	348.894-344.420=4.474
max	354.031-350.584=3.448

op=load_product(), with indexes

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

*mean*	3262.125-3263.500=-1.375
σ	1814.236-1814.939=-0.703
min	809.000
max	5598.000-5601.000=-3.000

*mean*	3643.216-3570.014=73.202
σ	1095.983-910.739=185.244
min	3101.877-3092.966=8.912
max	6167.034-5583.468=583.566

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

*mean*	4027.250-4028.875=-1.625
σ	1999.518-2000.391=-0.873
min	1216.000-1217.000=-1.000
max	7122.000-7125.000=-3.000

*mean*	80.924-82.737=-1.813
σ	14.851-12.743=2.108
min	70.130-69.353=0.777
max	109.910-99.126=10.783

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7122.000-7125.000=-3.000
σ	0.000
min	7122.000-7125.000=-3.000
max	7122.000-7125.000=-3.000

*mean*	171.469-171.704=-0.235
σ	305.967-303.688=2.280
min	61.228-60.985=0.242
max	928.664-923.205=5.459

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*	7122.000-7125.000=-3.000
σ	0.000
min	7122.000-7125.000=-3.000
max	7122.000-7125.000=-3.000

*mean*	102.515-101.734=0.781
σ	10.590-5.975=4.615
min	96.916-98.109=-1.193
max	128.597-113.417=15.180

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4027.250-4028.875=-1.625
σ	1999.518-2000.391=-0.873
min	1216.000-1217.000=-1.000
max	7122.000-7125.000=-3.000

*mean*	7671.560-7978.613=-307.052
σ	1972.916-1704.485=268.431
min	5937.045-5993.720=-56.675
max	11065.008-10764.026=300.982

op=vertical_lookup_list() on indexed

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

*mean*	7122.000-7125.000=-3.000
σ	0.000
min	7122.000-7125.000=-3.000
max	7122.000-7125.000=-3.000

*mean*	5468.040-5437.222=30.819
σ	994.327-1044.331=-50.004
min	5019.439-5000.936=18.504
max	7869.376-8005.903=-136.527

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*	474.000-477.000=-3.000
σ	0.000
min	474.000-477.000=-3.000
max	474.000-477.000=-3.000

*mean*	370.007-362.530=7.477
σ	32.712-33.171=-0.458
min	316.740-294.782=21.958
max	394.807-392.393=2.414

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	559.000-562.000=-3.000
σ	0.000
min	559.000-562.000=-3.000
max	559.000-562.000=-3.000

*mean*	787.527-756.625=30.903
σ	25.392-52.269=-26.878
min	744.428-637.792=106.636
max	812.794-798.309=14.485

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.299-1024.300=-0.001
σ	0.758-0.759=-0.000
min	1023.827-1023.824=0.003
max	1027.438-1027.437=0.001

*mean*	1040.100-1063.400=-23.300
σ	300.056-315.905=-15.849
min	553.000-599.000=-46.000
max	1461.000-1568.000=-107.000

*mean*	1.584-1.579=0.005
σ	0.083-0.051=0.032
min	1.477-1.526=-0.049
max	1.834-1.725=0.109

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.287-0.394=-0.107
σ	0.294-0.498=-0.205
min	0.130-0.147=-0.018
max	0.808-1.283=-0.475

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.463-0.481=-0.018
σ	0.326-0.318=0.009
min	0.306-0.330=-0.024
max	1.047-1.049=-0.002

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.222-0.220=0.002
σ	0.019-0.027=-0.008
min	0.208-0.201=0.007
max	0.256-0.266=-0.010

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.334-0.334=-0.001
σ	0.021-0.021=0.000
min	0.314-0.317=-0.003
max	0.370-0.370=-0.000

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-431.400=4.200
σ	5.079-0.894=4.185
min	431.000
max	441.000-433.000=8.000

*mean*	0.510-0.524=-0.014
σ	0.035-0.058=-0.022
min	0.470-0.438=0.032
max	0.561-0.589=-0.028

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

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

*mean*	0.499-0.485=0.014
σ	0.034-0.042=-0.008
min	0.451-0.418=0.034
max	0.530-0.520=0.010

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*	441.000-439.000=2.000
σ	0.000
min	441.000-439.000=2.000
max	441.000-439.000=2.000

*mean*	1.978-2.603=-0.625
σ	0.083-0.111=-0.028
min	1.842-2.089=-0.247
max	2.302-2.873=-0.571

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

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

*mean*	1.925-2.595=-0.670
σ	0.090-0.082=0.008
min	1.747-2.438=-0.691
max	2.196-2.815=-0.619

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

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

*mean*	0.305-0.315=-0.010
σ	0.009-0.072=-0.063
min	0.291-0.290=0.001
max	0.352-0.987=-0.635

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

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

*mean*	0.294-0.295=-0.002
σ	0.009-0.013=-0.004
min	0.273-0.277=-0.004
max	0.347-0.365=-0.017

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.797-298.689=0.108
σ	0.999-1.020=-0.021
min	298.421-298.314=0.107
max	301.638-301.589=0.049

*mean*	441.100-446.200=-5.100
σ	16.696-18.588=-1.892
min	416.000-420.000=-4.000
max	467.000-472.000=-5.000

*mean*	0.596-0.592=0.004
σ	0.031-0.029=0.002
min	0.532-0.536=-0.004
max	0.642-0.641=0.001

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	1064.875-1032.250=32.625
σ	34.295-41.719=-7.425
min	980.000-929.000=51.000
max	1077.000-1047.000=30.000

*mean*	211.290-209.923=1.367
σ	2.000-5.203=-3.203
min	208.107-202.311=5.796
max	214.338-219.410=-5.072

phase=macro expansion

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

*mean*	1064.875-1032.250=32.625
σ	34.295-41.719=-7.425
min	980.000-929.000=51.000
max	1077.000-1047.000=30.000

*mean*	9.687-8.980=0.708
σ	2.434-2.190=0.244
min	6.186-6.286=-0.100
max	12.906-12.813=0.093

phase=parser

*mean*	1042.367-1042.360=0.007
σ	0.000-0.000=0.000
min	1042.367-1042.360=0.007
max	1042.367-1042.360=0.007

*mean*	1064.875-1032.250=32.625
σ	34.295-41.719=-7.425
min	980.000-929.000=51.000
max	1077.000-1047.000=30.000

*mean*	542.211-468.375=73.836
σ	137.099-76.637=60.462
min	381.636-376.267=5.370
max	751.905-609.746=142.160

phase=processProdDef

*mean*	4850.764-4850.766=-0.003
σ	0.000-0.000=0.000
min	4850.764-4850.766=-0.003
max	4850.764-4850.766=-0.002

*mean*	1077.000-1047.000=30.000
σ	0.000
min	1077.000-1047.000=30.000
max	1077.000-1047.000=30.000

*mean*	4952.900-4508.374=444.526
σ	461.657-457.437=4.219
min	4292.971-4007.956=285.015
max	5449.852-5253.098=196.753

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1064.875-1032.250=32.625
σ	34.295-41.719=-7.425
min	980.000-929.000=51.000
max	1077.000-1047.000=30.000

*mean*	37.641-32.524=5.117
σ	10.329-11.186=-0.857
min	20.871-19.889=0.982
max	47.858-48.555=-0.698

phase=type checker

*mean*	990.453-990.450=0.004
σ	0.071
min	990.348-990.344=0.004
max	990.567-990.563=0.004

*mean*	1064.875-1032.250=32.625
σ	34.295-41.719=-7.425
min	980.000-929.000=51.000
max	1077.000-1047.000=30.000

*mean*	785.488-730.643=54.845
σ	102.204-82.239=19.965
min	653.672-658.120=-4.448
max	898.289-899.793=-1.504

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.821-293.822=-0.001
σ	0.038-0.038=0.000
min	293.768-293.769=-0.002
max	293.860-293.861=-0.002

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

*mean*	0.394-0.394=-0.000
σ	0.004-0.001=0.004
min	0.392-0.393=-0.002
max	0.402-0.395=0.007

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.223-1320.214=0.009
σ	0.030-0.044=-0.013
min	1320.175-1320.151=0.025
max	1320.250-1320.265=-0.015

*mean*	1068.400-1073.600=-5.200
σ	164.318-168.380=-4.062
min	844.000-845.000=-1.000
max	1267.000-1275.000=-8.000

*mean*	2.281-2.292=-0.011
σ	0.152-0.185=-0.032
min	2.154-2.146=0.008
max	2.542-2.612=-0.071

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.606-1560.616=-0.010
σ	6.234-6.231=0.003
min	1557.588-1557.612=-0.023
max	1571.753-1571.758=-0.005

*mean*	619.000-619.800=-0.800
σ	82.741-82.606=0.135
min	494.000-495.000=-1.000
max	716.000-717.000=-1.000

*mean*	2.297-2.323=-0.026
σ	0.238-0.213=0.025
min	2.166-2.175=-0.009
max	2.718-2.693=0.025

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.169-1882.171=-0.001
σ	0.055-0.054=0.001
min	1882.105-1882.104=0.001
max	1882.242-1882.245=-0.004

*mean*	1708.000-1697.200=10.800
σ	259.701-245.979=13.722
min	1396.000-1394.000=2.000
max	2059.000-2022.000=37.000

*mean*	2.977-2.936=0.042
σ	0.076-0.083=-0.007
min	2.868-2.845=0.023
max	3.052-3.051=0.001

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.694-1.725=-0.031
σ	0.189-0.163=0.026
min	1.446-1.554=-0.108
max	1.911-1.904=0.007

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.081-452.081=-0.001
σ	582.722-582.721=0.001
min	160.718-160.719=-0.001
max	1326.164-1326.163=0.001

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	0.550-0.547=0.003
σ	0.555-0.542=0.013
min	0.267-0.266=0.000
max	1.382-1.360=0.022

policies=20

*mean*	1607.517-1607.542=-0.025
σ	0.411-0.440=-0.029
min	1607.239-1607.242=-0.003
max	1608.126-1608.192=-0.066

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	448.000-448.500=-0.500
σ	8.083-8.660=-0.577
min	441.000
max	455.000-456.000=-1.000

*mean*	2.691-2.749=-0.058
σ	0.014-0.089=-0.075
min	2.671-2.671=0.000
max	2.699-2.840=-0.141

policies=200

*mean*	16083.374-16083.539=-0.165
σ	0.108-0.118=-0.011
min	16083.306-16083.463=-0.156
max	16083.535-16083.713=-0.179

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	494.750-495.500=-0.750
σ	4.349-4.203=0.146
min	489.000-490.000=-1.000
max	499.000-500.000=-1.000

*mean*	27.230-27.246=-0.016
σ	0.066-0.045=0.021
min	27.178-27.194=-0.016
max	27.325-27.294=0.031