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.889-54.889=0.000
σ	0.358-0.360=-0.002
min	54.749
max	55.907-55.913=-0.006

*mean*	416.000-417.000=-1.000
σ	0.000
min	416.000-417.000=-1.000
max	416.000-417.000=-1.000

*mean*	0.139-0.141=-0.002
σ	0.005-0.005=-0.000
min	0.133-0.136=-0.003
max	0.148-0.149=-0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.857-43.854=0.004
σ	0.006-0.007=-0.001
min	43.848-43.841=0.007
max	43.870-43.868=0.002

*mean*	416.000-417.000=-1.000
σ	0.000
min	416.000-417.000=-1.000
max	416.000-417.000=-1.000

*mean*	0.132-0.123=0.009
σ	0.011-0.006=0.005
min	0.120-0.115=0.005
max	0.152-0.132=0.020

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*	4044.500-4042.500=2.000
σ	2010.123-2009.182=0.941
min	1218.000
max	7149.000-7150.000=-1.000

*mean*	12.989-12.284=0.705
σ	1.763-0.269=1.494
min	11.993-11.932=0.061
max	17.284-12.655=4.629

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*	4044.500-4042.500=2.000
σ	2010.123-2009.182=0.941
min	1218.000
max	7149.000-7150.000=-1.000

*mean*	13.003-12.395=0.608
σ	1.637-0.668=0.969
min	11.407-11.239=0.169
max	16.805-12.863=3.943

op=table_records(), no indexes

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

*mean*	7149.000-7150.000=-1.000
σ	0.000
min	7149.000-7150.000=-1.000
max	7149.000-7150.000=-1.000

*mean*	14.768-14.712=0.056
σ	0.203-0.191=0.012
min	14.482-14.418=0.064
max	15.032-15.019=0.013

op=table_records(), repeat

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

*mean*	4044.500-4042.500=2.000
σ	2010.123-2009.182=0.941
min	1218.000
max	7149.000-7150.000=-1.000

*mean*	14.280-13.614=0.667
σ	1.670-1.559=0.111
min	10.372-10.259=0.113
max	15.390-15.279=0.111

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

*mean*	4044.500-4042.500=2.000
σ	2010.123-2009.182=0.941
min	1218.000
max	7149.000-7150.000=-1.000

*mean*	9.113-9.309=-0.197
σ	1.234-1.357=-0.123
min	8.033-8.292=-0.260
max	11.877-12.373=-0.496

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*	4044.500-4042.500=2.000
σ	2010.123-2009.182=0.941
min	1218.000
max	7149.000-7150.000=-1.000

*mean*	7.047-7.234=-0.187
σ	1.252-1.224=0.029
min	6.144-6.218=-0.074
max	9.732-9.914=-0.182

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.666=-0.000
max	25.677-25.678=-0.000

*mean*	4044.500-4042.500=2.000
σ	2010.123-2009.182=0.941
min	1218.000
max	7149.000-7150.000=-1.000

*mean*	5.592-5.589=0.003
σ	0.530-0.093=0.437
min	5.297-5.388=-0.092
max	6.859-5.682=1.177

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

*mean*	4044.500-4042.500=2.000
σ	2010.123-2009.182=0.941
min	1218.000
max	7149.000-7150.000=-1.000

*mean*	5.503-5.399=0.104
σ	0.514-0.071=0.443
min	5.177-5.290=-0.113
max	6.757-5.493=1.263

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*	7149.000-7150.000=-1.000
σ	0.000
min	7149.000-7150.000=-1.000
max	7149.000-7150.000=-1.000

*mean*	373.847-377.478=-3.631
σ	76.941-84.374=-7.432
min	343.418-343.600=-0.182
max	564.190-586.202=-22.012

op=load_product(), with indexes

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

*mean*	3275.500-3273.500=2.000
σ	1826.597-1824.195=2.402
min	810.000-809.000=1.000
max	5626.000-5622.000=4.000

*mean*	3681.298-3612.105=69.193
σ	1078.654-1033.662=44.992
min	3079.118-3102.533=-23.415
max	6164.655-5982.640=182.014

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*	4044.500-4042.500=2.000
σ	2010.123-2009.182=0.941
min	1218.000
max	7149.000-7150.000=-1.000

*mean*	85.180-88.697=-3.517
σ	18.878-21.347=-2.469
min	69.729-69.828=-0.100
max	119.354-121.334=-1.980

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7149.000-7150.000=-1.000
σ	0.000
min	7149.000-7150.000=-1.000
max	7149.000-7150.000=-1.000

