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 Decls)

Factor

compact size MiB

phase=processProdDef Decls

*mean*	5.676
σ	0.000
min	5.676
max	5.676

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.883
σ	0.000
min	446.883
max	446.883

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.774-54.775=-0.000
σ	0.362-0.364=-0.002
min	54.628-54.630=-0.002
max	55.804-55.810=-0.006

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

*mean*	0.140-0.137=0.003
σ	0.004-0.006=-0.001
min	0.137-0.132=0.005
max	0.149-0.147=0.002

cache=y

dps=1

iters=10

policies=100

*mean*	43.773-43.774=-0.000
σ	0.005-0.006=-0.002
min	43.763-43.764=-0.002
max	43.778-43.782=-0.004

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

*mean*	0.123-0.125=-0.002
σ	0.005-0.004=0.001
min	0.118-0.121=-0.003
max	0.131-0.132=-0.001

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.617-36.617=0.000
σ	0.000-0.000=0.000
min	36.617
max	36.618-36.618=0.000

*mean*	4589.000-4432.500=156.500
σ	2246.943-2226.365=20.578
min	1486.000-1485.000=1.000
max	7380.000-7409.000=-29.000

*mean*	173.211-13.806=159.404
σ	453.236-3.600=449.635
min	12.094-12.241=-0.146
max	1294.902-22.639=1272.264

op=column_set() on indexed, repeat

*mean*	36.617-36.617=-0.000
σ	0.000-0.000=-0.000
min	36.617
max	36.618-36.618=-0.001

*mean*	4589.000-4612.375=-23.375
σ	2246.943-2257.820=-10.877
min	1486.000-1485.000=1.000
max	7380.000-7409.000=-29.000

*mean*	14.597-159.464=-144.867
σ	3.727-411.759=-408.032
min	11.766-11.509=0.257
max	22.617-1178.483=-1155.866

op=table_records(), no indexes

*mean*	41.948-41.948=0.000
σ	0.002-0.002=0.000
min	41.946-41.946=0.000
max	41.951-41.950=0.001

*mean*	7380.000-7409.000=-29.000
σ	0.000
min	7380.000-7409.000=-29.000
max	7380.000-7409.000=-29.000

*mean*	11.096-11.121=-0.026
σ	0.190-0.291=-0.101
min	10.756-10.829=-0.073
max	11.306-11.748=-0.442

op=table_records(), repeat

*mean*	41.933-41.933=0.000
σ	0.000-0.000=0.000
min	41.933
max	41.934-41.934=0.000

*mean*	4180.500-4204.500=-24.000
σ	1943.639-1954.838=-11.199
min	1486.000-1485.000=1.000
max	7380.000-7409.000=-29.000

*mean*	11.655-11.416=0.240
σ	1.761-0.826=0.935
min	10.774-10.898=-0.124
max	15.963-13.414=2.549

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

*mean*	27.655-27.655=0.000
σ	0.136-0.136=-0.000
min	27.606
max	27.993-27.993=-0.000

*mean*	4180.500-4204.500=-24.000
σ	1943.639-1954.838=-11.199
min	1486.000-1485.000=1.000
max	7380.000-7409.000=-29.000

*mean*	9.105-8.722=0.383
σ	1.404-0.589=0.815
min	8.223-7.996=0.228
max	12.523-9.942=2.581

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

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

*mean*	4180.500-4204.500=-24.000
σ	1943.639-1954.838=-11.199
min	1486.000-1485.000=1.000
max	7380.000-7409.000=-29.000

*mean*	6.977-6.755=0.222
σ	0.859-0.570=0.290
min	6.154-6.134=0.020
max	9.015-8.026=0.989

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.681-25.681=-0.000
σ	0.003-0.003=-0.000
min	25.680
max	25.688-25.688=-0.000

*mean*	4589.000-4612.375=-23.375
σ	2246.943-2257.820=-10.877
min	1486.000-1485.000=1.000
max	7380.000-7409.000=-29.000

