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.817=0.006
σ	0.360-0.362=-0.003
min	57.679-57.681=-0.002
max	58.846-58.847=-0.001

*mean*	420.000-421.000=-1.000
σ	0.000
min	420.000-421.000=-1.000
max	420.000-421.000=-1.000

*mean*	0.145-0.146=-0.002
σ	0.005-0.004=0.001
min	0.137-0.143=-0.006
max	0.151-0.154=-0.003

cache=y

dps=1

iters=10

policies=100

*mean*	46.897-46.899=-0.002
σ	0.003-0.007=-0.003
min	46.890-46.889=0.002
max	46.900-46.910=-0.010

*mean*	420.000-421.000=-1.000
σ	0.000
min	420.000-421.000=-1.000
max	420.000-421.000=-1.000

*mean*	0.127-0.128=-0.001
σ	0.005-0.005=-0.000
min	0.122-0.121=0.001
max	0.136-0.139=-0.002

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

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

*mean*	4585.000-4428.750=156.250
σ	2253.356-2227.496=25.860
min	1487.000-1485.000=2.000
max	7403.000-7410.000=-7.000

*mean*	13.357-13.611=-0.254
σ	3.479-3.575=-0.096
min	11.783-12.048=-0.264
max	21.931-22.392=-0.461

op=column_set() on indexed, repeat

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

*mean*	4585.000-4609.500=-24.500
σ	2253.356-2258.703=-5.348
min	1487.000-1485.000=2.000
max	7403.000-7410.000=-7.000

*mean*	13.791-135.321=-121.530
σ	3.029-344.159=-341.129
min	11.953-11.377=0.575
max	21.227-987.029=-965.802

op=table_records(), no indexes

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

*mean*	7403.000-7410.000=-7.000
σ	0.000
min	7403.000-7410.000=-7.000
max	7403.000-7410.000=-7.000

*mean*	11.149-11.069=0.080
σ	0.101-0.176=-0.076
min	10.950-10.841=0.110
max	11.251-11.308=-0.057

op=table_records(), repeat

*mean*	41.925-41.925=-0.000
σ	0.001-0.001=-0.001
min	41.924-41.924=-0.000
max	41.926-41.928=-0.003

*mean*	4170.625-4200.125=-29.500
σ	1944.792-1954.988=-10.195
min	1487.000-1485.000=2.000
max	7403.000-7410.000=-7.000

*mean*	11.676-11.814=-0.138
σ	1.929-1.722=0.206
min	10.551-10.879=-0.329
max	16.409-16.033=0.377

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

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

*mean*	4170.625-4200.125=-29.500
σ	1944.792-1954.988=-10.195
min	1487.000-1485.000=2.000
max	7403.000-7410.000=-7.000

*mean*	9.064-9.043=0.021
σ	1.125-1.147=-0.022
min	8.057-8.023=0.034
max	11.774-11.781=-0.007

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

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

*mean*	4170.625-4200.125=-29.500
σ	1944.792-1954.988=-10.195
min	1487.000-1485.000=2.000
max	7403.000-7410.000=-7.000

*mean*	7.112-7.000=0.112
σ	0.742-1.018=-0.275
min	6.524-6.199=0.325
max	8.880-9.403=-0.523

op=vertical_lookup_row_list() on 2 indexed

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

*mean*	4585.000-4609.500=-24.500
σ	2253.356-2258.703=-5.348
min	1487.000-1485.000=2.000
max	7403.000-7410.000=-7.000

*mean*	6.359-6.767=-0.408
σ	0.867-1.317=-0.450
min	5.801-5.907=-0.107
max	8.474-9.173=-0.699

op=vertical_lookup_row_list() on 3 (1 unindexed)

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

*mean*	4585.000-4609.500=-24.500
σ	2253.356-2258.703=-5.348
min	1487.000-1485.000=2.000
max	7403.000-7410.000=-7.000

*mean*	6.117-6.376=-0.259
σ	0.467-1.003=-0.536
min	5.742-5.598=0.145
max	7.219-8.513=-1.294

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.599-1021.599=-0.000
σ	0.002-0.002=-0.000
min	1021.597-1021.597=0.000
max	1021.602-1021.602=-0.000

*mean*	7403.000-7410.000=-7.000
σ	0.000
min	7403.000-7410.000=-7.000
max	7403.000-7410.000=-7.000

*mean*	358.937-345.656=13.281
σ	42.466-2.132=40.334
min	341.534-340.971=0.563
max	463.978-347.708=116.269

