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)

Factor

compact size MiB

phase=processProdDef

*mean*	558.633
σ	0.000
min	558.633
max	558.633

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.678-54.678=-0.000
σ	0.358-0.361=-0.003
min	54.540-54.539=0.001
max	55.696-55.705=-0.009

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

*mean*	0.142-0.140=0.002
σ	0.005-0.006=-0.001
min	0.137-0.131=0.006
max	0.150-0.150=0.000

cache=y

dps=1

iters=10

policies=100

*mean*	43.704-43.704=0.001
σ	0.005-0.008=-0.002
min	43.697-43.691=0.006
max	43.717-43.715=0.002

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

*mean*	0.122-0.121=0.001
σ	0.005-0.005=0.000
min	0.117-0.116=0.001
max	0.130-0.130=0.000

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.618
σ	0.002-0.002=0.000
min	36.616-36.616=0.000
max	36.620

*mean*	3864.375-3887.625=-23.250
σ	1831.513-1858.080=-26.567
min	1279.000-1280.000=-1.000
max	6113.000-6178.000=-65.000

*mean*	12.786-13.536=-0.750
σ	0.498-1.736=-1.239
min	12.133-12.580=-0.447
max	13.833-17.703=-3.870

op=column_set() on indexed, repeat

*mean*	36.618-36.618=-0.000
σ	0.002-0.002=-0.000
min	36.616-36.616=0.000
max	36.620-36.620=-0.000

*mean*	3864.375-3887.625=-23.250
σ	1831.513-1858.080=-26.567
min	1279.000-1280.000=-1.000
max	6113.000-6178.000=-65.000

*mean*	12.566-13.587=-1.021
σ	0.563-1.622=-1.059
min	11.847-12.042=-0.194
max	13.368-17.350=-3.982

op=table_records(), no indexes

*mean*	41.930-41.930=0.000
σ	0.002-0.002=0.000
min	41.928-41.928=0.000
max	41.933-41.932=0.001

*mean*	6113.000-6178.000=-65.000
σ	0.000
min	6113.000-6178.000=-65.000
max	6113.000-6178.000=-65.000

*mean*	15.590-15.111=0.479
σ	0.644-0.577=0.067
min	15.029-13.808=1.221
max	17.123-15.510=1.613

op=table_records(), repeat

*mean*	41.928-41.928=0.000
σ	0.000-0.000=0.000
min	41.928
max	41.929-41.928=0.001

*mean*	3864.375-3739.125=125.250
σ	1831.513-1830.972=0.542
min	1279.000-1280.000=-1.000
max	6113.000-6178.000=-65.000

*mean*	13.482-13.468=0.014
σ	1.711-1.383=0.327
min	11.229-11.290=-0.061
max	15.495-15.325=0.171

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

*mean*	27.654-27.654=-0.001
σ	0.136-0.136=0.000
min	27.604
max	27.991-27.991=0.000

*mean*	3864.375-3739.125=125.250
σ	1831.513-1830.972=0.542
min	1279.000-1280.000=-1.000
max	6113.000-6178.000=-65.000

*mean*	9.209-9.192=0.017
σ	0.857-0.276=0.581
min	8.364-8.784=-0.420
max	11.074-9.484=1.590

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

*mean*	26.401-26.402=-0.000
σ	0.002-0.002=-0.000
min	26.400-26.400=0.000
max	26.404

*mean*	3864.375-3739.125=125.250
σ	1831.513-1830.972=0.542
min	1279.000-1280.000=-1.000
max	6113.000-6178.000=-65.000

*mean*	7.306-7.003=0.303
σ	0.747-0.201=0.546
min	6.683-6.645=0.037
max	8.963-7.184=1.779

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.669-25.669=0.000
σ	0.003-0.003=0.000
min	25.665
max	25.674

*mean*	3864.375-3887.625=-23.250
σ	1831.513-1858.080=-26.567
min	1279.000-1280.000=-1.000
max	6113.000-6178.000=-65.000

*mean*	5.952-6.088=-0.136
σ	0.137-0.489=-0.352
min	5.709-5.770=-0.061
max	6.116-7.269=-1.153

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970-25.970=-0.000
σ	0.002-0.002=0.000
min	25.968-25.968=-0.000
max	25.974

*mean*	3864.375-3887.625=-23.250
σ	1831.513-1858.080=-26.567
min	1279.000-1280.000=-1.000
max	6113.000-6178.000=-65.000

