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.082
σ	0.000
min	5.082
max	5.082

AST compact size (parser)

Factor

compact size MiB

phase=parser

*mean*	4.988
σ	0.000
min	4.988
max	4.988

AST compact size (processProdDef Decls)

Factor

compact size MiB

phase=processProdDef Decls

*mean*	4.863
σ	0.000
min	4.863
max	4.863

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.102
σ	0.000
min	446.102
max	446.102

AST compact size (renaming)

Factor

compact size MiB

phase=renaming

*mean*	5.238
σ	0.000
min	5.238
max	5.238

AST compact size (type checker)

Factor

compact size MiB

phase=type checker

*mean*	6.395
σ	0.000
min	6.395
max	6.395

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	57.823-57.823=0.001
σ	0.361-0.360=0.000
min	57.683-57.685=-0.002
max	58.849-58.848=0.001

*mean*	422.000-423.000=-1.000
σ	0.000
min	422.000-423.000=-1.000
max	422.000-423.000=-1.000

*mean*	0.147-0.148=-0.000
σ	0.005-0.005=-0.000
min	0.142-0.143=-0.000
max	0.155-0.155=-0.000

cache=y

dps=1

iters=10

policies=100

*mean*	46.902-46.899=0.003
σ	0.006-0.006=0.001
min	46.889-46.891=-0.002
max	46.910-46.906=0.004

*mean*	422.000-423.000=-1.000
σ	0.000
min	422.000-423.000=-1.000
max	422.000-423.000=-1.000

*mean*	0.139-0.128=0.011
σ	0.012-0.005=0.006
min	0.128-0.120=0.008
max	0.158-0.136=0.023

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.606-36.605=0.001
σ	0.000-0.000=-0.000
min	36.605-36.605=0.001
max	36.606-36.606=0.001

*mean*	4203.125-4588.125=-385.000
σ	2140.818-2251.051=-110.234
min	1233.000-1484.000=-251.000
max	6974.000-7385.000=-411.000

*mean*	12.070-179.815=-167.745
σ	0.202-473.962=-473.760
min	11.890-11.280=0.610
max	12.496-1352.803=-1340.307

op=column_set() on indexed, repeat

*mean*	36.606-36.605=0.001
σ	0.000-0.000=-0.000
min	36.605-36.605=0.001
max	36.606-36.605=0.001

*mean*	4203.125-4588.125=-385.000
σ	2140.818-2251.051=-110.234
min	1233.000-1484.000=-251.000
max	6974.000-7385.000=-411.000

*mean*	12.146-13.891=-1.745
σ	0.575-4.510=-3.935
min	11.397-10.861=0.536
max	12.784-23.803=-11.019

op=table_records(), no indexes

*mean*	41.940-41.940=0.001
σ	0.002-0.002=-0.000
min	41.939-41.938=0.001
max	41.943-41.943=-0.000

*mean*	6974.000-7385.000=-411.000
σ	0.000
min	6974.000-7385.000=-411.000
max	6974.000-7385.000=-411.000

*mean*	11.202-11.077=0.125
σ	0.204-1.665=-1.461
min	10.909-10.294=0.615
max	11.541-15.177=-3.636

op=table_records(), repeat

*mean*	41.926-41.925=0.001
σ	0.001-0.000=0.000
min	41.925-41.925=0.001
max	41.926-41.926=0.001

*mean*	4203.125-4177.125=26.000
σ	2140.818-1947.084=193.734
min	1233.000-1484.000=-251.000
max	6974.000-7385.000=-411.000

*mean*	11.058-10.979=0.078
σ	0.257-1.710=-1.453
min	10.755-10.241=0.514
max	11.465-15.204=-3.739

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

*mean*	27.634-27.634=0.001
σ	0.137-0.137=0.000
min	27.586-27.585=0.001
max	27.973-27.972=0.001

*mean*	4203.125-4177.125=26.000
σ	2140.818-1947.084=193.734
min	1233.000-1484.000=-251.000
max	6974.000-7385.000=-411.000

