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
σ	0.000
min	558.633
max	558.633

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.677-54.583=0.094
σ	0.358-0.343=0.014
min	54.541-54.451=0.090
max	55.693-55.559=0.135

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

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

cache=y

dps=1

iters=10

policies=100

*mean*	43.705-43.705=-0.000
σ	0.007-0.007=0.001
min	43.694-43.694=0.000
max	43.718-43.715=0.003

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

*mean*	0.122-0.124=-0.001
σ	0.005-0.005=0.000
min	0.116-0.120=-0.004
max	0.131-0.132=-0.002

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.618-36.618=-0.001
σ	0.002-0.003=-0.001
min	36.616-36.615=0.001
max	36.620-36.623=-0.003

*mean*	3874.000-4149.000=-275.000
σ	1847.279-1897.201=-49.923
min	1279.000-1554.000=-275.000
max	6160.000-7277.000=-1117.000

*mean*	12.374-12.200=0.175
σ	0.209-0.299=-0.090
min	12.086-11.850=0.235
max	12.685-12.625=0.060

op=column_set() on indexed, repeat

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

*mean*	3874.000-4149.000=-275.000
σ	1847.279-1897.201=-49.923
min	1279.000-1554.000=-275.000
max	6160.000-7277.000=-1117.000

*mean*	12.115-12.030=0.085
σ	0.595-0.723=-0.129
min	11.511-11.255=0.256
max	13.105-13.048=0.057

op=table_records(), no indexes

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

*mean*	6160.000-7277.000=-1117.000
σ	0.000
min	6160.000-7277.000=-1117.000
max	6160.000-7277.000=-1117.000

*mean*	14.914-14.689=0.226
σ	0.207-0.413=-0.206
min	14.725-13.825=0.899
max	15.316-15.111=0.205

op=table_records(), repeat

*mean*	41.928-41.928=-0.000
σ	0.000-0.002=-0.001
min	41.928-41.927=0.001
max	41.929-41.931=-0.002

*mean*	3874.000-4149.000=-275.000
σ	1847.279-1897.201=-49.923
min	1279.000-1554.000=-275.000
max	6160.000-7277.000=-1117.000

*mean*	12.498-12.205=0.294
σ	1.991-1.679=0.312
min	10.495-10.303=0.192
max	14.686-14.960=-0.274

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

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

*mean*	3874.000-4149.000=-275.000
σ	1847.279-1897.201=-49.923
min	1279.000-1554.000=-275.000
max	6160.000-7277.000=-1117.000

*mean*	8.732-8.335=0.397
σ	0.386-0.418=-0.032
min	8.171-7.590=0.581
max	9.215-8.854=0.361

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

*mean*	26.402-26.400=0.001
σ	0.002-0.002=0.000
min	26.400-26.399=0.001
max	26.404-26.403=0.001

*mean*	3874.000-4149.000=-275.000
σ	1847.279-1897.201=-49.923
min	1279.000-1554.000=-275.000
max	6160.000-7277.000=-1117.000

*mean*	6.045-6.490=-0.446
σ	0.520-0.283=0.237
min	5.136-5.974=-0.838
max	6.828-7.003=-0.175

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.669-25.666=0.003
σ	0.003-0.002=0.001
min	25.666-25.664=0.001
max	25.674-25.668=0.005

*mean*	3874.000-4149.000=-275.000
σ	1847.279-1897.201=-49.923
min	1279.000-1554.000=-275.000
max	6160.000-7277.000=-1117.000

*mean*	5.649-5.505=0.144
σ	0.193-0.068=0.125
min	5.276-5.423=-0.147
max	5.895-5.601=0.294

op=vertical_lookup_row_list() on 3 (1 unindexed)

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

*mean*	3874.000-4149.000=-275.000
σ	1847.279-1897.201=-49.923
min	1279.000-1554.000=-275.000
max	6160.000-7277.000=-1117.000

*mean*	5.183-5.281=-0.098
σ	0.170-0.071=0.099
min	4.927-5.191=-0.264
max	5.392-5.390=0.002

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	2524.604-2524.606=-0.002
σ	0.002-0.000=0.002
min	2524.602-2524.606=-0.003
max	2524.606-2524.606=-0.000

*mean*	6160.000-7277.000=-1117.000
σ	0.000
min	6160.000-7277.000=-1117.000
max	6160.000-7277.000=-1117.000

