Compare commits

Home / Compare c775b220 .. c1501cc3

grey: no significant change wrt stddev
red: change exceeding max stddev
purple: some change, not seemingly significant

AST compact size (buildDeclTree)

Factorcompact size MiB
phase=buildDeclTree
mean0.203
σ0.000
min0.203
max0.203

AST compact size (macro expansion)

Factorcompact size MiB
phase=macro expansion
mean5.082-5.301=-0.219
σ0.000
min5.082-5.301=-0.219
max5.082-5.301=-0.219

AST compact size (parser)

Factorcompact size MiB
phase=parser
mean4.988-5.176=-0.188
σ0.000
min4.988-5.176=-0.188
max4.988-5.176=-0.188

AST compact size (processProdDef Decls)

Factorcompact size MiB
phase=processProdDef Decls
mean5.395-5.676=-0.281
σ0.000
min5.395-5.676=-0.281
max5.395-5.676=-0.281

AST compact size (processProdDef)

Factorcompact size MiB
phase=processProdDef
mean446.633-446.883=-0.250
σ0.000
min446.633-446.883=-0.250
max446.633-446.883=-0.250

AST compact size (renaming)

Factorcompact size MiB
phase=renaming
mean5.238-5.488=-0.250
σ0.000
min5.238-5.488=-0.250
max5.238-5.488=-0.250

AST compact size (type checker)

Factorcompact size MiB
phase=type checker
mean6.395-6.645=-0.250
σ0.000
min6.395-6.645=-0.250
max6.395-6.645=-0.250

Aggregation: measureAggregations

Factorallocated MiBpeak allocated MiBtime_s
cache=n
dps=1
iters=10
policies=100
mean54.720-54.774=-0.053
σ0.361-0.361=-0.001
min54.577-54.633=-0.055
max55.746-55.801=-0.055
mean420.000-418.000=2.000
σ0.000
min420.000-418.000=2.000
max420.000-418.000=2.000
mean0.138-0.138=-0.001
σ0.004-0.005=-0.001
min0.131-0.130=0.001
max0.145-0.147=-0.003
cache=y
dps=1
iters=10
policies=100
mean43.774-43.774=0.001
σ0.006-0.005=0.001
min43.764-43.766=-0.001
max43.782-43.784=-0.002
mean420.000-418.000=2.000
σ0.000
min420.000-418.000=2.000
max420.000-418.000=2.000
mean0.120-0.124=-0.004
σ0.004-0.004=-0.001
min0.116-0.120=-0.004
max0.126-0.134=-0.008