*mean*	8.656-8.557=0.099
σ	0.307-1.257=-0.950
min	8.166-7.430=0.736
max	8.966-11.569=-2.604

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

*mean*	26.386-26.385=0.001
σ	0.000-0.000=0.000
min	26.386-26.385=0.001
max	26.386-26.385=0.001

*mean*	4203.125-4177.125=26.000
σ	2140.818-1947.084=193.734
min	1233.000-1484.000=-251.000
max	6974.000-7385.000=-411.000

*mean*	6.839-6.646=0.193
σ	0.164-0.946=-0.782
min	6.626-6.056=0.569
max	7.096-8.972=-1.876

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.664-25.663=0.001
σ	0.004-0.004=0.000
min	25.662-25.662=0.001
max	25.675-25.674=0.001

*mean*	4203.125-4588.125=-385.000
σ	2140.818-2251.051=-110.234
min	1233.000-1484.000=-251.000
max	6974.000-7385.000=-411.000

*mean*	5.991-5.991=-0.001
σ	0.162-1.053=-0.891
min	5.824-5.258=0.567
max	6.315-8.248=-1.933

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.963-25.962=0.001
σ	0.001-0.001=0.000
min	25.963-25.962=0.001
max	25.964-25.964=0.001

*mean*	4203.125-4588.125=-385.000
σ	2140.818-2251.051=-110.234
min	1233.000-1484.000=-251.000
max	6974.000-7385.000=-411.000

*mean*	5.837-5.857=-0.021
σ	0.151-0.956=-0.805
min	5.633-5.260=0.373
max	6.025-7.905=-1.880

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.600-1021.599=0.001
σ	0.002
min	1021.598-1021.597=0.001
max	1021.602-1021.602=0.001

*mean*	6974.000-7385.000=-411.000
σ	0.000
min	6974.000-7385.000=-411.000
max	6974.000-7385.000=-411.000

*mean*	347.740-343.792=3.948
σ	1.446-2.439=-0.993
min	346.011-339.793=6.218
max	349.687-346.248=3.439

op=load_product(), with indexes

*mean*	3495.849-3495.846=0.003
σ	0.460-0.455=0.005
min	3495.686-3495.685=0.001
max	3496.988-3496.972=0.016

*mean*	3453.250-3755.000=-301.750
σ	2095.013-2300.861=-205.848
min	640.000-720.000=-80.000
max	6974.000-7385.000=-411.000

*mean*	1730.384-1793.628=-63.244
σ	621.100-670.538=-49.438
min	1392.935-1399.520=-6.585
max	2931.239-2949.784=-18.545

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

*mean*	107.842-107.841=0.001
σ	0.000-0.000=-0.000
min	107.842-107.841=0.001
max	107.843-107.842=0.000

*mean*	4203.125-4406.000=-202.875
σ	2140.818-2220.475=-79.657
min	1233.000-1484.000=-251.000
max	6974.000-7385.000=-411.000

*mean*	147.014-265.957=-118.943
σ	13.478-359.798=-346.319
min	131.235-129.844=1.392
max	171.616-1155.313=-983.697

op=column_set() on unindexed, dense, repeat

*mean*	62.069-62.069=0.001
σ	0.001
min	62.066-62.065=0.001
max	62.070-62.069=0.001

*mean*	4203.125-4406.000=-202.875
σ	2140.818-2220.475=-79.657
min	1233.000-1484.000=-251.000
max	6974.000-7385.000=-411.000

*mean*	43.566-44.395=-0.828
σ	2.317-8.407=-6.089
min	41.290-39.995=1.295
max	48.248-65.002=-16.754

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.928-40.927=0.001
σ	0.002-0.002=0.000
min	40.926-40.926=0.001
max	40.930-40.930=0.001

*mean*	6974.000-7385.000=-411.000
σ	0.000
min	6974.000-7385.000=-411.000
max	6974.000-7385.000=-411.000

