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 Decls)

Factor

compact size MiB

phase=processProdDef Decls

*mean*	5.676
σ	0.000
min	5.676
max	5.676

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.883
σ	0.000
min	446.883
max	446.883

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.862-54.859=0.003
σ	0.360-0.357=0.003
min	54.721-54.723=-0.002
max	55.886-55.876=0.010

*mean*	422.000-417.000=5.000
σ	0.000
min	422.000-417.000=5.000
max	422.000-417.000=5.000

*mean*	0.141-0.140=0.000
σ	0.004-0.006=-0.002
min	0.137-0.134=0.003
max	0.148-0.151=-0.003

cache=y

dps=1

iters=10

policies=100

*mean*	43.849-43.847=0.002
σ	0.006-0.006=-0.000
min	43.840-43.836=0.004
max	43.863-43.858=0.005

*mean*	422.000-417.300=4.700
σ	0.000-0.483=-0.483
min	422.000-417.000=5.000
max	422.000-418.000=4.000

*mean*	0.129-0.125=0.003
σ	0.006-0.003=0.003
min	0.122-0.122=0.000
max	0.141-0.131=0.010

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.617-36.617=0.000
σ	0.000-0.000=0.000
min	36.617
max	36.618-36.618=0.000

*mean*	4587.375-4426.000=161.375
σ	2250.791-2227.407=23.384
min	1486.000-1487.000=-1.000
max	7385.000-7410.000=-25.000

*mean*	155.465-12.639=142.826
σ	405.599-2.008=403.591
min	11.186-11.663=-0.478
max	1159.260-17.589=1141.671

op=column_set() on indexed, repeat

*mean*	36.617-36.618=-0.000
σ	0.000-0.000=-0.000
min	36.617
max	36.618-36.618=-0.001

*mean*	4587.375-4606.375=-19.000
σ	2250.791-2258.227=-7.436
min	1486.000-1487.000=-1.000
max	7385.000-7410.000=-25.000

*mean*	14.074-167.780=-153.706
σ	4.646-436.818=-432.172
min	10.753-11.288=-0.535
max	24.456-1248.838=-1224.382

op=table_records(), no indexes

*mean*	41.948-41.948=-0.000
σ	0.002-0.002=0.000
min	41.946-41.946=-0.000
max	41.950-41.950=-0.000

*mean*	7385.000-7410.000=-25.000
σ	0.000
min	7385.000-7410.000=-25.000
max	7385.000-7410.000=-25.000

*mean*	10.412-11.134=-0.722
σ	0.231-0.100=0.130
min	9.992-11.009=-1.017
max	10.724-11.280=-0.556

op=table_records(), repeat

*mean*	41.933-41.933=-0.000
σ	0.000-0.001=-0.000
min	41.933
max	41.934-41.934=-0.000

*mean*	4176.250-4196.375=-20.125
σ	1946.608-1953.712=-7.104
min	1486.000-1487.000=-1.000
max	7385.000-7410.000=-25.000

*mean*	11.015-11.422=-0.407
σ	1.777-1.868=-0.091
min	10.162-10.708=-0.547
max	15.387-16.044=-0.657

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

*mean*	27.655-27.655=0.001
σ	0.136-0.137=-0.000
min	27.606
max	27.993-27.993=0.000

*mean*	4176.250-4196.375=-20.125
σ	1946.608-1953.712=-7.104
min	1486.000-1487.000=-1.000
max	7385.000-7410.000=-25.000

*mean*	8.490-8.967=-0.477
σ	1.336-1.231=0.105
min	7.454-7.819=-0.365
max	11.728-11.917=-0.189

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

*mean*	26.406-26.406=0.000
σ	0.000-0.000=-0.000
min	26.406-26.406=0.000
max	26.406

*mean*	4176.250-4196.375=-20.125
σ	1946.608-1953.712=-7.104
min	1486.000-1487.000=-1.000
max	7385.000-7410.000=-25.000

*mean*	6.600-7.070=-0.470
σ	0.959-0.958=0.001
min	5.948-6.471=-0.523
max	8.933-9.420=-0.487

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.681-25.681=0.000
σ	0.003-0.003=-0.000
min	25.680
max	25.688

*mean*	4587.375-4606.375=-19.000
σ	2250.791-2258.227=-7.436
min	1486.000-1487.000=-1.000
max	7385.000-7410.000=-25.000

*mean*	6.016-6.550=-0.534
σ	1.057-1.138=-0.082
min	5.232-5.805=-0.572
max	8.318-9.047=-0.729

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.984-25.984=-0.000
σ	0.000-0.000=-0.000
min	25.984-25.984=-0.000
max	25.985-25.985=-0.000

*mean*	4587.375-4606.375=-19.000
σ	2250.791-2258.227=-7.436
min	1486.000-1487.000=-1.000
max	7385.000-7410.000=-25.000

