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-558.664=-0.031
σ	0.000
min	558.633-558.664=-0.031
max	558.633-558.664=-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.888=0.001
σ	0.360-0.359=0.002
min	54.749-54.753=-0.004
max	55.913-55.908=0.006

*mean*	417.000-416.700=0.300
σ	0.000-0.483=-0.483
min	417.000-416.000=1.000
max	417.000

*mean*	0.141-0.138=0.003
σ	0.005-0.004=0.001
min	0.136-0.132=0.005
max	0.149-0.144=0.004

cache=y

dps=1

iters=10

policies=100

*mean*	43.854-43.856=-0.002
σ	0.007-0.004=0.003
min	43.841-43.849=-0.008
max	43.868-43.863=0.005

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.123-0.124=-0.001
σ	0.006-0.004=0.002
min	0.115-0.121=-0.005
max	0.132-0.131=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-36.616=-0.000
max	36.620-36.620=-0.000

*mean*	4042.500-4039.375=3.125
σ	2009.182-2009.841=-0.660
min	1218.000-1219.000=-1.000
max	7150.000-7145.000=5.000

*mean*	12.284-13.341=-1.058
σ	0.269-1.598=-1.329
min	11.932-12.485=-0.553
max	12.655-17.257=-4.602

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.500-4039.375=3.125
σ	2009.182-2009.841=-0.660
min	1218.000-1219.000=-1.000
max	7150.000-7145.000=5.000

*mean*	12.395-13.413=-1.017
σ	0.668-1.474=-0.806
min	11.239-12.211=-0.972
max	12.863-16.963=-4.100

op=table_records(), no indexes

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

*mean*	7150.000-7145.000=5.000
σ	0.000
min	7150.000-7145.000=5.000
max	7150.000-7145.000=5.000

*mean*	14.712-15.177=-0.465
σ	0.191-0.200=-0.010
min	14.418-14.840=-0.422
max	15.019-15.469=-0.450

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*	4042.500-4039.375=3.125
σ	2009.182-2009.841=-0.660
min	1218.000-1219.000=-1.000
max	7150.000-7145.000=5.000

*mean*	13.614-14.356=-0.743
σ	1.559-1.764=-0.206
min	10.259-11.310=-1.051
max	15.279-15.981=-0.702

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*	4042.500-4039.375=3.125
σ	2009.182-2009.841=-0.660
min	1218.000-1219.000=-1.000
max	7150.000-7145.000=5.000

*mean*	9.309-9.483=-0.173
σ	1.357-1.375=-0.019
min	8.292-8.712=-0.420
max	12.373-12.867=-0.494

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*	4042.500-4039.375=3.125
σ	2009.182-2009.841=-0.660
min	1218.000-1219.000=-1.000
max	7150.000-7145.000=5.000

*mean*	7.234-7.309=-0.076
σ	1.224-1.272=-0.048
min	6.218-6.415=-0.196
max	9.914-10.410=-0.495

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

*mean*	4042.500-4039.375=3.125
σ	2009.182-2009.841=-0.660
min	1218.000-1219.000=-1.000
max	7150.000-7145.000=5.000

*mean*	5.589-6.180=-0.591
σ	0.093-0.491=-0.398
min	5.388-5.852=-0.464
max	5.682-7.366=-1.684

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.500-4039.375=3.125
σ	2009.182-2009.841=-0.660
min	1218.000-1219.000=-1.000
max	7150.000-7145.000=5.000

*mean*	5.399-5.917=-0.519
σ	0.071-0.439=-0.368
min	5.290-5.439=-0.149
max	5.493-6.937=-1.443

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*	7150.000-7145.000=5.000
σ	0.000
min	7150.000-7145.000=5.000
max	7150.000-7145.000=5.000

*mean*	377.478-363.029=14.449
σ	84.374-42.420=41.953
min	343.600-343.940=-0.340
max	586.202-467.571=118.632

op=load_product(), with indexes

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

*mean*	3273.500-3271.125=2.375
σ	1824.195-1824.756=-0.561
min	809.000-810.000=-1.000
max	5622.000

*mean*	3612.105-3608.473=3.632
σ	1033.662-1004.794=28.868
min	3102.533-3103.266=-0.733
max	5982.640-5904.050=78.590

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

*mean*	4042.500-4039.375=3.125
σ	2009.182-2009.841=-0.660
min	1218.000-1219.000=-1.000
max	7150.000-7145.000=5.000

*mean*	88.697-88.525=0.172
σ	21.347-20.369=0.979
min	69.828-70.258=-0.430
max	121.334-123.116=-1.783

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

*mean*	7150.000-7145.000=5.000
σ	0.000
min	7150.000-7145.000=5.000
max	7150.000-7145.000=5.000

*mean*	60.479-61.560=-1.081
σ	0.293-1.290=-0.997
min	60.006-60.763=-0.758
max	60.814-64.684=-3.870

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

*mean*	7150.000-7145.000=5.000
σ	0.000
min	7150.000-7145.000=5.000
max	7150.000-7145.000=5.000

