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.824-57.816=0.008
σ	0.361-0.362=-0.001
min	57.684-57.670=0.013
max	58.850-58.844=0.006

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

*mean*	0.146-0.147=-0.001
σ	0.005-0.004=0.001
min	0.138-0.144=-0.005
max	0.155-0.155=-0.001

cache=y

dps=1

iters=10

policies=100

*mean*	46.898-46.896=0.002
σ	0.006-0.007=-0.001
min	46.889-46.880=0.008
max	46.909-46.907=0.002

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

*mean*	0.131-0.131=0.000
σ	0.004-0.004=-0.000
min	0.127-0.127=0.000
max	0.138-0.140=-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-36.605=0.000
max	36.606-36.606=0.000

*mean*	4194.500-4590.250=-395.750
σ	2079.963-2247.645=-167.682
min	1244.000-1487.000=-243.000
max	7763.000-7381.000=382.000

*mean*	12.006-160.016=-148.010
σ	0.139-416.175=-416.037
min	11.906-11.820=0.086
max	12.294-1189.987=-1177.693

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*	4194.500-4590.250=-395.750
σ	2079.963-2247.645=-167.682
min	1244.000-1487.000=-243.000
max	7763.000-7381.000=382.000

*mean*	11.560-13.733=-2.173
σ	0.408-4.647=-4.239
min	11.307-11.210=0.096
max	12.554-24.279=-11.724

op=table_records(), no indexes

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

*mean*	7966.625-7381.000=585.625
σ	281.029-0.000=281.029
min	7763.000-7381.000=382.000
max	8306.000-7381.000=925.000

*mean*	11.149-11.141=0.008
σ	0.200-0.239=-0.039
min	10.963-10.794=0.169
max	11.458-11.537=-0.079

op=table_records(), repeat

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

*mean*	4194.500-4181.750=12.750
σ	2079.963-1944.510=135.453
min	1244.000-1487.000=-243.000
max	7763.000-7381.000=382.000

*mean*	11.060-11.814=-0.754
σ	0.135-1.803=-1.668
min	10.888-10.908=-0.021
max	11.233-16.224=-4.991

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

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

*mean*	4194.500-4181.750=12.750
σ	2079.963-1944.510=135.453
min	1244.000-1487.000=-243.000
max	7763.000-7381.000=382.000

*mean*	8.443-8.843=-0.400
σ	0.247-1.356=-1.108
min	8.036-7.966=0.070
max	8.777-12.137=-3.360

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*	4194.500-4181.750=12.750
σ	2079.963-1944.510=135.453
min	1244.000-1487.000=-243.000
max	7763.000-7381.000=382.000

*mean*	6.669-6.760=-0.091
σ	0.352-1.203=-0.851
min	6.365-5.575=0.790
max	7.443-9.572=-2.129

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*	4194.500-4590.250=-395.750
σ	2079.963-2247.645=-167.682
min	1244.000-1487.000=-243.000
max	7763.000-7381.000=382.000

*mean*	5.724-6.385=-0.661
σ	0.088-1.081=-0.993
min	5.594-5.770=-0.176
max	5.883-8.847=-2.964

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*	4194.500-4590.250=-395.750
σ	2079.963-2247.645=-167.682
min	1244.000-1487.000=-243.000
max	7763.000-7381.000=382.000

*mean*	5.697-6.326=-0.629
σ	0.102-1.092=-0.990
min	5.495-5.671=-0.177
max	5.812-8.751=-2.940

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*	7898.750-7381.000=517.750
σ	251.360-0.000=251.360
min	7763.000-7381.000=382.000
max	8306.000-7381.000=925.000

*mean*	347.328-362.030=-14.702
σ	2.028-42.868=-40.840
min	344.356-344.828=-0.473
max	350.087-468.060=-117.972

op=load_product(), with indexes

*mean*	3495.848-3495.848=0.001
σ	0.460-0.460=0.001
min	3495.686-3495.685=0.001
max	3496.988-3496.986=0.002