*mean*	5.888-6.412=-0.524
σ	1.014-1.128=-0.114
min	5.220-5.786=-0.566
max	8.112-8.903=-0.791

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.627-1021.627=-0.000
σ	0.002-0.002=-0.000
min	1021.625
max	1021.629

*mean*	7385.000-7410.000=-25.000
σ	0.000
min	7385.000-7410.000=-25.000
max	7385.000-7410.000=-25.000

*mean*	359.992-345.364=14.628
σ	42.159-1.723=40.437
min	342.145-342.742=-0.597
max	464.269-347.315=116.954

op=load_product(), with indexes

*mean*	3495.878-3495.878=-0.000
σ	0.468-0.469=-0.000
min	3495.713
max	3497.038-3497.038=-0.000

*mean*	3754.125-3770.125=-16.000
σ	2300.484-2309.799=-9.315
min	719.000-720.000=-1.000
max	7385.000-7410.000=-25.000

*mean*	1781.995-1789.367=-7.372
σ	675.063-674.899=0.164
min	1382.917-1391.448=-8.531
max	2964.024-2961.160=2.863

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense, minor warmup

*mean*	107.854-107.854=0.000
σ	0.000-0.000=0.000
min	107.854-107.853=0.000
max	107.854-107.854=0.000

*mean*	4405.375-4196.375=209.000
σ	2220.308-1953.712=266.596
min	1486.000-1487.000=-1.000
max	7385.000-7410.000=-25.000

*mean*	290.432-136.029=154.404
σ	434.655-17.318=417.337
min	124.319-126.985=-2.666
max	1365.144-178.672=1186.472

op=column_set() on unindexed, dense, repeat

*mean*	62.081-62.082=-0.000
σ	0.000-0.000=-0.000
min	62.081
max	62.082-62.082=-0.001

*mean*	4405.375-4426.000=-20.625
σ	2220.308-2227.407=-7.099
min	1486.000-1487.000=-1.000
max	7385.000-7410.000=-25.000

*mean*	44.025-179.064=-135.039
σ	9.751-389.382=-379.632
min	38.864-39.795=-0.931
max	67.831-1142.731=-1074.900

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948
σ	0.002
min	40.947
max	40.950

*mean*	7385.000-7410.000=-25.000
σ	0.000
min	7385.000-7410.000=-25.000
max	7385.000-7410.000=-25.000

*mean*	21.640-61.245=-39.605
σ	2.018-111.090=-109.071
min	20.812-21.486=-0.675
max	26.628-336.168=-309.540

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.308-71.308=0.000
σ	0.002-0.002=-0.000
min	71.307
max	71.311-71.311=-0.000

*mean*	7385.000-7410.000=-25.000
σ	0.000
min	7385.000-7410.000=-25.000
max	7385.000-7410.000=-25.000

*mean*	285.714-58.840=226.873
σ	649.563-5.989=643.575
min	54.681-55.871=-1.191
max	1893.297-73.154=1820.143

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.850-4646.851=-0.001
σ	0.014-0.013=0.000
min	4646.845
max	4646.884-4646.883=0.001

*mean*	4176.250-4196.375=-20.125
σ	1946.608-1953.712=-7.104
min	1486.000-1487.000=-1.000
max	7385.000-7410.000=-25.000

*mean*	3294.435-3167.682=126.752
σ	817.294-700.132=117.161
min	2500.883-2500.572=0.311
max	4572.118-4415.163=156.955

op=vertical_lookup_list() on indexed

*mean*	1973.851-1973.851=0.000
σ	0.002-0.002=0.000
min	1973.849
max	1973.854-1973.853=0.000

*mean*	7385.000-7410.000=-25.000
σ	0.000
min	7385.000-7410.000=-25.000
max	7385.000-7410.000=-25.000

*mean*	1074.612-985.271=89.342
σ	268.023-107.237=160.785
min	927.412-924.429=2.983
max	1708.754-1223.666=485.088

op=vertical_lookup_list() on unindexed missing Int, minor warmup

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7385.000-7410.000=-25.000
σ	0.000
min	7385.000-7410.000=-25.000
max	7385.000-7410.000=-25.000

*mean*	406.756-395.850=10.906
σ	38.640-3.122=35.517
min	384.257-391.889=-7.632
max	501.842-400.972=100.870

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	148.144
σ	0.001
min	148.144
max	148.148

*mean*	478.000-475.875=2.125
σ	0.000-0.354=-0.354
min	478.000-475.000=3.000
max	478.000-476.000=2.000

*mean*	377.102-370.040=7.062
σ	31.219-36.982=-5.763
min	317.477-310.980=6.497
max	414.436-423.742=-9.306

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	564.000-567.000=-3.000
σ	0.000
min	564.000-567.000=-3.000
max	564.000-567.000=-3.000