*mean*	22.386-205.499=-183.113
σ	1.331-518.683=-517.352
min	21.632-20.940=0.692
max	25.657-1489.159=-1463.502

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.295-71.294=0.001
σ	0.002-0.002=0.000
min	71.294-71.293=0.001
max	71.298-71.297=0.001

*mean*	6974.000-7385.000=-411.000
σ	0.000
min	6974.000-7385.000=-411.000
max	6974.000-7385.000=-411.000

*mean*	55.762-64.961=-9.199
σ	0.380-24.497=-24.117
min	55.238-54.877=0.361
max	56.293-125.199=-68.906

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.844-4646.843=0.001
σ	0.014-0.013=0.000
min	4646.838-4646.837=0.001
max	4646.877-4646.875=0.002

*mean*	4203.125-4177.125=26.000
σ	2140.818-1947.084=193.734
min	1233.000-1484.000=-251.000
max	6974.000-7385.000=-411.000

*mean*	3605.274-3330.022=275.253
σ	860.482-892.325=-31.843
min	2528.543-2500.538=28.006
max	4762.258-4711.781=50.477

op=vertical_lookup_list() on indexed

*mean*	1973.831-1973.830=0.001
σ	0.002-0.002=-0.000
min	1973.829-1973.829=0.001
max	1973.833-1973.833=0.000

*mean*	6974.000-7385.000=-411.000
σ	0.000
min	6974.000-7385.000=-411.000
max	6974.000-7385.000=-411.000

*mean*	1196.098-1053.874=142.224
σ	536.684-286.178=250.506
min	910.562-923.179=-12.617
max	2279.150-1748.245=530.905

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

*mean*	905.084-905.084=0.001
σ	0.002
min	905.082-905.082=0.001
max	905.088-905.087=0.001

*mean*	6974.000-7385.000=-411.000
σ	0.000
min	6974.000-7385.000=-411.000
max	6974.000-7385.000=-411.000

*mean*	415.999-410.863=5.135
σ	41.379-48.675=-7.297
min	397.781-378.073=19.708
max	518.270-530.188=-11.919

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

*mean*	388.744-371.869=16.876
σ	20.577-43.684=-23.107
min	365.883-306.940=58.943
max	427.920-434.298=-6.378

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	561.125-559.750=1.375
σ	0.354-1.035=-0.682
min	561.000-559.000=2.000
max	562.000-561.000=1.000

*mean*	752.671-739.406=13.265
σ	76.118-68.290=7.828
min	593.160-643.953=-50.793
max	828.982-823.435=5.546

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	976.919-976.920=-0.000
σ	2.436-2.438=-0.001
min	976.071-976.070=0.001
max	987.243-987.249=-0.007

*mean*	1050.650-1050.250=0.400
σ	312.729-316.226=-3.496
min	591.000-574.000=17.000
max	1558.000-1513.000=45.000

*mean*	1.256-1.312=-0.056
σ	0.045-0.135=-0.090
min	1.205-1.206=-0.000
max	1.342-1.762=-0.420

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.293-0.381=-0.088
σ	0.289-0.483=-0.194
min	0.143-0.137=0.006
max	0.807-1.241=-0.434

name=error_case.art

*mean*	2.346
σ	0.012
min	2.340
max	2.368

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.475-0.474=0.002
σ	0.316-0.320=-0.005
min	0.321-0.313=0.008
max	1.039-1.046=-0.006

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.522
max	1.526

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.216-0.219=-0.002
σ	0.023-0.022=0.001
min	0.204-0.197=0.007
max	0.258-0.255=0.002

name=nested_use.art

*mean*	2.364
σ	0.002
min	2.363
max	2.367

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.335-0.346=-0.010
σ	0.017-0.019=-0.002
min	0.315-0.326=-0.012
max	0.357-0.375=-0.018

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.978
σ	0.009
min	964.973
max	964.995

*mean*	431.600-431.000=0.600
σ	1.342-0.000=1.342
min	431.000
max	434.000-431.000=3.000

