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.679-54.677=0.002
σ	0.359-0.358=0.001
min	54.541-54.547=-0.006
max	55.700-55.694=0.006

*mean*	417.000-419.000=-2.000
σ	0.000
min	417.000-419.000=-2.000
max	417.000-419.000=-2.000

*mean*	0.141-0.143=-0.002
σ	0.004-0.005=-0.001
min	0.134-0.138=-0.004
max	0.146-0.152=-0.006

cache=y

dps=1

iters=10

policies=100

*mean*	43.705-43.704=0.000
σ	0.006-0.005=0.001
min	43.694-43.698=-0.004
max	43.715-43.711=0.004

*mean*	417.000-419.000=-2.000
σ	0.000
min	417.000-419.000=-2.000
max	417.000-419.000=-2.000

*mean*	0.122-0.119=0.003
σ	0.005-0.004=0.001
min	0.116-0.115=0.001
max	0.131-0.127=0.004

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*	3862.375-4153.500=-291.125
σ	1830.519-1900.871=-70.352
min	1278.000-1557.000=-279.000
max	6111.000-7306.000=-1195.000

*mean*	12.105-12.786=-0.681
σ	0.268-0.137=0.131
min	11.791-12.628=-0.837
max	12.532-13.002=-0.470

op=column_set() on indexed, repeat

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

*mean*	3862.375-4153.500=-291.125
σ	1830.519-1900.871=-70.352
min	1278.000-1557.000=-279.000
max	6111.000-7306.000=-1195.000

*mean*	11.843-13.394=-1.551
σ	0.567-0.159=0.408
min	11.348-13.146=-1.798
max	12.886-13.590=-0.705

op=table_records(), no indexes

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

*mean*	6111.000-7306.000=-1195.000
σ	0.000
min	6111.000-7306.000=-1195.000
max	6111.000-7306.000=-1195.000

*mean*	14.342-15.294=-0.951
σ	0.300-0.465=-0.165
min	13.805-14.409=-0.604
max	14.805-16.014=-1.209

op=table_records(), repeat

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

*mean*	3862.375-4153.500=-291.125
σ	1830.519-1900.871=-70.352
min	1278.000-1557.000=-279.000
max	6111.000-7306.000=-1195.000

*mean*	12.969-13.445=-0.476
σ	1.978-1.555=0.422
min	10.380-11.200=-0.820
max	15.700-15.423=0.277

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

*mean*	3862.375-4153.500=-291.125
σ	1830.519-1900.871=-70.352
min	1278.000-1557.000=-279.000
max	6111.000-7306.000=-1195.000

*mean*	8.955-9.057=-0.101
σ	1.425-0.413=1.012
min	7.991-8.510=-0.519
max	12.377-9.634=2.743

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*	3862.375-4153.500=-291.125
σ	1830.519-1900.871=-70.352
min	1278.000-1557.000=-279.000
max	6111.000-7306.000=-1195.000

*mean*	6.739-6.756=-0.017
σ	0.865-0.233=0.632
min	6.074-6.363=-0.289
max	8.835-7.056=1.779

op=vertical_lookup_row_list() on 2 indexed

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

*mean*	3862.375-4153.500=-291.125
σ	1830.519-1900.871=-70.352
min	1278.000-1557.000=-279.000
max	6111.000-7306.000=-1195.000

*mean*	5.458-6.048=-0.589
σ	0.128-0.262=-0.134
min	5.257-5.624=-0.367
max	5.668-6.426=-0.758

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.968=0.000
max	25.974

*mean*	3862.375-4153.500=-291.125
σ	1830.519-1900.871=-70.352
min	1278.000-1557.000=-279.000
max	6111.000-7306.000=-1195.000

*mean*	5.099-5.761=-0.662
σ	0.195-0.172=0.023
min	4.777-5.545=-0.768
max	5.325-6.030=-0.704

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.607=-0.001

*mean*	6111.000-7306.000=-1195.000
σ	0.000
min	6111.000-7306.000=-1195.000
max	6111.000-7306.000=-1195.000