*mean*	1371.065-1580.520=-209.455
σ	588.320-955.729=-367.409
min	1034.217-1041.031=-6.814
max	2445.043-3762.876=-1317.833

op=load_product(), with indexes

*mean*	7878.102-8744.721=-866.619
σ	0.469-0.469=0.001
min	7877.935-8744.553=-866.619
max	7879.264-8745.881=-866.617

*mean*	3233.125-3570.875=-337.750
σ	1838.321-1799.139=39.182
min	810.000-1039.000=-229.000
max	6160.000-5791.000=369.000

*mean*	3811.157-4812.038=-1000.882
σ	1280.575-1545.049=-264.473
min	3113.200-3515.017=-401.817
max	6200.475-7561.656=-1361.181

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

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

*mean*	3874.000-4149.000=-275.000
σ	1847.279-1897.201=-49.923
min	1279.000-1554.000=-275.000
max	6160.000-7277.000=-1117.000

*mean*	80.674-80.305=0.369
σ	8.807-11.206=-2.398
min	70.602-69.073=1.529
max	93.479-99.194=-5.716

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946-40.944=0.002
σ	0.002-0.001=0.001
min	40.945-40.944=0.001
max	40.948-40.945=0.003

*mean*	6160.000-7277.000=-1117.000
σ	0.000
min	6160.000-7277.000=-1117.000
max	6160.000-7277.000=-1117.000

*mean*	62.924-107.969=-45.045
σ	3.115-2.068=1.047
min	61.327-104.670=-43.343
max	70.313-110.315=-40.002

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.687-66.686=0.002
σ	0.002-0.000=0.001
min	66.686-66.685=0.001
max	66.690-66.687=0.003

*mean*	6160.000-7277.000=-1117.000
σ	0.000
min	6160.000-7277.000=-1117.000
max	6160.000-7277.000=-1117.000

*mean*	99.306-163.657=-64.351
σ	1.254-4.318=-3.064
min	97.812-153.828=-56.016
max	101.812-167.059=-65.247

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	11849.156-11656.836=192.320
σ	4.304-4.325=-0.021
min	11847.561-11655.305=192.256
max	11859.806-11667.539=192.267

*mean*	3874.000-4149.000=-275.000
σ	1847.279-1897.201=-49.923
min	1279.000-1554.000=-275.000
max	6160.000-7277.000=-1117.000

*mean*	6216.503-6587.865=-371.362
σ	1204.351-1139.001=65.350
min	5032.299-4914.115=118.184
max	8160.734-8267.696=-106.962

op=vertical_lookup_list() on indexed

*mean*	10791.093-11560.065=-768.972
σ	0.002-0.001=0.001
min	10791.091-11560.064=-768.973
max	10791.096-11560.066=-768.971

*mean*	6160.000-7277.000=-1117.000
σ	0.000
min	6160.000-7277.000=-1117.000
max	6160.000-7277.000=-1117.000

*mean*	4757.857-5478.144=-720.287
σ	1341.347-1462.660=-121.313
min	4046.512-4361.195=-314.683
max	7602.674-8078.392=-475.719

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-475.000=2.000
σ	0.000
min	477.000-475.000=2.000
max	477.000-475.000=2.000

*mean*	381.787-387.737=-5.950
σ	20.717-11.728=8.990
min	346.406-360.536=-14.130
max	395.144-396.339=-1.195

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*	751.341-725.667=25.674
σ	52.690-66.487=-13.797
min	650.376-615.526=34.850
max	788.506-784.814=3.692

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.327-1008.499=15.829
σ	0.758-0.760=-0.001
min	1023.855-1008.024=15.831
max	1027.466-1011.640=15.826

*mean*	1050.850-1044.900=5.950
σ	318.853-315.144=3.708
min	544.000-536.000=8.000
max	1562.000-1517.000=45.000

*mean*	1.577-1.540=0.037
σ	0.076-0.075=0.001
min	1.395-1.479=-0.084
max	1.730-1.748=-0.017

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.401-0.298=0.102
σ	0.509-0.302=0.207
min	0.142-0.141=0.001
max	1.308-0.835=0.473

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.484-0.483=0.001
σ	0.325-0.316=0.009
min	0.332-0.322=0.010
max	1.065-1.048=0.017

name=heavy_item.art

