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.773-54.775=-0.002
σ	0.362-0.363=-0.000
min	54.627-54.629=-0.002
max	55.803-55.807=-0.003

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

*mean*	0.138-0.141=-0.003
σ	0.005-0.004=0.000
min	0.131-0.136=-0.005
max	0.146-0.148=-0.002

cache=y

dps=1

iters=10

policies=100

*mean*	43.772-43.774=-0.002
σ	0.006-0.007=-0.001
min	43.763-43.760=0.003
max	43.783-43.788=-0.005

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

*mean*	0.119-0.122=-0.003
σ	0.005-0.003=0.001
min	0.115-0.120=-0.005
max	0.128-0.130=-0.002

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

*mean*	4579.875-4583.875=-4.000
σ	2252.590-2251.771=0.819
min	1487.000
max	7395.000-7400.000=-5.000

*mean*	13.584-13.448=0.137
σ	3.736-3.505=0.230
min	11.878-11.730=0.149
max	22.782-22.053=0.729

op=column_set() on indexed, repeat

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

*mean*	4579.875-4583.875=-4.000
σ	2252.590-2251.771=0.819
min	1487.000
max	7395.000-7400.000=-5.000

*mean*	13.386-13.537=-0.151
σ	3.605-3.133=0.472
min	11.445-11.488=-0.043
max	22.201-21.149=1.053

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*	7395.000-7400.000=-5.000
σ	0.000
min	7395.000-7400.000=-5.000
max	7395.000-7400.000=-5.000

*mean*	11.095-11.178=-0.083
σ	0.185-0.113=0.072
min	10.884-11.019=-0.135
max	11.440-11.333=0.107

op=table_records(), repeat

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

*mean*	4165.625-4170.625=-5.000
σ	1944.599-1943.360=1.240
min	1487.000
max	7395.000-7400.000=-5.000

*mean*	11.820-11.929=-0.109
σ	1.784-1.786=-0.002
min	10.775-10.904=-0.130
max	16.174-16.308=-0.134

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

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

*mean*	4165.625-4170.625=-5.000
σ	1944.599-1943.360=1.240
min	1487.000
max	7395.000-7400.000=-5.000

*mean*	9.259-9.193=0.066
σ	1.261-1.318=-0.057
min	7.820-7.951=-0.131
max	12.169-12.337=-0.168

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
max	26.406

*mean*	4165.625-4170.625=-5.000
σ	1944.599-1943.360=1.240
min	1487.000
max	7395.000-7400.000=-5.000

*mean*	6.907-7.017=-0.110
σ	1.061-0.942=0.119
min	6.200-6.044=0.155
max	9.399-9.225=0.175

op=vertical_lookup_row_list() on 2 indexed

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

*mean*	4579.875-4583.875=-4.000
σ	2252.590-2251.771=0.819
min	1487.000
max	7395.000-7400.000=-5.000

*mean*	6.316-6.424=-0.108
σ	0.905-0.965=-0.060
min	5.739-5.836=-0.097
max	8.498-8.787=-0.289

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.985-25.984=0.000
σ	0.001-0.000=0.001
min	25.984
max	25.988-25.985=0.003

*mean*	4579.875-4583.875=-4.000
σ	2252.590-2251.771=0.819
min	1487.000
max	7395.000-7400.000=-5.000

*mean*	6.100-6.325=-0.225
σ	0.479-1.008=-0.529
min	5.673-5.741=-0.068
max	7.234-8.790=-1.556

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.627
σ	0.002
min	1021.625
max	1021.629

*mean*	7395.000-7400.000=-5.000
σ	0.000
min	7395.000-7400.000=-5.000
max	7395.000-7400.000=-5.000

*mean*	363.278-361.803=1.475
σ	43.493-41.861=1.633
min	344.429-345.369=-0.939
max	470.771-465.364=5.408

op=load_product(), with indexes

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

*mean*	3745.500-3749.000=-3.500
σ	2296.687-2296.221=0.466
min	720.000-721.000=-1.000
max	7395.000-7400.000=-5.000

*mean*	1609.382-1585.960=23.422
σ	536.890-469.423=67.467
min	1393.971-1384.167=9.804
max	2929.966-2737.167=192.799

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.853-107.854=-0.000
max	107.855

