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.837-54.833=0.003
σ	0.366-0.365=0.001
min	54.708-54.703=0.005
max	55.878-55.873=0.005

*mean*	413.000-418.000=-5.000
σ	0.000
min	413.000-418.000=-5.000
max	413.000-418.000=-5.000

*mean*	0.141-0.140=0.001
σ	0.005-0.004=0.001
min	0.137-0.133=0.005
max	0.151-0.147=0.003

cache=y

dps=1

iters=10

policies=100

*mean*	43.843-43.842=0.000
σ	0.005-0.005=-0.000
min	43.835-43.833=0.002
max	43.849-43.849=-0.001

*mean*	413.000-418.000=-5.000
σ	0.000
min	413.000-418.000=-5.000
max	413.000-418.000=-5.000

*mean*	0.122-0.119=0.003
σ	0.005-0.004=0.001
min	0.117-0.115=0.003
max	0.130-0.126=0.005

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*	4591.625-4220.875=370.750
σ	2250.958-1975.377=275.581
min	1486.000
max	7389.000-7462.000=-73.000

*mean*	157.568-11.682=145.886
σ	409.687-0.422=409.264
min	11.816-11.322=0.494
max	1171.480-12.660=1158.820

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*	4591.625-4220.875=370.750
σ	2250.958-1975.377=275.581
min	1486.000
max	7389.000-7462.000=-73.000

*mean*	14.518-12.259=2.259
σ	4.699-0.496=4.203
min	11.321-11.227=0.094
max	25.071-12.977=12.095

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

*mean*	7389.000-7462.000=-73.000
σ	0.000
min	7389.000-7462.000=-73.000
max	7389.000-7462.000=-73.000

*mean*	11.276-10.832=0.444
σ	1.094-1.102=-0.008
min	10.704-10.286=0.418
max	13.965-13.545=0.420

op=table_records(), repeat

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

*mean*	4181.625-4220.875=-39.250
σ	1946.811-1975.377=-28.566
min	1486.000
max	7389.000-7462.000=-73.000

*mean*	11.563-10.948=0.616
σ	1.847-1.628=0.219
min	10.686-10.143=0.543
max	16.123-14.954=1.169

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*	4181.625-4220.875=-39.250
σ	1946.811-1975.377=-28.566
min	1486.000
max	7389.000-7462.000=-73.000

*mean*	9.016-8.500=0.516
σ	1.194-1.217=-0.023
min	7.965-7.464=0.501
max	11.895-11.433=0.463

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*	4181.625-4220.875=-39.250
σ	1946.811-1975.377=-28.566
min	1486.000
max	7389.000-7462.000=-73.000

*mean*	7.139-6.587=0.552
σ	0.945-0.995=-0.050
min	6.448-5.656=0.793
max	9.421-8.938=0.483

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*	4591.625-4220.875=370.750
σ	2250.958-1975.377=275.581
min	1486.000
max	7389.000-7462.000=-73.000

*mean*	6.624-5.529=1.095
σ	1.151-0.167=0.984
min	5.999-5.322=0.677
max	9.261-5.780=3.481

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*	4591.625-4450.625=141.000
σ	2250.958-2249.719=1.239
min	1486.000
max	7389.000-7462.000=-73.000

*mean*	6.444-120.193=-113.748
σ	1.071-324.656=-323.586
min	5.815-5.285=0.530
max	8.830-923.676=-914.846

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*	7389.000-7462.000=-73.000
σ	0.000
min	7389.000-7462.000=-73.000
max	7389.000-7462.000=-73.000

*mean*	345.852-346.394=-0.542
σ	2.309-1.124=1.185
min	341.846-344.745=-2.899
max	348.158-348.677=-0.519

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*	3758.000-3792.500=-34.500
σ	2301.317-2332.914=-31.597
min	720.000
max	7389.000-7462.000=-73.000

*mean*	1788.991-1947.147=-158.156
σ	683.270-809.348=-126.078
min	1387.666-1400.509=-12.842
max	2981.714-3510.176=-528.461

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