*mean*	1.522-1.522=0.000
σ	0.002
min	1.521-1.521=0.000
max	1.525-1.525=0.000

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.217-0.215=0.002
σ	0.022-0.023=-0.001
min	0.205-0.196=0.008
max	0.255-0.253=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.333-0.317=0.016
σ	0.011-0.022=-0.012
min	0.324-0.297=0.027
max	0.350-0.355=-0.006

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.840-964.741=0.099
σ	0.011
min	964.835-964.736=0.099
max	964.859-964.760=0.099

*mean*	434.000-431.400=2.600
σ	3.674-0.894=2.780
min	431.000
max	438.000-433.000=5.000

*mean*	0.546-0.569=-0.024
σ	0.043-0.034=0.009
min	0.491-0.541=-0.050
max	0.612-0.615=-0.003

name=cdr_enhanced_4k_loc.art

*mean*	885.820-885.814=0.007
σ	0.002
min	885.819-885.812=0.007
max	885.823-885.816=0.007

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

*mean*	0.426-0.484=-0.058
σ	0.033-0.041=-0.008
min	0.390-0.436=-0.046
max	0.474-0.516=-0.042

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.709-7.708=0.001
σ	0.002
min	7.708-7.707=0.001
max	7.712-7.711=0.001

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

*mean*	1.848-2.248=-0.400
σ	0.071-0.371=-0.300
min	1.738-1.862=-0.124
max	2.130-3.087=-0.957

name=record_render_large_syntax_err.art

*mean*	7.657-7.656=0.001
σ	0.002
min	7.656-7.655=0.001
max	7.660-7.659=0.001

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

*mean*	2.467-2.663=-0.196
σ	0.245-0.091=0.154
min	1.794-2.474=-0.680
max	2.732-2.991=-0.260

name=record_render_success.art

*mean*	2.289-2.289=0.000
σ	0.002
min	2.289-2.288=0.000
max	2.293-2.292=0.000

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

*mean*	0.311-0.303=0.008
σ	0.007-0.010=-0.003
min	0.299-0.288=0.011
max	0.348-0.363=-0.015

name=record_render_syntax_err.art

*mean*	2.165-2.165=0.000
σ	0.002
min	2.164-2.164=0.000
max	2.168-2.168=0.000

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

*mean*	0.295-0.289=0.007
σ	0.007-0.007=-0.001
min	0.284-0.276=0.008
max	0.340-0.329=0.011

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.844-298.178=0.666
σ	1.024-0.971=0.053
min	298.476-297.783=0.694
max	301.757-300.937=0.820

*mean*	445.300-443.100=2.200
σ	16.077-14.224=1.853
min	425.000-418.000=7.000
max	469.000-464.000=5.000

*mean*	0.594-0.614=-0.021
σ	0.031-0.011=0.020
min	0.527-0.592=-0.064
max	0.646-0.628=0.017

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	236.678-222.008=14.670
σ	0.000-0.000=0.000
min	236.678-222.008=14.670
max	236.678-222.008=14.670

*mean*	1680.125-1744.000=-63.875
σ	2.475-0.000=2.475
min	1674.000-1744.000=-70.000
max	1681.000-1744.000=-63.000

*mean*	216.713-204.696=12.018
σ	5.354-1.558=3.796
min	210.432-202.721=7.712
max	225.827-207.425=18.402

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1680.125-1744.000=-63.875
σ	2.475-0.000=2.475
min	1674.000-1744.000=-70.000
max	1681.000-1744.000=-63.000

*mean*	10.204-9.089=1.115
σ	1.515-2.146=-0.630
min	7.388-6.122=1.267
max	12.835-12.683=0.152

phase=parser

*mean*	1042.367-1042.099=0.268
σ	0.000-0.000=-0.000
min	1042.367-1042.099=0.268
max	1042.367-1042.099=0.268

*mean*	1680.125-1744.000=-63.875
σ	2.475-0.000=2.475
min	1674.000-1744.000=-70.000
max	1681.000-1744.000=-63.000

*mean*	605.030-562.327=42.704
σ	89.865-113.463=-23.598
min	451.749-377.337=74.411
max	731.490-720.455=11.035

phase=processProdDef

*mean*	4753.276-6169.659=-1416.383
σ	0.000-0.001=-0.000
min	4753.276-6169.659=-1416.383
max	4753.276-6169.660=-1416.384

*mean*	1681.000-1744.000=-63.000
σ	0.000
min	1681.000-1744.000=-63.000
max	1681.000-1744.000=-63.000

*mean*	4441.637-5599.564=-1157.928
σ	584.392-1500.776=-916.384
min	3505.971-3756.356=-250.385
max	5213.594-8030.453=-2816.858

