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.861-54.862=-0.001
σ	0.360-0.360=-0.000
min	54.722-54.721=0.001
max	55.884-55.886=-0.002

*mean*	417.000-422.000=-5.000
σ	0.000
min	417.000-422.000=-5.000
max	417.000-422.000=-5.000

*mean*	0.143-0.141=0.002
σ	0.006-0.004=0.002
min	0.137-0.137=-0.001
max	0.152-0.148=0.004

cache=y

dps=1

iters=10

policies=100

*mean*	43.847-43.849=-0.002
σ	0.006-0.006=-0.000
min	43.836-43.840=-0.004
max	43.855-43.863=-0.008

*mean*	417.000-422.000=-5.000
σ	0.000
min	417.000-422.000=-5.000
max	417.000-422.000=-5.000

*mean*	0.126-0.129=-0.003
σ	0.004-0.006=-0.003
min	0.123-0.122=0.000
max	0.133-0.141=-0.008

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

*mean*	4592.625-4587.375=5.250
σ	2246.934-2250.791=-3.857
min	1487.000-1486.000=1.000
max	7384.000-7385.000=-1.000

*mean*	55.669-155.465=-99.796
σ	123.791-405.599=-281.808
min	11.309-11.186=0.123
max	362.031-1159.260=-797.229

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*	4592.625-4587.375=5.250
σ	2246.934-2250.791=-3.857
min	1487.000-1486.000=1.000
max	7384.000-7385.000=-1.000

*mean*	12.464-14.074=-1.609
σ	1.530-4.646=-3.116
min	10.907-10.753=0.153
max	15.860-24.456=-8.597

op=table_records(), no indexes

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

*mean*	7384.000-7385.000=-1.000
σ	0.000
min	7384.000-7385.000=-1.000
max	7384.000-7385.000=-1.000

*mean*	10.494-10.412=0.082
σ	0.297-0.231=0.066
min	9.911-9.992=-0.081
max	10.859-10.724=0.135

op=table_records(), repeat

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

*mean*	4184.875-4176.250=8.625
σ	1943.510-1946.608=-3.098
min	1487.000-1486.000=1.000
max	7384.000-7385.000=-1.000

*mean*	11.097-11.015=0.082
σ	1.809-1.777=0.031
min	10.229-10.162=0.068
max	15.541-15.387=0.154

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

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

*mean*	4184.875-4176.250=8.625
σ	1943.510-1946.608=-3.098
min	1487.000-1486.000=1.000
max	7384.000-7385.000=-1.000

*mean*	8.667-8.490=0.178
σ	1.370-1.336=0.034
min	7.705-7.454=0.251
max	12.014-11.728=0.285

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*	4184.875-4176.250=8.625
σ	1943.510-1946.608=-3.098
min	1487.000-1486.000=1.000
max	7384.000-7385.000=-1.000

*mean*	6.707-6.600=0.107
σ	0.980-0.959=0.022
min	6.162-5.948=0.214
max	9.123-8.933=0.190

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*	4592.625-4587.375=5.250
σ	2246.934-2250.791=-3.857
min	1487.000-1486.000=1.000
max	7384.000-7385.000=-1.000

*mean*	5.661-6.016=-0.355
σ	0.157-1.057=-0.899
min	5.396-5.232=0.163
max	5.893-8.318=-2.425

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*	4592.625-4587.375=5.250
σ	2246.934-2250.791=-3.857
min	1487.000-1486.000=1.000
max	7384.000-7385.000=-1.000

*mean*	5.517-5.888=-0.371
σ	0.114-1.014=-0.901
min	5.313-5.220=0.093
max	5.689-8.112=-2.424

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*	7384.000-7385.000=-1.000
σ	0.000
min	7384.000-7385.000=-1.000
max	7384.000-7385.000=-1.000

*mean*	359.407-359.992=-0.586
σ	41.066-42.159=-1.094
min	342.178-342.145=0.033
max	460.973-464.269=-3.296

op=load_product(), with indexes

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

*mean*	3759.625-3754.125=5.500
σ	2298.923-2300.484=-1.562
min	720.000-719.000=1.000
max	7384.000-7385.000=-1.000