*mean*	4399.500-4405.500=-6.000
σ	2223.779-2223.271=0.508
min	1487.000
max	7395.000-7400.000=-5.000

*mean*	195.194-269.861=-74.667
σ	165.469-374.543=-209.074
min	125.290-127.112=-1.822
max	602.273-1195.619=-593.346

op=column_set() on unindexed, dense, repeat

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

*mean*	4579.875-4583.875=-4.000
σ	2252.590-2251.771=0.819
min	1487.000
max	7395.000-7400.000=-5.000

*mean*	176.392-118.614=57.778
σ	373.153-212.113=161.040
min	42.477-40.254=2.222
max	1099.891-643.527=456.364

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948
σ	0.002
min	40.947
max	40.950

*mean*	7395.000-7400.000=-5.000
σ	0.000
min	7395.000-7400.000=-5.000
max	7395.000-7400.000=-5.000

*mean*	22.296-22.280=0.016
σ	0.719-0.971=-0.252
min	21.764-21.687=0.077
max	23.919-24.637=-0.719

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-71.307=-0.000
max	71.310-71.311=-0.000

*mean*	7395.000-7400.000=-5.000
σ	0.000
min	7395.000-7400.000=-5.000
max	7395.000-7400.000=-5.000

*mean*	311.656-312.699=-1.043
σ	721.651-725.789=-4.138
min	55.482-55.222=0.260
max	2097.650-2108.933=-11.283

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.850-4646.850=0.000
σ	0.014-0.014=0.000
min	4646.845
max	4646.885-4646.884=0.001

*mean*	4165.625-4170.625=-5.000
σ	1944.599-1943.360=1.240
min	1487.000
max	7395.000-7400.000=-5.000

*mean*	3183.659-3072.744=110.915
σ	925.633-673.563=252.070
min	2483.654-2505.676=-22.021
max	4936.418-4159.327=777.091

op=vertical_lookup_list() on indexed

*mean*	1973.851
σ	0.002
min	1973.849
max	1973.854

*mean*	7395.000-7400.000=-5.000
σ	0.000
min	7395.000-7400.000=-5.000
max	7395.000-7400.000=-5.000

*mean*	1032.424-1019.997=12.427
σ	180.434-173.219=7.215
min	910.935-912.417=-1.482
max	1428.180-1408.189=19.991

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

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7395.000-7400.000=-5.000
σ	0.000
min	7395.000-7400.000=-5.000
max	7395.000-7400.000=-5.000

*mean*	391.947-388.508=3.439
σ	5.354-1.775=3.580
min	381.815-384.864=-3.049
max	397.851-390.474=7.377

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

*mean*	395.585-366.819=28.766
σ	30.217-22.224=7.993
min	364.560-317.153=47.407
max	451.045-393.522=57.522

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	564.000-563.500=0.500
σ	0.000-0.926=-0.926
min	564.000-562.000=2.000
max	564.000

*mean*	779.322-737.169=42.153
σ	51.433-81.934=-30.501
min	720.965-556.562=164.402
max	855.692-829.973=25.719

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.971-963.973=-0.002
σ	1.822-1.820=0.002
min	963.264-963.263=0.000
max	971.675-971.668=0.007

*mean*	1045.350-1049.800=-4.450
σ	296.102-297.686=-1.584
min	560.000-575.000=-15.000
max	1442.000-1475.000=-33.000

*mean*	1.262-1.327=-0.066
σ	0.092-0.149=-0.057
min	1.169-1.195=-0.026
max	1.515-1.735=-0.220

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.295-0.292=0.003
σ	0.292-0.282=0.010
min	0.141-0.138=0.003
max	0.814-0.793=0.021

name=error_case.art

*mean*	2.340
σ	0.012
min	2.334
max	2.362

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.482-0.488=-0.006
σ	0.324-0.334=-0.010
min	0.325-0.333=-0.007
max	1.061-1.085=-0.024

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.521
max	1.525

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.222-0.219=0.004
σ	0.024-0.029=-0.006
min	0.205-0.198=0.007
max	0.263-0.269=-0.006