*mean*	6.622-6.755=-0.134
σ	0.993-1.341=-0.348
min	5.942-5.791=0.150
max	8.849-9.196=-0.347

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.984-25.984=0.000
σ	0.000-0.000=0.000
min	25.984
max	25.985-25.985=0.000

*mean*	4589.000-4612.375=-23.375
σ	2246.943-2257.820=-10.877
min	1486.000-1485.000=1.000
max	7380.000-7409.000=-29.000

*mean*	6.420-6.463=-0.043
σ	1.065-0.990=0.076
min	5.785-5.774=0.011
max	8.808-8.643=0.166

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.625-1021.625=-0.000
σ	0.002-0.002=-0.000
min	1021.623
max	1021.627-1021.628=-0.000

*mean*	7380.000-7409.000=-29.000
σ	0.000
min	7380.000-7409.000=-29.000
max	7380.000-7409.000=-29.000

*mean*	362.600-346.430=16.170
σ	42.313-1.977=40.336
min	343.280-344.011=-0.731
max	467.128-349.122=118.007

op=load_product(), with indexes

*mean*	3495.876-3495.876=0.000
σ	0.467-0.467=-0.000
min	3495.711
max	3497.031

*mean*	3756.500-3776.250=-19.750
σ	2298.332-2312.107=-13.776
min	720.000
max	7380.000-7409.000=-29.000

*mean*	1741.234-1741.791=-0.557
σ	599.216-561.041=38.176
min	1394.635-1411.215=-16.580
max	2958.288-2824.676=133.612

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

*mean*	107.854-107.854=0.000
σ	0.000-0.000=0.000
min	107.854-107.853=0.001
max	107.854-107.854=0.000

*mean*	4409.375-4204.500=204.875
σ	2216.467-1954.838=261.628
min	1486.000-1485.000=1.000
max	7380.000-7409.000=-29.000

*mean*	230.984-135.942=95.042
σ	271.170-8.352=262.818
min	125.987-127.364=-1.376
max	900.749-150.639=750.110

op=column_set() on unindexed, dense, repeat

*mean*	62.081-62.082=-0.000
σ	0.000-0.000=-0.000
min	62.081
max	62.082-62.082=-0.001

*mean*	4409.375-4432.500=-23.125
σ	2216.467-2226.365=-9.899
min	1486.000-1485.000=1.000
max	7380.000-7409.000=-29.000

*mean*	46.409-139.932=-93.523
σ	8.368-270.893=-262.525
min	42.111-41.893=0.218
max	66.769-810.351=-743.582

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948-40.948=-0.000
σ	0.002-0.002=-0.000
min	40.947
max	40.950-40.951=-0.001

*mean*	7380.000-7409.000=-29.000
σ	0.000
min	7380.000-7409.000=-29.000
max	7380.000-7409.000=-29.000

*mean*	22.293-136.636=-114.343
σ	1.626-322.979=-321.352
min	21.613-21.650=-0.037
max	26.307-935.961=-909.654

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.308-71.308=0.000
σ	0.002-0.002=0.000
min	71.307-71.307=-0.000
max	71.311-71.311=0.000

*mean*	7380.000-7409.000=-29.000
σ	0.000
min	7380.000-7409.000=-29.000
max	7380.000-7409.000=-29.000

*mean*	300.031-59.870=240.160
σ	686.776-9.886=676.890
min	55.961-55.755=0.206
max	1999.703-84.297=1915.406

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.850
σ	0.014-0.013=0.000
min	4646.845
max	4646.884-4646.883=0.001

*mean*	4180.500-4204.500=-24.000
σ	1943.639-1954.838=-11.199
min	1486.000-1485.000=1.000
max	7380.000-7409.000=-29.000

*mean*	3241.828-3333.950=-92.122
σ	776.837-771.798=5.039
min	2505.186-2534.194=-29.008
max	4808.739-4473.755=334.983

op=vertical_lookup_list() on indexed