CSV - indexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on indexed
mean36.604-36.617=-0.013
σ0.000-0.000=-0.000
min36.604-36.617=-0.013
max36.605-36.618=-0.013
mean4427.375-4590.125=-162.750
σ2226.908-2248.240=-21.331
min1483.000-1486.000=-3.000
max7408.000-7383.000=25.000
mean12.799-171.031=-158.232
σ1.978-447.005=-445.027
min11.737-12.033=-0.297
max17.577-1277.301=-1259.724
op=column_set() on indexed, repeat
mean36.604-36.617=-0.013
σ0.000-0.000=0.000
min36.604-36.617=-0.013
max36.605-36.618=-0.012
mean4607.125-4590.125=17.000
σ2257.941-2248.240=9.701
min1483.000-1486.000=-3.000
max7408.000-7383.000=25.000
mean143.670-14.488=129.181
σ368.162-4.464=363.698
min11.591-11.445=0.146
max1054.810-24.772=1030.038
op=table_records(), no indexes
mean41.939-41.948=-0.009
σ0.002-0.002=0.000
min41.938-41.946=-0.009
max41.942-41.950=-0.008
mean7408.000-7383.000=25.000
σ0.000
min7408.000-7383.000=25.000
max7408.000-7383.000=25.000
mean11.145-10.624=0.520
σ0.183-0.288=-0.106
min10.830-10.167=0.663
max11.375-10.986=0.389
op=table_records(), repeat
mean41.925-41.933=-0.008
σ0.000-0.000=-0.000
min41.924-41.933=-0.008
max41.925-41.934=-0.008
mean4198.250-4181.250=17.000
σ1953.999-1944.703=9.295
min1483.000-1486.000=-3.000
max7408.000-7383.000=25.000
mean11.602-11.652=-0.050
σ1.765-1.747=0.018
min10.688-10.816=-0.128
max15.933-15.962=-0.029
op=vertical_lookup_list() on indexed, after table_records()
mean27.633-27.655=-0.022
σ0.137-0.137=-0.000
min27.584-27.606=-0.022
max27.971-27.993=-0.022
mean4198.250-4181.250=17.000
σ1953.999-1944.703=9.295
min1483.000-1486.000=-3.000
max7408.000-7383.000=25.000
mean9.100-9.048=0.053
σ1.293-1.421=-0.127
min7.989-7.826=0.164
max12.220-12.423=-0.203
op=vertical_lookup_list() on indexed, after table_records(), repeat
mean26.384-26.406=-0.022
σ0.000-0.000=0.000
min26.384-26.406=-0.022
max26.384-26.406=-0.022
mean4198.250-4181.250=17.000
σ1953.999-1944.703=9.295
min1483.000-1486.000=-3.000
max7408.000-7383.000=25.000
mean7.211-6.733=0.478
σ1.003-1.103=-0.099
min6.280-5.918=0.362
max9.609-9.408=0.202
op=vertical_lookup_row_list() on 2 indexed
mean25.662-25.681=-0.018
σ0.004-0.003=0.001
min25.661-25.680=-0.019
max25.673-25.688=-0.015
mean4607.125-4590.125=17.000
σ2257.941-2248.240=9.701
min1483.000-1486.000=-3.000
max7408.000-7383.000=25.000
mean6.639-6.448=0.190
σ1.114-1.057=0.057
min6.012-5.839=0.173
max9.119-8.840=0.278
op=vertical_lookup_row_list() on 3 (1 unindexed)
mean25.961-25.984=-0.024
σ0.000-0.000=0.000
min25.961-25.984=-0.024
max25.962-25.985=-0.023
mean4607.125-4590.125=17.000
σ2257.941-2248.240=9.701
min1483.000-1486.000=-3.000
max7408.000-7383.000=25.000
mean6.448-6.341=0.106
σ1.117-1.082=0.036
min5.779-5.690=0.090
max8.866-8.771=0.095

CSV - loading a lazy table

Factorallocated MiBpeak allocated MiBtime (ms)
op=load_product(), no indexes
mean1021.610-1021.627=-0.017
σ0.002-0.002=0.000
min1021.608-1021.625=-0.017
max1021.613-1021.629=-0.016
mean7408.000-7383.000=25.000
σ0.000
min7408.000-7383.000=25.000
max7408.000-7383.000=25.000
mean346.211-360.407=-14.197
σ3.825-40.331=-36.506
min341.251-343.877=-2.626
max354.793-460.096=-105.303
op=load_product(), with indexes
mean3495.857-3495.878=-0.022
σ0.455-0.469=-0.013
min3495.696-3495.713=-0.017
max3496.983-3497.038=-0.054
mean3771.125-3757.250=13.875
σ2310.280-2299.390=10.891
min720.000
max7408.000-7383.000=25.000
mean1719.999-1785.898=-65.900
σ560.280-664.297=-104.017
min1387.621-1391.667=-4.046
max2811.418-2942.010=-130.593