name=nested_use.art

*mean*	2.358
σ	0.002
min	2.357
max	2.361

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.332-0.336=-0.004
σ	0.017-0.013=0.004
min	0.320-0.323=-0.003
max	0.362-0.353=0.009

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*	434.600-431.400=3.200
σ	4.099-0.894=3.204
min	431.000
max	439.000-433.000=6.000

*mean*	0.551-0.543=0.008
σ	0.051-0.026=0.025
min	0.491-0.521=-0.030
max	0.605-0.587=0.018

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	443.000-437.000=6.000
σ	0.000
min	443.000-437.000=6.000
max	443.000-437.000=6.000

*mean*	0.449-0.488=-0.038
σ	0.050-0.032=0.018
min	0.386-0.454=-0.068
max	0.493-0.522=-0.029

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*	443.000-437.000=6.000
σ	0.000
min	443.000-437.000=6.000
max	443.000-437.000=6.000

*mean*	2.113-2.411=-0.298
σ	0.360-0.269=0.090
min	1.739-1.886=-0.147
max	3.733-2.805=0.929

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	443.000-437.000=6.000
σ	0.000
min	443.000-437.000=6.000
max	443.000-437.000=6.000

*mean*	2.606-2.593=0.013
σ	0.097-0.068=0.029
min	2.447-2.468=-0.021
max	2.971-2.807=0.164

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	443.000-437.000=6.000
σ	0.000
min	443.000-437.000=6.000
max	443.000-437.000=6.000

*mean*	0.311-0.307=0.004
σ	0.010-0.008=0.002
min	0.293-0.292=0.001
max	0.359-0.358=0.001

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	443.000-437.000=6.000
σ	0.000
min	443.000-437.000=6.000
max	443.000-437.000=6.000

*mean*	0.298-0.291=0.007
σ	0.020-0.007=0.013
min	0.278-0.277=0.002
max	0.482-0.330=0.152

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.441-12.186=-0.745
σ	11.441-11.290=0.151
min	0.574-0.574=-0.000
max	88.742-76.030=12.711

*mean*	459.381-467.033=-7.652
σ	19.861-18.557=1.305
min	408.000
max	478.000-482.000=-4.000

*mean*	0.027-0.028=-0.001
σ	0.028-0.028=0.001
min	0.001-0.001=0.000
max	0.226-0.174=0.052

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.858-278.672=0.186
σ	1.037-1.063=-0.026
min	278.413-278.231=0.183
max	281.804-281.691=0.114

*mean*	442.400-446.400=-4.000
σ	16.057-17.044=-0.987
min	414.000-425.000=-11.000
max	464.000-470.000=-6.000

*mean*	0.581-0.582=-0.001
σ	0.016-0.016=-0.000
min	0.554-0.559=-0.005
max	0.607-0.618=-0.011

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	839.000-844.000=-5.000
σ	0.000
min	839.000-844.000=-5.000
max	839.000-844.000=-5.000

*mean*	218.219-226.124=-7.905
σ	33.262-18.984=14.278
min	154.124-197.634=-43.510
max	249.012-251.885=-2.873

phase=macro expansion

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

*mean*	839.000-843.375=-4.375
σ	0.000-1.768=-1.768
min	839.000
max	839.000-844.000=-5.000

*mean*	9.278-9.040=0.238
σ	0.772-1.013=-0.241
min	7.372-7.384=-0.011
max	9.625-9.713=-0.088

phase=parser

*mean*	1042.435-1042.434=0.001
σ	0.000-0.000=0.000
min	1042.435-1042.433=0.001
max	1042.435-1042.434=0.001

*mean*	839.000-843.375=-4.375
σ	0.000-1.768=-1.768
min	839.000
max	839.000-844.000=-5.000

*mean*	574.290-559.822=14.469
σ	57.576-84.493=-26.916
min	432.060-420.767=11.294
max	602.746-617.145=-14.399

phase=processProdDef

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

*mean*	839.000-844.000=-5.000
σ	0.000
min	839.000-844.000=-5.000
max	839.000-844.000=-5.000