*mean*	3356.000-3757.625=-401.625
σ	1784.000-2299.310=-515.310
min	642.000-720.000=-78.000
max	5548.000-7381.000=-1833.000

*mean*	1696.674-1801.185=-104.511
σ	580.713-676.767=-96.054
min	1386.446-1404.695=-18.249
max	2899.333-2986.480=-87.147

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.001

*mean*	4194.500-4410.250=-215.750
σ	2079.963-2216.981=-137.018
min	1244.000-1487.000=-243.000
max	7763.000-7381.000=382.000

*mean*	140.537-251.479=-110.943
σ	10.098-325.933=-315.835
min	125.551-125.745=-0.193
max	157.624-1057.018=-899.394

op=column_set() on unindexed, dense, repeat

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

*mean*	4194.500-4410.250=-215.750
σ	2079.963-2216.981=-137.018
min	1244.000-1487.000=-243.000
max	7763.000-7381.000=382.000

*mean*	42.950-46.611=-3.661
σ	1.814-9.338=-7.524
min	40.732-40.938=-0.206
max	45.289-69.335=-24.046

op=vertical_lookup_list() repeated on unindexed missing Int

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

*mean*	7966.625-7381.000=585.625
σ	281.029-0.000=281.029
min	7763.000-7381.000=382.000
max	8306.000-7381.000=925.000

*mean*	21.872-21.998=-0.126
σ	0.180-1.207=-1.026
min	21.644-21.263=0.381
max	22.124-24.913=-2.790

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*	7966.625-7381.000=585.625
σ	281.029-0.000=281.029
min	7763.000-7381.000=382.000
max	8306.000-7381.000=925.000

*mean*	63.521-258.039=-194.518
σ	0.511-569.946=-569.435
min	62.679-55.235=7.444
max	64.349-1668.577=-1604.228

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4194.500-4181.750=12.750
σ	2079.963-1944.510=135.453
min	1244.000-1487.000=-243.000
max	7763.000-7381.000=382.000

*mean*	3537.842-3249.459=288.383
σ	753.424-764.158=-10.734
min	2495.516-2510.355=-14.840
max	4463.559-4613.620=-150.061

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.834-1973.833=0.001

*mean*	7966.625-7381.000=585.625
σ	281.029-0.000=281.029
min	7763.000-7381.000=382.000
max	8306.000-7381.000=925.000

*mean*	1065.153-1035.248=29.906
σ	401.083-202.858=198.224
min	912.594-919.550=-6.956
max	2057.706-1505.243=552.463

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*	7966.625-7381.000=585.625
σ	281.029-0.000=281.029
min	7763.000-7381.000=382.000
max	8306.000-7381.000=925.000

*mean*	396.917-395.875=1.042
σ	2.461-5.994=-3.533
min	392.403-383.269=9.133
max	399.141-405.067=-5.926

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*	475.750-476.125=-0.375
σ	0.463-0.354=0.109
min	475.000-476.000=-1.000
max	476.000-477.000=-1.000

*mean*	379.950-379.976=-0.026
σ	27.782-37.909=-10.128
min	348.339-299.375=48.964
max	434.668-418.058=16.609

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	563.000
σ	0.000
min	563.000
max	563.000

*mean*	748.207-725.287=22.920
σ	53.752-59.072=-5.319
min	679.670-612.827=66.843
max	812.806-782.409=30.398

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	976.917-976.918=-0.001
σ	2.438-2.438=0.000
min	976.074-976.071=0.003
max	987.250-987.249=0.001

*mean*	1048.800-1050.350=-1.550
σ	316.619-314.792=1.827
min	586.000-575.000=11.000
max	1516.000-1508.000=8.000

