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.825-57.823=0.002
σ	0.359-0.359=-0.000
min	57.681-57.683=-0.002
max	58.845-58.845=0.001

*mean*	420.600-417.000=3.600
σ	0.843-0.000=0.843
min	419.000-417.000=2.000
max	421.000-417.000=4.000

*mean*	0.152-0.147=0.005
σ	0.010-0.004=0.005
min	0.139-0.143=-0.004
max	0.164-0.153=0.010

cache=y

dps=1

iters=10

policies=100

*mean*	46.899-46.898=0.001
σ	0.006-0.005=0.001
min	46.887-46.888=-0.002
max	46.905-46.903=0.002

*mean*	421.000-418.000=3.000
σ	0.000
min	421.000-418.000=3.000
max	421.000-418.000=3.000

*mean*	0.133-0.127=0.006
σ	0.011-0.005=0.005
min	0.123-0.121=0.002
max	0.156-0.136=0.020

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

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

*mean*	4027.125-4592.500=-565.375
σ	1987.670-2248.699=-261.029
min	1337.000-1487.000=-150.000
max	7390.000-7384.000=6.000

*mean*	12.020-153.538=-141.518
σ	0.166-397.759=-397.593
min	11.820-11.865=-0.045
max	12.250-1137.929=-1125.679

op=column_set() on indexed, repeat

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

*mean*	4027.125-4592.500=-565.375
σ	1987.670-2248.699=-261.029
min	1337.000-1487.000=-150.000
max	7390.000-7384.000=6.000

*mean*	12.531-14.738=-2.207
σ	0.397-4.385=-3.988
min	11.589-11.501=0.088
max	12.842-24.296=-11.454

op=table_records(), no indexes

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

*mean*	7489.000-7384.000=105.000
σ	105.835-0.000=105.835
min	7390.000-7384.000=6.000
max	7588.000-7384.000=204.000

*mean*	11.078-11.670=-0.593
σ	0.250-1.834=-1.584
min	10.652-10.784=-0.132
max	11.418-16.197=-4.779

op=table_records(), repeat

*mean*	41.926-41.925=0.001
σ	0.001-0.000=0.001
min	41.925-41.924=0.001
max	41.929-41.925=0.004

*mean*	4027.125-4184.500=-157.375
σ	1987.670-1945.530=42.140
min	1337.000-1487.000=-150.000
max	7390.000-7384.000=6.000

*mean*	10.961-11.630=-0.669
σ	0.164-1.916=-1.752
min	10.773-10.659=0.114
max	11.256-16.318=-5.062

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

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

*mean*	4027.125-4184.500=-157.375
σ	1987.670-1945.530=42.140
min	1337.000-1487.000=-150.000
max	7390.000-7384.000=6.000

*mean*	8.648-9.137=-0.490
σ	0.247-1.507=-1.261
min	8.338-7.943=0.395
max	8.938-12.775=-3.837

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*	4027.125-4184.500=-157.375
σ	1987.670-1945.530=42.140
min	1337.000-1487.000=-150.000
max	7390.000-7384.000=6.000

*mean*	6.751-6.960=-0.209
σ	0.141-1.232=-1.090
min	6.533-6.039=0.494
max	6.986-9.815=-2.829

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*	4027.125-4592.500=-565.375
σ	1987.670-2248.699=-261.029
min	1337.000-1487.000=-150.000
max	7390.000-7384.000=6.000

*mean*	5.980-6.551=-0.571
σ	0.142-0.960=-0.817
min	5.743-5.937=-0.194
max	6.236-8.710=-2.474

op=vertical_lookup_row_list() on 3 (1 unindexed)

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

*mean*	4027.125-4592.500=-565.375
σ	1987.670-2248.699=-261.029
min	1337.000-1487.000=-150.000
max	7390.000-7384.000=6.000

*mean*	5.802-6.518=-0.715
σ	0.096-1.118=-1.022
min	5.650-5.803=-0.153
max	5.951-9.025=-3.073

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*	7464.250-7384.000=80.250
σ	102.475-0.000=102.475
min	7390.000-7384.000=6.000
max	7588.000-7384.000=204.000

