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.677=0.212
σ	0.358-0.358=0.001
min	54.752-54.541=0.211
max	55.908-55.693=0.215

*mean*	416.000-418.000=-2.000
σ	0.000
min	416.000-418.000=-2.000
max	416.000-418.000=-2.000

*mean*	0.140-0.139=0.001
σ	0.006-0.005=0.001
min	0.132-0.132=0.000
max	0.149-0.148=0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.856-43.705=0.151
σ	0.006-0.007=-0.002
min	43.846-43.694=0.152
max	43.862-43.718=0.144

*mean*	416.000-418.000=-2.000
σ	0.000
min	416.000-418.000=-2.000
max	416.000-418.000=-2.000

*mean*	0.124-0.122=0.001
σ	0.005-0.005=-0.000
min	0.118-0.116=0.002
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*	4041.375-3874.000=167.375
σ	2009.245-1847.279=161.967
min	1219.000-1279.000=-60.000
max	7149.000-6160.000=989.000

*mean*	12.806-12.374=0.432
σ	0.246-0.209=0.037
min	12.429-12.086=0.343
max	13.167-12.685=0.481

op=column_set() on indexed, repeat

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

*mean*	4041.375-3874.000=167.375
σ	2009.245-1847.279=161.967
min	1219.000-1279.000=-60.000
max	7149.000-6160.000=989.000

*mean*	13.006-12.115=0.891
σ	0.446-0.595=-0.148
min	12.226-11.511=0.715
max	13.569-13.105=0.464

op=table_records(), no indexes

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

*mean*	7149.000-6160.000=989.000
σ	0.000
min	7149.000-6160.000=989.000
max	7149.000-6160.000=989.000

*mean*	15.368-14.914=0.454
σ	0.276-0.207=0.069
min	15.137-14.725=0.412
max	15.978-15.316=0.663

op=table_records(), repeat

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

*mean*	4041.375-3874.000=167.375
σ	2009.245-1847.279=161.967
min	1219.000-1279.000=-60.000
max	7149.000-6160.000=989.000

*mean*	14.144-12.498=1.646
σ	1.732-1.991=-0.260
min	11.260-10.495=0.765
max	15.674-14.686=0.988

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

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

*mean*	4041.375-3874.000=167.375
σ	2009.245-1847.279=161.967
min	1219.000-1279.000=-60.000
max	7149.000-6160.000=989.000

*mean*	9.597-8.732=0.864
σ	1.250-0.386=0.864
min	8.716-8.171=0.546
max	12.597-9.215=3.382

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

*mean*	26.401-26.402=-0.000
σ	0.002-0.002=-0.000
min	26.400-26.400=0.000
max	26.404-26.404=0.000

*mean*	4041.375-3874.000=167.375
σ	2009.245-1847.279=161.967
min	1219.000-1279.000=-60.000
max	7149.000-6160.000=989.000

*mean*	7.471-6.045=1.426
σ	1.140-0.520=0.620
min	6.873-5.136=1.738
max	10.270-6.828=3.442

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.668-25.669=-0.001
σ	0.004-0.003=0.002
min	25.665-25.666=-0.000
max	25.678-25.674=0.004

*mean*	4041.375-3874.000=167.375
σ	2009.245-1847.279=161.967
min	1219.000-1279.000=-60.000
max	7149.000-6160.000=989.000

*mean*	6.158-5.649=0.510
σ	0.177-0.193=-0.016
min	5.829-5.276=0.553
max	6.373-5.895=0.478

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970-25.970=-0.000
σ	0.002-0.002=-0.001
min	25.968-25.968=0.000
max	25.972-25.974=-0.001

*mean*	4041.375-3874.000=167.375
σ	2009.245-1847.279=161.967
min	1219.000-1279.000=-60.000
max	7149.000-6160.000=989.000

*mean*	5.834-5.183=0.651
σ	0.185-0.170=0.015
min	5.484-4.927=0.557
max	6.065-5.392=0.673

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.613-2524.604=-1502.991
σ	0.002-0.002=-0.000
min	1021.612-2524.602=-1502.990
max	1021.616-2524.606=-1502.990