*mean*	760.076-711.206=48.870
σ	61.814-55.970=5.843
min	642.954-622.750=20.204
max	827.070-804.690=22.381

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.564-1024.565=-0.001
σ	0.760-0.759=0.000
min	1024.095-1024.095=0.000
max	1027.705-1027.705=0.000

*mean*	1047.650-1045.500=2.150
σ	307.505-308.693=-1.187
min	570.000-584.000=-14.000
max	1503.000-1501.000=2.000

*mean*	1.373-1.379=-0.006
σ	0.066-0.091=-0.024
min	1.314-1.199=0.115
max	1.578-1.572=0.005

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*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.366-0.290=0.076
σ	0.431-0.283=0.148
min	0.149-0.137=0.012
max	1.134-0.792=0.343

name=error_case.art

*mean*	2.340
σ	0.012
min	2.334
max	2.362

*mean*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.637-0.481=0.155
σ	0.074-0.310=-0.236
min	0.573-0.332=0.241
max	0.762-1.036=-0.274

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.521
max	1.525

*mean*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.388-0.219=0.169
σ	0.029-0.024=0.005
min	0.371-0.203=0.168
max	0.440-0.262=0.179

name=nested_use.art

*mean*	2.358
σ	0.002
min	2.357
max	2.361

*mean*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.597-0.331=0.265
σ	0.025-0.011=0.015
min	0.576-0.320=0.256
max	0.636-0.349=0.287

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.971
σ	0.011
min	964.965
max	964.989

*mean*	432.800-431.600=1.200
σ	3.033-1.342=1.692
min	430.000-431.000=-1.000
max	436.000-434.000=2.000

*mean*	0.711-0.575=0.136
σ	0.014-0.052=-0.038
min	0.694-0.484=0.211
max	0.725-0.610=0.115

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	436.000-442.000=-6.000
σ	0.000
min	436.000-442.000=-6.000
max	436.000-442.000=-6.000

*mean*	0.480-0.453=0.027
σ	0.026-0.044=-0.018
min	0.452-0.397=0.054
max	0.510-0.512=-0.001

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.710
σ	0.002
min	7.709
max	7.713

*mean*	436.000-442.000=-6.000
σ	0.000
min	436.000-442.000=-6.000
max	436.000-442.000=-6.000

*mean*	2.592-1.978=0.614
σ	0.091-0.081=0.011
min	2.441-1.823=0.617
max	2.866-2.190=0.676

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	436.000-442.000=-6.000
σ	0.000
min	436.000-442.000=-6.000
max	436.000-442.000=-6.000

*mean*	2.619-2.025=0.595
σ	0.102-0.180=-0.078
min	2.493-1.811=0.682
max	3.019-2.644=0.375

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	436.000-442.000=-6.000
σ	0.000
min	436.000-442.000=-6.000
max	436.000-442.000=-6.000

*mean*	0.306-0.308=-0.002
σ	0.009-0.009=-0.000
min	0.293-0.294=-0.001
max	0.376-0.369=0.008

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	436.000-442.000=-6.000
σ	0.000
min	436.000-442.000=-6.000
max	436.000-442.000=-6.000

*mean*	0.301-0.295=0.006
σ	0.013-0.012=0.001
min	0.287-0.278=0.008
max	0.360-0.359=0.001

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.629-11.461=0.168
σ	12.714-11.544=1.169
min	0.573-0.574=-0.001
max	110.967-111.245=-0.279

*mean*	455.334-461.538=-6.204
σ	17.633-19.385=-1.752
min	406.000-408.000=-2.000
max	470.000-476.000=-6.000

*mean*	0.027-0.026=0.000
σ	0.031-0.028=0.003
min	0.001-0.001=0.000
max	0.265-0.270=-0.005

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.844-298.669=0.175
σ	1.046-0.978=0.068
min	298.387-298.284=0.103
max	301.816-301.447=0.369

*mean*	438.700-441.800=-3.100
σ	16.255-16.943=-0.688
min	413.000-415.000=-2.000
max	464.000-469.000=-5.000

*mean*	0.597-0.589=0.008
σ	0.031-0.028=0.003
min	0.550-0.550=-0.000
max	0.657-0.637=0.020

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	173.738-173.738=-0.000
σ	0.000-0.000=-0.000
min	173.738
max	173.738-173.738=-0.000

*mean*	839.000
σ	0.000
min	839.000
max	839.000

*mean*	239.863-218.283=21.580
σ	18.280-32.558=-14.278
min	198.231-151.235=46.995
max	252.826-253.150=-0.324

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	839.000
σ	0.000
min	839.000
max	839.000