*mean*	1.324-1.320=0.004
σ	0.172-0.140=0.032
min	1.104-1.207=-0.103
max	1.754-1.755=-0.001

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.319-0.318=0.000
σ	0.319-0.292=0.028
min	0.148-0.143=0.005
max	0.887-0.835=0.052

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.482-0.473=0.009
σ	0.317-0.310=0.007
min	0.321-0.328=-0.007
max	1.049-1.027=0.022

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.004
σ	0.025-0.023=0.002
min	0.199-0.205=-0.006
max	0.259-0.260=-0.001

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.340-0.334=0.007
σ	0.018-0.018=0.000
min	0.322-0.322=0.000
max	0.368-0.365=0.003

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
σ	0.000
min	431.000
max	431.000

*mean*	0.585-0.520=0.066
σ	0.031-0.048=-0.017
min	0.532-0.440=0.092
max	0.609-0.569=0.040

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.474-0.456=0.018
σ	0.034-0.070=-0.036
min	0.427-0.372=0.055
max	0.522-0.530=-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
σ	0.000
min	431.000
max	431.000

*mean*	2.672-1.870=0.802
σ	0.108-0.107=0.001
min	2.480-1.684=0.795
max	2.940-2.435=0.505

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	2.611-1.939=0.672
σ	0.082-0.053=0.029
min	2.455-1.825=0.630
max	2.868-2.074=0.794

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.302-0.305=-0.003
σ	0.009-0.010=-0.001
min	0.284-0.290=-0.006
max	0.351-0.370=-0.019

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.291-0.294=-0.003
σ	0.020-0.035=-0.014
min	0.274-0.277=-0.003
max	0.451-0.628=-0.177

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.893-11.546=0.347
σ	12.088-11.482=0.606
min	0.574-0.574=-0.000
max	115.656-95.061=20.595

*mean*	465.123-463.135=1.988
σ	18.485-16.593=1.892
min	407.000-408.000=-1.000
max	479.000-476.000=3.000

*mean*	0.027-0.026=0.001
σ	0.030-0.028=0.002
min	0.001-0.001=0.000
max	0.277-0.225=0.053

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	293.730-293.887=-0.157
σ	1.062-1.029=0.033
min	293.370-293.384=-0.014
max	296.751-296.795=-0.044

*mean*	442.800-443.200=-0.400
σ	16.075-18.855=-2.780
min	416.000-415.000=1.000
max	463.000-464.000=-1.000

*mean*	0.592-0.589=0.004
σ	0.023-0.030=-0.006
min	0.553-0.534=0.018
max	0.620-0.627=-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-850.000=-2.000
σ	0.000
min	848.000-850.000=-2.000
max	848.000-850.000=-2.000

*mean*	148.700-153.922=-5.222
σ	12.368-12.849=-0.481
min	130.748-136.160=-5.412
max	161.539-166.925=-5.386

phase=macro expansion

*mean*	5.894
σ	0.000
min	5.894
max	5.894

*mean*	848.000-849.625=-1.625
σ	0.000-1.061=-1.061
min	848.000-847.000=1.000
max	848.000-850.000=-2.000

*mean*	6.318-7.426=-1.108
σ	1.071-2.242=-1.170
min	5.861-5.840=0.020
max	8.965-11.862=-2.897

phase=parser

*mean*	1042.130-1042.134=-0.004
σ	0.000-0.001=-0.001
min	1042.130-1042.131=-0.001
max	1042.130-1042.134=-0.004

*mean*	848.000-849.625=-1.625
σ	0.000-1.061=-1.061
min	848.000-847.000=1.000
max	848.000-850.000=-2.000

*mean*	407.277-470.259=-62.981
σ	82.533-138.317=-55.784
min	375.082-373.210=1.873
max	611.491-730.794=-119.303

phase=processProdDef

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

*mean*	848.000-850.000=-2.000
σ	0.000
min	848.000-850.000=-2.000
max	848.000-850.000=-2.000

*mean*	3007.984-3000.318=7.665
σ	360.844-324.102=36.742
min	2320.401-2324.812=-4.411
max	3381.478-3341.672=39.806

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-849.625=-1.625
σ	0.000-1.061=-1.061
min	848.000-847.000=1.000
max	848.000-850.000=-2.000

