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.358=-0.000
min	54.749-54.756=-0.007
max	55.907-55.909=-0.001

*mean*	416.000-419.000=-3.000
σ	0.000
min	416.000-419.000=-3.000
max	416.000-419.000=-3.000

*mean*	0.139-0.141=-0.002
σ	0.005-0.007=-0.002
min	0.133-0.132=0.001
max	0.148-0.150=-0.003

cache=y

dps=1

iters=10

policies=100

*mean*	43.857-43.855=0.002
σ	0.006-0.007=-0.001
min	43.848-43.843=0.005
max	43.870-43.868=0.002

*mean*	416.000-419.000=-3.000
σ	0.000
min	416.000-419.000=-3.000
max	416.000-419.000=-3.000

*mean*	0.132-0.124=0.007
σ	0.011-0.005=0.006
min	0.120-0.119=0.001
max	0.152-0.131=0.021

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

*mean*	4044.500-4036.500=8.000
σ	2010.123-2007.263=2.860
min	1218.000-1217.000=1.000
max	7149.000-7136.000=13.000

*mean*	12.989-12.949=0.040
σ	1.763-0.326=1.437
min	11.993-12.453=-0.461
max	17.284-13.256=4.028

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-4036.500=8.000
σ	2010.123-2007.263=2.860
min	1218.000-1217.000=1.000
max	7149.000-7136.000=13.000

*mean*	13.003-13.367=-0.364
σ	1.637-0.462=1.176
min	11.407-12.364=-0.956
max	16.805-13.773=3.033

op=table_records(), no indexes

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

*mean*	7149.000-7136.000=13.000
σ	0.000
min	7149.000-7136.000=13.000
max	7149.000-7136.000=13.000

*mean*	14.768-15.083=-0.316
σ	0.203-1.385=-1.182
min	14.482-11.663=2.819
max	15.032-15.770=-0.738

op=table_records(), repeat

*mean*	41.930-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*	4044.500-4036.500=8.000
σ	2010.123-2007.263=2.860
min	1218.000-1217.000=1.000
max	7149.000-7136.000=13.000

*mean*	14.280-13.987=0.293
σ	1.670-1.984=-0.314
min	10.372-11.323=-0.951
max	15.390-16.457=-1.067

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-4036.500=8.000
σ	2010.123-2007.263=2.860
min	1218.000-1217.000=1.000
max	7149.000-7136.000=13.000

*mean*	9.113-9.673=-0.560
σ	1.234-1.311=-0.077
min	8.033-8.722=-0.690
max	11.877-12.793=-0.916

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

*mean*	4044.500-4036.500=8.000
σ	2010.123-2007.263=2.860
min	1218.000-1217.000=1.000
max	7149.000-7136.000=13.000

*mean*	7.047-7.091=-0.044
σ	1.252-1.266=-0.014
min	6.144-6.228=-0.084
max	9.732-10.130=-0.398

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.668-25.668=0.000
σ	0.004-0.004=-0.000
min	25.665
max	25.677

*mean*	4044.500-4036.500=8.000
σ	2010.123-2007.263=2.860
min	1218.000-1217.000=1.000
max	7149.000-7136.000=13.000

*mean*	5.592-6.068=-0.475
σ	0.530-0.163=0.367
min	5.297-5.871=-0.574
max	6.859-6.372=0.487

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-4036.500=8.000
σ	2010.123-2007.263=2.860
min	1218.000-1217.000=1.000
max	7149.000-7136.000=13.000

*mean*	5.503-5.589=-0.087
σ	0.514-0.147=0.367
min	5.177-5.427=-0.250
max	6.757-5.817=0.939

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.613
σ	0.002-0.002=-0.000
min	1021.612
max	1021.616

*mean*	7149.000-7136.000=13.000
σ	0.000
min	7149.000-7136.000=13.000
max	7149.000-7136.000=13.000

*mean*	373.847-362.763=11.084
σ	76.941-42.126=34.816
min	343.418-344.748=-1.330
max	564.190-466.868=97.323

op=load_product(), with indexes

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

*mean*	3275.500-3268.750=6.750
σ	1826.597-1823.917=2.680
min	810.000-811.000=-1.000
max	5626.000-5619.000=7.000

*mean*	3681.298-3604.271=77.027
σ	1078.654-961.821=116.833
min	3079.118-3115.315=-36.197
max	6164.655-5755.887=408.768

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*	4044.500-4036.500=8.000
σ	2010.123-2007.263=2.860
min	1218.000-1217.000=1.000
max	7149.000-7136.000=13.000

*mean*	85.180-84.372=0.808
σ	18.878-18.000=0.878
min	69.729-70.074=-0.345
max	119.354-124.653=-5.299

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7149.000-7136.000=13.000
σ	0.000
min	7149.000-7136.000=13.000
max	7149.000-7136.000=13.000