*mean*	5.883-6.005=-0.122
σ	0.175-0.540=-0.365
min	5.739-5.691=0.048
max	6.253-7.320=-1.067

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	2524.604-2524.604=-0.000
σ	0.002-0.002=0.000
min	2524.602
max	2524.606-2524.606=0.000

*mean*	6113.000-6178.000=-65.000
σ	0.000
min	6113.000-6178.000=-65.000
max	6113.000-6178.000=-65.000

*mean*	1348.795-1395.744=-46.949
σ	541.947-652.978=-111.031
min	1042.508-1039.570=2.938
max	2255.593-2639.476=-383.883

op=load_product(), with indexes

*mean*	7878.102-7878.102=-0.000
σ	0.469-0.469=0.000
min	7877.935-7877.935=-0.000
max	7879.264

*mean*	3229.125-3244.375=-15.250
σ	1829.642-1850.711=-21.069
min	809.000
max	6113.000-6178.000=-65.000

*mean*	3799.741-3761.576=38.165
σ	1279.802-1020.528=259.274
min	3100.959-3125.202=-24.243
max	6197.947-5629.277=568.670

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.078-62.078=-0.000
σ	0.002-0.002=-0.000
min	62.076-62.076=0.001
max	62.081

*mean*	3864.375-3887.625=-23.250
σ	1831.513-1858.080=-26.567
min	1279.000-1280.000=-1.000
max	6113.000-6178.000=-65.000

*mean*	83.394-187.758=-104.363
σ	11.856-295.231=-283.375
min	70.828-69.223=1.605
max	101.601-917.806=-816.205

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.949

*mean*	6113.000-6178.000=-65.000
σ	0.000
min	6113.000-6178.000=-65.000
max	6113.000-6178.000=-65.000

*mean*	64.221-64.446=-0.225
σ	5.138-4.530=0.607
min	60.236-60.969=-0.733
max	74.060-73.220=0.840

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.687-66.687=-0.000
σ	0.002-0.002=-0.000
min	66.686-66.686=-0.000
max	66.690-66.690=0.000

*mean*	6113.000-6178.000=-65.000
σ	0.000
min	6113.000-6178.000=-65.000
max	6113.000-6178.000=-65.000

*mean*	99.788-101.517=-1.729
σ	1.176-2.241=-1.065
min	98.785-99.916=-1.131
max	102.109-106.763=-4.654

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	11849.156-11849.155=0.001
σ	4.304-4.304=-0.000
min	11847.561
max	11859.806

*mean*	3864.375-3739.125=125.250
σ	1831.513-1830.972=0.542
min	1279.000-1280.000=-1.000
max	6113.000-6178.000=-65.000

*mean*	6255.821-6268.490=-12.669
σ	1228.185-1499.182=-270.997
min	5015.460-5072.893=-57.433
max	8100.817-8418.859=-318.042

op=vertical_lookup_list() on indexed

*mean*	10791.094-10791.093=0.000
σ	0.002-0.002=0.000
min	10791.091-10791.091=0.000
max	10791.096

*mean*	6113.000-6178.000=-65.000
σ	0.000
min	6113.000-6178.000=-65.000
max	6113.000-6178.000=-65.000

*mean*	5170.604-5096.720=73.885
σ	1526.468-1414.727=111.740
min	4043.343-4081.168=-37.825
max	7336.893-7123.268=213.625

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	172.559
σ	0.001
min	172.558
max	172.562

*mean*	478.000-477.000=1.000
σ	0.000
min	478.000-477.000=1.000
max	478.000-477.000=1.000

*mean*	375.868-374.971=0.897
σ	20.384-35.058=-14.674
min	349.180-294.135=55.045
max	394.602-397.709=-3.106

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	562.000
σ	0.000
min	562.000
max	562.000

*mean*	766.650-768.754=-2.104
σ	49.738-21.165=28.573
min	651.487-730.105=-78.618
max	804.008-795.491=8.518

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.327-1024.327=-0.000
σ	0.758-0.758=0.000
min	1023.854-1023.854=-0.000
max	1027.465-1027.464=0.001

*mean*	1053.000-1050.150=2.850
σ	315.774-312.774=2.999
min	592.000
max	1522.000-1513.000=9.000

*mean*	1.587-1.611=-0.024
σ	0.082-0.085=-0.004
min	1.517-1.530=-0.013
max	1.768-1.805=-0.037

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.406-0.502=-0.096
σ	0.554-0.470=0.084
min	0.133-0.255=-0.122
max	1.394-1.338=0.056