*mean*	1358.002-1086.213=271.789
σ	595.373-109.203=486.170
min	1026.243-1041.801=-15.559
max	2425.364-1355.932=1069.432

op=load_product(), with indexes

*mean*	7878.102-8744.722=-866.620
σ	0.470-0.469=0.000
min	7877.934-8744.553=-866.619
max	7879.264-8745.883=-866.620

*mean*	3228.125-3573.125=-345.000
σ	1827.369-1797.447=29.922
min	811.000-1045.000=-234.000
max	6111.000-5797.000=314.000

*mean*	3779.467-5084.863=-1305.396
σ	1263.360-1715.371=-452.011
min	3081.419-3553.402=-471.983
max	6155.868-7450.440=-1294.572

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*	3862.375-4153.500=-291.125
σ	1830.519-1900.871=-70.352
min	1278.000-1557.000=-279.000
max	6111.000-7306.000=-1195.000

*mean*	85.567-82.391=3.175
σ	18.364-11.058=7.306
min	69.066-72.235=-3.169
max	120.393-100.067=20.326

op=vertical_lookup_list() on unindexed missing Int

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

*mean*	6111.000-7306.000=-1195.000
σ	0.000
min	6111.000-7306.000=-1195.000
max	6111.000-7306.000=-1195.000

*mean*	62.293-105.876=-43.583
σ	3.797-4.288=-0.492
min	59.889-97.790=-37.900
max	69.940-109.133=-39.193

op=vertical_lookup_row_list() on unindexed small unique Int

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

*mean*	6111.000-7306.000=-1195.000
σ	0.000
min	6111.000-7306.000=-1195.000
max	6111.000-7306.000=-1195.000

*mean*	98.399-162.397=-63.998
σ	1.479-9.045=-7.566
min	96.943-141.815=-44.871
max	101.806-167.992=-66.186

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	11849.155-11656.900=192.255
σ	4.304-4.304=-0.000
min	11847.561-11655.306=192.255
max	11859.806-11667.552=192.254

*mean*	3862.375-4153.500=-291.125
σ	1830.519-1900.871=-70.352
min	1278.000-1557.000=-279.000
max	6111.000-7306.000=-1195.000

*mean*	6333.162-6590.512=-257.350
σ	1414.492-1219.427=195.065
min	5031.583-4953.693=77.890
max	8313.941-8345.556=-31.615

op=vertical_lookup_list() on indexed

*mean*	10791.094-11560.066=-768.972
σ	0.002-0.001=0.001
min	10791.092-11560.065=-768.973
max	10791.096-11560.067=-768.970

*mean*	6111.000-7306.000=-1195.000
σ	0.000
min	6111.000-7306.000=-1195.000
max	6111.000-7306.000=-1195.000

*mean*	4930.654-5411.437=-480.783
σ	1583.900-1218.352=365.548
min	4047.627-4424.344=-376.717
max	7569.355-7481.874=87.481

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

*mean*	379.277-377.286=1.991
σ	33.239-22.235=11.004
min	297.227-332.842=-35.616
max	393.605-394.121=-0.516

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	560.500-561.000=-0.500
σ	1.604-0.000=1.604
min	559.000-561.000=-2.000
max	562.000-561.000=1.000

*mean*	746.786-742.560=4.226
σ	70.325-57.569=12.756
min	629.461-623.906=5.556
max	840.416-790.460=49.956

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.328-1024.328=-0.001
σ	0.759-0.759=-0.000
min	1023.854-1023.854=0.000
max	1027.466-1027.466=-0.000

*mean*	1063.200-1046.800=16.400
σ	316.056-305.402=10.654
min	594.000-571.000=23.000
max	1568.000-1502.000=66.000

