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.887=0.001
σ	0.360-0.356=0.004
min	54.749-54.754=-0.005
max	55.913-55.900=0.014

*mean*	417.000-422.000=-5.000
σ	0.000
min	417.000-422.000=-5.000
max	417.000-422.000=-5.000

*mean*	0.141-0.139=0.002
σ	0.005-0.007=-0.002
min	0.136-0.131=0.005
max	0.149-0.151=-0.002

cache=y

dps=1

iters=10

policies=100

*mean*	43.854-43.854=-0.000
σ	0.007-0.004=0.003
min	43.841-43.849=-0.008
max	43.868-43.861=0.007

*mean*	417.000-422.000=-5.000
σ	0.000
min	417.000-422.000=-5.000
max	417.000-422.000=-5.000

*mean*	0.123-0.123=-0.000
σ	0.006-0.005=0.001
min	0.115-0.116=-0.001
max	0.132-0.132=-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

*mean*	4042.500-4034.750=7.750
σ	2009.182-2005.129=4.053
min	1218.000-1219.000=-1.000
max	7150.000-7134.000=16.000

*mean*	12.284-12.924=-0.641
σ	0.269-0.257=0.012
min	11.932-12.461=-0.529
max	12.655-13.267=-0.612

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-4034.750=7.750
σ	2009.182-2005.129=4.053
min	1218.000-1219.000=-1.000
max	7150.000-7134.000=16.000

*mean*	12.395-12.517=-0.122
σ	0.668-0.549=0.120
min	11.239-11.869=-0.630
max	12.863-13.657=-0.794

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

*mean*	7150.000-7134.000=16.000
σ	0.000
min	7150.000-7134.000=16.000
max	7150.000-7134.000=16.000

*mean*	14.712-15.426=-0.714
σ	0.191-0.175=0.016
min	14.418-15.205=-0.787
max	15.019-15.685=-0.666

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-4034.750=7.750
σ	2009.182-2005.129=4.053
min	1218.000-1219.000=-1.000
max	7150.000-7134.000=16.000

*mean*	13.614-13.774=-0.160
σ	1.559-1.602=-0.044
min	10.259-11.307=-1.048
max	15.279-15.325=-0.047

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

*mean*	27.654-27.653=0.000
σ	0.136-0.136=-0.000
min	27.604
max	27.991

*mean*	4042.500-4034.750=7.750
σ	2009.182-2005.129=4.053
min	1218.000-1219.000=-1.000
max	7150.000-7134.000=16.000

*mean*	9.309-9.340=-0.030
σ	1.357-0.739=0.618
min	8.292-8.628=-0.336
max	12.373-10.929=1.444

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-4034.750=7.750
σ	2009.182-2005.129=4.053
min	1218.000-1219.000=-1.000
max	7150.000-7134.000=16.000

*mean*	7.234-7.021=0.213
σ	1.224-0.883=0.341
min	6.218-5.883=0.335
max	9.914-8.846=1.068

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.678=0.000

*mean*	4042.500-4034.750=7.750
σ	2009.182-2005.129=4.053
min	1218.000-1219.000=-1.000
max	7150.000-7134.000=16.000

*mean*	5.589-5.867=-0.278
σ	0.093-0.158=-0.065
min	5.388-5.707=-0.319
max	5.682-6.176=-0.494

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

*mean*	4042.500-4034.750=7.750
σ	2009.182-2005.129=4.053
min	1218.000-1219.000=-1.000
max	7150.000-7134.000=16.000

*mean*	5.399-5.662=-0.264
σ	0.071-0.104=-0.033
min	5.290-5.450=-0.159
max	5.493-5.780=-0.287

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*	7150.000-7134.000=16.000
σ	0.000
min	7150.000-7134.000=16.000
max	7150.000-7134.000=16.000

*mean*	377.478-365.230=12.247
σ	84.374-42.705=41.668
min	343.600-346.253=-2.653
max	586.202-470.786=115.416

op=load_product(), with indexes

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

*mean*	3273.500-3266.750=6.750
σ	1824.195-1821.992=2.203
min	809.000-810.000=-1.000
max	5622.000-5614.000=8.000

*mean*	3612.105-3578.217=33.888
σ	1033.662-921.143=112.519
min	3102.533-3104.156=-1.623
max	5982.640-5632.063=350.577

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*	4042.500-4034.750=7.750
σ	2009.182-2005.129=4.053
min	1218.000-1219.000=-1.000
max	7150.000-7134.000=16.000