*mean*	1973.851-1973.851=0.000
σ	0.002-0.002=0.000
min	1973.849
max	1973.854-1973.853=0.000

*mean*	7380.000-7409.000=-29.000
σ	0.000
min	7380.000-7409.000=-29.000
max	7380.000-7409.000=-29.000

*mean*	1038.527-1024.015=14.512
σ	187.495-202.854=-15.359
min	927.558-930.480=-2.922
max	1469.608-1512.366=-42.758

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

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7380.000-7409.000=-29.000
σ	0.000
min	7380.000-7409.000=-29.000
max	7380.000-7409.000=-29.000

*mean*	390.925-413.624=-22.699
σ	6.406-43.339=-36.933
min	378.738-387.069=-8.331
max	402.298-520.180=-117.882

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.000-476.000=-1.000
σ	1.069-0.000=1.069
min	474.000-476.000=-2.000
max	476.000

*mean*	333.920-374.327=-40.407
σ	38.170-32.920=5.250
min	297.294-305.915=-8.621
max	395.542-418.205=-22.664

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	564.000-560.000=4.000
σ	0.000-1.852=-1.852
min	564.000-557.000=7.000
max	564.000-561.000=3.000

*mean*	768.074-740.965=27.109
σ	33.504-50.311=-16.806
min	711.798-665.935=45.864
max	822.502-806.735=15.767

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.971-963.970=0.001
σ	1.820-1.821=-0.001
min	963.266-963.263=0.003
max	971.667-971.669=-0.002

*mean*	1043.800-1047.500=-3.700
σ	313.857-320.298=-6.441
min	593.000-538.000=55.000
max	1503.000-1568.000=-65.000

*mean*	1.294-1.291=0.003
σ	0.150-0.160=-0.010
min	1.175-1.185=-0.010
max	1.764-1.882=-0.117

Parser: Comma Sep

Factor

allocated MiB

peak allocated MiB

time (ms)

name=ambiguous_item.art

*mean*	0.912
σ	0.020
min	0.902
max	0.948

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.408-0.454=-0.046
σ	0.530-0.631=-0.101
min	0.137-0.135=0.003
max	1.352-1.579=-0.227

name=error_case.art

*mean*	2.339
σ	0.012
min	2.333
max	2.360

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.468-0.481=-0.013
σ	0.320-0.321=-0.002
min	0.313-0.331=-0.018
max	1.040-1.055=-0.016

name=heavy_item.art

*mean*	1.521
σ	0.002
min	1.519
max	1.523

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.219-0.225=-0.006
σ	0.024-0.026=-0.003
min	0.199-0.204=-0.004
max	0.259-0.270=-0.011

name=nested_use.art

*mean*	2.356
σ	0.002
min	2.356
max	2.359

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.325-0.326=-0.001
σ	0.017-0.019=-0.002
min	0.313-0.308=0.004
max	0.353-0.357=-0.004

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	963.522
σ	0.011
min	963.517
max	963.541

*mean*	431.400-434.400=-3.000
σ	2.191-1.342=0.849
min	430.000-432.000=-2.000
max	435.000

*mean*	0.567-0.584=-0.017
σ	0.050-0.031=0.019
min	0.484-0.535=-0.051
max	0.608-0.613=-0.004

name=cdr_enhanced_4k_loc.art

*mean*	885.094
σ	0.002
min	885.092
max	885.096

*mean*	435.000
σ	0.000
min	435.000
max	435.000

*mean*	0.463-0.468=-0.004
σ	0.036-0.059=-0.023
min	0.421-0.373=0.048
max	0.515-0.527=-0.012

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.706
σ	0.002
min	7.705
max	7.709

*mean*	435.000
σ	0.000
min	435.000
max	435.000

*mean*	1.964-1.982=-0.018
σ	0.075-0.079=-0.004
min	1.861-1.878=-0.017
max	2.236-2.215=0.020

name=record_render_large_syntax_err.art

*mean*	7.654
σ	0.002
min	7.653
max	7.657