*mean*	99.679-240.010=-140.332
σ	0.685-310.960=-310.275
min	98.209-99.164=-0.955
max	100.543-980.870=-880.327

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.576-14215.575=0.001
max	14227.821-14227.820=0.001

*mean*	4042.500-4039.375=3.125
σ	2009.182-2009.841=-0.660
min	1218.000-1219.000=-1.000
max	7150.000-7145.000=5.000

*mean*	7827.543-7984.679=-157.136
σ	1871.453-1922.254=-50.801
min	6012.739-5985.510=27.228
max	10683.885-11102.093=-418.208

op=vertical_lookup_list() on indexed

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

*mean*	7150.000-7145.000=5.000
σ	0.000
min	7150.000-7145.000=5.000
max	7150.000-7145.000=5.000

*mean*	5121.913-5255.985=-134.072
σ	191.316-574.805=-383.489
min	5004.673-4972.716=31.957
max	5502.942-6627.569=-1124.627

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

*mean*	371.718-384.601=-12.883
σ	25.232-14.979=10.252
min	331.123-349.707=-18.584
max	392.931-395.851=-2.920

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	562.000
σ	0.000
min	562.000
max	562.000

*mean*	763.882-760.436=3.446
σ	27.820-23.317=4.503
min	716.173-722.614=-6.441
max	783.360-795.591=-12.231

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.826=0.001
max	1027.438-1027.437=0.001

*mean*	1053.600-1045.150=8.450
σ	312.486-305.040=7.446
min	569.000-571.000=-2.000
max	1511.000-1501.000=10.000

*mean*	1.548-1.560=-0.012
σ	0.047-0.084=-0.038
min	1.486-1.481=0.005
max	1.645-1.822=-0.177

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.285-0.451=-0.166
σ	0.263-0.495=-0.232
min	0.141-0.147=-0.007
max	0.751-1.287=-0.536

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.471-0.471=0.000
σ	0.321-0.316=0.005
min	0.316-0.320=-0.004
max	1.045-1.035=0.009

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.219-0.217=0.002
σ	0.021-0.024=-0.003
min	0.201-0.197=0.004
max	0.255-0.257=-0.002

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.328-0.357=-0.029
σ	0.018-0.063=-0.046
min	0.314-0.321=-0.007
max	0.357-0.469=-0.112

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.400=-0.400
σ	0.000-0.894=-0.894
min	431.000
max	431.000-433.000=-2.000

*mean*	0.531-0.559=-0.029
σ	0.051-0.047=0.005
min	0.484-0.484=-0.000
max	0.609-0.604=0.005

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	431.000-437.000=-6.000
σ	0.000
min	431.000-437.000=-6.000
max	431.000-437.000=-6.000

*mean*	0.497-0.488=0.009
σ	0.029-0.039=-0.010
min	0.446-0.447=-0.000
max	0.518-0.529=-0.011

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-437.000=-6.000
σ	0.000
min	431.000-437.000=-6.000
max	431.000-437.000=-6.000

*mean*	2.590-2.672=-0.082
σ	0.089-0.107=-0.018
min	2.452-2.504=-0.053
max	2.868-2.965=-0.097

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	431.000-437.000=-6.000
σ	0.000
min	431.000-437.000=-6.000
max	431.000-437.000=-6.000

*mean*	2.590-2.632=-0.043
σ	0.097-0.081=0.016
min	2.453-2.476=-0.023
max	2.895-2.898=-0.003

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	431.000-437.000=-6.000
σ	0.000
min	431.000-437.000=-6.000
max	431.000-437.000=-6.000

*mean*	0.310-0.313=-0.003
σ	0.024-0.040=-0.015
min	0.290-0.295=-0.005
max	0.519-0.696=-0.177

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	431.000-437.000=-6.000
σ	0.000
min	431.000-437.000=-6.000
max	431.000-437.000=-6.000

*mean*	0.296-0.294=0.002
σ	0.013-0.007=0.005
min	0.280-0.280=-0.001
max	0.385-0.332=0.052

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.462-298.586=-0.124
σ	1.011-1.050=-0.039
min	298.056-298.201=-0.145
max	301.336-301.571=-0.235

*mean*	441.200-441.800=-0.600
σ	13.497-17.054=-3.557
min	420.000-415.000=5.000
max	461.000-469.000=-8.000

*mean*	0.590-0.596=-0.006
σ	0.032-0.024=0.008
min	0.529-0.559=-0.031
max	0.643-0.629=0.015

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

*mean*	954.000-953.000=1.000
σ	22.627-16.971=5.657
min	898.000-911.000=-13.000
max	962.000-959.000=3.000

*mean*	209.425-204.788=4.636
σ	3.552-3.365=0.187
min	203.721-200.184=3.537
max	213.507-208.487=5.020

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	953.250-953.000=0.250
σ	24.749-16.971=7.778
min	892.000-911.000=-19.000
max	962.000-959.000=3.000