*mean*	7149.000-6160.000=989.000
σ	0.000
min	7149.000-6160.000=989.000
max	7149.000-6160.000=989.000

*mean*	381.022-1371.065=-990.043
σ	87.740-588.320=-500.580
min	346.598-1034.217=-687.619
max	598.103-2445.043=-1846.940

op=load_product(), with indexes

*mean*	7917.793-7878.102=39.691
σ	0.469-0.469=-0.000
min	7917.625-7877.935=39.691
max	7918.954-7879.264=39.690

*mean*	3271.750-3233.125=38.625
σ	1824.872-1838.321=-13.448
min	810.000
max	5623.000-6160.000=-537.000

*mean*	3644.857-3811.157=-166.300
σ	1110.781-1280.575=-169.794
min	3108.255-3113.200=-4.945
max	6223.513-6200.475=23.038

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.077-62.078=-0.001
σ	0.002-0.002=-0.000
min	62.076-62.076=0.000
max	62.080-62.081=-0.001

*mean*	4041.375-3874.000=167.375
σ	2009.245-1847.279=161.967
min	1219.000-1279.000=-60.000
max	7149.000-6160.000=989.000

*mean*	87.991-80.674=7.316
σ	20.279-8.807=11.472
min	70.125-70.602=-0.477
max	124.014-93.479=30.535

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946-40.946=0.000
σ	0.002-0.002=0.000
min	40.945-40.945=0.000
max	40.950-40.948=0.001

*mean*	7149.000-6160.000=989.000
σ	0.000
min	7149.000-6160.000=989.000
max	7149.000-6160.000=989.000

*mean*	61.074-62.924=-1.850
σ	1.249-3.115=-1.866
min	60.238-61.327=-1.089
max	64.002-70.313=-6.311

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.688-66.687=0.000
σ	0.002-0.002=0.000
min	66.686-66.686=0.000
max	66.691-66.690=0.001

*mean*	7149.000-6160.000=989.000
σ	0.000
min	7149.000-6160.000=989.000
max	7149.000-6160.000=989.000

*mean*	100.230-99.306=0.923
σ	1.465-1.254=0.211
min	98.826-97.812=1.014
max	103.620-101.812=1.809

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	14217.171-11849.156=2368.015
σ	4.304-4.304=-0.000
min	14215.576-11847.561=2368.015
max	14227.820-11859.806=2368.014

*mean*	4041.375-3874.000=167.375
σ	2009.245-1847.279=161.967
min	1219.000-1279.000=-60.000
max	7149.000-6160.000=989.000

*mean*	7803.289-6216.503=1586.786
σ	2021.492-1204.351=817.141
min	6002.162-5032.299=969.864
max	10931.030-8160.734=2770.297

op=vertical_lookup_list() on indexed

*mean*	13159.108-10791.093=2368.015
σ	0.002-0.002=-0.000
min	13159.106-10791.091=2368.015
max	13159.110-10791.096=2368.014

*mean*	7149.000-6160.000=989.000
σ	0.000
min	7149.000-6160.000=989.000
max	7149.000-6160.000=989.000

*mean*	5294.176-4757.857=536.319
σ	608.580-1341.347=-732.767
min	4992.840-4046.512=946.328
max	6726.137-7602.674=-876.537

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

*mean*	386.827-381.787=5.040
σ	14.980-20.717=-5.737
min	350.172-346.406=3.766
max	395.168-395.144=0.024

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	560.000-562.000=-2.000
σ	0.000
min	560.000-562.000=-2.000
max	560.000-562.000=-2.000

*mean*	777.409-751.341=26.067
σ	27.981-52.690=-24.709
min	718.078-650.376=67.702
max	803.866-788.506=15.360

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.300-1024.327=-0.027
σ	0.759-0.758=0.000
min	1023.826-1023.855=-0.029
max	1027.438-1027.466=-0.028

*mean*	1045.900-1050.850=-4.950
σ	293.476-318.853=-25.377
min	568.000-544.000=24.000
max	1432.000-1562.000=-130.000

