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.775-54.774=0.001
σ	0.366-0.363=0.003
min	54.632-54.628=0.004
max	55.815-55.805=0.010

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

*mean*	0.139-0.141=-0.002
σ	0.006-0.005=0.001
min	0.132-0.137=-0.004
max	0.147-0.151=-0.004

cache=y

dps=1

iters=10

policies=100

*mean*	43.773-43.774=-0.001
σ	0.008-0.006=0.002
min	43.761-43.763=-0.002
max	43.787-43.783=0.004

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

*mean*	0.123-0.124=-0.001
σ	0.004-0.004=0.000
min	0.117-0.122=-0.004
max	0.130-0.133=-0.003

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*	4581.375-4426.375=155.000
σ	2255.838-2226.997=28.841
min	1485.000-1484.000=1.000
max	7403.000-7407.000=-4.000

*mean*	13.504-12.417=1.087
σ	3.528-1.950=1.578
min	11.929-11.399=0.529
max	22.167-17.110=5.057

op=column_set() on indexed, repeat

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

*mean*	4581.375-4606.625=-25.250
σ	2255.838-2258.183=-2.345
min	1485.000-1484.000=1.000
max	7403.000-7407.000=-4.000

*mean*	13.140-146.533=-133.394
σ	2.206-377.890=-375.684
min	11.546-11.957=-0.410
max	18.382-1081.752=-1063.369

op=table_records(), no indexes

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

*mean*	7403.000-7407.000=-4.000
σ	0.000
min	7403.000-7407.000=-4.000
max	7403.000-7407.000=-4.000

*mean*	11.101-10.351=0.750
σ	0.525-0.236=0.289
min	10.538-10.109=0.430
max	12.301-10.840=1.461

op=table_records(), repeat

*mean*	41.934-41.934=-0.000
σ	0.001-0.002=-0.000
min	41.933
max	41.937-41.937=-0.001

*mean*	4165.750-4197.625=-31.875
σ	1946.847-1954.402=-7.555
min	1485.000-1484.000=1.000
max	7403.000-7407.000=-4.000

*mean*	11.384-10.859=0.525
σ	1.696-0.872=0.824
min	10.587-10.290=0.296
max	15.562-12.981=2.580

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

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

*mean*	4165.750-4197.625=-31.875
σ	1946.847-1954.402=-7.555
min	1485.000-1484.000=1.000
max	7403.000-7407.000=-4.000

*mean*	8.925-7.959=0.966
σ	1.299-0.669=0.630
min	7.952-7.011=0.941
max	12.076-9.384=2.692

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

*mean*	4165.750-4197.625=-31.875
σ	1946.847-1954.402=-7.555
min	1485.000-1484.000=1.000
max	7403.000-7407.000=-4.000

*mean*	6.998-6.161=0.837
σ	1.002-0.474=0.528
min	6.400-5.551=0.849
max	9.452-7.181=2.271

op=vertical_lookup_row_list() on 2 indexed

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

*mean*	4581.375-4606.625=-25.250
σ	2255.838-2258.183=-2.345
min	1485.000-1484.000=1.000
max	7403.000-7407.000=-4.000

*mean*	6.160-6.171=-0.011
σ	0.448-1.144=-0.696
min	5.816-5.376=0.439
max	7.220-8.594=-1.374

op=vertical_lookup_row_list() on 3 (1 unindexed)

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

*mean*	4581.375-4606.625=-25.250
σ	2255.838-2258.183=-2.345
min	1485.000-1484.000=1.000
max	7403.000-7407.000=-4.000

*mean*	5.976-5.922=0.054
σ	0.477-1.052=-0.575
min	5.690-5.343=0.347
max	7.137-8.246=-1.109

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.627-1021.627=-0.000
σ	0.002-0.002=-0.000
min	1021.625
max	1021.629-1021.630=-0.000

*mean*	7403.000-7407.000=-4.000
σ	0.000
min	7403.000-7407.000=-4.000
max	7403.000-7407.000=-4.000

*mean*	363.103-345.474=17.630
σ	42.806-3.367=39.439
min	344.524-340.570=3.954
max	468.944-350.243=118.701

op=load_product(), with indexes

*mean*	3495.878-3495.878=0.000
σ	0.469-0.469=-0.000
min	3495.713
max	3497.038

*mean*	3746.000-3770.750=-24.750
σ	2298.679-2310.534=-11.855
min	720.000
max	7403.000-7407.000=-4.000