CSV - unindexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on unindexed, dense, minor warmup
mean107.841-107.854=-0.013
σ0.000-0.000=-0.000
min107.840-107.853=-0.013
max107.841-107.854=-0.013
mean4198.250-4410.250=-212.000
σ1953.999-2217.739=-263.740
min1483.000-1486.000=-3.000
max7408.000-7383.000=25.000
mean136.261-257.036=-120.775
σ12.792-341.580=-328.789
min126.249-124.325=1.924
max166.958-1100.973=-934.015
op=column_set() on unindexed, dense, repeat
mean62.068-62.081=-0.013
σ0.001-0.000=0.001
min62.065-62.081=-0.017
max62.069-62.082=-0.012
mean4427.375-4410.250=17.125
σ2226.908-2217.739=9.170
min1483.000-1486.000=-3.000
max7408.000-7383.000=25.000
mean166.759-46.644=120.115
σ353.262-8.284=344.978
min40.527-42.073=-1.546
max1041.034-66.815=974.218
op=vertical_lookup_list() repeated on unindexed missing Int
mean40.926-40.948=-0.022
σ0.002-0.002=0.000
min40.924-40.947=-0.023
max40.929-40.950=-0.021
mean7408.000-7383.000=25.000
σ0.000
min7408.000-7383.000=25.000
max7408.000-7383.000=25.000
mean104.012-22.317=81.694
σ230.460-1.236=229.224
min21.622-21.650=-0.027
max674.365-25.342=649.023
op=vertical_lookup_row_list() on unindexed small unique Int
mean71.294-71.308=-0.014
σ0.002-0.002=0.000
min71.292-71.307=-0.014
max71.296-71.311=-0.014
mean7408.000-7383.000=25.000
σ0.000
min7408.000-7383.000=25.000
max7408.000-7383.000=25.000
mean59.773-256.629=-196.856
σ9.223-567.709=-558.486
min55.757-54.476=1.281
max82.533-1661.624=-1579.090

CSV - warmup

Factorallocated MiBpeak allocated MiBtime (ms)
op=table_records()
mean4646.842-4646.851=-0.008
σ0.013-0.014=-0.000
min4646.837-4646.845=-0.008
max4646.875-4646.884=-0.009
mean4198.250-4181.250=17.000
σ1953.999-1944.703=9.295
min1483.000-1486.000=-3.000
max7408.000-7383.000=25.000
mean3156.464-3314.420=-157.955
σ601.794-846.515=-244.721
min2520.646-2493.628=27.018
max4118.876-4651.813=-532.937
op=vertical_lookup_list() on indexed
mean1973.829-1973.851=-0.022
σ0.002-0.002=-0.000
min1973.827-1973.849=-0.022
max1973.831-1973.854=-0.023
mean7408.000-7383.000=25.000
σ0.000
min7408.000-7383.000=25.000
max7408.000-7383.000=25.000
mean1034.237-1044.165=-9.928
σ194.501-235.318=-40.817
min924.593-922.994=1.599
max1496.686-1606.051=-109.365
op=vertical_lookup_list() on unindexed missing Int, minor warmup
mean905.082-905.105=-0.022
σ0.002-0.002=0.000
min905.080-905.102=-0.023
max905.086-905.108=-0.022
mean7408.000-7383.000=25.000
σ0.000
min7408.000-7383.000=25.000
max7408.000-7383.000=25.000
mean404.649-394.056=10.593
σ40.779-7.518=33.262
min381.279-377.275=4.005
max505.132-403.664=101.468

CSV internal benchmark: pointedIndexFromKvs

Factorallocated MiBpeak allocated MiBtime (ms)
op=pointedIndexFromKvs
rows=200000
mean148.144
σ0.001
min148.144
max148.148
mean475.875-476.125=-0.250
σ0.991-1.553=-0.562
min475.000
max477.000-478.000=-1.000
mean375.353-373.728=1.625
σ31.720-25.355=6.365
min314.831-343.779=-28.948
max425.647-409.624=16.023
op=pointedIndexFromKvs
rows=400000
mean308.493
σ0.001
min308.493
max308.497
mean560.000
σ0.000
min560.000
max560.000
mean747.186-721.147=26.039
σ47.890-82.773=-34.883
min664.840-613.730=51.110
max813.614-827.525=-13.910

Marine Hull: transactPolicy

Factorallocated MiBpeak allocated MiBtime
datapoints=1
iterations=20
mean964.530-963.971=0.558
σ1.822-1.821=0.001
min963.823-963.266=0.557
max972.234-971.671=0.562
mean1039.850-1040.550=-0.700
σ293.473-291.390=2.083
min552.000-560.000=-8.000
max1432.000-1429.000=3.000
mean1.265-1.264=0.001
σ0.102-0.087=0.015
min1.174-1.179=-0.005
max1.511-1.507=0.004