*mean*	435.000
σ	0.000
min	435.000
max	435.000

*mean*	1.951-1.973=-0.022
σ	0.062-0.077=-0.015
min	1.812-1.859=-0.047
max	2.159-2.181=-0.022

name=record_render_success.art

*mean*	2.286
σ	0.002
min	2.285
max	2.289

*mean*	435.000
σ	0.000
min	435.000
max	435.000

*mean*	0.306-0.317=-0.012
σ	0.008-0.060=-0.053
min	0.291-0.294=-0.003
max	0.347-0.861=-0.514

name=record_render_syntax_err.art

*mean*	2.161
σ	0.002
min	2.160
max	2.164

*mean*	435.000
σ	0.000
min	435.000
max	435.000

*mean*	0.290-0.292=-0.002
σ	0.007-0.008=-0.001
min	0.279-0.278=0.001
max	0.324-0.329=-0.004

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.671-12.094=-0.422
σ	12.121-11.632=0.489
min	0.574-0.855=-0.281
max	96.651-72.841=23.810

*mean*	466.320-467.300=-0.980
σ	20.711-18.298=2.414
min	407.000-409.000=-2.000
max	483.000-480.000=3.000

*mean*	0.027-0.028=-0.001
σ	0.030-0.028=0.001
min	0.001-0.001=-0.000
max	0.240-0.176=0.063

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.838-278.710=0.128
σ	1.065-1.016=0.049
min	278.315-278.289=0.026
max	281.858-281.595=0.263

*mean*	444.700-443.600=1.100
σ	17.506-16.318=1.188
min	414.000-418.000=-4.000
max	469.000-468.000=1.000

*mean*	0.579-0.587=-0.008
σ	0.027-0.021=0.006
min	0.526-0.558=-0.033
max	0.633-0.638=-0.004

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	173.737-173.737=0.000
σ	0.000-0.000=0.000
min	173.737
max	173.738-173.737=0.000

*mean*	843.000-839.000=4.000
σ	0.000
min	843.000-839.000=4.000
max	843.000-839.000=4.000

*mean*	234.361-226.295=8.066
σ	19.861-37.825=-17.964
min	211.666-144.498=67.168
max	268.911-253.435=15.476

phase=macro expansion

*mean*	6.129-6.129=-0.000
σ	0.000-0.001=-0.001
min	6.129
max	6.129-6.133=-0.004

*mean*	842.500-839.000=3.500
σ	1.414-0.000=1.414
min	839.000
max	843.000-839.000=4.000

*mean*	9.189-9.116=0.073
σ	0.974-0.946=0.028
min	7.538-7.475=0.064
max	9.833-9.766=0.066

phase=parser

*mean*	1041.043-1041.044=-0.000
σ	0.000-0.001=-0.001
min	1041.043-1041.040=0.003
max	1041.043-1041.044=-0.001

*mean*	842.500-839.000=3.500
σ	1.414-0.000=1.414
min	839.000
max	843.000-839.000=4.000

*mean*	567.263-547.817=19.446
σ	75.849-75.018=0.831
min	422.844-427.306=-4.461
max	618.526-601.995=16.531

phase=processProdDef

*mean*	2243.973-2243.975=-0.002
σ	0.000-0.001=-0.001
min	2243.973-2243.975=-0.001
max	2243.973-2243.978=-0.005

*mean*	843.000-839.000=4.000
σ	0.000
min	843.000-839.000=4.000
max	843.000-839.000=4.000

*mean*	2964.581-2546.699=417.882
σ	350.031-309.094=40.937
min	2495.277-2176.877=318.400
max	3402.198-3021.795=380.403

phase=renaming

*mean*	21.673-21.669=0.004
σ	0.000
min	21.673-21.669=0.004
max	21.673-21.669=0.004

*mean*	842.500-839.000=3.500
σ	1.414-0.000=1.414
min	839.000
max	843.000-839.000=4.000