*mean*	59.719-76.977=-17.258
σ	0.265-42.491=-42.227
min	59.444-60.480=-1.036
max	60.254-181.931=-121.677

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*	7149.000-7136.000=13.000
σ	0.000
min	7149.000-7136.000=13.000
max	7149.000-7136.000=13.000

*mean*	98.501-212.102=-113.601
σ	0.652-318.255=-317.603
min	97.513-98.245=-0.732
max	99.234-999.720=-900.486

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

*mean*	4044.500-4036.500=8.000
σ	2010.123-2007.263=2.860
min	1218.000-1217.000=1.000
max	7149.000-7136.000=13.000

*mean*	7692.457-8093.382=-400.924
σ	1850.731-1764.253=86.478
min	5990.147-6008.693=-18.546
max	10878.626-10258.179=620.447

op=vertical_lookup_list() on indexed

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

*mean*	7149.000-7136.000=13.000
σ	0.000
min	7149.000-7136.000=13.000
max	7149.000-7136.000=13.000

*mean*	5127.200-5512.928=-385.728
σ	199.799-1095.222=-895.424
min	4998.744-5042.354=-43.610
max	5490.801-8193.832=-2703.031

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-382.869=-51.683
σ	35.703-16.721=18.982
min	292.542-356.380=-63.838
max	396.699-398.568=-1.869

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	559.000-561.000=-2.000
σ	0.000
min	559.000-561.000=-2.000
max	559.000-561.000=-2.000

*mean*	713.932-751.601=-37.669
σ	83.494-49.146=34.348
min	602.509-647.380=-44.871
max	828.175-791.019=37.156

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.823=0.005
max	1027.434-1027.435=-0.001

*mean*	1040.600-1036.000=4.600
σ	300.046-303.702=-3.656
min	552.000
max	1461.000

*mean*	1.558-1.570=-0.012
σ	0.080-0.102=-0.022
min	1.469-1.484=-0.015
max	1.800-1.853=-0.053

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.435=0.006
σ	0.489-0.598=-0.109
min	0.157-0.147=0.010
max	1.313-1.504=-0.191

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.836=-0.007
σ	0.527-0.527=-0.000
min	0.571-0.571=-0.000
max	1.770-1.778=-0.007

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.388=-0.004
σ	0.041-0.037=0.003
min	0.350-0.359=-0.008
max	0.454-0.452=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.604-0.592=0.011
σ	0.035-0.020=0.015
min	0.572-0.570=0.002
max	0.661-0.623=0.038

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.800=4.200
σ	2.236-1.789=0.447
min	432.000-431.000=1.000
max	437.000-435.000=2.000

*mean*	0.639-0.587=0.053
σ	0.102-0.103=-0.001
min	0.525-0.472=0.053
max	0.758-0.752=0.006

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	437.000-442.000=-5.000
σ	0.000
min	437.000-442.000=-5.000
max	437.000-442.000=-5.000

*mean*	0.462-0.471=-0.009
σ	0.023-0.062=-0.040
min	0.439-0.376=0.063
max	0.498-0.530=-0.031

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-442.000=-5.000
σ	0.000
min	437.000-442.000=-5.000
max	437.000-442.000=-5.000

*mean*	2.584-2.031=0.553
σ	0.172-0.162=0.010
min	1.996-1.867=0.129
max	2.991-2.684=0.306

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	437.000-442.000=-5.000
σ	0.000
min	437.000-442.000=-5.000
max	437.000-442.000=-5.000

*mean*	2.583-1.989=0.594
σ	0.096-0.072=0.023
min	2.422-1.846=0.576
max	2.922-2.326=0.596

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	437.000-442.000=-5.000
σ	0.000
min	437.000-442.000=-5.000
max	437.000-442.000=-5.000

*mean*	0.312-0.305=0.006
σ	0.035-0.008=0.027
min	0.292-0.291=0.001
max	0.644-0.346=0.298

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	437.000-442.000=-5.000
σ	0.000
min	437.000-442.000=-5.000
max	437.000-442.000=-5.000

*mean*	0.293-0.301=-0.009
σ	0.008-0.039=-0.031
min	0.280-0.281=-0.000
max	0.345-0.557=-0.212

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.817-298.476=0.342
σ	1.029-1.046=-0.017
min	298.409-298.079=0.330
max	301.742-301.451=0.291

*mean*	441.600-441.700=-0.100
σ	14.470-13.784=0.685
min	420.000
max	464.000-463.000=1.000

*mean*	0.605-0.604=0.001
σ	0.015-0.021=-0.006
min	0.581-0.579=0.002
max	0.634-0.647=-0.013

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*	942.625
σ	15.203-18.031=-2.828
min	905.000-898.000=7.000
max	948.000-949.000=-1.000