*mean*	4411.000-4220.875=190.125
σ	2220.471-1975.377=245.094
min	1486.000
max	7389.000-7462.000=-73.000

*mean*	283.251-135.075=148.175
σ	402.074-17.226=384.847
min	122.669-124.212=-1.543
max	1277.318-177.169=1100.148

op=column_set() on unindexed, dense, repeat

*mean*	62.081
σ	0.000
min	62.081
max	62.082

*mean*	4411.000-4220.875=190.125
σ	2220.471-1975.377=245.094
min	1486.000
max	7389.000-7462.000=-73.000

*mean*	44.188-41.298=2.890
σ	8.308-1.219=7.089
min	40.093-39.762=0.332
max	64.520-42.895=21.626

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

*mean*	7389.000-7462.000=-73.000
σ	0.000
min	7389.000-7462.000=-73.000
max	7389.000-7462.000=-73.000

*mean*	192.478-22.170=170.307
σ	481.497-2.553=478.943
min	21.281-21.010=0.270
max	1384.114-28.447=1355.667

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*	7389.000-7462.000=-73.000
σ	0.000
min	7389.000-7462.000=-73.000
max	7389.000-7462.000=-73.000

*mean*	62.197-139.329=-77.132
σ	14.561-234.718=-220.157
min	55.738-54.585=1.153
max	97.595-720.195=-622.600

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4181.625-4220.875=-39.250
σ	1946.811-1975.377=-28.566
min	1486.000
max	7389.000-7462.000=-73.000

*mean*	3322.121-3261.164=60.957
σ	829.799-708.739=121.060
min	2525.016-2527.513=-2.498
max	4683.045-4484.343=198.702

op=vertical_lookup_list() on indexed

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

*mean*	7389.000-7462.000=-73.000
σ	0.000
min	7389.000-7462.000=-73.000
max	7389.000-7462.000=-73.000

*mean*	1045.604-1252.245=-206.641
σ	296.601-847.258=-550.657
min	905.378-929.468=-24.090
max	1759.768-3345.979=-1586.212

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

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7389.000-7462.000=-73.000
σ	0.000
min	7389.000-7462.000=-73.000
max	7389.000-7462.000=-73.000

*mean*	397.225-404.297=-7.072
σ	7.766-41.077=-33.311
min	379.782-384.364=-4.582
max	405.095-505.654=-100.559

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.000-476.375=-0.375
σ	0.535-0.518=0.017
min	475.000-476.000=-1.000
max	477.000

*mean*	357.334-390.865=-33.531
σ	31.859-28.984=2.874
min	302.663-364.287=-61.625
max	395.272-445.524=-50.253

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	563.000-565.000=-2.000
σ	0.000
min	563.000-565.000=-2.000
max	563.000-565.000=-2.000

*mean*	752.605-771.388=-18.783
σ	35.742-31.986=3.755
min	707.918-724.919=-17.001
max	823.576-813.166=10.410

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.971-963.970=0.000
σ	1.821-1.820=0.001
min	963.265-963.264=0.001
max	971.671-971.668=0.003

*mean*	1042.250-1041.600=0.650
σ	291.451-291.587=-0.136
min	577.000-576.000=1.000
max	1433.000-1431.000=2.000

*mean*	1.267-1.267=-0.000
σ	0.137-0.115=0.022
min	1.178-1.132=0.046
max	1.755-1.574=0.181

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

*mean*	0.434-0.429=0.004
σ	0.408-0.473=-0.066
min	0.229-0.146=0.084
max	1.162-1.262=-0.100

name=error_case.art

*mean*	2.340
σ	0.012
min	2.334
max	2.362

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

*mean*	0.728-0.471=0.257
σ	0.303-0.315=-0.012
min	0.568-0.322=0.246
max	1.268-1.034=0.235

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.521
max	1.525

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

*mean*	0.384-0.228=0.156
σ	0.030-0.023=0.007
min	0.361-0.208=0.153
max	0.434-0.254=0.181

name=nested_use.art

*mean*	2.358
σ	0.002
min	2.357
max	2.361

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