op=load_product(), with indexes

*mean*	3495.846-3495.846=0.000
σ	0.455-0.455=-0.000
min	3495.685-3495.685=0.000
max	3496.972-3496.972=-0.000

*mean*	3749.625-3773.250=-23.625
σ	2297.750-2311.557=-13.808
min	720.000
max	7403.000-7410.000=-7.000

*mean*	1629.071-1787.401=-158.330
σ	554.957-673.622=-118.665
min	1395.828-1387.159=8.670
max	2995.343-2937.044=58.299

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.000
σ	0.000-0.000=0.000
min	107.841-107.841=0.000
max	107.842-107.842=0.000

*mean*	4405.375-4200.125=205.250
σ	2224.814-1954.988=269.826
min	1487.000-1485.000=2.000
max	7403.000-7410.000=-7.000

*mean*	191.950-136.976=54.974
σ	149.781-17.184=132.597
min	125.747-124.263=1.484
max	559.985-177.236=382.749

op=column_set() on unindexed, dense, repeat

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

*mean*	4585.000-4428.750=156.250
σ	2253.356-2227.496=25.860
min	1487.000-1485.000=2.000
max	7403.000-7410.000=-7.000

*mean*	199.242-144.518=54.724
σ	441.668-286.464=155.205
min	40.436-41.162=-0.726
max	1292.307-853.470=438.837

op=vertical_lookup_list() repeated on unindexed missing Int

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

*mean*	7403.000-7410.000=-7.000
σ	0.000
min	7403.000-7410.000=-7.000
max	7403.000-7410.000=-7.000

*mean*	21.971-127.875=-105.904
σ	0.870-299.710=-298.840
min	21.531-21.533=-0.003
max	24.112-869.619=-845.507

op=vertical_lookup_row_list() on unindexed small unique Int

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

*mean*	7403.000-7410.000=-7.000
σ	0.000
min	7403.000-7410.000=-7.000
max	7403.000-7410.000=-7.000

*mean*	256.484-59.939=196.545
σ	567.066-10.063=557.004
min	54.819-55.894=-1.076
max	1659.898-84.836=1575.062

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.842-4646.842=-0.000
σ	0.013-0.013=0.000
min	4646.837
max	4646.875

*mean*	4170.625-4200.125=-29.500
σ	1944.792-1954.988=-10.195
min	1487.000-1485.000=2.000
max	7403.000-7410.000=-7.000

*mean*	3137.073-3353.625=-216.552
σ	866.663-749.112=117.551
min	2499.310-2526.187=-26.877
max	4649.434-4447.001=202.432

op=vertical_lookup_list() on indexed

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

*mean*	7403.000-7410.000=-7.000
σ	0.000
min	7403.000-7410.000=-7.000
max	7403.000-7410.000=-7.000

*mean*	1038.864-984.660=54.204
σ	179.154-88.181=90.973
min	921.308-932.200=-10.891
max	1425.097-1172.874=252.223

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

*mean*	905.084
σ	0.002
min	905.082
max	905.087

*mean*	7403.000-7410.000=-7.000
σ	0.000
min	7403.000-7410.000=-7.000
max	7403.000-7410.000=-7.000

*mean*	391.008-390.274=0.734
σ	3.056-4.090=-1.034
min	385.832-381.188=4.645
max	395.259-394.137=1.122

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.250-478.000=-1.750
σ	0.707-0.000=0.707
min	476.000-478.000=-2.000
max	478.000

*mean*	392.362-374.600=17.762
σ	37.781-43.220=-5.439
min	321.491-310.815=10.676
max	445.785-445.700=0.085

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	562.000-563.250=-1.250
σ	0.000-3.240=-3.240
min	562.000-558.000=4.000
max	562.000-565.000=-3.000

*mean*	737.089-754.218=-17.128
σ	52.314-64.176=-11.862
min	632.334-678.800=-46.466
max	784.998-837.305=-52.307

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	976.914-977.271=-0.356
σ	2.439-2.440=-0.001
min	976.070-976.426=-0.356
max	987.250-987.609=-0.359

*mean*	1042.450-1049.450=-7.000
σ	319.636-333.437=-13.801
min	562.000-534.000=28.000
max	1529.000-1542.000=-13.000