Parser: Comma Sep

Factorallocated MiBpeak allocated MiBtime (ms)
name=ambiguous_item.art
mean0.914-0.913=0.002
σ0.020
min0.904-0.903=0.002
max0.951-0.949=0.002
mean402.000
σ0.000
min402.000
max402.000
mean0.392-0.427=-0.035
σ0.495-0.598=-0.103
min0.138-0.132=0.006
max1.272-1.494=-0.222
name=error_case.art
mean2.347-2.340=0.007
σ0.012
min2.341-2.334=0.007
max2.369-2.362=0.007
mean402.000
σ0.000
min402.000
max402.000
mean0.486-0.842=-0.355
σ0.322-0.518=-0.196
min0.331-0.581=-0.250
max1.061-1.766=-0.705
name=heavy_item.art
mean1.525-1.523=0.003
σ0.002-0.002=-0.000
min1.524-1.521=0.003
max1.528-1.525=0.003
mean402.000
σ0.000
min402.000
max402.000
mean0.219-0.261=-0.043
σ0.027-0.107=-0.080
min0.201-0.208=-0.007
max0.266-0.453=-0.187
name=nested_use.art
mean2.365-2.358=0.008
σ0.002
min2.364-2.357=0.008
max2.368-2.361=0.008
mean402.000
σ0.000
min402.000
max402.000
mean0.451-0.550=-0.099
σ0.248-0.098=0.151
min0.326-0.376=-0.051
max0.895-0.608=0.287

Parser: Real World

Factorallocated MiBpeak allocated MiBtime (sec)
name=aon_gpf25_7k_loc.art
mean966.287-964.971=1.316
σ0.009-0.011=-0.001
min966.281-964.965=1.316
max966.303-964.989=1.314
mean432.600-435.600=-3.000
σ0.894-5.079=-4.185
min431.000
max433.000-441.000=-8.000
mean0.553-0.683=-0.131
σ0.073-0.074=-0.001
min0.454-0.597=-0.143
max0.613-0.758=-0.145
name=cdr_enhanced_4k_loc.art
mean886.717-885.898=0.819
σ0.002-0.002=-0.000
min886.716-885.897=0.819
max886.720-885.901=0.819
mean433.000-441.000=-8.000
σ0.000
min433.000-441.000=-8.000
max433.000-441.000=-8.000
mean0.485-0.502=-0.017
σ0.035-0.031=0.004
min0.434-0.453=-0.019
max0.520-0.532=-0.012

Parser: Record Parsing

Factorallocated MiBpeak allocated MiBtime (ms)
name=record_render_large_success.art
mean7.722-7.710=0.012
σ0.002
min7.721-7.709=0.012
max7.725-7.713=0.012
mean433.000-441.000=-8.000
σ0.000
min433.000-441.000=-8.000
max433.000-441.000=-8.000
mean2.654-2.619=0.034
σ0.100-0.113=-0.013
min2.488-2.465=0.023
max3.002-3.125=-0.123
name=record_render_large_syntax_err.art
mean7.670-7.658=0.012
σ0.002
min7.670-7.657=0.012
max7.673-7.661=0.012
mean433.000-441.000=-8.000
σ0.000
min433.000-441.000=-8.000
max433.000-441.000=-8.000
mean2.617-2.604=0.013
σ0.090-0.070=0.020
min2.466-2.491=-0.025
max2.876-2.797=0.080
name=record_render_success.art
mean2.294-2.290=0.004
σ0.002
min2.293-2.289=0.004
max2.297-2.293=0.004
mean433.000-441.000=-8.000
σ0.000
min433.000-441.000=-8.000
max433.000-441.000=-8.000
mean0.303-0.318=-0.016
σ0.009-0.044=-0.035
min0.287-0.295=-0.008
max0.356-0.704=-0.348
name=record_render_syntax_err.art
mean2.169-2.165=0.004
σ0.002
min2.168-2.164=0.004
max2.172-2.168=0.004
mean433.000-441.000=-8.000
σ0.000
min433.000-441.000=-8.000
max433.000-441.000=-8.000
mean0.290-0.295=-0.005
σ0.008-0.009=-0.001
min0.276-0.279=-0.003
max0.331-0.341=-0.010