*mean*	0.455-0.338=0.117
σ	0.295-0.021=0.274
min	0.313-0.319=-0.006
max	0.983-0.370=0.613

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*	430.000-437.000=-7.000
σ	0.000-6.595=-6.595
min	430.000-431.000=-1.000
max	430.000-444.000=-14.000

*mean*	0.573-0.558=0.015
σ	0.038-0.036=0.001
min	0.526-0.523=0.002
max	0.617-0.609=0.007

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	430.000-444.000=-14.000
σ	0.000
min	430.000-444.000=-14.000
max	430.000-444.000=-14.000

*mean*	0.506-0.446=0.060
σ	0.019-0.024=-0.006
min	0.481-0.422=0.059
max	0.526-0.487=0.040

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*	430.000-444.000=-14.000
σ	0.000
min	430.000-444.000=-14.000
max	430.000-444.000=-14.000

*mean*	2.102-1.999=0.103
σ	0.294-0.350=-0.056
min	1.860-1.735=0.125
max	2.911-3.001=-0.090

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	430.000-444.000=-14.000
σ	0.000
min	430.000-444.000=-14.000
max	430.000-444.000=-14.000

*mean*	2.493-1.891=0.602
σ	0.301-0.086=0.215
min	1.862-1.705=0.156
max	3.211-2.145=1.066

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	430.000-444.000=-14.000
σ	0.000
min	430.000-444.000=-14.000
max	430.000-444.000=-14.000

*mean*	0.305-0.302=0.003
σ	0.011-0.007=0.004
min	0.285-0.287=-0.002
max	0.372-0.343=0.029

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	430.000-444.000=-14.000
σ	0.000
min	430.000-444.000=-14.000
max	430.000-444.000=-14.000

*mean*	0.289-0.291=-0.002
σ	0.008-0.007=0.001
min	0.278-0.278=-0.001
max	0.334-0.308=0.026

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.505-11.559=-0.054
σ	10.780-11.773=-0.993
min	0.574-0.574=0.000
max	85.542-104.576=-19.034

*mean*	467.625-459.249=8.376
σ	19.249-20.633=-1.384
min	407.000-409.000=-2.000
max	483.000

*mean*	0.027-0.027=-0.000
σ	0.027-0.029=-0.002
min	0.001-0.001=0.000
max	0.204-0.251=-0.046

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.802-278.607=0.195
σ	1.022-1.058=-0.036
min	278.336-278.215=0.121
max	281.702-281.617=0.085

*mean*	443.300-445.500=-2.200
σ	15.239-17.615=-2.375
min	417.000-425.000=-8.000
max	467.000-477.000=-10.000

*mean*	0.570-0.575=-0.005
σ	0.023-0.021=0.002
min	0.515-0.540=-0.025
max	0.592-0.620=-0.028

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*	843.000-844.000=-1.000
σ	0.000
min	843.000-844.000=-1.000
max	843.000-844.000=-1.000

*mean*	233.806-229.581=4.225
σ	19.468-23.838=-4.370
min	199.796-200.236=-0.440
max	253.610-270.887=-17.277

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	842.625-843.375=-0.750
σ	1.061-1.768=-0.707
min	840.000-839.000=1.000
max	843.000-844.000=-1.000

*mean*	8.816-8.747=0.070
σ	1.047-1.088=-0.041
min	7.452-7.374=0.077
max	9.602-9.636=-0.034

phase=parser

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

*mean*	842.625-843.375=-0.750
σ	1.061-1.768=-0.707
min	840.000-839.000=1.000
max	843.000-844.000=-1.000

*mean*	554.788-542.364=12.423
σ	79.495-77.890=1.605
min	388.213-429.150=-40.937
max	605.392-608.698=-3.306

phase=processProdDef

*mean*	2243.975-2243.974=0.002
σ	0.000-0.000=-0.000
min	2243.975-2243.974=0.002
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*	2884.319-2983.453=-99.135
σ	309.306-394.634=-85.328
min	2509.047-2494.941=14.106
max	3431.690-3436.110=-4.420

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.625-843.375=-0.750
σ	1.061-1.768=-0.707
min	840.000-839.000=1.000
max	843.000-844.000=-1.000