*mean*	1603.715-1753.579=-149.865
σ	533.784-628.000=-94.215
min	1385.771-1377.811=7.960
max	2916.101-2791.707=124.394

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.853
max	107.855-107.854=0.001

*mean*	4400.625-4197.625=203.000
σ	2227.270-1954.402=272.868
min	1485.000-1484.000=1.000
max	7403.000-7407.000=-4.000

*mean*	272.884-130.027=142.857
σ	389.726-7.879=381.847
min	124.821-124.014=0.806
max	1236.341-148.791=1087.550

op=column_set() on unindexed, dense, repeat

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

*mean*	4581.375-4426.375=155.000
σ	2255.838-2226.997=28.841
min	1485.000-1484.000=1.000
max	7403.000-7407.000=-4.000

*mean*	145.289-161.782=-16.492
σ	281.209-335.839=-54.630
min	41.887-41.443=0.443
max	841.063-992.932=-151.869

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*	7403.000-7407.000=-4.000
σ	0.000
min	7403.000-7407.000=-4.000
max	7403.000-7407.000=-4.000

*mean*	23.306-106.574=-83.268
σ	2.793-240.069=-237.276
min	21.664-20.943=0.720
max	29.246-700.707=-671.461

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
max	71.310-71.311=-0.000

*mean*	7403.000-7407.000=-4.000
σ	0.000
min	7403.000-7407.000=-4.000
max	7403.000-7407.000=-4.000

*mean*	269.288-57.201=212.087
σ	600.619-6.276=594.343
min	55.334-54.757=0.577
max	1755.733-72.704=1683.029

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4165.750-4197.625=-31.875
σ	1946.847-1954.402=-7.555
min	1485.000-1484.000=1.000
max	7403.000-7407.000=-4.000

*mean*	3204.410-3120.107=84.303
σ	891.734-737.759=153.975
min	2500.828-2486.962=13.865
max	5033.327-4254.240=779.087

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*	7403.000-7407.000=-4.000
σ	0.000
min	7403.000-7407.000=-4.000
max	7403.000-7407.000=-4.000

*mean*	1127.212-1005.371=121.841
σ	331.553-202.955=128.599
min	912.817-907.904=4.913
max	1726.586-1494.501=232.085

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

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7403.000-7407.000=-4.000
σ	0.000
min	7403.000-7407.000=-4.000
max	7403.000-7407.000=-4.000

*mean*	408.037-404.556=3.482
σ	39.777-39.750=0.028
min	388.141-379.640=8.501
max	505.304-501.756=3.548

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-475.250=1.000
σ	0.463-1.035=-0.572
min	476.000-474.000=2.000
max	477.000-476.000=1.000

*mean*	377.119-377.708=-0.589
σ	36.601-8.396=28.205
min	320.778-366.066=-45.288
max	431.292-386.514=44.777

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	560.625-564.000=-3.375
σ	1.061-0.000=1.061
min	558.000-564.000=-6.000
max	561.000-564.000=-3.000

*mean*	740.477-735.511=4.966
σ	26.084-38.183=-12.099
min	695.761-691.194=4.567
max	783.722-798.699=-14.978

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.969-963.970=-0.001
σ	1.821-1.822=-0.002
min	963.263-963.264=-0.001
max	971.669-971.677=-0.008

*mean*	1038.300-1029.800=8.500
σ	295.024-298.070=-3.046
min	576.000-552.000=24.000
max	1432.000-1450.000=-18.000

*mean*	1.292-1.246=0.045
σ	0.157-0.067=0.090
min	1.179-1.183=-0.004
max	1.782-1.447=0.335

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-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.401-0.318=0.083
σ	0.518-0.321=0.197
min	0.143-0.148=-0.005
max	1.324-0.888=0.436

name=error_case.art

*mean*	2.340
σ	0.012
min	2.334
max	2.362

*mean*	402.000-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.476-0.416=0.060
σ	0.320-0.190=0.130
min	0.322-0.324=-0.002
max	1.048-0.755=0.293

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.521
max	1.525

*mean*	402.000-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.222-0.222=-0.000
σ	0.024-0.023=0.001
min	0.206-0.204=0.002
max	0.264-0.263=0.001

name=nested_use.art

*mean*	2.358
σ	0.002
min	2.357
max	2.361