*mean*	1754.701-1781.995=-27.294
σ	666.282-675.063=-8.780
min	1386.350-1382.917=3.433
max	2932.668-2964.024=-31.356

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.855-107.854=0.000

*mean*	4414.125-4405.375=8.750
σ	2216.529-2220.308=-3.779
min	1487.000-1486.000=1.000
max	7384.000-7385.000=-1.000

*mean*	293.526-290.432=3.093
σ	453.456-434.655=18.801
min	124.204-124.319=-0.115
max	1414.812-1365.144=49.667

op=column_set() on unindexed, dense, repeat

*mean*	62.081
σ	0.000
min	62.081
max	62.082

*mean*	4414.125-4405.375=8.750
σ	2216.529-2220.308=-3.779
min	1487.000-1486.000=1.000
max	7384.000-7385.000=-1.000

*mean*	44.484-44.025=0.459
σ	8.060-9.751=-1.690
min	39.600-38.864=0.737
max	63.958-67.831=-3.874

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948
σ	0.002
min	40.947
max	40.950

*mean*	7384.000-7385.000=-1.000
σ	0.000
min	7384.000-7385.000=-1.000
max	7384.000-7385.000=-1.000

*mean*	21.222-21.640=-0.418
σ	0.710-2.018=-1.308
min	20.749-20.812=-0.063
max	22.691-26.628=-3.936

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*	7384.000-7385.000=-1.000
σ	0.000
min	7384.000-7385.000=-1.000
max	7384.000-7385.000=-1.000

*mean*	195.849-285.714=-89.865
σ	396.442-649.563=-253.122
min	54.678-54.681=-0.002
max	1176.987-1893.297=-716.310

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4184.875-4176.250=8.625
σ	1943.510-1946.608=-3.098
min	1487.000-1486.000=1.000
max	7384.000-7385.000=-1.000

*mean*	3298.109-3294.435=3.675
σ	717.754-817.294=-99.540
min	2503.513-2500.883=2.630
max	4393.381-4572.118=-178.737

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-1973.854=-0.000

*mean*	7384.000-7385.000=-1.000
σ	0.000
min	7384.000-7385.000=-1.000
max	7384.000-7385.000=-1.000

*mean*	965.729-1074.612=-108.883
σ	74.722-268.023=-193.300
min	913.499-927.412=-13.913
max	1106.795-1708.754=-601.959

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

*mean*	905.105-905.105=0.000
σ	0.002-0.002=-0.000
min	905.102
max	905.108

*mean*	7384.000-7385.000=-1.000
σ	0.000
min	7384.000-7385.000=-1.000
max	7384.000-7385.000=-1.000

*mean*	503.671-406.756=96.915
σ	324.244-38.640=285.604
min	374.096-384.257=-10.161
max	1305.973-501.842=804.131

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*	478.000
σ	0.000
min	478.000
max	478.000

*mean*	391.350-377.102=14.248
σ	19.465-31.219=-11.754
min	373.080-317.477=55.603
max	430.522-414.436=16.086

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	559.250-564.000=-4.750
σ	0.463-0.000=0.463
min	559.000-564.000=-5.000
max	560.000-564.000=-4.000

*mean*	755.594-760.076=-4.482
σ	33.429-61.814=-28.385
min	717.472-642.954=74.518
max	799.559-827.070=-27.511

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.566-1024.564=0.002
σ	0.761-0.760=0.001
min	1024.095-1024.095=-0.000
max	1027.710-1027.705=0.004

*mean*	1046.150-1047.650=-1.500
σ	316.274-307.505=8.769
min	542.000-570.000=-28.000
max	1516.000-1503.000=13.000

*mean*	1.388-1.373=0.015
σ	0.146-0.066=0.080
min	1.260-1.314=-0.055
max	1.934-1.578=0.357

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.316-0.366=-0.050
σ	0.340-0.431=-0.091
min	0.143-0.149=-0.007
max	0.921-1.134=-0.213

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.477-0.637=-0.160
σ	0.316-0.074=0.242
min	0.326-0.573=-0.247
max	1.042-0.762=0.280

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.286-0.388=-0.102
σ	0.154-0.029=0.125
min	0.199-0.371=-0.172
max	0.559-0.440=0.119

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.330-0.597=-0.266
σ	0.019-0.025=-0.007
min	0.315-0.576=-0.261
max	0.360-0.636=-0.275

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*	431.000-432.800=-1.800
σ	0.000-3.033=-3.033
min	431.000-430.000=1.000
max	431.000-436.000=-5.000

