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.881-54.880=0.001
σ	0.359-0.359=0.000
min	54.745-54.740=0.005
max	55.902-55.900=0.003

*mean*	417.000-418.700=-1.700
σ	0.000-0.483=-0.483
min	417.000-418.000=-1.000
max	417.000-419.000=-2.000

*mean*	0.141-0.138=0.003
σ	0.004-0.005=-0.001
min	0.137-0.132=0.005
max	0.148-0.148=0.000

cache=y

dps=1

iters=10

policies=100

*mean*	43.849-43.849=-0.000
σ	0.007-0.007=0.000
min	43.836-43.834=0.002
max	43.858-43.856=0.001

*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.125-0.123=0.002
σ	0.004-0.006=-0.002
min	0.121-0.116=0.005
max	0.132-0.134=-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
max	36.620

*mean*	4041.250-4042.125=-0.875
σ	2008.838-2008.356=0.482
min	1216.000-1217.000=-1.000
max	7148.000-7142.000=6.000

*mean*	12.922-13.297=-0.375
σ	0.315-1.765=-1.450
min	12.554-12.269=0.284
max	13.399-17.613=-4.214

op=column_set() on indexed, repeat

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

*mean*	4041.250-4042.125=-0.875
σ	2008.838-2008.356=0.482
min	1216.000-1217.000=-1.000
max	7148.000-7142.000=6.000

*mean*	12.723-13.441=-0.718
σ	0.673-2.123=-1.450
min	11.824-11.663=0.161
max	13.784-18.237=-4.453

op=table_records(), no indexes

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

*mean*	7148.000-7142.000=6.000
σ	0.000
min	7148.000-7142.000=6.000
max	7148.000-7142.000=6.000

*mean*	15.374-14.828=0.546
σ	0.184-1.266=-1.082
min	15.153-11.711=3.441
max	15.642-15.485=0.157

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*	4041.250-4042.125=-0.875
σ	2008.838-2008.356=0.482
min	1216.000-1217.000=-1.000
max	7148.000-7142.000=6.000

*mean*	13.615-14.658=-1.044
σ	1.889-1.079=0.811
min	10.758-12.639=-1.881
max	16.383-15.914=0.469

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*	4041.250-4042.125=-0.875
σ	2008.838-2008.356=0.482
min	1216.000-1217.000=-1.000
max	7148.000-7142.000=6.000

*mean*	9.605-9.876=-0.271
σ	1.283-1.262=0.021
min	8.591-8.950=-0.359
max	12.677-12.600=0.078

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*	4041.250-4042.125=-0.875
σ	2008.838-2008.356=0.482
min	1216.000-1217.000=-1.000
max	7148.000-7142.000=6.000

*mean*	8.017-7.559=0.459
σ	1.500-1.358=0.142
min	6.994-6.480=0.514
max	10.704-10.295=0.409

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*	4041.250-4042.125=-0.875
σ	2008.838-2008.356=0.482
min	1216.000-1217.000=-1.000
max	7148.000-7142.000=6.000

*mean*	6.038-6.321=-0.282
σ	0.108-0.593=-0.485
min	5.866-6.048=-0.181
max	6.163-7.783=-1.620

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

*mean*	4041.250-4042.125=-0.875
σ	2008.838-2008.356=0.482
min	1216.000-1217.000=-1.000
max	7148.000-7142.000=6.000

*mean*	5.855-6.096=-0.241
σ	0.100-0.484=-0.384
min	5.674-5.749=-0.075
max	5.989-7.262=-1.273

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*	7148.000-7142.000=6.000
σ	0.000
min	7148.000-7142.000=6.000
max	7148.000-7142.000=6.000

*mean*	366.098-363.421=2.677
σ	53.388-41.907=11.481
min	344.524-345.854=-1.330
max	498.137-466.886=31.251

op=load_product(), with indexes

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

*mean*	3272.875-3274.625=-1.750
σ	1823.353-1824.932=-1.579
min	809.000
max	5619.000-5623.000=-4.000

*mean*	3806.810-3622.621=184.189
σ	1320.083-957.661=362.422
min	3082.815-3082.621=0.194
max	6199.142-5809.820=389.322

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*	4041.250-4042.125=-0.875
σ	2008.838-2008.356=0.482
min	1216.000-1217.000=-1.000
max	7148.000-7142.000=6.000

*mean*	91.506-89.887=1.619
σ	19.702-20.330=-0.628
min	75.383-70.011=5.372
max	127.516-119.111=8.405

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7148.000-7142.000=6.000
σ	0.000
min	7148.000-7142.000=6.000
max	7148.000-7142.000=6.000