*mean*	346.611-346.194=0.417
σ	2.465-2.218=0.247
min	343.115-343.679=-0.563
max	350.800-349.799=1.001

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*	3371.000-3759.500=-388.500
σ	1936.876-2300.596=-363.720
min	637.000-720.000=-83.000
max	5399.000-7384.000=-1985.000

*mean*	1773.399-1790.056=-16.657
σ	726.847-684.786=42.061
min	1390.466-1381.883=8.582
max	3255.163-2972.323=282.840

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

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

*mean*	4027.125-4413.125=-386.000
σ	1987.670-2217.978=-230.308
min	1337.000-1487.000=-150.000
max	7390.000-7384.000=6.000

*mean*	140.177-269.812=-129.635
σ	5.904-375.959=-370.055
min	131.022-125.326=5.696
max	150.207-1199.087=-1048.879

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*	4027.125-4413.125=-386.000
σ	1987.670-2217.978=-230.308
min	1337.000-1487.000=-150.000
max	7390.000-7384.000=6.000

*mean*	42.368-45.261=-2.893
σ	1.849-8.631=-6.783
min	40.542-40.084=0.458
max	44.628-66.194=-21.566

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*	7489.000-7384.000=105.000
σ	105.835-0.000=105.835
min	7390.000-7384.000=6.000
max	7588.000-7384.000=204.000

*mean*	21.693-190.243=-168.550
σ	0.166-475.780=-475.615
min	21.407-21.541=-0.135
max	21.866-1367.738=-1345.872

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*	7489.000-7384.000=105.000
σ	105.835-0.000=105.835
min	7390.000-7384.000=6.000
max	7588.000-7384.000=204.000

*mean*	55.671-64.730=-9.059
σ	0.572-23.721=-23.150
min	54.669-55.128=-0.458
max	56.545-123.358=-66.813

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.843-4646.842=0.001
σ	0.014-0.014=-0.000
min	4646.838-4646.837=0.001
max	4646.877-4646.876=0.001

*mean*	4027.125-4184.500=-157.375
σ	1987.670-1945.530=42.140
min	1337.000-1487.000=-150.000
max	7390.000-7384.000=6.000

*mean*	3521.732-3262.413=259.319
σ	833.931-776.494=57.437
min	2524.226-2467.900=56.327
max	4697.795-4622.432=75.363

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*	7489.000-7384.000=105.000
σ	105.835-0.000=105.835
min	7390.000-7384.000=6.000
max	7588.000-7384.000=204.000

*mean*	1084.826-1038.745=46.082
σ	308.161-280.967=27.195
min	906.782-912.178=-5.396
max	1633.252-1718.557=-85.306

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*	7489.000-7384.000=105.000
σ	105.835-0.000=105.835
min	7390.000-7384.000=6.000
max	7588.000-7384.000=204.000

*mean*	400.964-389.950=11.014
σ	3.056-5.038=-1.982
min	395.893-379.536=16.357
max	405.326-396.529=8.797

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.000-475.625=0.375
σ	0.000-0.518=-0.518
min	476.000-475.000=1.000
max	476.000

*mean*	400.361-384.714=15.647
σ	23.213-35.949=-12.736
min	366.080-310.796=55.284
max	430.248-429.335=0.913

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	556.375-561.250=-4.875
σ	2.504-3.240=-0.737
min	555.000-556.000=-1.000
max	562.000-563.000=-1.000

*mean*	757.675-738.833=18.842
σ	64.147-62.445=1.702
min	633.477-625.827=7.649
max	830.543-820.126=10.418

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	976.920-976.917=0.003
σ	2.437-2.438=-0.001
min	976.070-976.069=0.001
max	987.244-987.247=-0.003

*mean*	1046.450-1051.700=-5.250
σ	304.087-315.963=-11.876
min	556.000-568.000=-12.000
max	1492.000-1515.000=-23.000

*mean*	1.320-1.346=-0.026
σ	0.157-0.180=-0.022
min	1.209-1.207=0.002
max	1.814-1.755=0.059

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

*mean*	0.390-0.438=-0.048
σ	0.478-0.475=0.002
min	0.154-0.154=0.000
max	1.242-1.285=-0.043

name=error_case.art

*mean*	2.346
σ	0.012
min	2.340
max	2.368

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

