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-6.676=-0.031
σ	0.000
min	6.645-6.676=-0.031
max	6.645-6.676=-0.031

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	54.775-54.833=-0.058
σ	0.367-0.365=0.002
min	54.633-54.703=-0.070
max	55.820-55.873=-0.052

*mean*	415.000-418.000=-3.000
σ	0.000
min	415.000-418.000=-3.000
max	415.000-418.000=-3.000

*mean*	0.141-0.140=0.001
σ	0.004-0.004=-0.000
min	0.137-0.133=0.004
max	0.148-0.147=0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.774-43.842=-0.069
σ	0.007-0.005=0.002
min	43.761-43.833=-0.072
max	43.783-43.849=-0.067

*mean*	415.000-418.000=-3.000
σ	0.000
min	415.000-418.000=-3.000
max	415.000-418.000=-3.000

*mean*	0.124-0.119=0.005
σ	0.004-0.004=-0.000
min	0.120-0.115=0.006
max	0.131-0.126=0.006

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*	4587.625-4220.875=366.750
σ	2250.027-1975.377=274.650
min	1487.000-1486.000=1.000
max	7385.000-7462.000=-77.000

*mean*	127.025-11.682=115.343
σ	324.076-0.422=323.654
min	12.108-11.322=0.786
max	929.073-12.660=916.413

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

*mean*	4587.625-4220.875=366.750
σ	2250.027-1975.377=274.650
min	1487.000-1486.000=1.000
max	7385.000-7462.000=-77.000

*mean*	14.003-12.259=1.744
σ	4.619-0.496=4.123
min	11.674-11.227=0.447
max	25.306-12.977=12.330

op=table_records(), no indexes

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

*mean*	7385.000-7462.000=-77.000
σ	0.000
min	7385.000-7462.000=-77.000
max	7385.000-7462.000=-77.000

*mean*	11.340-10.832=0.508
σ	1.012-1.102=-0.090
min	10.689-10.286=0.404
max	13.819-13.545=0.273

op=table_records(), repeat

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

*mean*	4177.000-4220.875=-43.875
σ	1945.761-1975.377=-29.616
min	1487.000-1486.000=1.000
max	7385.000-7462.000=-77.000

*mean*	11.725-10.948=0.777
σ	1.755-1.628=0.127
min	10.807-10.143=0.664
max	16.047-14.954=1.092

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*	4177.000-4220.875=-43.875
σ	1945.761-1975.377=-29.616
min	1487.000-1486.000=1.000
max	7385.000-7462.000=-77.000

*mean*	9.320-8.500=0.820
σ	1.332-1.217=0.115
min	8.196-7.464=0.732
max	12.539-11.433=1.107

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

*mean*	4177.000-4220.875=-43.875
σ	1945.761-1975.377=-29.616
min	1487.000-1486.000=1.000
max	7385.000-7462.000=-77.000

*mean*	7.068-6.587=0.481
σ	0.913-0.995=-0.082
min	5.909-5.656=0.253
max	9.124-8.938=0.186

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*	4587.625-4220.875=366.750
σ	2250.027-1975.377=274.650
min	1487.000-1486.000=1.000
max	7385.000-7462.000=-77.000

*mean*	6.384-5.529=0.855
σ	1.051-0.167=0.884
min	5.862-5.322=0.540
max	8.963-5.780=3.184

op=vertical_lookup_row_list() on 3 (1 unindexed)

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

*mean*	4587.625-4450.625=137.000
σ	2250.027-2249.719=0.307
min	1487.000-1486.000=1.000
max	7385.000-7462.000=-77.000

*mean*	6.360-120.193=-113.832
σ	1.131-324.656=-323.526
min	5.805-5.285=0.520
max	9.143-923.676=-914.532

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.627
σ	0.002
min	1021.625
max	1021.629

*mean*	7385.000-7462.000=-77.000
σ	0.000
min	7385.000-7462.000=-77.000
max	7385.000-7462.000=-77.000

*mean*	361.817-346.394=15.423
σ	41.251-1.124=40.127
min	344.859-344.745=0.114
max	463.805-348.677=115.128

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*	3754.500-3792.500=-38.000
σ	2299.651-2332.914=-33.263
min	720.000
max	7385.000-7462.000=-77.000