phase=renaming

*mean*	21.671-21.671=0.001
σ	0.000
min	21.671-21.671=0.001
max	21.671-21.671=0.001

*mean*	1680.125-1744.000=-63.875
σ	2.475-0.000=2.475
min	1674.000-1744.000=-70.000
max	1681.000-1744.000=-63.000

*mean*	36.263-35.380=0.883
σ	5.851-8.496=-2.644
min	30.313-20.444=9.869
max	47.560-47.527=0.033

phase=type checker

*mean*	990.454-958.457=31.997
σ	0.071-0.066=0.005
min	990.348-958.360=31.989
max	990.567-958.547=32.020

*mean*	1680.125-1744.000=-63.875
σ	2.475-0.000=2.475
min	1674.000-1744.000=-70.000
max	1681.000-1744.000=-63.000

*mean*	732.988-701.723=31.265
σ	75.162-77.513=-2.351
min	656.653-623.536=33.117
max	880.283-836.393=43.890

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.918-293.687=0.231
σ	0.038-0.037=0.001
min	293.865-293.635=0.230
max	293.957-293.725=0.232

*mean*	446.000-445.400=0.600
σ	0.000-0.548=-0.548
min	446.000-445.000=1.000
max	446.000

*mean*	0.397-0.399=-0.002
σ	0.006-0.001=0.004
min	0.392-0.398=-0.006
max	0.404-0.401=0.002

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.302-1303.779=16.522
σ	0.043-0.074=-0.031
min	1320.247-1303.713=16.534
max	1320.351-1303.861=16.491

*mean*	1108.000-1066.400=41.600
σ	170.410-161.320=9.089
min	896.000-848.000=48.000
max	1331.000-1269.000=62.000

*mean*	2.234-1.996=0.238
σ	0.080-0.177=-0.096
min	2.133-1.795=0.339
max	2.320-2.170=0.150

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.443-1546.809=12.634
σ	3.390-4.013=-0.623
min	1557.746-1544.802=12.944
max	1565.500-1553.980=11.520

*mean*	624.400-628.600=-4.200
σ	87.286-96.373=-9.087
min	514.000-495.000=19.000
max	726.000-746.000=-20.000

*mean*	2.354-2.218=0.136
σ	0.243-0.127=0.116
min	2.098-2.127=-0.029
max	2.736-2.437=0.299

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.277-1865.817=16.460
σ	0.052-0.054=-0.002
min	1882.213-1865.747=16.465
max	1882.342-1865.889=16.453

*mean*	1748.600-1713.400=35.200
σ	210.002-246.068=-36.066
min	1479.000-1432.000=47.000
max	1949.000-2050.000=-101.000

*mean*	3.337-3.092=0.245
σ	0.411-0.438=-0.027
min	2.898-2.858=0.040
max	3.833-3.871=-0.038

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.769-1.690=0.079
σ	0.122-0.165=-0.042
min	1.649-1.568=0.082
max	1.905-1.908=-0.003

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.411-450.088=2.324
σ	583.278-579.264=4.014
min	160.770-160.454=0.317
max	1327.329-1318.984=8.345

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	446.000-441.000=5.000
σ	0.000
min	446.000-441.000=5.000
max	446.000-441.000=5.000

*mean*	0.552-0.537=0.015
σ	0.564-0.543=0.020
min	0.268-0.264=0.004
max	1.397-1.352=0.046

policies=20

*mean*	1608.047-1604.869=3.178
σ	0.421-0.396=0.025
min	1607.760-1604.597=3.163
max	1608.671-1605.454=3.216

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	448.250-444.000=4.250
σ	1.500-2.000=-0.500
min	446.000-441.000=5.000
max	449.000-445.000=4.000

*mean*	2.708-2.666=0.042
σ	0.017-0.007=0.010
min	2.688-2.659=0.029
max	2.723-2.675=0.048

policies=200

*mean*	16088.599-16057.133=31.466
σ	0.096-0.155=-0.060
min	16088.513-16056.993=31.521
max	16088.734-16057.327=31.407

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	498.750-493.000=5.750
σ	4.031-4.243=-0.212
min	494.000-488.000=6.000
max	503.000-497.000=6.000

*mean*	27.369-27.035=0.333
σ	0.083-0.151=-0.068
min	27.287-26.898=0.388
max	27.483-27.170=0.313