name=error_case.art

*mean*	2.339
σ	0.012
min	2.333
max	2.361

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.471-0.832=-0.361
σ	0.325-0.507=-0.182
min	0.315-0.573=-0.258
max	1.052-1.736=-0.684

name=heavy_item.art

*mean*	1.522
σ	0.002
min	1.521
max	1.525

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.214-0.377=-0.162
σ	0.025-0.034=-0.009
min	0.196-0.349=-0.153
max	0.258-0.435=-0.178

name=nested_use.art

*mean*	2.357
σ	0.002
min	2.356
max	2.360

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.320-0.596=-0.276
σ	0.017-0.029=-0.012
min	0.303-0.574=-0.270
max	0.348-0.645=-0.298

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.840
σ	0.011
min	964.835
max	964.859

*mean*	435.600-433.600=2.000
σ	5.079-3.130=1.949
min	431.000
max	441.000-437.000=4.000

*mean*	0.559-0.608=-0.049
σ	0.042-0.109=-0.067
min	0.521-0.467=0.054
max	0.617-0.695=-0.078

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	441.000-437.000=4.000
σ	0.000
min	441.000-437.000=4.000
max	441.000-437.000=4.000

*mean*	0.482-0.455=0.028
σ	0.032-0.047=-0.015
min	0.451-0.404=0.048
max	0.525-0.526=-0.001

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.709
σ	0.002
min	7.708
max	7.712

*mean*	441.000-437.000=4.000
σ	0.000
min	441.000-437.000=4.000
max	441.000-437.000=4.000

*mean*	2.627-2.612=0.015
σ	0.091-0.081=0.010
min	2.471-2.479=-0.008
max	2.904-2.892=0.012

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	441.000-437.000=4.000
σ	0.000
min	441.000-437.000=4.000
max	441.000-437.000=4.000

*mean*	2.630-2.581=0.049
σ	0.080-0.080=-0.000
min	2.482-2.448=0.034
max	2.892-2.874=0.019

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	441.000-437.000=4.000
σ	0.000
min	441.000-437.000=4.000
max	441.000-437.000=4.000

*mean*	0.309-0.305=0.003
σ	0.012-0.009=0.002
min	0.296-0.289=0.006
max	0.388-0.371=0.017

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	441.000-437.000=4.000
σ	0.000
min	441.000-437.000=4.000
max	441.000-437.000=4.000

*mean*	0.294-0.291=0.002
σ	0.009-0.007=0.002
min	0.280-0.279=0.001
max	0.355-0.322=0.033

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.760-298.871=-0.112
σ	0.999-0.988=0.011
min	298.300-298.518=-0.218
max	301.590-301.682=-0.093

*mean*	441.300-443.700=-2.400
σ	13.961-13.508=0.453
min	425.000-426.000=-1.000
max	464.000-463.000=1.000

*mean*	0.611-0.606=0.005
σ	0.019-0.021=-0.002
min	0.567-0.576=-0.009
max	0.644-0.650=-0.006

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	1687.000-1707.625=-20.625
σ	0.000-3.889=-3.889
min	1687.000-1698.000=-11.000
max	1687.000-1709.000=-22.000

*mean*	212.472-210.307=2.166
σ	2.618-2.337=0.281
min	208.528-207.404=1.125
max	216.427-214.213=2.214

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1687.000-1707.625=-20.625
σ	0.000-3.889=-3.889
min	1687.000-1698.000=-11.000
max	1687.000-1709.000=-22.000

*mean*	10.993-10.957=0.036
σ	2.279-1.895=0.384
min	6.436-7.314=-0.878
max	12.828-12.861=-0.034

phase=parser

*mean*	1042.363-1042.363=-0.001
σ	0.000-0.000=-0.000
min	1042.362-1042.363=-0.000
max	1042.363-1042.364=-0.001

*mean*	1687.000-1707.625=-20.625
σ	0.000-3.889=-3.889
min	1687.000-1698.000=-11.000
max	1687.000-1709.000=-22.000

*mean*	663.198-630.137=33.062
σ	70.356-109.493=-39.137
min	567.774-423.618=144.156
max	728.818-736.501=-7.682

phase=processProdDef

*mean*	4753.278-4753.276=0.001
σ	0.000-0.000=0.000
min	4753.278-4753.276=0.001
max	4753.278-4753.277=0.001