*mean*	2746.220-2737.248=8.972
σ	276.010-410.145=-134.134
min	2135.728-2215.616=-79.888
max	3050.457-3407.289=-356.832

phase=renaming

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

*mean*	839.000-843.375=-4.375
σ	0.000-1.768=-1.768
min	839.000
max	839.000-844.000=-5.000

*mean*	38.555-37.153=1.402
σ	4.951-6.726=-1.776
min	26.345-26.156=0.189
max	41.073-41.125=-0.052

phase=type checker

*mean*	989.752
σ	0.066
min	989.654
max	989.841

*mean*	839.000-843.375=-4.375
σ	0.000-1.768=-1.768
min	839.000
max	839.000-844.000=-5.000

*mean*	674.994-715.675=-40.681
σ	15.434-75.495=-60.061
min	644.808-646.115=-1.307
max	697.939-868.831=-170.892

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.387-282.386=0.001
σ	0.037-0.037=-0.000
min	282.338-282.337=0.002
max	282.429-282.428=0.001

*mean*	444.800
σ	1.095
min	444.000
max	446.000

*mean*	0.382-0.378=0.004
σ	0.010-0.001=0.009
min	0.378-0.377=0.000
max	0.400-0.379=0.022

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.114-1267.110=0.004
σ	0.091-0.104=-0.013
min	1267.001-1266.999=0.002
max	1267.253-1267.275=-0.022

*mean*	1113.800-1105.600=8.200
σ	170.946-191.087=-20.141
min	897.000-844.000=53.000
max	1331.000-1335.000=-4.000

*mean*	2.033-1.929=0.104
σ	0.122-0.166=-0.044
min	1.869-1.799=0.070
max	2.172-2.134=0.038

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.141-1506.087=0.053
σ	2.904-2.947=-0.043
min	1504.647-1504.556=0.091
max	1511.325-1511.348=-0.023

*mean*	629.200-622.600=6.600
σ	90.295-81.402=8.893
min	505.000-497.000=8.000
max	729.000-714.000=15.000

*mean*	2.347-2.224=0.122
σ	0.242-0.196=0.046
min	2.071-2.088=-0.017
max	2.544-2.569=-0.025

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.115-1829.099=0.016
σ	0.081-0.046=0.035
min	1829.010-1829.033=-0.023
max	1829.229-1829.145=0.084

*mean*	1769.600-1742.400=27.200
σ	215.759-173.684=42.074
min	1491.000-1484.000=7.000
max	1977.000-1891.000=86.000

*mean*	3.108-3.011=0.097
σ	0.288-0.221=0.066
min	2.802-2.822=-0.020
max	3.524-3.394=0.130

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.807-1.711=0.096
σ	0.104-0.064=0.040
min	1.629-1.654=-0.025
max	1.880-1.807=0.073

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.698-397.697=0.001
σ	518.050-518.051=-0.001
min	138.670-138.670=0.000
max	1174.773-1174.774=-0.001

*mean*	97.750
σ	7.500
min	94.000
max	109.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.494-0.501=-0.007
σ	0.512-0.523=-0.011
min	0.237-0.236=0.001
max	1.262-1.285=-0.023

policies=20

*mean*	1386.838-1386.837=0.001
σ	0.166-0.163=0.003
min	1386.724-1386.725=-0.001
max	1387.085-1387.079=0.006

*mean*	940.000
σ	0.000
min	940.000
max	940.000

*mean*	443.750-446.000=-2.250
σ	0.500-0.000=0.500
min	443.000-446.000=-3.000
max	444.000-446.000=-2.000

*mean*	2.323-2.334=-0.011
σ	0.013-0.010=0.003
min	2.310-2.321=-0.011
max	2.341-2.344=-0.003

policies=200

*mean*	13876.876-13876.894=-0.018
σ	0.095-0.126=-0.031
min	13876.804-13876.757=0.047
max	13877.015-13877.062=-0.047

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	497.750-496.250=1.500
σ	4.646-3.500=1.146
min	493.000-492.000=1.000
max	504.000-500.000=4.000

*mean*	23.433-23.582=-0.148
σ	0.182-0.128=0.055
min	23.277-23.463=-0.186
max	23.689-23.713=-0.025