Revision Creation

Factorallocated MiBpeak allocated MiBtime_s
number of threads=8
revision count=1000
mean11.219-11.293=-0.074
σ11.625-10.874=0.751
min0.573-0.574=-0.000
max90.260-115.662=-25.402
mean467.711-463.322=4.389
σ18.963-19.373=-0.410
min408.000-407.000=1.000
max483.000-478.000=5.000
mean0.026-0.026=-0.000
σ0.028-0.027=0.002
min0.001-0.001=0.000
max0.222-0.282=-0.061

SoV import

Factorallocated MiBpeak allocated MiBtime_s
iters=10
rows=1000
mean278.777-278.749=0.028
σ1.032-1.028=0.004
min278.383-278.363=0.020
max281.712-281.670=0.042
mean441.300-443.300=-2.000
σ17.250-14.982=2.268
min414.000-418.000=-4.000
max465.000-467.000=-2.000
mean0.568-0.579=-0.011
σ0.028-0.006=0.021
min0.527-0.569=-0.042
max0.610-0.590=0.020

Timed compile per phase

Factorallocated MiBpeak allocated MiBtime (ms)
phase=buildDeclTree
mean169.258-173.738=-4.480
σ0.000-0.000=0.000
min169.258-173.738=-4.480
max169.258-173.738=-4.480
mean698.000-839.000=-141.000
σ0.000
min698.000-839.000=-141.000
max698.000-839.000=-141.000
mean231.524-239.235=-7.711
σ21.844-23.931=-2.087
min194.421-190.736=3.686
max250.121-257.236=-7.114
phase=macro expansion
mean5.900-6.130=-0.229
σ0.000
min5.900-6.130=-0.229
max5.900-6.130=-0.229
mean698.000-839.000=-141.000
σ0.000
min698.000-839.000=-141.000
max698.000-839.000=-141.000
mean5.862-8.676=-2.814
σ0.063-2.163=-2.100
min5.780-6.350=-0.570
max5.976-12.809=-6.833
phase=parser
mean1043.350-1042.436=0.914
σ0.000-0.000=-0.000
min1043.350-1042.436=0.915
max1043.351-1042.436=0.914
mean698.000-839.000=-141.000
σ0.000
min698.000-839.000=-141.000
max698.000-839.000=-141.000
mean498.648-560.145=-61.497
σ94.950-104.442=-9.492
min407.183-425.277=-18.095
max613.643-733.915=-120.272
phase=processProdDef
mean2243.722-2243.972=-0.250
σ0.000-0.000=-0.000
min2243.722-2243.972=-0.249
max2243.722-2243.972=-0.250
mean698.000-839.000=-141.000
σ0.000
min698.000-839.000=-141.000
max698.000-839.000=-141.000
mean2949.579-2587.210=362.369
σ335.370-222.301=113.070
min2208.441-2361.320=-152.879
max3279.957-2870.486=409.471
phase=renaming
mean21.438-21.671=-0.233
σ0.000
min21.438-21.671=-0.233
max21.438-21.671=-0.233
mean698.000-839.000=-141.000
σ0.000
min698.000-839.000=-141.000
max698.000-839.000=-141.000
mean34.531-32.972=1.559
σ1.695-10.377=-8.682
min32.254-21.023=11.231
max36.938-47.985=-11.047
phase=type checker
mean958.597-989.752=-31.155
σ0.047-0.066=-0.019
min958.573-989.654=-31.081
max958.698-989.841=-31.143
mean698.000-839.000=-141.000
σ0.000
min698.000-839.000=-141.000
max698.000-839.000=-141.000
mean664.546-682.110=-17.565
σ12.819-46.796=-33.977
min645.561-641.741=3.821
max679.296-791.765=-112.470