*mean*	0.567-0.554=0.013
σ	0.044-0.037=0.007
min	0.507-0.509=-0.002
max	0.611-0.609=0.002

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

*mean*	441.000-431.000=10.000
σ	0.000
min	441.000-431.000=10.000
max	441.000-431.000=10.000

*mean*	0.467-0.485=-0.018
σ	0.038-0.037=0.001
min	0.427-0.442=-0.016
max	0.523-0.527=-0.003

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.719
σ	0.002
min	7.718
max	7.722

*mean*	441.000-431.000=10.000
σ	0.000
min	441.000-431.000=10.000
max	441.000-431.000=10.000

*mean*	2.595-2.688=-0.093
σ	0.158-0.094=0.064
min	1.869-2.483=-0.614
max	3.103-2.979=0.124

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	441.000-431.000=10.000
σ	0.000
min	441.000-431.000=10.000
max	441.000-431.000=10.000

*mean*	2.584-2.589=-0.005
σ	0.078-0.080=-0.002
min	2.449-2.447=0.002
max	2.856-2.841=0.015

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	441.000-431.000=10.000
σ	0.000
min	441.000-431.000=10.000
max	441.000-431.000=10.000

*mean*	0.305-0.302=0.002
σ	0.011-0.008=0.003
min	0.287-0.288=-0.001
max	0.386-0.351=0.035

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	441.000-431.000=10.000
σ	0.000
min	441.000-431.000=10.000
max	441.000-431.000=10.000

*mean*	0.293-0.291=0.002
σ	0.011-0.009=0.002
min	0.277-0.277=-0.001
max	0.370-0.344=0.026

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.532-11.930=-0.398
σ	12.386-11.974=0.412
min	0.574-0.574=0.000
max	104.427-114.075=-9.648

*mean*	462.886-458.866=4.020
σ	19.705-18.459=1.246
min	407.000-409.000=-2.000
max	482.000-478.000=4.000

*mean*	0.026-0.027=-0.001
σ	0.030-0.029=0.001
min	0.001-0.001=0.000
max	0.251-0.281=-0.030

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	293.730-293.776=-0.046
σ	1.053-1.006=0.047
min	293.347-293.340=0.007
max	296.726-296.631=0.094

*mean*	443.200-445.200=-2.000
σ	18.630-20.176=-1.546
min	415.000-416.000=-1.000
max	472.000-473.000=-1.000

*mean*	0.592-0.591=0.002
σ	0.016-0.025=-0.009
min	0.568-0.537=0.031
max	0.619-0.612=0.007

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	137.998-148.759=-10.762
σ	9.082-11.842=-2.760
min	122.401-138.026=-15.624
max	146.195-165.979=-19.784

phase=macro expansion

*mean*	5.897-5.894=0.004
σ	0.000
min	5.897-5.894=0.004
max	5.897-5.894=0.004

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	6.385-7.121=-0.736
σ	1.114-2.247=-1.133
min	5.729-5.908=-0.179
max	8.965-12.019=-3.054

phase=parser

*mean*	1042.133-1042.134=-0.001
σ	0.000-0.001=-0.001
min	1042.132-1042.131=0.001
max	1042.133-1042.134=-0.001

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	420.112-445.438=-25.326
σ	73.891-136.497=-62.606
min	372.072-371.274=0.798
max	545.839-724.750=-178.910

phase=processProdDef

*mean*	2241.194-2241.193=0.000
σ	0.000-0.000=-0.000
min	2241.194-2241.193=0.001
max	2241.194-2241.194=-0.001

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	2925.982-3021.655=-95.672
σ	501.885-420.322=81.563
min	1786.178-2162.735=-376.557
max	3307.883-3445.850=-137.967

phase=renaming

*mean*	21.430-21.430=-0.000
σ	0.000-0.001=-0.001
min	21.430
max	21.430-21.433=-0.004

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	33.808-41.113=-7.306
σ	9.306-2.834=6.472
min	20.000-39.097=-19.097
max	42.215-47.383=-5.168