*mean*	1.561-1.573=-0.012
σ	0.046-0.080=-0.034
min	1.507-1.511=-0.004
max	1.653-1.834=-0.181

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.429-0.312=0.117
σ	0.556-0.332=0.224
min	0.150-0.132=0.018
max	1.420-0.901=0.519

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.839-0.464=0.375
σ	0.509-0.321=0.188
min	0.586-0.311=0.275
max	1.748-1.037=0.711

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.206=0.177
σ	0.034-0.027=0.007
min	0.354-0.186=0.168
max	0.442-0.252=0.190

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.586-0.332=0.254
σ	0.031-0.015=0.016
min	0.559-0.318=0.241
max	0.638-0.357=0.280

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.800-436.200=-4.400
σ	1.789
min	431.000-433.000=-2.000
max	435.000-437.000=-2.000

*mean*	0.579-0.537=0.042
σ	0.103-0.064=0.039
min	0.494-0.430=0.064
max	0.749-0.594=0.156

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*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.469-0.488=-0.019
σ	0.060-0.019=0.041
min	0.381-0.469=-0.087
max	0.523-0.515=0.008

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*	443.000-442.000=1.000
σ	0.000
min	443.000-442.000=1.000
max	443.000-442.000=1.000

*mean*	2.677-2.642=0.035
σ	0.071-0.092=-0.021
min	2.494-2.478=0.016
max	2.840-2.907=-0.067

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

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

*mean*	2.608-2.588=0.020
σ	0.090-0.076=0.015
min	2.428-2.455=-0.027
max	2.841-2.777=0.064

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*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.312-0.302=0.010
σ	0.053-0.008=0.044
min	0.290-0.288=0.002
max	0.826-0.355=0.470

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*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.292-0.292=0.000
σ	0.027-0.007=0.020
min	0.277-0.278=-0.001
max	0.551-0.322=0.230

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.749-298.791=-0.042
σ	1.038-1.058=-0.019
min	298.360-298.336=0.024
max	301.701-301.796=-0.095

*mean*	442.900-445.300=-2.400
σ	14.310-18.874=-4.564
min	425.000-418.000=7.000
max	469.000

*mean*	0.590-0.603=-0.013
σ	0.040-0.030=0.010
min	0.509-0.540=-0.031
max	0.643-0.626=0.018

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	236.678-239.536=-2.858
σ	0.000
min	236.678-239.536=-2.858
max	236.678-239.536=-2.858

*mean*	1686.875-1684.625=2.250
σ	0.354-1.768=-1.414
min	1686.000-1684.000=2.000
max	1687.000-1689.000=-2.000

*mean*	211.584-222.810=-11.225
σ	3.531-2.699=0.832
min	205.853-218.892=-13.039
max	216.779-227.476=-10.697

phase=macro expansion

*mean*	6.130-6.133=-0.004
σ	0.000
min	6.130-6.133=-0.004
max	6.130-6.133=-0.004

*mean*	1686.875-1684.625=2.250
σ	0.354-1.768=-1.414
min	1686.000-1684.000=2.000
max	1687.000-1689.000=-2.000

*mean*	11.156-11.432=-0.276
σ	1.861-1.369=0.493
min	8.277-9.645=-1.369
max	12.934-12.768=0.167

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-1042.363=0.001

*mean*	1686.875-1684.625=2.250
σ	0.354-1.768=-1.414
min	1686.000-1684.000=2.000
max	1687.000-1689.000=-2.000

*mean*	661.371-680.087=-18.716
σ	71.723-89.766=-18.043
min	567.493-566.115=1.378
max	736.043-836.704=-100.661

phase=processProdDef

*mean*	4753.280-6169.657=-1416.378
σ	0.000-0.001=-0.000
min	4753.279-6169.657=-1416.377
max	4753.280-6169.658=-1416.378

*mean*	1687.000-1685.250=1.750
σ	0.000-2.315=-2.315
min	1687.000-1684.000=3.000
max	1687.000-1689.000=-2.000

*mean*	4259.267-6140.336=-1881.069
σ	706.934-1348.533=-641.599
min	3129.092-4010.225=-881.133
max	5441.662-7808.916=-2367.254

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1686.875-1684.625=2.250
σ	0.354-1.768=-1.414
min	1686.000-1684.000=2.000
max	1687.000-1689.000=-2.000