*mean*	0.586-0.711=-0.125
σ	0.033-0.014=0.019
min	0.530-0.694=-0.165
max	0.612-0.725=-0.113

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	431.000-436.000=-5.000
σ	0.000
min	431.000-436.000=-5.000
max	431.000-436.000=-5.000

*mean*	0.509-0.480=0.030
σ	0.021-0.026=-0.006
min	0.477-0.452=0.025
max	0.532-0.510=0.022

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*	431.000-436.000=-5.000
σ	0.000
min	431.000-436.000=-5.000
max	431.000-436.000=-5.000

*mean*	2.679-2.592=0.087
σ	0.103-0.091=0.012
min	2.443-2.441=0.002
max	3.105-2.866=0.239

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	431.000-436.000=-5.000
σ	0.000
min	431.000-436.000=-5.000
max	431.000-436.000=-5.000

*mean*	2.620-2.619=0.001
σ	0.091-0.102=-0.011
min	2.472-2.493=-0.021
max	2.982-3.019=-0.037

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	431.000-436.000=-5.000
σ	0.000
min	431.000-436.000=-5.000
max	431.000-436.000=-5.000

*mean*	0.310-0.306=0.004
σ	0.017-0.009=0.008
min	0.289-0.293=-0.004
max	0.432-0.376=0.056

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	431.000-436.000=-5.000
σ	0.000
min	431.000-436.000=-5.000
max	431.000-436.000=-5.000

*mean*	0.291-0.301=-0.010
σ	0.007-0.013=-0.007
min	0.275-0.287=-0.012
max	0.326-0.360=-0.034

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.447-11.629=-0.181
σ	11.540-12.714=-1.174
min	0.573-0.573=-0.000
max	93.485-110.967=-17.482

*mean*	457.980-455.334=2.646
σ	18.146-17.633=0.513
min	406.000
max	476.000-470.000=6.000

*mean*	0.026-0.027=-0.000
σ	0.028-0.031=-0.003
min	0.001-0.001=-0.000
max	0.226-0.265=-0.038

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.629-298.844=-0.215
σ	1.057-1.046=0.010
min	298.204-298.387=-0.183
max	301.634-301.816=-0.181

*mean*	443.000-438.700=4.300
σ	19.247-16.255=2.992
min	417.000-413.000=4.000
max	472.000-464.000=8.000

*mean*	0.589-0.597=-0.007
σ	0.035-0.031=0.004
min	0.523-0.550=-0.027
max	0.615-0.657=-0.043

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-839.000=5.000
σ	0.000
min	844.000-839.000=5.000
max	844.000-839.000=5.000

*mean*	236.439-239.863=-3.424
σ	28.912-18.280=10.633
min	186.677-198.231=-11.554
max	259.520-252.826=6.694

phase=macro expansion

*mean*	6.133-6.130=0.004
σ	0.000
min	6.133-6.130=0.004
max	6.133-6.130=0.004

*mean*	843.375-839.000=4.375
σ	1.768-0.000=1.768
min	839.000
max	844.000-839.000=5.000

*mean*	9.778-8.995=0.783
σ	1.808-1.045=0.763
min	6.448-7.234=-0.785
max	12.726-9.795=2.931

phase=parser

*mean*	1042.436-1042.433=0.003
σ	0.000-0.000=-0.000
min	1042.435-1042.432=0.003
max	1042.436-1042.433=0.003

*mean*	843.375-839.000=4.375
σ	1.768-0.000=1.768
min	839.000
max	844.000-839.000=5.000

*mean*	571.082-549.410=21.672
σ	102.595-88.765=13.830
min	378.249-389.931=-11.682
max	725.005-602.770=122.235

phase=processProdDef

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

*mean*	844.000-839.000=5.000
σ	0.000
min	844.000-839.000=5.000
max	844.000-839.000=5.000

*mean*	2912.512-2611.599=300.913
σ	234.113-310.504=-76.390
min	2689.877-2138.213=551.664
max	3361.815-3031.776=330.040