*mean*	1.564-1.577=-0.013
σ	0.088-0.076=0.012
min	1.486-1.395=0.091
max	1.856-1.730=0.126

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.452-0.401=0.052
σ	0.579-0.509=0.070
min	0.145-0.142=0.003
max	1.477-1.308=0.170

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.484=-0.014
σ	0.300-0.325=-0.025
min	0.324-0.332=-0.008
max	1.008-1.065=-0.058

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.220-0.217=0.004
σ	0.025-0.022=0.004
min	0.198-0.205=-0.007
max	0.261-0.255=0.006

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.332-0.333=-0.002
σ	0.014-0.011=0.004
min	0.324-0.324=-0.001
max	0.357-0.350=0.008

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*	433.600-434.000=-0.400
σ	3.130-3.674=-0.544
min	431.000
max	437.000-438.000=-1.000

*mean*	0.594-0.546=0.048
σ	0.015-0.043=-0.028
min	0.572-0.491=0.081
max	0.609-0.612=-0.003

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	437.000-438.000=-1.000
σ	0.000
min	437.000-438.000=-1.000
max	437.000-438.000=-1.000

*mean*	0.480-0.426=0.054
σ	0.036-0.033=0.004
min	0.439-0.390=0.049
max	0.520-0.474=0.046

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-438.000=-1.000
σ	0.000
min	437.000-438.000=-1.000
max	437.000-438.000=-1.000

*mean*	2.351-1.848=0.502
σ	0.310-0.071=0.240
min	1.897-1.738=0.158
max	2.719-2.130=0.589

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	437.000-438.000=-1.000
σ	0.000
min	437.000-438.000=-1.000
max	437.000-438.000=-1.000

*mean*	2.628-2.467=0.161
σ	0.086-0.245=-0.159
min	2.456-1.794=0.662
max	2.848-2.732=0.116

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	437.000-438.000=-1.000
σ	0.000
min	437.000-438.000=-1.000
max	437.000-438.000=-1.000

*mean*	0.308-0.311=-0.003
σ	0.027-0.007=0.020
min	0.289-0.299=-0.010
max	0.548-0.348=0.200

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	437.000-438.000=-1.000
σ	0.000
min	437.000-438.000=-1.000
max	437.000-438.000=-1.000

*mean*	0.292-0.295=-0.003
σ	0.010-0.007=0.003
min	0.278-0.284=-0.006
max	0.340-0.340=-0.000

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.693-298.844=-0.151
σ	0.966-1.024=-0.058
min	298.271-298.476=-0.205
max	301.431-301.757=-0.327

*mean*	442.400-445.300=-2.900
σ	14.230-16.077=-1.847
min	418.000-425.000=-7.000
max	466.000-469.000=-3.000

*mean*	0.604-0.594=0.010
σ	0.020-0.031=-0.011
min	0.576-0.527=0.048
max	0.648-0.646=0.002

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

*mean*	942.625-1680.125=-737.500
σ	18.031-2.475=15.556
min	898.000-1674.000=-776.000
max	949.000-1681.000=-732.000

*mean*	207.321-216.713=-9.393
σ	5.702-5.354=0.348
min	199.382-210.432=-11.051
max	215.722-225.827=-10.105

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	941.125-1680.125=-739.000
σ	22.274-2.475=19.799
min	886.000-1674.000=-788.000
max	949.000-1681.000=-732.000

*mean*	9.348-10.204=-0.856
σ	2.529-1.515=1.014
min	6.292-7.388=-1.097
max	12.977-12.835=0.142

phase=parser

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

*mean*	941.125-1680.125=-739.000
σ	22.274-2.475=19.799
min	886.000-1674.000=-788.000
max	949.000-1681.000=-732.000

*mean*	572.709-605.030=-32.321
σ	120.635-89.865=30.770
min	411.113-451.749=-40.635
max	754.802-731.490=23.311

phase=processProdDef

*mean*	4850.765-4753.276=97.489
σ	0.000-0.000=-0.000
min	4850.765-4753.276=97.489
max	4850.765-4753.276=97.489

*mean*	949.000-1681.000=-732.000
σ	0.000
min	949.000-1681.000=-732.000
max	949.000-1681.000=-732.000

*mean*	4903.784-4441.637=462.147
σ	683.201-584.392=98.809
min	3395.512-3505.971=-110.458
max	5473.837-5213.594=260.242