*mean*	35.493-35.296=0.197
σ	6.961-7.044=-0.083
min	26.356-26.553=-0.197
max	41.282-41.136=0.146

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.625-843.375=-0.750
σ	1.061-1.768=-0.707
min	840.000-839.000=1.000
max	843.000-844.000=-1.000

*mean*	690.673-727.639=-36.966
σ	33.919-55.764=-21.844
min	642.496-678.517=-36.021
max	755.264-850.195=-94.931

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.395-282.396=-0.001
σ	0.024-0.035=-0.010
min	282.374-282.343=0.031
max	282.427-282.427=0.000

*mean*	444.400-444.000=0.400
σ	0.548-0.000=0.548
min	444.000
max	445.000-444.000=1.000

*mean*	0.382-0.380=0.002
σ	0.007-0.006=0.001
min	0.375-0.376=-0.001
max	0.389-0.390=-0.001

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.087-1267.086=0.000
σ	0.107-0.107=0.000
min	1267.001-1267.004=-0.003
max	1267.269-1267.268=0.001

*mean*	1112.800-1113.800=-1.000
σ	171.673-169.221=2.452
min	898.000
max	1337.000-1324.000=13.000

*mean*	1.901-1.925=-0.023
σ	0.096-0.098=-0.002
min	1.833-1.838=-0.006
max	2.072-2.082=-0.011

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.124-1506.133=-0.009
σ	2.963-2.955=0.008
min	1504.614-1504.623=-0.009
max	1511.413-1511.409=0.004

*mean*	629.000
σ	90.119-90.019=0.100
min	505.000
max	729.000-728.000=1.000

*mean*	2.343-2.366=-0.023
σ	0.317-0.314=0.003
min	1.999-2.037=-0.037
max	2.808-2.805=0.003

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.117-1829.107=0.010
σ	0.079-0.060=0.019
min	1829.023-1829.029=-0.007
max	1829.233-1829.181=0.051

*mean*	1760.400-1752.600=7.800
σ	213.691-213.862=-0.171
min	1487.000-1464.000=23.000
max	1965.000-1954.000=11.000

*mean*	3.205-3.163=0.042
σ	0.353-0.269=0.084
min	2.823-2.838=-0.015
max	3.620-3.521=0.100

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.701-1.712=-0.010
σ	0.089-0.146=-0.058
min	1.569-1.515=0.053
max	1.785-1.863=-0.078

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.698-397.696=0.003
σ	518.051-518.052=-0.001
min	138.670-138.664=0.006
max	1174.775-1174.774=0.001

*mean*	97.750
σ	7.500
min	94.000
max	109.000

*mean*	447.000-444.000=3.000
σ	0.000
min	447.000-444.000=3.000
max	447.000-444.000=3.000

*mean*	0.485-0.499=-0.013
σ	0.503-0.523=-0.020
min	0.232-0.232=-0.000
max	1.240-1.283=-0.043

policies=20

*mean*	1386.838-1386.818=0.019
σ	0.159-0.148=0.011
min	1386.728-1386.705=0.023
max	1387.074-1387.037=0.037

*mean*	940.000
σ	0.000
min	940.000
max	940.000

*mean*	447.000-444.750=2.250
σ	0.000-0.500=-0.500
min	447.000-444.000=3.000
max	447.000-445.000=2.000

*mean*	2.319-2.299=0.020
σ	0.017-0.016=0.001
min	2.298-2.284=0.014
max	2.341-2.317=0.024

policies=200

*mean*	13876.897-13876.776=0.121
σ	0.083-0.112=-0.029
min	13876.847-13876.665=0.182
max	13877.021-13876.909=0.112

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	493.000-499.750=-6.750
σ	3.367-3.500=-0.133
min	489.000-496.000=-7.000
max	497.000-504.000=-7.000

*mean*	23.429-23.544=-0.115
σ	0.068-0.163=-0.094
min	23.380-23.374=0.006
max	23.528-23.764=-0.236