*mean*	204.932-212.261=-7.329
σ	4.558-5.311=-0.753
min	198.365-201.899=-3.533
max	211.281-218.104=-6.824

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	942.625-941.125=1.500
σ	15.203-22.274=-7.071
min	905.000-886.000=19.000
max	948.000-949.000=-1.000

*mean*	8.806-9.249=-0.443
σ	1.610-1.120=0.490
min	6.437-6.505=-0.068
max	10.848-9.989=0.859

phase=parser

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

*mean*	942.625-941.125=1.500
σ	15.203-22.274=-7.071
min	905.000-886.000=19.000
max	948.000-949.000=-1.000

*mean*	514.507-519.509=-5.002
σ	94.213-71.777=22.436
min	375.210-405.884=-30.675
max	619.013-620.180=-1.167

phase=processProdDef

*mean*	4850.767
σ	0.000
min	4850.767
max	4850.767

*mean*	948.000-949.000=-1.000
σ	0.000
min	948.000-949.000=-1.000
max	948.000-949.000=-1.000

*mean*	5020.256-5114.410=-94.155
σ	367.075-203.034=164.042
min	4561.712-4795.122=-233.410
max	5547.018-5394.866=152.152

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	942.625-941.125=1.500
σ	15.203-22.274=-7.071
min	905.000-886.000=19.000
max	948.000-949.000=-1.000

*mean*	33.895-39.090=-5.195
σ	9.562-8.159=1.404
min	21.201-21.123=0.078
max	44.785-50.759=-5.975

phase=type checker

*mean*	990.454
σ	0.071
min	990.348
max	990.567

*mean*	942.625-942.500=0.125
σ	15.203-18.385=-3.182
min	905.000-897.000=8.000
max	948.000-949.000=-1.000

*mean*	727.758-703.176=24.582
σ	79.228-38.398=40.830
min	650.722-655.887=-5.165
max	881.315-787.338=93.977

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.822-293.819=0.003
σ	0.038-0.038=-0.000
min	293.770-293.768=0.002
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.394=0.007

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.218-1320.218=-0.000
σ	0.043-0.033=0.010
min	1320.149-1320.170=-0.021
max	1320.255-1320.251=0.004

*mean*	1066.000-1066.800=-0.800
σ	165.398-166.291=-0.893
min	842.000-843.000=-1.000
max	1267.000-1271.000=-4.000

*mean*	2.265-2.280=-0.015
σ	0.099-0.096=0.003
min	2.165-2.186=-0.021
max	2.417-2.435=-0.018

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.614-1560.598=0.016
σ	6.216-6.209=0.008
min	1557.633-1557.612=0.021
max	1571.730-1571.701=0.029

*mean*	619.000
σ	82.686-82.741=-0.054
min	494.000
max	716.000

*mean*	2.290-2.268=0.023
σ	0.137-0.124=0.012
min	2.153-2.127=0.026
max	2.512-2.452=0.060

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.176-1882.172=0.004
σ	0.058-0.055=0.003
min	1882.112-1882.114=-0.002
max	1882.252-1882.245=0.007

*mean*	1710.600-1701.000=9.600
σ	257.948-257.036=0.912
min	1395.000-1400.000=-5.000
max	2054.000-2057.000=-3.000

*mean*	2.969-2.949=0.020
σ	0.077-0.079=-0.002
min	2.884-2.875=0.009
max	3.048-3.058=-0.009

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.759-1.726=0.033
σ	0.091-0.140=-0.048
min	1.618-1.534=0.084
max	1.853-1.856=-0.003

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.082-452.080=0.003
σ	582.723-582.723=0.000
min	160.717-160.714=0.002
max	1326.166-1326.164=0.003

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.547-0.546=0.001
σ	0.547-0.538=0.008
min	0.267-0.269=-0.003
max	1.367-1.354=0.013

policies=20

*mean*	1607.538-1607.519=0.019
σ	0.418-0.425=-0.007
min	1607.257-1607.230=0.027
max	1608.158-1608.148=0.010

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	450.500-450.000=0.500
σ	8.660-8.083=0.577
min	443.000
max	458.000-457.000=1.000

*mean*	2.708-2.706=0.001
σ	0.021-0.022=-0.001
min	2.682-2.683=-0.001
max	2.731-2.732=-0.001

policies=200

*mean*	16083.453-16083.464=-0.012
σ	0.195-0.108=0.087
min	16083.328-16083.363=-0.035
max	16083.741-16083.605=0.136

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	496.750-495.250=1.500
σ	2.986-4.573=-1.587
min	494.000-490.000=4.000
max	501.000

*mean*	27.222-27.369=-0.147
σ	0.162-0.246=-0.084
min	27.070-27.192=-0.122
max	27.440-27.732=-0.292