*mean*	36.277-39.988=-3.711
σ	4.472-6.241=-1.769
min	32.898-25.678=7.220
max	46.900-47.407=-0.508

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-849.625=-1.625
σ	0.000-1.061=-1.061
min	848.000-847.000=1.000
max	848.000-850.000=-2.000

*mean*	678.632-695.883=-17.252
σ	13.884-60.321=-46.437
min	658.796-648.019=10.776
max	695.739-839.124=-143.385

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	327.854-327.855=-0.000
σ	0.037-0.037=0.000
min	327.804-327.803=0.000
max	327.892-327.891=0.001

*mean*	440.600-441.400=-0.800
σ	3.578-3.847=-0.269
min	437.000-435.000=2.000
max	445.000

*mean*	0.434-0.436=-0.002
σ	0.009-0.010=-0.002
min	0.424-0.428=-0.004
max	0.448-0.454=-0.007

iters=5

new-facts=1

prior-facts=6402

*mean*	1313.060-1313.073=-0.013
σ	0.138-0.146=-0.007
min	1312.971-1312.967=0.004
max	1313.303-1313.327=-0.024

*mean*	1099.800-1088.600=11.200
σ	180.745-164.410=16.334
min	890.000-897.000=-7.000
max	1335.000-1311.000=24.000

*mean*	1.933-1.890=0.043
σ	0.119-0.064=0.056
min	1.753-1.826=-0.073
max	2.087-1.984=0.103

iters=5

new-facts=6402

prior-facts=1

*mean*	1552.074-1552.096=-0.023
σ	3.077-3.061=0.016
min	1550.504-1550.554=-0.049
max	1557.569-1557.566=0.003

*mean*	607.200-620.000=-12.800
σ	72.241-90.371=-18.131
min	506.000-519.000=-13.000
max	685.000-739.000=-54.000

*mean*	2.390-2.374=0.016
σ	0.338-0.247=0.091
min	2.080-2.110=-0.030
max	2.841-2.722=0.119

iters=5

new-facts=6402

prior-facts=6402

*mean*	1875.058-1875.059=-0.001
σ	0.045-0.043=0.002
min	1875.003-1875.004=-0.001
max	1875.113-1875.113=-0.000

*mean*	1741.400-1721.400=20.000
σ	156.669-205.583=-48.913
min	1503.000-1450.000=53.000
max	1934.000-1917.000=17.000

*mean*	2.886-2.943=-0.057
σ	0.058-0.085=-0.027
min	2.802-2.849=-0.047
max	2.955-3.032=-0.077

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.554-1.457=0.097
σ	0.081-0.198=-0.117
min	1.470-1.265=0.205
max	1.649-1.708=-0.059

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.410-419.407=0.003
σ	508.904-508.894=0.011
min	164.955-164.957=-0.002
max	1182.767-1182.748=0.019

*mean*	101.250
σ	6.500
min	98.000
max	111.000

*mean*	432.000-430.000=2.000
σ	0.000
min	432.000-430.000=2.000
max	432.000-430.000=2.000

*mean*	0.522-0.517=0.006
σ	0.499-0.496=0.002
min	0.267-0.266=0.001
max	1.271-1.261=0.009

policies=20

*mean*	1649.815-1649.816=-0.001
σ	0.390-0.367=0.023
min	1649.589-1649.591=-0.002
max	1650.399-1650.363=0.035

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	452.500-444.500=8.000
σ	10.630
min	439.000-431.000=8.000
max	461.000-453.000=8.000

*mean*	2.673-2.654=0.019
σ	0.022-0.006=0.016
min	2.651-2.648=0.003
max	2.703-2.662=0.041

policies=200

*mean*	16505.938-16505.947=-0.009
σ	0.149-0.122=0.027
min	16505.762-16505.785=-0.023
max	16506.105-16506.063=0.042

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	501.500-501.750=-0.250
σ	5.972-6.021=-0.049
min	495.000-494.000=1.000
max	509.000-507.000=2.000

*mean*	26.804-26.758=0.047
σ	0.193-0.095=0.098
min	26.587-26.631=-0.044
max	27.025-26.836=0.190