*mean*	0.489-0.829=-0.340
σ	0.317-0.516=-0.199
min	0.335-0.576=-0.241
max	1.055-1.751=-0.696

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.522
max	1.526

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

*mean*	0.226-0.379=-0.153
σ	0.022-0.030=-0.007
min	0.204-0.358=-0.154
max	0.260-0.429=-0.169

name=nested_use.art

*mean*	2.364
σ	0.002
min	2.363
max	2.367

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

*mean*	0.345-0.596=-0.251
σ	0.023-0.035=-0.012
min	0.326-0.556=-0.230
max	0.382-0.652=-0.270

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*	430.000-429.000=1.000
σ	0.000
min	430.000-429.000=1.000
max	430.000-429.000=1.000

*mean*	0.576-0.737=-0.161
σ	0.036-0.011=0.025
min	0.521-0.729=-0.208
max	0.615-0.757=-0.142

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

*mean*	430.000-429.000=1.000
σ	0.000
min	430.000-429.000=1.000
max	430.000-429.000=1.000

*mean*	0.460-0.602=-0.142
σ	0.058-0.039=0.019
min	0.394-0.539=-0.145
max	0.528-0.638=-0.110

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*	430.000-429.000=1.000
σ	0.000
min	430.000-429.000=1.000
max	430.000-429.000=1.000

*mean*	2.040-3.534=-1.494
σ	0.180-0.088=0.093
min	1.858-3.420=-1.563
max	2.641-3.917=-1.276

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	430.000-429.000=1.000
σ	0.000
min	430.000-429.000=1.000
max	430.000-429.000=1.000

*mean*	2.672-3.498=-0.826
σ	0.095-0.080=0.015
min	2.502-3.337=-0.835
max	2.981-3.779=-0.798

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	430.000-429.000=1.000
σ	0.000
min	430.000-429.000=1.000
max	430.000-429.000=1.000

*mean*	0.310-0.540=-0.229
σ	0.008-0.017=-0.009
min	0.294-0.517=-0.223
max	0.360-0.627=-0.267

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	430.000-429.000=1.000
σ	0.000
min	430.000-429.000=1.000
max	430.000-429.000=1.000

*mean*	0.297-0.512=-0.215
σ	0.008-0.013=-0.006
min	0.284-0.489=-0.205
max	0.341-0.575=-0.234

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.877-11.428=0.448
σ	11.285-11.679=-0.395
min	0.573-0.573=0.000
max	87.140-131.510=-44.370

*mean*	457.933-466.613=-8.680
σ	18.257-19.214=-0.957
min	407.000-406.000=1.000
max	473.000-480.000=-7.000

*mean*	0.027-0.026=0.001
σ	0.028-0.028=-0.001
min	0.001-0.001=-0.000
max	0.213-0.315=-0.103

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	293.828-293.945=-0.117
σ	1.059-1.061=-0.002
min	293.363-293.486=-0.123
max	296.837-296.956=-0.120

*mean*	442.000-445.200=-3.200
σ	16.813-18.967=-2.154
min	416.000
max	464.000-472.000=-8.000

*mean*	0.597-0.588=0.009
σ	0.018-0.017=0.001
min	0.550-0.553=-0.003
max	0.617-0.602=0.015

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	847.750-848.000=-0.250
σ	0.707-0.000=0.707
min	846.000-848.000=-2.000
max	848.000

*mean*	138.004-145.479=-7.475
σ	7.518-11.762=-4.245
min	125.461-129.562=-4.101
max	146.265-160.885=-14.620

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*	847.500-847.750=-0.250
σ	0.926-0.707=0.219
min	846.000
max	848.000

*mean*	6.369-6.968=-0.598
σ	1.084-2.275=-1.191
min	5.785-5.744=0.041
max	8.901-11.888=-2.987

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*	847.500-847.750=-0.250
σ	0.926-0.707=0.219
min	846.000
max	848.000

*mean*	425.017-440.817=-15.800
σ	84.065-129.219=-45.154
min	371.284-372.957=-1.673
max	598.894-722.295=-123.400

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*	847.750-848.000=-0.250
σ	0.707-0.000=0.707
min	846.000-848.000=-2.000
max	848.000