Workflow: transactPolicy

Factorallocated MiBpeak allocated MiBtime
iters=5
new-facts=1
prior-facts=1
mean282.367-282.387=-0.020
σ0.035-0.035=0.000
min282.312-282.338=-0.027
max282.397-282.424=-0.027
mean443.600-442.000=1.600
σ0.548-0.000=0.548
min443.000-442.000=1.000
max444.000-442.000=2.000
mean0.391-0.380=0.011
σ0.010-0.007=0.003
min0.374-0.375=-0.000
max0.398-0.387=0.011
iters=5
new-facts=1
prior-facts=6402
mean1267.620-1267.115=0.505
σ0.126-0.093=0.033
min1267.437-1267.005=0.431
max1267.776-1267.256=0.519
mean1092.400-1111.200=-18.800
σ169.214-169.216=-0.003
min890.000-896.000=-6.000
max1322.000-1325.000=-3.000
mean2.172-2.012=0.160
σ0.277-0.132=0.145
min1.954-1.863=0.091
max2.654-2.119=0.535
iters=5
new-facts=6402
prior-facts=1
mean1506.545-1506.131=0.414
σ2.924-2.954=-0.030
min1505.037-1504.640=0.396
max1511.763-1511.406=0.357
mean611.600-626.600=-15.000
σ92.985-89.993=2.992
min499.000-503.000=-4.000
max731.000-726.000=5.000
mean2.223-2.357=-0.134
σ0.135-0.306=-0.171
min2.076-2.073=0.003
max2.389-2.825=-0.437
iters=5
new-facts=6402
prior-facts=6402
mean1829.568-1829.117=0.452
σ0.051-0.072=-0.021
min1829.510-1829.029=0.481
max1829.615-1829.223=0.391
mean1722.000-1756.600=-34.600
σ190.604-214.727=-24.123
min1458.000-1470.000=-12.000
max1898.000-1960.000=-62.000
mean2.927-3.238=-0.311
σ0.275-0.380=-0.105
min2.605-2.795=-0.190
max3.361-3.694=-0.333

newProductH/cdr_auton/broker

Factortime_s
iterations=5
mean1.657-1.663=-0.007
σ0.207-0.165=0.041
min1.316-1.506=-0.190
max1.845-1.879=-0.033

policy addition benchmark

Factorallocated MiBdb queriespeak allocated MiBtime
policies=2
mean393.630-397.698=-4.068
σ509.937-518.051=-8.114
min138.659-138.670=-0.011
max1158.536-1174.775=-16.239
mean97.750
σ7.500
min94.000
max109.000
mean435.000-444.000=-9.000
σ0.000
min435.000-444.000=-9.000
max435.000-444.000=-9.000
mean0.479-0.493=-0.014
σ0.492-0.507=-0.015
min0.229-0.238=-0.009
max1.217-1.254=-0.036
policies=20
mean1386.719-1386.834=-0.115
σ0.134-0.161=-0.027
min1386.622-1386.726=-0.104
max1386.918-1387.074=-0.156
mean940.000
σ0.000
min940.000
max940.000
mean443.000-444.000=-1.000
σ9.238-0.000=9.238
min435.000-444.000=-9.000
max451.000-444.000=7.000
mean2.282-2.316=-0.033
σ0.007-0.017=-0.010
min2.272-2.293=-0.021
max2.289-2.332=-0.043
policies=200
mean13875.869-13876.912=-1.043
σ0.104-0.115=-0.011
min13875.773-13876.814=-1.041
max13876.017-13877.079=-1.062
mean9400.000
σ0.000
min9400.000
max9400.000
mean493.250-494.750=-1.500
σ4.425-4.113=0.312
min489.000-490.000=-1.000
max498.000-500.000=-2.000
mean23.252-23.487=-0.235
σ0.149-0.171=-0.022
min23.120-23.351=-0.231
max23.394-23.718=-0.324