phase=renaming

*mean*	21.671-21.675=-0.004
σ	0.000
min	21.671-21.675=-0.004
max	21.671-21.675=-0.004

*mean*	843.375-839.000=4.375
σ	1.768-0.000=1.768
min	839.000
max	844.000-839.000=5.000

*mean*	39.045-37.038=2.008
σ	8.102-6.577=1.525
min	20.668-26.177=-5.509
max	49.580-41.004=8.577

phase=type checker

*mean*	989.752
σ	0.066
min	989.654
max	989.841

*mean*	843.375-839.000=4.375
σ	1.768-0.000=1.768
min	839.000
max	844.000-839.000=5.000

*mean*	728.798-664.502=64.295
σ	72.959-15.737=57.222
min	672.944-637.998=34.945
max	882.622-675.619=207.003

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.821-293.821=0.000
σ	0.038-0.037=0.001
min	293.768-293.768=-0.001
max	293.859-293.859=0.000

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

*mean*	0.397-0.392=0.006
σ	0.005-0.008=-0.003
min	0.392-0.387=0.005
max	0.403-0.406=-0.003

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.290-1320.303=-0.013
σ	0.141-0.094=0.048
min	1320.163-1320.156=0.008
max	1320.524-1320.403=0.120

*mean*	1089.600-1089.400=0.200
σ	168.322-166.536=1.786
min	892.000-893.000=-1.000
max	1320.000-1317.000=3.000

*mean*	1.961-2.069=-0.107
σ	0.147-0.203=-0.055
min	1.848-1.844=0.004
max	2.211-2.297=-0.086

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.288-1559.322=-0.034
σ	2.987-2.957=0.031
min	1557.737-1557.788=-0.052
max	1564.619-1564.602=0.017

*mean*	616.000-626.000=-10.000
σ	93.533-87.684=5.849
min	498.000-495.000=3.000
max	730.000-728.000=2.000

*mean*	2.276-2.271=0.005
σ	0.235-0.150=0.085
min	2.059-2.176=-0.117
max	2.569-2.534=0.035

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.340-1882.339=0.001
σ	0.051-0.052=-0.000
min	1882.275-1882.278=-0.004
max	1882.415-1882.415=-0.000

*mean*	1737.200-1734.000=3.200
σ	178.085-177.255=0.829
min	1470.000-1467.000=3.000
max	1889.000-1884.000=5.000

*mean*	2.949-2.965=-0.017
σ	0.036-0.118=-0.082
min	2.896-2.863=0.033
max	2.982-3.150=-0.167

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.654-1.700=-0.046
σ	0.143-0.113=0.030
min	1.499-1.526=-0.027
max	1.882-1.809=0.073

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.944-419.942=0.001
σ	518.105-518.105=0.000
min	160.887-160.885=0.002
max	1197.101-1197.099=0.002

*mean*	101.750
σ	7.500
min	98.000
max	113.000

*mean*	441.000-447.000=-6.000
σ	0.000
min	441.000-447.000=-6.000
max	441.000-447.000=-6.000

*mean*	0.520-0.525=-0.005
σ	0.517-0.525=-0.007
min	0.258-0.259=-0.000
max	1.296-1.312=-0.016

policies=20

*mean*	1609.196-1609.181=0.015
σ	0.343-0.350=-0.007
min	1608.961-1608.939=0.022
max	1609.705-1609.700=0.005

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	445.250-450.000=-4.750
σ	8.500-6.000=2.500
min	441.000-447.000=-6.000
max	458.000-459.000=-1.000

*mean*	2.574-2.584=-0.010
σ	0.018-0.020=-0.002
min	2.547-2.565=-0.018
max	2.587-2.610=-0.022

policies=200

*mean*	16100.699-16100.660=0.039
σ	0.061-0.156=-0.095
min	16100.626-16100.503=0.124
max	16100.772-16100.874=-0.103

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	494.750-496.000=-1.250
σ	4.272-3.742=0.530
min	490.000-491.000=-1.000
max	500.000

*mean*	26.070-25.977=0.093
σ	0.151-0.140=0.011
min	25.942-25.871=0.072
max	26.285-26.176=0.109