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.133-446.102=0.031
σ	0.000
min	446.133-446.102=0.031
max	446.133-446.102=0.031

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*	54.699-54.699=0.000
σ	0.363-0.368=-0.005
min	54.562-54.552=0.010
max	55.730-55.743=-0.013

*mean*	419.000-417.000=2.000
σ	0.000
min	419.000-417.000=2.000
max	419.000-417.000=2.000

*mean*	0.141-0.140=0.001
σ	0.004-0.005=-0.001
min	0.137-0.135=0.002
max	0.148-0.149=-0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.780-43.776=0.003
σ	0.006-0.009=-0.002
min	43.768-43.759=0.009
max	43.790-43.788=0.002

*mean*	419.000-417.000=2.000
σ	0.000
min	419.000-417.000=2.000
max	419.000-417.000=2.000

*mean*	0.125-0.123=0.001
σ	0.005-0.003=0.002
min	0.120-0.120=-0.000
max	0.133-0.130=0.003

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

*mean*	4588.875-4588.625=0.250
σ	2248.305-2249.869=-1.564
min	1487.000
max	7384.000

*mean*	169.849-174.188=-4.339
σ	444.174-456.076=-11.902
min	11.920-11.881=0.039
max	1269.113-1302.909=-33.795

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.605=0.000

*mean*	4588.875-4588.625=0.250
σ	2248.305-2249.869=-1.564
min	1487.000
max	7384.000

*mean*	14.511-14.346=0.165
σ	4.524-4.577=-0.053
min	11.503-11.640=-0.137
max	24.469-24.464=0.005

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.943-41.942=0.001

*mean*	7384.000
σ	0.000
min	7384.000
max	7384.000

*mean*	11.023-11.420=-0.396
σ	0.214-1.161=-0.946
min	10.756-10.750=0.005
max	11.382-14.278=-2.895

op=table_records(), repeat

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

*mean*	4179.500-4178.250=1.250
σ	1944.259-1946.050=-1.791
min	1487.000
max	7384.000

*mean*	11.552-11.684=-0.132
σ	1.771-1.807=-0.035
min	10.797-10.982=-0.185
max	15.925-16.153=-0.228

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

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

*mean*	4179.500-4178.250=1.250
σ	1944.259-1946.050=-1.791
min	1487.000
max	7384.000

*mean*	9.059-9.144=-0.085
σ	1.357-1.262=0.095
min	7.933-8.072=-0.138
max	12.333-12.036=0.297

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

*mean*	26.385-26.385=-0.000
σ	0.000-0.001=-0.001
min	26.385-26.385=0.000
max	26.385-26.389=-0.004

*mean*	4179.500-4178.250=1.250
σ	1944.259-1946.050=-1.791
min	1487.000
max	7384.000

*mean*	7.123-7.030=0.092
σ	0.977-0.886=0.091
min	6.430-6.334=0.096
max	9.488-9.139=0.349

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

*mean*	4588.875-4588.625=0.250
σ	2248.305-2249.869=-1.564
min	1487.000
max	7384.000

*mean*	6.536-6.574=-0.039
σ	1.078-1.090=-0.011
min	5.791-5.849=-0.059
max	8.960-8.834=0.126

op=vertical_lookup_row_list() on 3 (1 unindexed)

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

*mean*	4588.875-4588.625=0.250
σ	2248.305-2249.869=-1.564
min	1487.000
max	7384.000

*mean*	6.408-6.422=-0.014
σ	1.119-0.969=0.150
min	5.694-5.820=-0.126
max	8.951-8.391=0.560

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.599
σ	0.002
min	1021.597
max	1021.602

*mean*	7384.000
σ	0.000
min	7384.000
max	7384.000

*mean*	363.314-348.448=14.866
σ	41.970-2.137=39.833
min	344.154-344.477=-0.323
max	466.943-351.274=115.669

op=load_product(), with indexes

*mean*	3495.846-3495.845=0.000
σ	0.454-0.453=0.000
min	3495.685
max	3496.968-3496.967=0.001