*mean*	59.719-60.479=-0.760
σ	0.265-0.293=-0.029
min	59.444-60.006=-0.561
max	60.254-60.814=-0.560

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*	7149.000-7150.000=-1.000
σ	0.000
min	7149.000-7150.000=-1.000
max	7149.000-7150.000=-1.000

*mean*	98.501-99.679=-1.178
σ	0.652-0.685=-0.033
min	97.513-98.209=-0.696
max	99.234-100.543=-1.309

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4044.500-4042.500=2.000
σ	2010.123-2009.182=0.941
min	1218.000
max	7149.000-7150.000=-1.000

*mean*	7692.457-7827.543=-135.086
σ	1850.731-1871.453=-20.722
min	5990.147-6012.739=-22.591
max	10878.626-10683.885=194.740

op=vertical_lookup_list() on indexed

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

*mean*	7149.000-7150.000=-1.000
σ	0.000
min	7149.000-7150.000=-1.000
max	7149.000-7150.000=-1.000

*mean*	5127.200-5121.913=5.287
σ	199.799-191.316=8.483
min	4998.744-5004.673=-5.929
max	5490.801-5502.942=-12.141

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*	331.186-371.718=-40.532
σ	35.703-25.232=10.472
min	292.542-331.123=-38.581
max	396.699-392.931=3.768

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*	713.932-763.882=-49.950
σ	83.494-27.820=55.674
min	602.509-716.173=-113.664
max	828.175-783.360=44.815

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

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

*mean*	1040.600-1053.600=-13.000
σ	300.046-312.486=-12.441
min	552.000-569.000=-17.000
max	1461.000-1511.000=-50.000

*mean*	1.558-1.548=0.010
σ	0.080-0.047=0.033
min	1.469-1.486=-0.017
max	1.800-1.645=0.155

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.441-0.285=0.155
σ	0.489-0.263=0.226
min	0.157-0.141=0.016
max	1.313-0.751=0.562

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.829-0.471=0.358
σ	0.527-0.321=0.206
min	0.571-0.316=0.255
max	1.770-1.045=0.726

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.383-0.219=0.164
σ	0.041-0.021=0.020
min	0.350-0.201=0.150
max	0.454-0.255=0.199

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.604-0.328=0.276
σ	0.035-0.018=0.018
min	0.572-0.314=0.258
max	0.661-0.357=0.304

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*	436.000-431.000=5.000
σ	2.236-0.000=2.236
min	432.000-431.000=1.000
max	437.000-431.000=6.000

*mean*	0.639-0.531=0.109
σ	0.102-0.051=0.050
min	0.525-0.484=0.041
max	0.758-0.609=0.149

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

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

*mean*	0.462-0.497=-0.035
σ	0.023-0.029=-0.006
min	0.439-0.446=-0.007
max	0.498-0.518=-0.020

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

*mean*	2.584-2.590=-0.006
σ	0.172-0.089=0.083
min	1.996-2.452=-0.456
max	2.991-2.868=0.123

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

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

*mean*	2.583-2.590=-0.007
σ	0.096-0.097=-0.001
min	2.422-2.453=-0.031
max	2.922-2.895=0.027

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

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

*mean*	0.312-0.310=0.001
σ	0.035-0.024=0.011
min	0.292-0.290=0.002
max	0.644-0.519=0.125

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

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

*mean*	0.293-0.296=-0.003
σ	0.008-0.013=-0.005
min	0.280-0.280=0.000
max	0.345-0.385=-0.040

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.817-298.462=0.356
σ	1.029-1.011=0.018
min	298.409-298.056=0.353
max	301.742-301.336=0.406

*mean*	441.600-441.200=0.400
σ	14.470-13.497=0.973
min	420.000
max	464.000-461.000=3.000

*mean*	0.605-0.590=0.015
σ	0.015-0.032=-0.017
min	0.581-0.529=0.053
max	0.634-0.643=-0.010

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*	942.625-954.000=-11.375
σ	15.203-22.627=-7.425
min	905.000-898.000=7.000
max	948.000-962.000=-14.000

*mean*	204.932-209.425=-4.492
σ	4.558-3.552=1.006
min	198.365-203.721=-5.356
max	211.281-213.507=-2.226

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	942.625-953.250=-10.625
σ	15.203-24.749=-9.546
min	905.000-892.000=13.000
max	948.000-962.000=-14.000

*mean*	8.806-9.290=-0.484
σ	1.610-2.033=-0.423
min	6.437-6.389=0.048
max	10.848-12.718=-1.870

phase=parser

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