*mean*	37.411-36.846=0.566
σ	6.532-6.393=0.139
min	26.764-26.112=0.652
max	41.466-41.213=0.254

phase=type checker

*mean*	989.751-989.754=-0.003
σ	0.066-0.066=-0.001
min	989.653
max	989.841-989.844=-0.004

*mean*	842.500-839.000=3.500
σ	1.414-0.000=1.414
min	839.000
max	843.000-839.000=4.000

*mean*	710.656-678.902=31.754
σ	27.880-12.859=15.021
min	672.584-647.818=24.766
max	740.982-689.121=51.861

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.394-282.393=0.001
σ	0.036-0.025=0.011
min	282.338-282.372=-0.035
max	282.425-282.424=0.000

*mean*	443.400-444.400=-1.000
σ	0.548
min	443.000-444.000=-1.000
max	444.000-445.000=-1.000

*mean*	0.377-0.380=-0.004
σ	0.002-0.003=-0.001
min	0.375-0.377=-0.002
max	0.380-0.382=-0.003

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.106-1267.120=-0.014
σ	0.090-0.097=-0.007
min	1267.003-1266.996=0.007
max	1267.233-1267.230=0.003

*mean*	1090.800-1064.600=26.200
σ	173.265-166.233=7.032
min	853.000-847.000=6.000
max	1296.000-1277.000=19.000

*mean*	1.946-1.977=-0.032
σ	0.150-0.185=-0.034
min	1.812-1.775=0.038
max	2.113-2.137=-0.024

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.135-1506.078=0.057
σ	2.934-2.972=-0.038
min	1504.631-1504.541=0.090
max	1511.375-1511.383=-0.008

*mean*	615.400-614.000=1.400
σ	78.640-77.016=1.624
min	495.000
max	704.000-700.000=4.000

*mean*	2.312-2.214=0.097
σ	0.285-0.225=0.060
min	2.084-2.032=0.052
max	2.659-2.605=0.054

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.103-1829.102=0.001
σ	0.027-0.044=-0.017
min	1829.055-1829.057=-0.002
max	1829.121-1829.154=-0.034

*mean*	1742.200-1714.400=27.800
σ	246.904-250.781=-3.877
min	1428.000-1424.000=4.000
max	2057.000-2072.000=-15.000

*mean*	2.926-2.912=0.014
σ	0.092-0.128=-0.036
min	2.841-2.816=0.025
max	3.066-3.113=-0.047

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.759-1.638=0.121
σ	0.112-0.195=-0.083
min	1.578-1.418=0.159
max	1.848-1.912=-0.065

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.516-397.515=0.001
σ	517.689-517.690=-0.001
min	138.670-138.669=0.001
max	1174.050-1174.051=-0.001

*mean*	97.750
σ	7.500
min	94.000
max	109.000

*mean*	447.000
σ	0.000
min	447.000
max	447.000

*mean*	0.503-0.501=0.001
σ	0.533-0.538=-0.004
min	0.234-0.231=0.004
max	1.303-1.308=-0.005

policies=20

*mean*	1386.838-1386.828=0.011
σ	0.166-0.163=0.002
min	1386.726-1386.716=0.010
max	1387.084-1387.070=0.014

*mean*	940.000
σ	0.000
min	940.000
max	940.000

*mean*	450.000
σ	6.000
min	447.000
max	459.000

*mean*	2.320-2.333=-0.013
σ	0.018-0.007=0.011
min	2.303-2.327=-0.024
max	2.340-2.342=-0.002

policies=200

*mean*	13876.885-13876.835=0.050
σ	0.098-0.065=0.033
min	13876.807-13876.760=0.047
max	13877.029-13876.897=0.132

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	499.000-495.250=3.750
σ	4.690-3.775=0.915
min	493.000-491.000=2.000
max	504.000-500.000=4.000

*mean*	23.435-23.582=-0.147
σ	0.081-0.166=-0.085
min	23.361-23.428=-0.066
max	23.531-23.769=-0.238