phase=type checker

*mean*	958.462-958.466=-0.003
σ	0.047-0.047=-0.000
min	958.439
max	958.564-958.568=-0.004

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	665.075-697.653=-32.577
σ	28.796-64.515=-35.719
min	619.325-661.716=-42.390
max	687.893-854.422=-166.529

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	328.017-327.854=0.163
σ	0.038-0.036=0.001
min	327.966-327.804=0.162
max	328.056-327.891=0.165

*mean*	440.600-441.200=-0.600
σ	5.413-4.266=1.147
min	432.000-434.000=-2.000
max	445.000

*mean*	0.435-0.431=0.004
σ	0.011-0.007=0.004
min	0.424-0.423=0.001
max	0.449-0.442=0.007

iters=5

new-facts=1

prior-facts=6402

*mean*	1313.236-1313.077=0.160
σ	0.136-0.142=-0.006
min	1313.122-1312.963=0.159
max	1313.468-1313.316=0.152

*mean*	1074.000-1079.400=-5.400
σ	164.883-166.467=-1.584
min	878.000-855.000=23.000
max	1282.000-1281.000=1.000

*mean*	1.846-1.853=-0.007
σ	0.044-0.071=-0.027
min	1.809-1.736=0.073
max	1.909-1.918=-0.010

iters=5

new-facts=6402

prior-facts=1

*mean*	1552.211-1552.070=0.141
σ	3.055-3.026=0.029
min	1550.665-1550.525=0.141
max	1557.668-1557.474=0.194

*mean*	623.000-619.200=3.800
σ	81.762-86.112=-4.350
min	534.000-520.000=14.000
max	735.000-722.000=13.000

*mean*	2.227-2.274=-0.047
σ	0.150-0.201=-0.051
min	2.112-2.056=0.056
max	2.477-2.507=-0.031

iters=5

new-facts=6402

prior-facts=6402

*mean*	1875.223-1875.049=0.174
σ	0.048-0.031=0.017
min	1875.162-1875.008=0.154
max	1875.273-1875.089=0.185

*mean*	1708.400-1707.000=1.400
σ	261.211-263.185=-1.974
min	1401.000-1394.000=7.000
max	2076.000-2075.000=1.000

*mean*	3.044-2.948=0.097
σ	0.243-0.123=0.119
min	2.824-2.849=-0.025
max	3.434-3.128=0.305

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.546-1.639=-0.093
σ	0.196-0.075=0.121
min	1.201-1.536=-0.335
max	1.688-1.707=-0.018

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.411-419.404=0.007
σ	508.906-508.890=0.016
min	164.956-164.958=-0.001
max	1182.770-1182.739=0.030

*mean*	101.250
σ	6.500
min	98.000
max	111.000

*mean*	435.000-432.000=3.000
σ	0.000
min	435.000-432.000=3.000
max	435.000-432.000=3.000

*mean*	0.521-0.517=0.004
σ	0.503-0.487=0.016
min	0.264-0.273=-0.009
max	1.276-1.247=0.029

policies=20

*mean*	1649.825-1649.811=0.013
σ	0.375-0.373=0.002
min	1649.606-1649.596=0.010
max	1650.386-1650.370=0.015

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	453.000-448.500=4.500
σ	10.893-10.630=0.263
min	440.000-436.000=4.000
max	462.000

*mean*	2.657-2.653=0.004
σ	0.008-0.015=-0.007
min	2.647-2.641=0.006
max	2.664-2.675=-0.011

policies=200

*mean*	16506.151-16506.057=0.095
σ	0.059-0.045=0.014
min	16506.066-16505.993=0.073
max	16506.198-16506.093=0.105

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	501.000-499.000=2.000
σ	7.303-6.481=0.822
min	493.000-491.000=2.000
max	509.000-506.000=3.000

*mean*	26.796-26.846=-0.050
σ	0.102-0.168=-0.066
min	26.710-26.653=0.057
max	26.930-27.031=-0.102