*mean*	942.625-953.250=-10.625
σ	15.203-24.749=-9.546
min	905.000-892.000=13.000
max	948.000-962.000=-14.000

*mean*	514.507-492.159=22.348
σ	94.213-76.861=17.352
min	375.210-383.675=-8.465
max	619.013-634.035=-15.022

phase=processProdDef

*mean*	4850.767
σ	0.000
min	4850.767
max	4850.767

*mean*	948.000-962.000=-14.000
σ	0.000
min	948.000-962.000=-14.000
max	948.000-962.000=-14.000

*mean*	5020.256-4945.396=74.860
σ	367.075-395.300=-28.224
min	4561.712-4412.889=148.823
max	5547.018-5408.975=138.043

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	942.625-953.250=-10.625
σ	15.203-24.749=-9.546
min	905.000-892.000=13.000
max	948.000-962.000=-14.000

*mean*	33.895-36.401=-2.507
σ	9.562-9.817=-0.255
min	21.201-20.874=0.327
max	44.785-47.294=-2.510

phase=type checker

*mean*	990.454
σ	0.071
min	990.348
max	990.567

*mean*	942.625-953.875=-11.250
σ	15.203-22.981=-7.778
min	905.000-897.000=8.000
max	948.000-962.000=-14.000

*mean*	727.758-688.169=39.590
σ	79.228-30.834=48.394
min	650.722-643.360=7.362
max	881.315-754.954=126.360

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

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

*mean*	443.000-442.400=0.600
σ	0.000-0.548=-0.548
min	443.000-442.000=1.000
max	443.000

*mean*	0.395-0.393=0.002
σ	0.004-0.001=0.003
min	0.390-0.392=-0.002
max	0.401-0.395=0.006

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.218-1320.199=0.019
σ	0.043-0.091=-0.048
min	1320.149-1320.084=0.065
max	1320.255-1320.338=-0.083

*mean*	1066.000-1065.400=0.600
σ	165.398-165.364=0.034
min	842.000
max	1267.000

*mean*	2.265-2.145=0.120
σ	0.099-0.205=-0.106
min	2.165-2.020=0.146
max	2.417-2.505=-0.088

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.614-1560.617=-0.004
σ	6.216-6.232=-0.015
min	1557.633-1557.616=0.017
max	1571.730-1571.759=-0.029

*mean*	619.000-618.200=0.800
σ	82.686-82.309=0.378
min	494.000
max	716.000-715.000=1.000

*mean*	2.290-2.383=-0.093
σ	0.137-0.252=-0.115
min	2.153-2.086=0.068
max	2.512-2.717=-0.204

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.176-1882.184=-0.008
σ	0.058-0.069=-0.012
min	1882.112-1882.102=0.010
max	1882.252-1882.274=-0.022

*mean*	1710.600-1708.600=2.000
σ	257.948-257.757=0.191
min	1395.000-1393.000=2.000
max	2054.000-2051.000=3.000

*mean*	2.969-2.955=0.014
σ	0.077-0.097=-0.020
min	2.884-2.832=0.052
max	3.048-3.079=-0.031

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.759-1.738=0.021
σ	0.091-0.168=-0.077
min	1.618-1.463=0.155
max	1.853-1.910=-0.056

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.082-452.082=-0.000
σ	582.723-582.722=0.000
min	160.717-160.720=-0.003
max	1326.166-1326.166=0.001

*mean*	102.250
σ	8.500
min	98.000
max	115.000

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

*mean*	0.547-0.536=0.011
σ	0.547-0.535=0.011
min	0.267-0.266=0.001
max	1.367-1.339=0.028

policies=20

*mean*	1607.538-1607.506=0.032
σ	0.418-0.412=0.006
min	1607.257-1607.228=0.029
max	1608.158-1608.116=0.042

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	450.500-449.000=1.500
σ	8.660-8.083=0.577
min	443.000-442.000=1.000
max	458.000-456.000=2.000

*mean*	2.708-2.688=0.020
σ	0.021-0.011=0.010
min	2.682-2.674=0.008
max	2.731-2.697=0.034

policies=200

*mean*	16083.453-16083.472=-0.019
σ	0.195-0.173=0.022
min	16083.328-16083.295=0.033
max	16083.741-16083.692=0.049

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	496.750-496.500=0.250
σ	2.986-3.317=-0.331
min	494.000-492.000=2.000
max	501.000-500.000=1.000

*mean*	27.222-27.154=0.068
σ	0.162-0.062=0.101
min	27.070-27.098=-0.027
max	27.440-27.233=0.208