*mean*	3755.875-3755.625=0.250
σ	2298.711-2300.137=-1.426
min	720.000
max	7384.000

*mean*	1791.648-1791.097=0.551
σ	666.616-668.596=-1.980
min	1396.461-1395.058=1.403
max	2929.777-2968.467=-38.690

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

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

*mean*	4409.125-4407.125=2.000
σ	2218.041-2219.318=-1.277
min	1487.000
max	7384.000

*mean*	252.165-236.216=15.949
σ	331.343-283.025=48.319
min	124.421-126.857=-2.436
max	1070.780-935.492=135.288

op=column_set() on unindexed, dense, repeat

*mean*	62.069
σ	0.001
min	62.065
max	62.069

*mean*	4409.125-4407.125=2.000
σ	2218.041-2219.318=-1.277
min	1487.000
max	7384.000

*mean*	45.232-46.599=-1.367
σ	6.975-9.505=-2.530
min	41.015-41.570=-0.555
max	62.089-69.924=-7.835

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

*mean*	7384.000
σ	0.000
min	7384.000
max	7384.000

*mean*	22.128-191.764=-169.636
σ	1.364-478.108=-476.744
min	21.354-21.723=-0.369
max	25.477-1375.010=-1349.533

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
max	71.297-71.297=0.000

*mean*	7384.000
σ	0.000
min	7384.000
max	7384.000

*mean*	257.897-64.189=193.708
σ	568.534-19.826=548.709
min	55.231-55.909=-0.678
max	1664.936-113.127=1551.809

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4179.500-4178.250=1.250
σ	1944.259-1946.050=-1.791
min	1487.000
max	7384.000

*mean*	3260.483-3272.904=-12.421
σ	817.475-846.320=-28.844
min	2493.971-2532.607=-38.636
max	4869.396-4866.607=2.788

op=vertical_lookup_list() on indexed

*mean*	1973.830
σ	0.002
min	1973.829
max	1973.833

*mean*	7384.000
σ	0.000
min	7384.000
max	7384.000

*mean*	1037.230-1049.494=-12.265
σ	220.928-228.353=-7.425
min	911.993-937.702=-25.710
max	1554.637-1593.301=-38.664

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

*mean*	905.084
σ	0.002
min	905.082
max	905.087

*mean*	7384.000
σ	0.000
min	7384.000
max	7384.000

*mean*	389.887-401.385=-11.497
σ	9.294-42.314=-33.020
min	371.550-368.499=3.051
max	404.910-504.329=-99.419

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.500-477.000=-1.500
σ	0.535-0.000=0.535
min	475.000-477.000=-2.000
max	476.000-477.000=-1.000

*mean*	363.574-361.366=2.208
σ	39.410-42.697=-3.287
min	309.645-305.215=4.430
max	429.607-421.441=8.166

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	562.000-561.000=1.000
σ	0.000
min	562.000-561.000=1.000
max	562.000-561.000=1.000

*mean*	721.538-768.344=-46.805
σ	77.657-45.434=32.223
min	610.175-703.495=-93.320
max	814.158-825.850=-11.692

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.556-964.523=0.033
σ	1.879-1.820=0.059
min	963.837-963.817=0.021
max	972.504-972.218=0.286

*mean*	1045.650-1040.450=5.200
σ	310.543-292.898=17.645
min	580.000-553.000=27.000
max	1499.000-1432.000=67.000

*mean*	1.248-1.283=-0.035
σ	0.072-0.140=-0.068
min	1.168-1.175=-0.008
max	1.461-1.753=-0.292

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.298-0.302=-0.004
σ	0.301-0.311=-0.010
min	0.141-0.134=0.007
max	0.833-0.853=-0.020

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.465=0.018
σ	0.315-0.324=-0.008
min	0.329-0.309=0.020
max	1.046-1.043=0.003

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.219-0.205=0.014
σ	0.020-0.025=-0.005
min	0.201-0.185=0.016
max	0.250-0.247=0.003

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.332-0.359=-0.027
σ	0.018-0.063=-0.045
min	0.320-0.313=0.006
max	0.364-0.468=-0.104

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*	436.600-431.000=5.600
σ	6.066-0.000=6.066
min	431.000
max	443.000-431.000=12.000