*mean*	61.265-84.537=-23.272
σ	0.323-67.458=-67.136
min	60.918-59.907=1.010
max	61.671-251.446=-189.774

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*	7148.000-7142.000=6.000
σ	0.000
min	7148.000-7142.000=6.000
max	7148.000-7142.000=6.000

*mean*	100.160-203.100=-102.940
σ	0.693-289.535=-288.842
min	99.234-97.890=1.344
max	101.288-919.590=-818.302

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4041.250-4042.125=-0.875
σ	2008.838-2008.356=0.482
min	1216.000-1217.000=-1.000
max	7148.000-7142.000=6.000

*mean*	8175.550-7829.707=345.843
σ	2157.102-1821.569=335.533
min	6002.891-5949.586=53.305
max	11067.801-10693.045=374.756

op=vertical_lookup_list() on indexed

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

*mean*	7148.000-7142.000=6.000
σ	0.000
min	7148.000-7142.000=6.000
max	7148.000-7142.000=6.000

*mean*	5090.331-5321.623=-231.292
σ	172.373-721.703=-549.330
min	4962.508-4992.358=-29.849
max	5381.260-7062.242=-1680.982

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*	382.309-386.729=-4.420
σ	19.092-15.555=3.537
min	350.784-349.456=1.327
max	394.179-401.332=-7.153

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

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

*mean*	704.380-732.305=-27.926
σ	73.371-76.399=-3.029
min	591.987-588.881=3.106
max	790.846-794.353=-3.507

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.827-1023.822=0.005
max	1027.437-1027.436=0.001

*mean*	1037.800-1049.700=-11.900
σ	301.078-317.083=-16.004
min	562.000-570.000=-8.000
max	1460.000-1519.000=-59.000

*mean*	1.536-1.540=-0.004
σ	0.068-0.094=-0.026
min	1.361-1.344=0.017
max	1.642-1.687=-0.045

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.442-0.378=0.065
σ	0.625-0.452=0.173
min	0.132-0.138=-0.006
max	1.557-1.181=0.376

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.719-0.419=0.300
σ	0.292-0.207=0.084
min	0.562-0.312=0.250
max	1.239-0.789=0.449

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.381-0.217=0.164
σ	0.041-0.018=0.022
min	0.356-0.207=0.149
max	0.451-0.249=0.202

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.584-0.334=0.250
σ	0.030-0.019=0.012
min	0.560-0.317=0.242
max	0.634-0.365=0.268

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.200-436.000=-0.800
σ	4.550-6.595=-2.046
min	431.000-430.000=1.000
max	440.000-443.000=-3.000

*mean*	0.608-0.532=0.075
σ	0.075-0.026=0.049
min	0.548-0.509=0.040
max	0.739-0.572=0.167

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	440.000-443.000=-3.000
σ	0.000
min	440.000-443.000=-3.000
max	440.000-443.000=-3.000

*mean*	0.463-0.483=-0.020
σ	0.032-0.024=0.008
min	0.426-0.456=-0.031
max	0.495-0.509=-0.014

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*	440.000-443.000=-3.000
σ	0.000
min	440.000-443.000=-3.000
max	440.000-443.000=-3.000

*mean*	2.634-1.940=0.695
σ	0.123-0.105=0.018
min	2.457-1.737=0.720
max	3.248-2.305=0.943

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	440.000-443.000=-3.000
σ	0.000
min	440.000-443.000=-3.000
max	440.000-443.000=-3.000

*mean*	2.605-2.273=0.332
σ	0.094-0.324=-0.230
min	2.428-1.851=0.577
max	2.841-2.766=0.075

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	440.000-443.000=-3.000
σ	0.000
min	440.000-443.000=-3.000
max	440.000-443.000=-3.000

*mean*	0.303-0.306=-0.003
σ	0.011-0.014=-0.003
min	0.286-0.289=-0.003
max	0.372-0.387=-0.015

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	440.000-443.000=-3.000
σ	0.000
min	440.000-443.000=-3.000
max	440.000-443.000=-3.000

*mean*	0.303-0.292=0.011
σ	0.070-0.011=0.059
min	0.274-0.279=-0.005
max	0.757-0.361=0.397

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.896-298.599=0.296
σ	1.002-1.023=-0.022
min	298.502-298.204=0.299
max	301.743-301.509=0.234

*mean*	441.200-443.200=-2.000
σ	14.359-18.005=-3.646
min	418.000-417.000=1.000
max	467.000

*mean*	0.598-0.600=-0.002
σ	0.024-0.024=0.000
min	0.546-0.559=-0.013
max	0.621-0.628=-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*	1065.000-1064.875=0.125
σ	33.941-34.295=-0.354
min	981.000-980.000=1.000
max	1077.000