*mean*	1687.000-1709.000=-22.000
σ	0.000
min	1687.000-1709.000=-22.000
max	1687.000-1709.000=-22.000

*mean*	4373.391-4267.352=106.039
σ	844.903-879.439=-34.536
min	3079.543-2937.264=142.279
max	5497.844-5480.356=17.488

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*	1687.000-1707.625=-20.625
σ	0.000-3.889=-3.889
min	1687.000-1698.000=-11.000
max	1687.000-1709.000=-22.000

*mean*	43.269-39.570=3.700
σ	13.430-7.841=5.589
min	20.871-26.114=-5.244
max	66.144-47.824=18.320

phase=type checker

*mean*	990.450-990.454=-0.004
σ	0.071
min	990.344-990.348=-0.004
max	990.563-990.567=-0.004

*mean*	1687.000-1707.625=-20.625
σ	0.000-3.889=-3.889
min	1687.000-1698.000=-11.000
max	1687.000-1709.000=-22.000

*mean*	818.772-788.291=30.481
σ	85.915-82.705=3.211
min	659.097-679.472=-20.374
max	915.835-893.103=22.732

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.918-293.918=0.000
σ	0.038-0.039=-0.001
min	293.863-293.861=0.002
max	293.956-293.957=-0.001

*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.397-0.406=-0.009
σ	0.007-0.007=0.000
min	0.390-0.400=-0.010
max	0.406-0.415=-0.008

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.285-1320.298=-0.013
σ	0.054-0.031=0.023
min	1320.228-1320.258=-0.031
max	1320.351-1320.337=0.014

*mean*	1113.000-1110.200=2.800
σ	188.669-183.501=5.168
min	892.000-891.000=1.000
max	1376.000-1359.000=17.000

*mean*	2.219-2.252=-0.032
σ	0.076-0.067=0.009
min	2.145-2.181=-0.036
max	2.307-2.327=-0.020

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.476-1559.467=0.009
σ	3.345-3.414=-0.069
min	1557.846-1557.780=0.065
max	1565.455-1565.568=-0.113

*mean*	628.200-624.000=4.200
σ	89.636-90.981=-1.344
min	506.000-508.000=-2.000
max	729.000-727.000=2.000

*mean*	2.407-2.389=0.018
σ	0.242-0.305=-0.063
min	2.165-2.133=0.032
max	2.739-2.877=-0.138

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.266-1882.272=-0.006
σ	0.063-0.056=0.007
min	1882.180-1882.206=-0.027
max	1882.347-1882.353=-0.006

*mean*	1723.600-1759.400=-35.800
σ	176.024-215.608=-39.584
min	1507.000-1475.000=32.000
max	1964.000-1965.000=-1.000

*mean*	3.124-3.206=-0.082
σ	0.296-0.325=-0.029
min	2.725-2.879=-0.154
max	3.455-3.714=-0.260

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.695-1.780=-0.085
σ	0.223-0.107=0.116
min	1.366-1.677=-0.310
max	1.856-1.949=-0.092

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.411-452.410=0.000
σ	583.279-583.276=0.003
min	160.767-160.770=-0.003
max	1327.329-1327.325=0.004

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	442.000-444.000=-2.000
σ	0.000
min	442.000-444.000=-2.000
max	442.000-444.000=-2.000

*mean*	0.529-0.554=-0.025
σ	0.516-0.567=-0.051
min	0.268-0.262=0.007
max	1.303-1.405=-0.102

policies=20

*mean*	1608.029-1608.045=-0.016
σ	0.400-0.426=-0.026
min	1607.755-1607.753=0.002
max	1608.620-1608.675=-0.055

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	447.250-448.500=-1.250
σ	3.500-3.000=0.500
min	442.000-444.000=-2.000
max	449.000-450.000=-1.000

*mean*	2.690-2.714=-0.024
σ	0.018-0.014=0.004
min	2.674-2.703=-0.028
max	2.715-2.733=-0.018

policies=200

*mean*	16088.500-16088.602=-0.102
σ	0.168-0.095=0.073
min	16088.385-16088.536=-0.151
max	16088.745-16088.742=0.002

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	497.000
σ	3.916
min	493.000-492.000=1.000
max	502.000-501.000=1.000

*mean*	27.096-27.403=-0.308
σ	0.078-0.093=-0.015
min	27.015-27.299=-0.284
max	27.198-27.518=-0.320