*mean*	0.594-0.502=0.092
σ	0.017-0.057=-0.040
min	0.569-0.450=0.120
max	0.614-0.590=0.023

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

*mean*	443.000-431.000=12.000
σ	0.000
min	443.000-431.000=12.000
max	443.000-431.000=12.000

*mean*	0.493-0.479=0.014
σ	0.038-0.040=-0.003
min	0.431-0.427=0.004
max	0.527-0.520=0.007

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*	443.000-431.000=12.000
σ	0.000
min	443.000-431.000=12.000
max	443.000-431.000=12.000

*mean*	2.690-2.674=0.016
σ	0.090-0.106=-0.015
min	2.456-2.492=-0.037
max	2.966-2.959=0.007

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	443.000-431.000=12.000
σ	0.000
min	443.000-431.000=12.000
max	443.000-431.000=12.000

*mean*	2.711-2.630=0.081
σ	0.064-0.102=-0.038
min	2.528-2.440=0.088
max	2.888-2.924=-0.036

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	443.000-431.000=12.000
σ	0.000
min	443.000-431.000=12.000
max	443.000-431.000=12.000

*mean*	0.302-0.307=-0.006
σ	0.014-0.013=0.000
min	0.278-0.289=-0.011
max	0.380-0.376=0.004

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	443.000-431.000=12.000
σ	0.000
min	443.000-431.000=12.000
max	443.000-431.000=12.000

*mean*	0.289-0.289=0.000
σ	0.036-0.014=0.022
min	0.268-0.272=-0.004
max	0.635-0.405=0.230

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.582-11.376=0.206
σ	10.889-11.693=-0.805
min	0.718-0.574=0.144
max	90.320-126.777=-36.457

*mean*	464.522-455.320=9.202
σ	18.659-16.623=2.037
min	409.000
max	476.000-472.000=4.000

*mean*	0.027-0.026=0.000
σ	0.027-0.029=-0.002
min	0.001-0.001=-0.000
max	0.210-0.306=-0.096

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.984-278.863=0.121
σ	1.047-1.009=0.039
min	278.592-278.373=0.219
max	281.963-281.713=0.250

*mean*	444.900-447.300=-2.400
σ	17.078-19.149=-2.071
min	414.000
max	465.000-471.000=-6.000

*mean*	0.574-0.579=-0.005
σ	0.024-0.022=0.002
min	0.526-0.544=-0.017
max	0.606-0.613=-0.006

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-874.000=-27.000
σ	0.000
min	847.000-874.000=-27.000
max	847.000-874.000=-27.000

*mean*	151.701-146.371=5.331
σ	11.196-9.838=1.358
min	130.909-135.072=-4.163
max	162.260-159.066=3.194

phase=macro expansion

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

*mean*	847.000-874.000=-27.000
σ	0.000
min	847.000-874.000=-27.000
max	847.000-874.000=-27.000

*mean*	5.857-8.939=-3.082
σ	0.084-0.076=0.007
min	5.764-8.835=-3.071
max	5.988-9.056=-3.068

phase=parser

*mean*	1042.133-1042.131=0.002
σ	0.000-0.000=-0.000
min	1042.133-1042.131=0.002
max	1042.133-1042.131=0.002

*mean*	847.000-874.000=-27.000
σ	0.000
min	847.000-874.000=-27.000
max	847.000-874.000=-27.000

*mean*	375.156-607.980=-232.824
σ	3.467-7.631=-4.163
min	371.213-596.178=-224.965
max	381.353-618.582=-237.229

phase=processProdDef

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

*mean*	847.000-874.000=-27.000
σ	0.000
min	847.000-874.000=-27.000
max	847.000-874.000=-27.000

*mean*	2961.204-2733.827=227.376
σ	177.814-292.867=-115.053
min	2714.857-2272.755=442.102
max	3165.134-3090.444=74.689

phase=renaming

*mean*	21.430
σ	0.000
min	21.430
max	21.430