*mean*	1778.468-1947.147=-168.679
σ	683.330-809.348=-126.018
min	1400.310-1400.509=-0.199
max	2975.952-3510.176=-534.224

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
max	107.855-107.854=0.000

*mean*	4406.500-4220.875=185.625
σ	2219.698-1975.377=244.321
min	1487.000-1486.000=1.000
max	7385.000-7462.000=-77.000

*mean*	245.000-135.075=109.925
σ	301.705-17.226=284.479
min	126.083-124.212=1.870
max	990.183-177.169=813.014

op=column_set() on unindexed, dense, repeat

*mean*	62.081
σ	0.000
min	62.081
max	62.082

*mean*	4406.500-4220.875=185.625
σ	2219.698-1975.377=244.321
min	1487.000-1486.000=1.000
max	7385.000-7462.000=-77.000

*mean*	46.828-41.298=5.530
σ	7.839-1.219=6.620
min	41.765-39.762=2.004
max	65.814-42.895=22.920

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948
σ	0.002
min	40.947
max	40.950

*mean*	7385.000-7462.000=-77.000
σ	0.000
min	7385.000-7462.000=-77.000
max	7385.000-7462.000=-77.000

*mean*	22.275-22.170=0.104
σ	0.769-2.553=-1.784
min	21.690-21.010=0.680
max	23.997-28.447=-4.450

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.311-71.311=0.000

*mean*	7385.000-7462.000=-77.000
σ	0.000
min	7385.000-7462.000=-77.000
max	7385.000-7462.000=-77.000

*mean*	264.482-139.329=125.153
σ	587.425-234.718=352.708
min	55.527-54.585=0.942
max	1718.283-720.195=998.088

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.850-4646.851=-0.000
σ	0.014-0.014=0.000
min	4646.845
max	4646.884

*mean*	4177.000-4220.875=-43.875
σ	1945.761-1975.377=-29.616
min	1487.000-1486.000=1.000
max	7385.000-7462.000=-77.000

*mean*	3302.309-3261.164=41.145
σ	834.552-708.739=125.813
min	2530.682-2527.513=3.168
max	4864.734-4484.343=380.391

op=vertical_lookup_list() on indexed

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

*mean*	7385.000-7462.000=-77.000
σ	0.000
min	7385.000-7462.000=-77.000
max	7385.000-7462.000=-77.000

*mean*	1016.897-1252.245=-235.348
σ	115.588-847.258=-731.669
min	935.812-929.468=6.345
max	1238.613-3345.979=-2107.366

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

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7385.000-7462.000=-77.000
σ	0.000
min	7385.000-7462.000=-77.000
max	7385.000-7462.000=-77.000

*mean*	388.804-404.297=-15.494
σ	5.520-41.077=-35.557
min	376.823-384.364=-7.542
max	394.304-505.654=-111.350

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*	474.875-476.375=-1.500
σ	0.354-0.518=-0.164
min	474.000-476.000=-2.000
max	475.000-477.000=-2.000

*mean*	379.983-390.865=-10.882
σ	13.160-28.984=-15.825
min	364.021-364.287=-0.266
max	398.308-445.524=-47.216

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	559.000-565.000=-6.000
σ	0.000
min	559.000-565.000=-6.000
max	559.000-565.000=-6.000

*mean*	755.831-771.388=-15.557
σ	71.581-31.986=39.594
min	607.525-724.919=-117.395
max	817.871-813.166=4.705

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.973-963.970=0.003
σ	1.820-1.820=-0.001
min	963.264-963.264=-0.000
max	971.668-971.668=-0.001

*mean*	1048.600-1041.600=7.000
σ	296.150-291.587=4.564
min	575.000-576.000=-1.000
max	1466.000-1431.000=35.000

*mean*	1.266-1.267=-0.001
σ	0.111-0.115=-0.004
min	1.178-1.132=0.046
max	1.563-1.574=-0.011

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.429=-0.131
σ	0.291-0.473=-0.182
min	0.144-0.146=-0.001
max	0.813-1.262=-0.449

name=error_case.art

*mean*	2.340
σ	0.012
min	2.334
max	2.362

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.472-0.471=0.001
σ	0.311-0.315=-0.004
min	0.320-0.322=-0.002
max	1.027-1.034=-0.007

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.521
max	1.525

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.220-0.228=-0.007
σ	0.024-0.023=0.001
min	0.204-0.208=-0.004
max	0.263-0.254=0.009