*mean*	8.995-9.612=-0.617
σ	1.045-1.404=-0.359
min	7.234-7.435=-0.201
max	9.795-12.597=-2.803

phase=parser

*mean*	1042.433-1042.431=0.002
σ	0.000-0.000=-0.000
min	1042.432-1042.431=0.002
max	1042.433-1042.431=0.002

*mean*	839.000
σ	0.000
min	839.000
max	839.000

*mean*	549.410-599.908=-50.498
σ	88.765-62.304=26.460
min	389.931-503.096=-113.165
max	602.770-732.415=-129.645

phase=processProdDef

*mean*	2243.977-2243.979=-0.002
σ	0.000-0.000=-0.000
min	2243.977-2243.979=-0.002
max	2243.977-2243.980=-0.003

*mean*	839.000
σ	0.000
min	839.000
max	839.000

*mean*	2611.599-2620.288=-8.689
σ	310.504-346.174=-35.670
min	2138.213-2179.086=-40.873
max	3031.776-3041.325=-9.550

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

*mean*	37.038-39.408=-2.371
σ	6.577-5.548=1.029
min	26.177-27.028=-0.851
max	41.004-46.929=-5.925

phase=type checker

*mean*	989.752
σ	0.066
min	989.654
max	989.841

*mean*	839.000
σ	0.000
min	839.000
max	839.000

*mean*	664.502-684.520=-20.018
σ	15.737-52.382=-36.645
min	637.998-640.792=-2.794
max	675.619-811.258=-135.639

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.821-293.821=0.000
σ	0.037-0.037=0.000
min	293.768-293.768=0.001
max	293.859-293.858=0.001

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

*mean*	0.392-0.403=-0.011
σ	0.008-0.010=-0.002
min	0.387-0.387=-0.000
max	0.406-0.412=-0.006

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.303-1320.281=0.022
σ	0.094-0.121=-0.028
min	1320.156-1320.160=-0.004
max	1320.403-1320.468=-0.065

*mean*	1089.400-1090.000=-0.600
σ	166.536-168.933=-2.397
min	893.000-891.000=2.000
max	1317.000-1321.000=-4.000

*mean*	2.069-1.936=0.133
σ	0.203-0.181=0.022
min	1.844-1.772=0.072
max	2.297-2.236=0.062

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.322-1559.296=0.027
σ	2.957-3.012=-0.055
min	1557.788-1557.664=0.125
max	1564.602-1564.670=-0.068

*mean*	626.000-623.600=2.400
σ	87.684-87.022=0.662
min	495.000-494.000=1.000
max	728.000-726.000=2.000

*mean*	2.271-2.213=0.058
σ	0.150-0.268=-0.118
min	2.176-2.034=0.143
max	2.534-2.681=-0.147

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.339-1882.343=-0.004
σ	0.052-0.048=0.003
min	1882.278-1882.281=-0.003
max	1882.415-1882.414=0.001

*mean*	1734.000-1728.000=6.000
σ	177.255-173.103=4.153
min	1467.000-1472.000=-5.000
max	1884.000-1880.000=4.000

*mean*	2.965-2.943=0.022
σ	0.118-0.038=0.080
min	2.863-2.884=-0.020
max	3.150-2.986=0.164

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.700-1.718=-0.018
σ	0.113-0.157=-0.044
min	1.526-1.484=0.041
max	1.809-1.844=-0.036

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.942-419.941=0.001
σ	518.105-518.104=0.001
min	160.885-160.883=0.002
max	1197.099-1197.097=0.002

*mean*	101.750
σ	7.500
min	98.000
max	113.000

*mean*	447.000-446.000=1.000
σ	0.000
min	447.000-446.000=1.000
max	447.000-446.000=1.000

*mean*	0.525-0.521=0.004
σ	0.525-0.511=0.013
min	0.259-0.260=-0.001
max	1.312-1.288=0.024

policies=20

*mean*	1609.181-1609.180=0.001
σ	0.350-0.358=-0.008
min	1608.939-1608.936=0.003
max	1609.700-1609.712=-0.012

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	450.000-453.000=-3.000
σ	6.000-8.083=-2.083
min	447.000-446.000=1.000
max	459.000-460.000=-1.000

*mean*	2.584-2.591=-0.007
σ	0.020-0.017=0.003
min	2.565-2.566=-0.000
max	2.610-2.601=0.008

policies=200

*mean*	16100.660-16100.612=0.048
σ	0.156-0.141=0.015
min	16100.503-16100.409=0.094
max	16100.874-16100.728=0.146

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	496.000-499.750=-3.750
σ	3.742-4.787=-1.045
min	491.000-494.000=-3.000
max	500.000-505.000=-5.000

*mean*	25.977-26.050=-0.073
σ	0.140-0.148=-0.008
min	25.871-25.932=-0.062
max	26.176-26.266=-0.090