*mean*	88.697-84.505=4.192
σ	21.347-13.801=7.546
min	69.828-70.949=-1.121
max	121.334-104.278=17.056

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7150.000-7134.000=16.000
σ	0.000
min	7150.000-7134.000=16.000
max	7150.000-7134.000=16.000

*mean*	60.479-62.803=-2.324
σ	0.293-1.123=-0.829
min	60.006-61.884=-1.878
max	60.814-65.320=-4.506

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*	7150.000-7134.000=16.000
σ	0.000
min	7150.000-7134.000=16.000
max	7150.000-7134.000=16.000

*mean*	99.679-247.006=-147.327
σ	0.685-370.564=-369.879
min	98.209-98.492=-0.283
max	100.543-1158.056=-1057.513

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-4034.750=7.750
σ	2009.182-2005.129=4.053
min	1218.000-1219.000=-1.000
max	7150.000-7134.000=16.000

*mean*	7827.543-7677.491=150.053
σ	1871.453-1864.759=6.694
min	6012.739-5971.658=41.081
max	10683.885-10410.661=273.224

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*	7150.000-7134.000=16.000
σ	0.000
min	7150.000-7134.000=16.000
max	7150.000-7134.000=16.000

*mean*	5121.913-5317.673=-195.760
σ	191.316-624.976=-433.660
min	5004.673-5022.889=-18.216
max	5502.942-6803.453=-1300.511

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-358.397=13.320
σ	25.232-33.284=-8.053
min	331.123-293.596=37.527
max	392.931-386.545=6.386

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

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

*mean*	763.882-740.616=23.266
σ	27.820-62.395=-34.575
min	716.173-594.534=121.639
max	783.360-781.164=2.196

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.299-1024.300=-0.000
σ	0.759-0.758=0.001
min	1023.827-1023.826=0.001
max	1027.438-1027.438=-0.000

*mean*	1053.600-1047.400=6.200
σ	312.486-313.997=-1.511
min	569.000-573.000=-4.000
max	1511.000

*mean*	1.548-1.594=-0.047
σ	0.047-0.077=-0.031
min	1.486-1.523=-0.037
max	1.645-1.799=-0.154

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.298=-0.012
σ	0.263-0.292=-0.029
min	0.141-0.137=0.003
max	0.751-0.813=-0.063

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.477=-0.006
σ	0.321-0.327=-0.006
min	0.316-0.321=-0.005
max	1.045-1.061=-0.017

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.222=-0.003
σ	0.021-0.026=-0.005
min	0.201-0.204=-0.003
max	0.255-0.267=-0.011

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.329=-0.001
σ	0.018-0.018=-0.000
min	0.314-0.311=0.003
max	0.357-0.356=0.001

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

*mean*	0.531-0.548=-0.017
σ	0.051-0.052=-0.001
min	0.484-0.484=-0.000
max	0.609-0.610=-0.001

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.453=0.044
σ	0.029-0.035=-0.006
min	0.446-0.397=0.049
max	0.518-0.492=0.027

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.589=0.001
σ	0.089-0.086=0.003
min	2.452-2.452=-0.000
max	2.868-2.831=0.038

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.589=0.000
σ	0.097-0.079=0.018
min	2.453-2.453=-0.000
max	2.895-2.773=0.121

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.302=0.009
σ	0.024-0.008=0.016
min	0.290-0.285=0.006
max	0.519-0.349=0.170

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.295=0.001
σ	0.013-0.010=0.003
min	0.280-0.280=0.000
max	0.385-0.362=0.023

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.462-298.610=-0.149
σ	1.011-0.936=0.075
min	298.056-298.196=-0.140
max	301.336-301.268=0.068

*mean*	441.200-445.500=-4.300
σ	13.497-16.814=-3.317
min	420.000-417.000=3.000
max	461.000-466.000=-5.000

*mean*	0.590-0.615=-0.025
σ	0.032-0.014=0.017
min	0.529-0.595=-0.066
max	0.643-0.648=-0.004

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

*mean*	954.000-955.000=-1.000
σ	22.627
min	898.000-899.000=-1.000
max	962.000-963.000=-1.000

*mean*	209.425-210.771=-1.347
σ	3.552-3.180=0.372
min	203.721-207.009=-3.287
max	213.507-214.599=-1.092

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	953.250-954.250=-1.000
σ	24.749
min	892.000-893.000=-1.000
max	962.000-963.000=-1.000