*mean*	204.754-203.610=1.144
σ	2.560-2.986=-0.426
min	200.470-200.554=-0.084
max	208.766-209.702=-0.936

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1065.000-1064.875=0.125
σ	33.941-34.295=-0.354
min	981.000-980.000=1.000
max	1077.000

*mean*	10.272-8.892=1.380
σ	2.103-2.367=-0.264
min	6.365-6.310=0.055
max	13.111-12.933=0.178

phase=parser

*mean*	1042.363-1042.363=0.000
σ	0.000-0.000=0.000
min	1042.362
max	1042.363

*mean*	1065.000-1064.875=0.125
σ	33.941-34.295=-0.354
min	981.000-980.000=1.000
max	1077.000

*mean*	534.641-577.270=-42.630
σ	108.425-133.498=-25.073
min	379.637-378.401=1.236
max	708.169-825.222=-117.052

phase=processProdDef

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

*mean*	1077.000
σ	0.000
min	1077.000
max	1077.000

*mean*	4957.461-4413.457=544.003
σ	326.121-442.792=-116.671
min	4349.627-3850.658=498.969
max	5330.964-5235.890=95.074

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1065.000-1064.875=0.125
σ	33.941-34.295=-0.354
min	981.000-980.000=1.000
max	1077.000

*mean*	39.943-32.438=7.504
σ	8.042-11.308=-3.266
min	21.633-20.697=0.936
max	48.137-51.452=-3.316

phase=type checker

*mean*	990.450
σ	0.071
min	990.344
max	990.563

*mean*	1065.000-1064.875=0.125
σ	33.941-34.295=-0.354
min	981.000-980.000=1.000
max	1077.000

*mean*	745.459-709.750=35.710
σ	82.410-88.002=-5.593
min	643.765-640.547=3.218
max	894.559-917.939=-23.380

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

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

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.400-0.395=0.005
σ	0.005-0.006=-0.001
min	0.394-0.392=0.002
max	0.406-0.405=0.001

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.211-1320.214=-0.003
σ	0.047-0.032=0.015
min	1320.137-1320.164=-0.028
max	1320.257-1320.246=0.011

*mean*	1067.600-1072.600=-5.000
σ	164.483-167.742=-3.258
min	845.000
max	1268.000-1273.000=-5.000

*mean*	2.249-2.234=0.015
σ	0.124-0.055=0.069
min	2.147-2.152=-0.006
max	2.456-2.302=0.154

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.617-1560.613=0.005
σ	6.226-6.218=0.008
min	1557.635-1557.652=-0.017
max	1571.750-1571.732=0.018

*mean*	619.600-618.000=1.600
σ	82.984-82.901=0.083
min	494.000-493.000=1.000
max	717.000-716.000=1.000

*mean*	2.304-2.358=-0.054
σ	0.188-0.211=-0.022
min	2.181-2.200=-0.019
max	2.623-2.717=-0.095

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.168-1882.153=0.016
σ	0.056-0.061=-0.006
min	1882.105-1882.102=0.003
max	1882.241-1882.256=-0.016

*mean*	1708.600-1697.800=10.800
σ	258.907-247.429=11.478
min	1396.000-1393.000=3.000
max	2056.000-2025.000=31.000

*mean*	2.929-2.941=-0.012
σ	0.076-0.046=0.030
min	2.842-2.898=-0.056
max	3.013-2.996=0.016

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.841-1.868=-0.027
σ	0.050-0.074=-0.024
min	1.755-1.747=0.008
max	1.874-1.935=-0.061

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.082-452.081=0.001
σ	582.721-582.722=-0.001
min	160.720-160.718=0.001
max	1326.164-1326.165=-0.001

*mean*	102.250
σ	8.500
min	98.000
max	115.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.541-0.544=-0.003
σ	0.542-0.541=0.001
min	0.268-0.268=0.000
max	1.354-1.356=-0.002

policies=20

*mean*	1607.527-1607.512=0.016
σ	0.413-0.405=0.008
min	1607.247-1607.235=0.012
max	1608.139-1608.111=0.028

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	445.000-450.500=-5.500
σ	4.619-8.660=-4.041
min	441.000-443.000=-2.000
max	449.000-458.000=-9.000

*mean*	2.694-2.680=0.014
σ	0.017-0.010=0.007
min	2.677-2.669=0.008
max	2.714-2.690=0.023

policies=200

*mean*	16083.364-16083.364=-0.000
σ	0.167-0.088=0.079
min	16083.200-16083.281=-0.081
max	16083.533-16083.488=0.045

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	493.750-496.500=-2.750
σ	4.031-3.317=0.715
min	489.000-492.000=-3.000
max	498.000-500.000=-2.000

*mean*	27.146-27.082=0.064
σ	0.033-0.048=-0.015
min	27.115-27.027=0.089
max	27.193-27.143=0.050