*mean*	9.290-9.268=0.022
σ	2.033-2.225=-0.192
min	6.389-6.379=0.009
max	12.718-12.994=-0.277

phase=parser

*mean*	1042.363-1042.363=0.000
σ	0.000-0.000=0.000
min	1042.363-1042.363=0.000
max	1042.364-1042.363=0.001

*mean*	953.250-953.000=0.250
σ	24.749-16.971=7.778
min	892.000-911.000=-19.000
max	962.000-959.000=3.000

*mean*	492.159-493.461=-1.302
σ	76.861-85.755=-8.895
min	383.675-377.443=6.232
max	634.035-613.641=20.393

phase=processProdDef

*mean*	4850.767
σ	0.000
min	4850.767
max	4850.767

*mean*	962.000-959.000=3.000
σ	0.000
min	962.000-959.000=3.000
max	962.000-959.000=3.000

*mean*	4945.396-4632.502=312.894
σ	395.300-600.822=-205.522
min	4412.889-3798.168=614.720
max	5408.975-5263.284=145.691

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	953.250-953.000=0.250
σ	24.749-16.971=7.778
min	892.000-911.000=-19.000
max	962.000-959.000=3.000

*mean*	36.401-34.069=2.332
σ	9.817-10.137=-0.320
min	20.874-20.380=0.494
max	47.294-47.971=-0.676

phase=type checker

*mean*	990.454
σ	0.071
min	990.348
max	990.567

*mean*	953.875-953.000=0.875
σ	22.981-16.971=6.010
min	897.000-911.000=-14.000
max	962.000-959.000=3.000

*mean*	688.169-781.502=-93.333
σ	30.834-139.260=-108.426
min	643.360-647.737=-4.376
max	754.954-983.758=-228.804

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.820-293.822=-0.002
σ	0.038-0.038=0.000
min	293.767-293.769=-0.002
max	293.859-293.861=-0.002

*mean*	442.400
σ	0.548
min	442.000
max	443.000

*mean*	0.393-0.394=-0.000
σ	0.001-0.001=0.000
min	0.392-0.393=-0.001
max	0.395-0.395=-0.000

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.199-1320.174=0.025
σ	0.091-0.103=-0.012
min	1320.084-1320.053=0.030
max	1320.338-1320.322=0.016

*mean*	1065.400-1067.000=-1.600
σ	165.364-165.711=-0.346
min	842.000-843.000=-1.000
max	1267.000-1269.000=-2.000

*mean*	2.145-2.083=0.063
σ	0.205-0.085=0.120
min	2.020-2.001=0.019
max	2.505-2.215=0.290

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.617-1560.591=0.026
σ	6.232-6.250=-0.018
min	1557.616-1557.554=0.063
max	1571.759-1571.765=-0.006

*mean*	618.200-619.400=-1.200
σ	82.309-83.170=-0.862
min	494.000
max	715.000-717.000=-2.000

*mean*	2.383-2.312=0.071
σ	0.252-0.222=0.030
min	2.086-2.168=-0.082
max	2.717-2.698=0.018

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.184-1882.183=0.001
σ	0.069-0.064=0.006
min	1882.102-1882.118=-0.016
max	1882.274-1882.261=0.013

*mean*	1708.600-1708.200=0.400
σ	257.757-253.408=4.349
min	1393.000-1396.000=-3.000
max	2051.000-2043.000=8.000

*mean*	2.955-2.955=-0.000
σ	0.097-0.098=-0.001
min	2.832-2.852=-0.020
max	3.079-3.085=-0.005

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.738-1.645=0.093
σ	0.168-0.205=-0.036
min	1.463-1.424=0.039
max	1.910-1.874=0.036

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.082-452.082=-0.000
σ	582.722-582.722=-0.000
min	160.720-160.717=0.004
max	1326.166-1326.166=-0.000

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	442.000-441.000=1.000
σ	0.000
min	442.000-441.000=1.000
max	442.000-441.000=1.000

*mean*	0.536-0.546=-0.010
σ	0.535-0.539=-0.004
min	0.266-0.260=0.006
max	1.339-1.354=-0.015

policies=20

*mean*	1607.506-1607.534=-0.027
σ	0.412-0.407=0.005
min	1607.228-1607.255=-0.027
max	1608.116-1608.136=-0.020

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	449.000-448.000=1.000
σ	8.083
min	442.000-441.000=1.000
max	456.000-455.000=1.000

*mean*	2.688-2.685=0.002
σ	0.011-0.015=-0.004
min	2.674-2.667=0.007
max	2.697-2.702=-0.005

policies=200

*mean*	16083.472-16083.444=0.028
σ	0.173-0.137=0.036
min	16083.295-16083.317=-0.022
max	16083.692-16083.597=0.095

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	496.500-497.750=-1.250
σ	3.317-5.123=-1.807
min	492.000-491.000=1.000
max	500.000-503.000=-3.000

*mean*	27.154-27.194=-0.040
σ	0.062-0.036=0.025
min	27.098-27.158=-0.060
max	27.233-27.228=0.005