*mean*	9.290-8.749=0.540
σ	2.033-2.096=-0.063
min	6.389-6.441=-0.052
max	12.718-12.617=0.101

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

*mean*	953.250-954.250=-1.000
σ	24.749
min	892.000-893.000=-1.000
max	962.000-963.000=-1.000

*mean*	492.159-495.570=-3.411
σ	76.861-104.630=-27.770
min	383.675-405.347=-21.672
max	634.035-722.652=-88.618

phase=processProdDef

*mean*	4850.767
σ	0.000
min	4850.767
max	4850.767

*mean*	962.000-963.000=-1.000
σ	0.000
min	962.000-963.000=-1.000
max	962.000-963.000=-1.000

*mean*	4945.396-4827.707=117.689
σ	395.300-510.049=-114.749
min	4412.889-3787.479=625.410
max	5408.975-5426.514=-17.539

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	953.250-954.250=-1.000
σ	24.749
min	892.000-893.000=-1.000
max	962.000-963.000=-1.000

*mean*	36.401-33.141=3.261
σ	9.817-10.541=-0.724
min	20.874-20.515=0.359
max	47.294-47.590=-0.296

phase=type checker

*mean*	990.454
σ	0.071
min	990.348
max	990.567

*mean*	953.875-954.750=-0.875
σ	22.981-23.335=-0.354
min	897.000
max	962.000-963.000=-1.000

*mean*	688.169-695.992=-7.824
σ	30.834-47.253=-16.420
min	643.360-654.467=-11.107
max	754.954-796.528=-41.574

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

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

*mean*	442.400-439.200=3.200
σ	0.548-1.643=-1.095
min	442.000-438.000=4.000
max	443.000-441.000=2.000

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

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.199-1320.217=-0.018
σ	0.091-0.035=0.056
min	1320.084-1320.162=-0.079
max	1320.338-1320.249=0.089

*mean*	1065.400-1083.000=-17.600
σ	165.364-172.272=-6.907
min	842.000-877.000=-35.000
max	1267.000-1314.000=-47.000

*mean*	2.145-2.284=-0.138
σ	0.205-0.153=0.051
min	2.020-2.176=-0.157
max	2.505-2.549=-0.044

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.617-1560.601=0.016
σ	6.232-6.196=0.035
min	1557.616-1557.636=-0.020
max	1571.759-1571.681=0.077

*mean*	618.200-609.000=9.200
σ	82.309-94.655=-12.346
min	494.000-495.000=-1.000
max	715.000-732.000=-17.000

*mean*	2.383-2.236=0.147
σ	0.252-0.049=0.203
min	2.086-2.170=-0.085
max	2.717-2.303=0.414

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.184-1882.175=0.009
σ	0.069-0.058=0.011
min	1882.102-1882.105=-0.003
max	1882.274-1882.256=0.018

*mean*	1708.600-1726.200=-17.600
σ	257.757-179.998=77.759
min	1393.000-1467.000=-74.000
max	2051.000-1889.000=162.000

*mean*	2.955-3.146=-0.191
σ	0.097-0.282=-0.185
min	2.832-2.942=-0.110
max	3.079-3.618=-0.539

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.738-1.710=0.027
σ	0.168-0.162=0.006
min	1.463-1.461=0.002
max	1.910-1.854=0.056

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.082-452.083=-0.001
σ	582.722-582.722=0.000
min	160.720-160.721=-0.000
max	1326.166-1326.167=-0.001

*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.549=-0.013
σ	0.535-0.554=-0.018
min	0.266-0.267=-0.001
max	1.339-1.380=-0.041

policies=20

*mean*	1607.506-1607.535=-0.028
σ	0.412-0.404=0.007
min	1607.228-1607.258=-0.029
max	1608.116-1608.133=-0.017

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	449.000-444.750=4.250
σ	8.083-7.500=0.583
min	442.000-441.000=1.000
max	456.000

*mean*	2.688-2.681=0.006
σ	0.011-0.022=-0.011
min	2.674-2.663=0.011
max	2.697-2.709=-0.012

policies=200

*mean*	16083.472-16083.370=0.102
σ	0.173-0.184=-0.011
min	16083.295-16083.167=0.128
max	16083.692-16083.609=0.083

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	496.500-494.750=1.750
σ	3.317-5.377=-2.061
min	492.000-488.000=4.000
max	500.000-501.000=-1.000

*mean*	27.154-27.185=-0.031
σ	0.062-0.064=-0.002
min	27.098-27.114=-0.016
max	27.233-27.269=-0.036