*mean*	847.000-874.000=-27.000
σ	0.000
min	847.000-874.000=-27.000
max	847.000-874.000=-27.000

*mean*	35.032-46.144=-11.111
σ	1.383-2.661=-1.278
min	32.919-39.639=-6.720
max	37.004-47.949=-10.945

phase=type checker

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

*mean*	847.000-874.000=-27.000
σ	0.000
min	847.000-874.000=-27.000
max	847.000-874.000=-27.000

*mean*	660.742-665.658=-4.916
σ	13.285-19.072=-5.787
min	634.536-634.073=0.463
max	677.167-680.390=-3.223

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.855-282.360=0.496
σ	0.039-0.036=0.003
min	282.801-282.309=0.492
max	282.894-282.397=0.498

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

*mean*	0.375-0.378=-0.004
σ	0.002-0.007=-0.005
min	0.371-0.373=-0.002
max	0.377-0.387=-0.010

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.055-1267.621=0.434
σ	0.119-0.133=-0.014
min	1267.950-1267.414=0.536
max	1268.254-1267.779=0.475

*mean*	1089.800-1086.600=3.200
σ	167.600-166.686=0.914
min	892.000-890.000=2.000
max	1321.000-1317.000=4.000

*mean*	2.008-2.136=-0.127
σ	0.113-0.317=-0.204
min	1.878-1.810=0.068
max	2.143-2.660=-0.517

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.997-1506.515=0.482
σ	2.936-2.961=-0.025
min	1505.441-1504.955=0.486
max	1512.236-1511.797=0.439

*mean*	625.000-622.800=2.200
σ	87.164-87.168=-0.004
min	495.000-493.000=2.000
max	727.000-725.000=2.000

*mean*	2.152-2.194=-0.042
σ	0.096-0.232=-0.136
min	2.084-2.067=0.017
max	2.319-2.608=-0.289

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.058-1829.565=0.493
σ	0.047-0.036=0.010
min	1829.985-1829.514=0.471
max	1830.105-1829.605=0.500

*mean*	1721.800-1727.000=-5.200
σ	173.053-176.675=-3.622
min	1475.000-1470.000=5.000
max	1883.000-1886.000=-3.000

*mean*	3.013-2.957=0.056
σ	0.330-0.194=0.136
min	2.825-2.823=0.003
max	3.601-3.296=0.305

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.668-1.768=-0.100
σ	0.122-0.069=0.053
min	1.553-1.665=-0.112
max	1.862-1.860=0.002

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	405.943-393.613=12.330
σ	509.286-509.098=0.188
min	151.292-139.061=12.231
max	1169.872-1157.260=12.612

*mean*	101.750-99.750=2.000
σ	7.500
min	98.000-96.000=2.000
max	113.000-111.000=2.000

*mean*	444.000-439.000=5.000
σ	0.000
min	444.000-439.000=5.000
max	444.000-439.000=5.000

*mean*	0.488-0.487=0.001
σ	0.463-0.518=-0.055
min	0.252-0.227=0.026
max	1.183-1.264=-0.082

policies=20

*mean*	1513.134-1390.710=122.424
σ	0.255-0.145=0.111
min	1512.975-1390.600=122.374
max	1513.514-1390.923=122.592

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

*mean*	450.750-443.250=7.500
σ	10.874-8.500=2.374
min	444.000-439.000=5.000
max	467.000-456.000=11.000

*mean*	2.483-2.285=0.199
σ	0.022-0.023=-0.001
min	2.462-2.261=0.201
max	2.510-2.312=0.199

policies=200

*mean*	15139.912-13915.892=1224.021
σ	0.151-0.107=0.044
min	15139.772-13915.795=1223.978
max	15140.102-13916.040=1224.062

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

*mean*	499.000-495.000=4.000
σ	3.651-4.899=-1.247
min	495.000-489.000=6.000
max	503.000-501.000=2.000

*mean*	24.951-23.116=1.835
σ	0.198-0.102=0.097
min	24.718-23.028=1.690
max	25.154-23.232=1.922