*mean*	402.000-401.000=1.000
σ	0.000
min	402.000-401.000=1.000
max	402.000-401.000=1.000

*mean*	0.343-0.337=0.006
σ	0.017-0.019=-0.002
min	0.328-0.316=0.011
max	0.367-0.362=0.005

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.971
σ	0.011
min	964.965
max	964.989

*mean*	436.200-430.000=6.200
σ	5.541-0.000=5.541
min	431.000-430.000=1.000
max	442.000-430.000=12.000

*mean*	0.543-0.535=0.008
σ	0.065-0.042=0.024
min	0.458-0.500=-0.041
max	0.602-0.586=0.016

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	442.000-430.000=12.000
σ	0.000
min	442.000-430.000=12.000
max	442.000-430.000=12.000

*mean*	0.489-0.476=0.013
σ	0.039-0.035=0.004
min	0.431-0.421=0.010
max	0.529-0.517=0.012

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.710
σ	0.002
min	7.709
max	7.713

*mean*	442.000-430.000=12.000
σ	0.000
min	442.000-430.000=12.000
max	442.000-430.000=12.000

*mean*	2.612-2.631=-0.019
σ	0.093-0.107=-0.014
min	2.485-2.430=0.056
max	3.067-2.964=0.102

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	442.000-430.000=12.000
σ	0.000
min	442.000-430.000=12.000
max	442.000-430.000=12.000

*mean*	2.602-2.591=0.010
σ	0.075-0.087=-0.012
min	2.463-2.418=0.045
max	2.830-2.801=0.030

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	442.000-430.000=12.000
σ	0.000
min	442.000-430.000=12.000
max	442.000-430.000=12.000

*mean*	0.308-0.308=-0.000
σ	0.008-0.009=-0.001
min	0.295-0.290=0.004
max	0.362-0.362=0.000

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	442.000-430.000=12.000
σ	0.000
min	442.000-430.000=12.000
max	442.000-430.000=12.000

*mean*	0.299-0.297=0.002
σ	0.010-0.011=-0.001
min	0.284-0.282=0.002
max	0.347-0.377=-0.029

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.749-11.912=-0.163
σ	11.721-12.185=-0.464
min	0.574-0.574=0.000
max	101.415-98.208=3.206

*mean*	464.363-463.692=0.671
σ	19.055-20.376=-1.321
min	409.000-407.000=2.000
max	482.000

*mean*	0.027-0.027=-0.000
σ	0.029-0.030=-0.001
min	0.001-0.001=-0.000
max	0.244-0.239=0.005

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.889-278.720=0.169
σ	1.010-0.997=0.013
min	278.479-278.277=0.203
max	281.757-281.547=0.209

*mean*	441.700-447.000=-5.300
σ	17.398-19.293=-1.895
min	415.000-418.000=-3.000
max	469.000-473.000=-4.000

*mean*	0.579-0.577=0.002
σ	0.025-0.019=0.006
min	0.516-0.532=-0.016
max	0.614-0.610=0.004

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	844.000-845.000=-1.000
σ	0.000
min	844.000-845.000=-1.000
max	844.000-845.000=-1.000

*mean*	204.349-218.075=-13.726
σ	30.457-34.578=-4.121
min	149.590-151.490=-1.899
max	249.724-252.301=-2.577

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	843.250-844.125=-0.875
σ	2.121-2.475=-0.354
min	838.000
max	844.000-845.000=-1.000

*mean*	8.661-8.730=-0.069
σ	1.013-1.513=-0.500
min	7.398-6.250=1.147
max	9.480-9.689=-0.209

phase=parser

*mean*	1042.436-1042.436=0.000
σ	0.000-0.000=-0.000
min	1042.436-1042.436=0.001
max	1042.436

*mean*	843.250-844.125=-0.875
σ	2.121-2.475=-0.354
min	838.000
max	844.000-845.000=-1.000

*mean*	538.547-573.919=-35.372
σ	75.922-52.717=23.205
min	423.320-453.910=-30.590
max	600.856-610.199=-9.343

phase=processProdDef

*mean*	2243.974
σ	0.000
min	2243.974
max	2243.974

*mean*	844.000-845.000=-1.000
σ	0.000
min	844.000-845.000=-1.000
max	844.000-845.000=-1.000

*mean*	2962.264-2615.097=347.166
σ	239.512-546.622=-307.110
min	2558.207-1965.971=592.236
max	3397.774-3431.967=-34.193