*mean*	2889.167-2846.227=42.940
σ	287.463-346.688=-59.225
min	2266.889-2406.348=-139.459
max	3127.806-3273.503=-145.698

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*	847.500-847.750=-0.250
σ	0.926-0.707=0.219
min	846.000
max	848.000

*mean*	33.902-39.470=-5.569
σ	9.026-3.844=5.182
min	20.017-34.588=-14.571
max	43.038-46.776=-3.738

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*	847.500-847.750=-0.250
σ	0.926-0.707=0.219
min	846.000
max	848.000

*mean*	673.677-683.025=-9.349
σ	59.029-66.044=-7.015
min	621.005-638.929=-17.924
max	778.726-842.718=-63.992

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.002
min	327.966-327.803=0.163
max	328.056-327.889=0.167

*mean*	440.600-441.000=-0.400
σ	4.099-4.416=-0.317
min	434.000
max	445.000-446.000=-1.000

*mean*	0.439-0.435=0.005
σ	0.009-0.006=0.003
min	0.428-0.429=-0.001
max	0.450-0.445=0.006

iters=5

new-facts=1

prior-facts=6402

*mean*	1313.231-1313.070=0.162
σ	0.145-0.131=0.014
min	1313.119-1312.969=0.150
max	1313.482-1313.290=0.192

*mean*	1074.000-1070.600=3.400
σ	164.883-185.330=-20.447
min	878.000-830.000=48.000
max	1282.000-1309.000=-27.000

*mean*	1.882-1.872=0.011
σ	0.063-0.051=0.013
min	1.828-1.831=-0.003
max	1.956-1.929=0.028

iters=5

new-facts=6402

prior-facts=1

*mean*	1552.261-1552.054=0.207
σ	3.029-3.065=-0.036
min	1550.748-1550.448=0.300
max	1557.673-1557.525=0.148

*mean*	620.600-619.200=1.400
σ	84.884-81.275=3.609
min	521.000-502.000=19.000
max	734.000-706.000=28.000

*mean*	2.354-2.324=0.030
σ	0.179-0.278=-0.099
min	2.170-2.094=0.076
max	2.596-2.661=-0.065

iters=5

new-facts=6402

prior-facts=6402

*mean*	1875.220-1875.062=0.159
σ	0.045-0.040=0.005
min	1875.168-1875.020=0.148
max	1875.276-1875.107=0.169

*mean*	1706.400-1710.600=-4.200
σ	259.406-247.346=12.060
min	1400.000-1416.000=-16.000
max	2071.000-2040.000=31.000

*mean*	2.943-2.859=0.084
σ	0.117-0.161=-0.043
min	2.850-2.712=0.138
max	3.106-3.032=0.074

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.672-1.539=0.133
σ	0.056-0.210=-0.154
min	1.593-1.173=0.420
max	1.729-1.688=0.041

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.409-419.401=0.008
σ	508.903-508.891=0.012
min	164.955-164.955=0.000
max	1182.764-1182.738=0.026

*mean*	101.250
σ	6.500
min	98.000
max	111.000

*mean*	432.000-428.000=4.000
σ	0.000
min	432.000-428.000=4.000
max	432.000-428.000=4.000

*mean*	0.535-0.518=0.016
σ	0.527-0.495=0.032
min	0.267-0.263=0.005
max	1.325-1.261=0.064

policies=20

*mean*	1649.814-1649.787=0.027
σ	0.362-0.371=-0.009
min	1649.591-1649.575=0.016
max	1650.356-1650.343=0.013

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	450.750-446.250=4.500
σ	11.295-11.057=0.239
min	437.000-432.000=5.000
max	460.000-455.000=5.000

*mean*	2.654-2.646=0.009
σ	0.015-0.020=-0.006
min	2.641-2.618=0.023
max	2.670-2.665=0.006

policies=200

*mean*	16506.005-16505.941=0.064
σ	0.111-0.057=0.055
min	16505.845-16505.873=-0.027
max	16506.104-16506.005=0.100

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	497.750-500.500=-2.750
σ	5.909-7.000=-1.091
min	492.000
max	506.000-508.000=-2.000

*mean*	26.787-26.797=-0.010
σ	0.213-0.113=0.099
min	26.529-26.672=-0.143
max	27.021-26.902=0.119