*mean*	41.300-44.241=-2.941
σ	7.847-6.469=1.378
min	26.211-34.982=-8.770
max	47.849-51.133=-3.285

phase=type checker

*mean*	990.454-990.442=0.012
σ	0.071-0.066=0.005
min	990.348-990.344=0.004
max	990.567-990.532=0.035

*mean*	1686.875-1684.625=2.250
σ	0.354-1.768=-1.414
min	1686.000-1684.000=2.000
max	1687.000-1689.000=-2.000

*mean*	805.077-829.362=-24.285
σ	77.383-89.968=-12.585
min	683.331-716.065=-32.733
max	923.435-992.983=-69.548

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.919-293.924=-0.005
σ	0.038-0.042=-0.004
min	293.865-293.862=0.003
max	293.958-293.958=-0.000

*mean*	448.000-445.000=3.000
σ	0.000
min	448.000-445.000=3.000
max	448.000-445.000=3.000

*mean*	0.403-0.394=0.009
σ	0.014-0.001=0.013
min	0.391-0.393=-0.002
max	0.425-0.395=0.030

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.309-1320.188=0.121
σ	0.025-0.089=-0.064
min	1320.280-1320.093=0.187
max	1320.337-1320.318=0.019

*mean*	1083.000-1110.000=-27.000
σ	164.009-171.504=-7.494
min	887.000-896.000=-9.000
max	1306.000-1334.000=-28.000

*mean*	2.282-1.953=0.329
σ	0.140-0.072=0.068
min	2.146-1.882=0.264
max	2.457-2.065=0.393

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.472-1559.729=-0.257
σ	3.407-4.087=-0.680
min	1557.812-1557.680=0.132
max	1565.562-1567.033=-1.471

*mean*	625.600-625.400=0.200
σ	89.690-88.053=1.637
min	504.000-495.000=9.000
max	728.000-730.000=-2.000

*mean*	2.444-2.297=0.147
σ	0.319-0.261=0.058
min	2.064-2.144=-0.080
max	2.882-2.760=0.122

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.267-1882.294=-0.027
σ	0.053-0.080=-0.027
min	1882.202-1882.200=0.003
max	1882.345-1882.397=-0.051

*mean*	1721.600-1760.000=-38.400
σ	173.992-219.527=-45.535
min	1472.000-1480.000=-8.000
max	1882.000-1972.000=-90.000

*mean*	3.054-3.213=-0.159
σ	0.231-0.357=-0.126
min	2.883-2.862=0.021
max	3.459-3.732=-0.273

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.851-1.836=0.016
σ	0.120-0.095=0.024
min	1.655-1.731=-0.076
max	1.960-1.933=0.027

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.411-453.537=-1.126
σ	583.278-585.528=-2.250
min	160.770-160.767=0.003
max	1327.329-1331.829=-4.501

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	444.000-441.000=3.000
σ	0.000
min	444.000-441.000=3.000
max	444.000-441.000=3.000

*mean*	0.554-0.550=0.004
σ	0.568-0.561=0.007
min	0.266-0.267=-0.001
max	1.406-1.391=0.015

policies=20

*mean*	1608.042-1608.043=-0.001
σ	0.419-0.416=0.003
min	1607.759-1607.759=-0.001
max	1608.663-1608.661=0.002

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	449.250-447.500=1.750
σ	3.500-7.506=-4.006
min	444.000-441.000=3.000
max	451.000-454.000=-3.000

*mean*	2.701-2.704=-0.003
σ	0.018-0.031=-0.013
min	2.690-2.666=0.024
max	2.728-2.742=-0.015

policies=200

*mean*	16088.590-16088.517=0.073
σ	0.120-0.216=-0.095
min	16088.507-16088.340=0.167
max	16088.766-16088.826=-0.060

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	499.750-495.750=4.000
σ	5.315-3.403=1.912
min	494.000-491.000=3.000
max	506.000-499.000=7.000

*mean*	27.148-27.327=-0.179
σ	0.031-0.167=-0.136
min	27.121-27.192=-0.072
max	27.191-27.570=-0.379