name=nested_use.art

*mean*	2.358
σ	0.002
min	2.357
max	2.361

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.333-0.338=-0.005
σ	0.014-0.021=-0.007
min	0.321-0.319=0.002
max	0.355-0.370=-0.015

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.600-437.000=-0.400
σ	6.066-6.595=-0.529
min	431.000
max	443.000-444.000=-1.000

*mean*	0.585-0.558=0.026
σ	0.041-0.036=0.004
min	0.534-0.523=0.011
max	0.619-0.609=0.010

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	443.000-444.000=-1.000
σ	0.000
min	443.000-444.000=-1.000
max	443.000-444.000=-1.000

*mean*	0.490-0.446=0.044
σ	0.038-0.024=0.014
min	0.439-0.422=0.017
max	0.532-0.487=0.045

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*	443.000-444.000=-1.000
σ	0.000
min	443.000-444.000=-1.000
max	443.000-444.000=-1.000

*mean*	2.687-1.999=0.688
σ	0.101-0.350=-0.249
min	2.460-1.735=0.725
max	2.945-3.001=-0.057

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	443.000-444.000=-1.000
σ	0.000
min	443.000-444.000=-1.000
max	443.000-444.000=-1.000

*mean*	2.663-1.891=0.772
σ	0.112-0.086=0.026
min	2.466-1.705=0.761
max	3.159-2.145=1.014

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	443.000-444.000=-1.000
σ	0.000
min	443.000-444.000=-1.000
max	443.000-444.000=-1.000

*mean*	0.309-0.302=0.007
σ	0.012-0.007=0.004
min	0.291-0.287=0.003
max	0.383-0.343=0.040

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	443.000-444.000=-1.000
σ	0.000
min	443.000-444.000=-1.000
max	443.000-444.000=-1.000

*mean*	0.296-0.291=0.005
σ	0.009-0.007=0.002
min	0.280-0.278=0.001
max	0.330-0.308=0.022

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.535-11.559=-0.024
σ	11.792-11.773=0.019
min	0.574-0.574=0.000
max	79.204-104.576=-25.372

*mean*	463.100-459.249=3.851
σ	18.532-20.633=-2.101
min	407.000-409.000=-2.000
max	478.000-483.000=-5.000

*mean*	0.026-0.027=-0.000
σ	0.029-0.029=-0.000
min	0.001-0.001=-0.000
max	0.191-0.251=-0.060

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.795-278.607=0.188
σ	1.065-1.058=0.007
min	278.360-278.215=0.145
max	281.824-281.617=0.206

*mean*	444.500-445.500=-1.000
σ	19.558-17.615=1.943
min	414.000-425.000=-11.000
max	468.000-477.000=-9.000

*mean*	0.578-0.575=0.003
σ	0.014-0.021=-0.007
min	0.556-0.540=0.016
max	0.601-0.620=-0.019

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

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

*mean*	224.984-229.581=-4.598
σ	26.792-23.838=2.954
min	187.304-200.236=-12.933
max	254.403-270.887=-16.484

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	842.375-843.375=-1.000
σ	1.768
min	838.000-839.000=-1.000
max	843.000-844.000=-1.000

*mean*	9.114-8.747=0.367
σ	0.955-1.088=-0.133
min	7.568-7.374=0.194
max	9.853-9.636=0.217

phase=parser

*mean*	1042.435-1042.435=0.000
σ	0.000-0.001=-0.001
min	1042.434-1042.434=0.000
max	1042.435-1042.438=-0.003

*mean*	842.375-843.375=-1.000
σ	1.768
min	838.000-839.000=-1.000
max	843.000-844.000=-1.000

*mean*	582.534-542.364=40.169
σ	35.302-77.890=-42.588
min	500.878-429.150=71.728
max	607.379-608.698=-1.319

phase=processProdDef

*mean*	2243.975-2243.974=0.001
σ	0.000-0.000=-0.000
min	2243.975-2243.974=0.001
max	2243.975-2243.974=0.001

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

*mean*	2895.547-2983.453=-87.906
σ	430.716-394.634=36.082
min	2379.091-2494.941=-115.850
max	3395.254-3436.110=-40.856

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*	842.375-843.375=-1.000
σ	1.768
min	838.000-839.000=-1.000
max	843.000-844.000=-1.000