phase=renaming

*mean*	21.675
σ	0.000
min	21.675
max	21.675

*mean*	843.250-844.125=-0.875
σ	2.121-2.475=-0.354
min	838.000
max	844.000-845.000=-1.000

*mean*	34.782-35.553=-0.771
σ	6.722-9.314=-2.593
min	26.504-20.311=6.194
max	39.952-41.203=-1.250

phase=type checker

*mean*	989.752
σ	0.066
min	989.654
max	989.841

*mean*	843.250-844.125=-0.875
σ	2.121-2.475=-0.354
min	838.000
max	844.000-845.000=-1.000

*mean*	681.315-698.964=-17.649
σ	19.796-82.835=-63.039
min	640.399-640.177=0.223
max	702.311-896.829=-194.518

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.394-282.394=0.000
σ	0.036-0.024=0.012
min	282.338-282.373=-0.035
max	282.425-282.424=0.001

*mean*	444.400-445.200=-0.800
σ	0.548-1.643=-1.095
min	444.000
max	445.000-447.000=-2.000

*mean*	0.377-0.382=-0.005
σ	0.001-0.006=-0.005
min	0.376-0.375=0.001
max	0.379-0.387=-0.008

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.105-1267.114=-0.009
σ	0.097-0.091=0.005
min	1266.999-1267.001=-0.002
max	1267.264-1267.255=0.009

*mean*	1113.600-1114.600=-1.000
σ	169.211-169.060=0.151
min	898.000-899.000=-1.000
max	1327.000-1325.000=2.000

*mean*	1.995-2.031=-0.035
σ	0.092-0.140=-0.048
min	1.869-1.859=0.010
max	2.073-2.212=-0.139

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.136-1506.148=-0.012
σ	2.950-2.922=0.028
min	1504.619-1504.648=-0.029
max	1511.402-1511.365=0.037

*mean*	629.400-630.200=-0.800
σ	90.337-90.062=0.275
min	505.000-506.000=-1.000
max	729.000

*mean*	2.387-2.380=0.007
σ	0.312-0.294=0.019
min	2.073-2.061=0.011
max	2.804-2.650=0.154

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.117-1829.116=0.001
σ	0.074-0.094=-0.020
min	1829.019-1829.016=0.003
max	1829.218-1829.259=-0.041

*mean*	1762.000-1751.600=10.400
σ	213.559-211.931=1.628
min	1480.000-1465.000=15.000
max	1965.000-1951.000=14.000

*mean*	3.109-3.189=-0.080
σ	0.318-0.383=-0.065
min	2.745-2.818=-0.073
max	3.506-3.703=-0.197

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.669-1.656=0.014
σ	0.098-0.084=0.014
min	1.528-1.573=-0.045
max	1.753-1.782=-0.029

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.697-397.697=0.000
σ	518.051-518.051=-0.000
min	138.669-138.668=0.000
max	1174.773-1174.773=0.000

*mean*	97.750
σ	7.500
min	94.000
max	109.000

*mean*	443.000-446.000=-3.000
σ	0.000
min	443.000-446.000=-3.000
max	443.000-446.000=-3.000

*mean*	0.474-0.474=0.001
σ	0.470-0.469=0.001
min	0.237-0.236=0.002
max	1.179-1.177=0.002

policies=20

*mean*	1386.821-1386.826=-0.005
σ	0.154-0.166=-0.012
min	1386.711-1386.712=-0.001
max	1387.049-1387.072=-0.024

*mean*	940.000
σ	0.000
min	940.000
max	940.000

*mean*	444.500-446.000=-1.500
σ	1.000-0.000=1.000
min	443.000-446.000=-3.000
max	445.000-446.000=-1.000

*mean*	2.302-2.321=-0.018
σ	0.016-0.011=0.005
min	2.286-2.311=-0.025
max	2.321-2.334=-0.013

policies=200

*mean*	13876.892-13876.864=0.028
σ	0.132-0.120=0.012
min	13876.803-13876.720=0.083
max	13877.089-13877.014=0.075

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	496.750-493.750=3.000
σ	4.573-3.202=1.372
min	492.000-491.000=1.000
max	502.000-497.000=5.000

*mean*	23.449-23.417=0.032
σ	0.145-0.080=0.065
min	23.322-23.330=-0.009
max	23.642-23.511=0.131