*mean*	1.270-1.336=-0.066
σ	0.107-0.139=-0.032
min	1.071-1.203=-0.132
max	1.603-1.733=-0.130

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.396-0.296=0.100
σ	0.514-0.291=0.223
min	0.140-0.136=0.004
max	1.314-0.812=0.502

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.630-0.476=0.154
σ	0.255-0.324=-0.069
min	0.349-0.319=0.030
max	1.047-1.055=-0.008

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.378-0.214=0.165
σ	0.047-0.025=0.022
min	0.346-0.193=0.153
max	0.456-0.258=0.199

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.597-0.365=0.232
σ	0.028-0.023=0.005
min	0.569-0.327=0.243
max	0.639-0.389=0.250

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.000-431.600=-0.600
σ	0.000-1.342=-1.342
min	431.000
max	431.000-434.000=-3.000

*mean*	0.691-0.531=0.160
σ	0.049-0.049=0.000
min	0.628-0.469=0.159
max	0.755-0.580=0.174

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

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

*mean*	0.501-0.430=0.071
σ	0.036-0.057=-0.021
min	0.437-0.380=0.057
max	0.522-0.514=0.008

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*	431.000-441.000=-10.000
σ	0.000
min	431.000-441.000=-10.000
max	431.000-441.000=-10.000

*mean*	1.997-2.557=-0.561
σ	0.080-0.223=-0.143
min	1.877-1.937=-0.060
max	2.260-3.064=-0.805

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

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

*mean*	1.970-2.595=-0.625
σ	0.075-0.067=0.008
min	1.803-2.481=-0.678
max	2.199-2.803=-0.604

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

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

*mean*	0.303-0.304=-0.001
σ	0.008-0.011=-0.004
min	0.290-0.287=0.002
max	0.344-0.374=-0.031

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

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

*mean*	0.295-0.286=0.009
σ	0.021-0.009=0.012
min	0.275-0.270=0.004
max	0.451-0.327=0.124

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.790-11.705=0.085
σ	11.842-12.436=-0.594
min	0.574-0.573=0.000
max	96.659-107.664=-11.004

*mean*	464.957-458.371=6.586
σ	18.277-16.181=2.096
min	408.000-410.000=-2.000
max	479.000-476.000=3.000

*mean*	0.027-0.027=0.000
σ	0.029-0.030=-0.001
min	0.001-0.001=0.000
max	0.232-0.262=-0.030

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	293.710-294.066=-0.356
σ	1.057-1.060=-0.003
min	293.237-293.647=-0.409
max	296.709-297.076=-0.367

*mean*	444.800-441.200=3.600
σ	15.505-15.747=-0.242
min	425.000-415.000=10.000
max	464.000-462.000=2.000

*mean*	0.588-0.590=-0.002
σ	0.012-0.024=-0.012
min	0.567-0.532=0.035
max	0.601-0.618=-0.017

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*	847.000-730.000=117.000
σ	0.000
min	847.000-730.000=117.000
max	847.000-730.000=117.000

*mean*	150.368-154.853=-4.485
σ	8.637-11.424=-2.787
min	139.240-134.084=5.155
max	161.584-166.174=-4.590

phase=macro expansion

*mean*	5.894
σ	0.000
min	5.894
max	5.894

*mean*	847.000-730.000=117.000
σ	0.000
min	847.000-730.000=117.000
max	847.000-730.000=117.000

*mean*	6.867-8.818=-1.951
σ	1.687-0.751=0.936
min	5.887-6.968=-1.080
max	10.037-9.221=0.816

phase=parser

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

*mean*	847.000-730.000=117.000
σ	0.000
min	847.000-730.000=117.000
max	847.000-730.000=117.000

*mean*	427.810-590.257=-162.447
σ	95.549-58.104=37.445
min	375.481-446.619=-71.137
max	598.516-614.291=-15.776

phase=processProdDef

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

*mean*	847.000-730.000=117.000
σ	0.000
min	847.000-730.000=117.000
max	847.000-730.000=117.000

*mean*	2798.595-3128.504=-329.909
σ	366.778-224.646=142.132
min	2343.910-2754.586=-410.675
max	3276.034-3328.156=-52.122

phase=renaming

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

*mean*	847.000-730.000=117.000
σ	0.000
min	847.000-730.000=117.000
max	847.000-730.000=117.000

*mean*	38.168-46.908=-8.740
σ	4.022-2.916=1.106
min	30.770-40.479=-9.709
max	42.246-50.762=-8.516

phase=type checker

*mean*	958.466-958.466=-0.000
σ	0.047-0.047=0.000
min	958.439-958.443=-0.004
max	958.568