phase=renaming

*mean*	21.675-21.671=0.004
σ	0.000
min	21.675-21.671=0.004
max	21.675-21.671=0.004

*mean*	941.125-1680.125=-739.000
σ	22.274-2.475=19.799
min	886.000-1674.000=-788.000
max	949.000-1681.000=-732.000

*mean*	37.927-36.263=1.664
σ	9.772-5.851=3.921
min	21.171-30.313=-9.141
max	49.354-47.560=1.794

phase=type checker

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

*mean*	942.500-1680.125=-737.625
σ	18.385-2.475=15.910
min	897.000-1674.000=-777.000
max	949.000-1681.000=-732.000

*mean*	773.320-732.988=40.332
σ	90.878-75.162=15.716
min	648.082-656.653=-8.572
max	905.393-880.283=25.110

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.821-293.918=-0.097
σ	0.038-0.038=-0.000
min	293.768-293.865=-0.097
max	293.859-293.957=-0.098

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

*mean*	0.393-0.397=-0.004
σ	0.001-0.006=-0.005
min	0.392-0.392=-0.000
max	0.395-0.404=-0.009

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.217-1320.302=-0.084
σ	0.039-0.043=-0.005
min	1320.159-1320.247=-0.088
max	1320.260-1320.351=-0.091

*mean*	1094.400-1108.000=-13.600
σ	185.280-170.410=14.871
min	838.000-896.000=-58.000
max	1315.000-1331.000=-16.000

*mean*	2.293-2.234=0.059
σ	0.190-0.080=0.109
min	2.159-2.133=0.026
max	2.628-2.320=0.308

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.607-1559.443=1.164
σ	6.231-3.390=2.841
min	1557.605-1557.746=-0.141
max	1571.748-1565.500=6.248

*mean*	618.200-624.400=-6.200
σ	81.729-87.286=-5.556
min	494.000-514.000=-20.000
max	713.000-726.000=-13.000

*mean*	2.299-2.354=-0.055
σ	0.205-0.243=-0.038
min	2.127-2.098=0.029
max	2.651-2.736=-0.085

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.174-1882.277=-0.102
σ	0.046-0.052=-0.006
min	1882.128-1882.213=-0.085
max	1882.234-1882.342=-0.108

*mean*	1721.600-1748.600=-27.000
σ	196.133-210.002=-13.869
min	1454.000-1479.000=-25.000
max	1907.000-1949.000=-42.000

*mean*	3.030-3.337=-0.307
σ	0.107-0.411=-0.304
min	2.893-2.898=-0.005
max	3.171-3.833=-0.661

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.834-1.769=0.066
σ	0.066-0.122=-0.056
min	1.735-1.649=0.086
max	1.896-1.905=-0.009

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.082-452.411=-0.329
σ	582.722-583.278=-0.556
min	160.719-160.770=-0.051
max	1326.166-1327.329=-1.163

*mean*	102.250
σ	8.500
min	98.000
max	115.000

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

*mean*	0.525-0.552=-0.027
σ	0.498-0.564=-0.066
min	0.270-0.268=0.001
max	1.271-1.397=-0.126

policies=20

*mean*	1607.526-1608.047=-0.521
σ	0.414-0.421=-0.007
min	1607.245-1607.760=-0.515
max	1608.139-1608.671=-0.531

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	450.500-448.250=2.250
σ	8.660-1.500=7.160
min	443.000-446.000=-3.000
max	458.000-449.000=9.000

*mean*	2.701-2.708=-0.008
σ	0.023-0.017=0.006
min	2.679-2.688=-0.010
max	2.721-2.723=-0.003

policies=200

*mean*	16083.429-16088.599=-5.170
σ	0.104-0.096=0.009
min	16083.343-16088.513=-5.170
max	16083.579-16088.734=-5.155

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	496.750-498.750=-2.000
σ	3.775-4.031=-0.256
min	492.000-494.000=-2.000
max	501.000-503.000=-2.000

*mean*	27.172-27.369=-0.196
σ	0.060-0.083=-0.023
min	27.127-27.287=-0.160
max	27.260-27.483=-0.223