*mean*	37.198-35.296=1.903
σ	6.422-7.044=-0.622
min	26.806-26.553=0.254
max	41.517-41.136=0.382

phase=type checker

*mean*	989.752-989.752=-0.000
σ	0.066-0.065=0.001
min	989.654-989.658=-0.004
max	989.841

*mean*	842.375-843.375=-1.000
σ	1.768
min	838.000-839.000=-1.000
max	843.000-844.000=-1.000

*mean*	707.003-727.639=-20.636
σ	61.287-55.764=5.523
min	662.436-678.517=-16.080
max	846.917-850.195=-3.278

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.394-282.396=-0.002
σ	0.036-0.035=0.001
min	282.339-282.343=-0.004
max	282.425-282.427=-0.001

*mean*	440.000-444.000=-4.000
σ	2.739-0.000=2.739
min	438.000-444.000=-6.000
max	443.000-444.000=-1.000

*mean*	0.378-0.380=-0.002
σ	0.001-0.006=-0.005
min	0.377-0.376=0.001
max	0.380-0.390=-0.010

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.139-1267.086=0.052
σ	0.119-0.107=0.012
min	1266.979-1267.004=-0.025
max	1267.310-1267.268=0.042

*mean*	1092.400-1113.800=-21.400
σ	169.777-169.221=0.556
min	892.000-898.000=-6.000
max	1326.000-1324.000=2.000

*mean*	2.183-1.925=0.258
σ	0.204-0.098=0.106
min	2.006-1.838=0.167
max	2.535-2.082=0.453

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.077-1506.133=-0.056
σ	2.970-2.955=0.015
min	1504.526-1504.623=-0.097
max	1511.377-1511.409=-0.032

*mean*	626.000-629.000=-3.000
σ	86.943-90.019=-3.077
min	495.000-505.000=-10.000
max	726.000-728.000=-2.000

*mean*	2.204-2.366=-0.163
σ	0.221-0.314=-0.094
min	2.046-2.037=0.010
max	2.593-2.805=-0.212

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.101-1829.107=-0.006
σ	0.040-0.060=-0.020
min	1829.046-1829.029=0.017
max	1829.148-1829.181=-0.034

*mean*	1721.800-1752.600=-30.800
σ	175.857-213.862=-38.005
min	1472.000-1464.000=8.000
max	1885.000-1954.000=-69.000

*mean*	2.965-3.163=-0.198
σ	0.191-0.269=-0.078
min	2.839-2.838=0.001
max	3.302-3.521=-0.218

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.691-1.712=-0.020
σ	0.157-0.146=0.011
min	1.507-1.515=-0.009
max	1.817-1.863=-0.046

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.697-397.696=0.001
σ	518.051-518.052=-0.001
min	138.669-138.664=0.005
max	1174.773-1174.774=-0.001

*mean*	97.750
σ	7.500
min	94.000
max	109.000

*mean*	433.000-444.000=-11.000
σ	0.000
min	433.000-444.000=-11.000
max	433.000-444.000=-11.000

*mean*	0.463-0.499=-0.036
σ	0.447-0.523=-0.075
min	0.238-0.232=0.005
max	1.134-1.283=-0.149

policies=20

*mean*	1386.813-1386.818=-0.005
σ	0.140-0.148=-0.008
min	1386.712-1386.705=0.007
max	1387.020-1387.037=-0.016

*mean*	940.000
σ	0.000
min	940.000
max	940.000

*mean*	440.500-444.750=-4.250
σ	8.660-0.500=8.160
min	433.000-444.000=-11.000
max	448.000-445.000=3.000

*mean*	2.321-2.299=0.022
σ	0.014-0.016=-0.002
min	2.303-2.284=0.019
max	2.338-2.317=0.021

policies=200

*mean*	13876.796-13876.776=0.020
σ	0.203-0.112=0.092
min	13876.531-13876.665=-0.134
max	13877.015-13876.909=0.106

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	496.000-499.750=-3.750
σ	5.228-3.500=1.728
min	489.000-496.000=-7.000
max	500.000-504.000=-4.000

*mean*	23.532-23.544=-0.013
σ	0.053-0.163=-0.110
min	23.480-23.374=0.106
max	23.584-23.764=-0.181