*mean*	847.000-730.000=117.000
σ	0.000
min	847.000-730.000=117.000
max	847.000-730.000=117.000

*mean*	693.129-668.058=25.071
σ	56.378-12.338=44.041
min	642.772-655.802=-13.030
max	822.610-687.691=134.919

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	327.854-328.220=-0.366
σ	0.037-0.040=-0.003
min	327.803-328.163=-0.360
max	327.891-328.262=-0.371

*mean*	442.200-439.400=2.800
σ	4.919-5.128=-0.209
min	434.000
max	447.000-445.000=2.000

*mean*	0.431-0.437=-0.006
σ	0.008-0.009=-0.000
min	0.424-0.428=-0.004
max	0.445-0.450=-0.005

iters=5

new-facts=1

prior-facts=6402

*mean*	1313.071-1313.432=-0.361
σ	0.128-0.139=-0.011
min	1312.963-1313.307=-0.344
max	1313.289-1313.663=-0.374

*mean*	1095.200-1085.800=9.400
σ	196.449-180.588=15.860
min	857.000-870.000=-13.000
max	1351.000-1308.000=43.000

*mean*	1.882-1.998=-0.116
σ	0.037-0.126=-0.090
min	1.824-1.845=-0.021
max	1.916-2.186=-0.270

iters=5

new-facts=6402

prior-facts=1

*mean*	1552.057-1552.409=-0.352
σ	3.069-3.058=0.012
min	1550.515-1550.860=-0.345
max	1557.541-1557.869=-0.329

*mean*	617.400-624.400=-7.000
σ	88.856-86.315=2.540
min	495.000-523.000=-28.000
max	735.000-738.000=-3.000

*mean*	2.290-2.272=0.018
σ	0.274-0.146=0.128
min	2.086-2.133=-0.047
max	2.760-2.491=0.269

iters=5

new-facts=6402

prior-facts=6402

*mean*	1875.077-1875.427=-0.350
σ	0.066-0.062=0.004
min	1875.023-1875.351=-0.328
max	1875.186-1875.510=-0.324

*mean*	1755.800-1728.600=27.200
σ	198.114-213.982=-15.868
min	1509.000-1448.000=61.000
max	1947.000-1933.000=14.000

*mean*	3.271-3.064=0.207
σ	0.347-0.171=0.176
min	2.869-2.838=0.031
max	3.773-3.285=0.488

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.556-1.510=0.046
σ	0.125-0.140=-0.016
min	1.350-1.384=-0.034
max	1.649-1.710=-0.061

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.404-420.296=-0.892
σ	508.891-509.314=-0.423
min	164.955-165.636=-0.681
max	1182.741-1184.267=-1.525

*mean*	101.250-103.750=-2.500
σ	6.500-7.500=-1.000
min	98.000-100.000=-2.000
max	111.000-115.000=-4.000

*mean*	431.000-435.000=-4.000
σ	0.000
min	431.000-435.000=-4.000
max	431.000-435.000=-4.000

*mean*	0.512-0.534=-0.022
σ	0.475-0.524=-0.050
min	0.268-0.268=-0.001
max	1.224-1.320=-0.096

policies=20

*mean*	1649.818-1656.564=-6.746
σ	0.369-0.393=-0.025
min	1649.593-1656.334=-6.741
max	1650.369-1657.153=-6.784

*mean*	980.000-1000.000=-20.000
σ	0.000
min	980.000-1000.000=-20.000
max	980.000-1000.000=-20.000

*mean*	446.750-451.250=-4.500
σ	11.057
min	434.000-437.000=-3.000
max	461.000-460.000=1.000

*mean*	2.653-2.662=-0.010
σ	0.010-0.014=-0.004
min	2.642-2.654=-0.012
max	2.665-2.683=-0.018

policies=200

*mean*	16506.047-16573.660=-67.612
σ	0.080-0.066=0.014
min	16505.999-16573.592=-67.593
max	16506.167-16573.728=-67.561

*mean*	9800.000-10000.000=-200.000
σ	0.000
min	9800.000-10000.000=-200.000
max	9800.000-10000.000=-200.000

*mean*	495.250-498.750=-3.500
σ	5.560-5.737=-0.177
min	489.000-491.000=-2.000
max	502.000-504.000=-2.000

*mean*	26.750-26.886=-0.137
σ	0.095-0.178=-0.083
min	26.647-26.700=-0.053
max	26.856-27.046=-0.190