Compare commits

Home / Compare 7760fb31 .. 123762e4

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
mean4.863-5.676=-0.812
σ0.000
min4.863-5.676=-0.812
max4.863-5.676=-0.812

AST compact size (processProdDef)

Factorcompact size MiB
phase=processProdDef
mean446.102-446.883=-0.781
σ0.000
min446.102-446.883=-0.781
max446.102-446.883=-0.781

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
mean57.823-54.835=2.989
σ0.359-0.366=-0.007
min57.683-54.705=2.978
max58.845-55.877=2.968
mean417.000-420.000=-3.000
σ0.000
min417.000-420.000=-3.000
max417.000-420.000=-3.000
mean0.147-0.140=0.007
σ0.004-0.004=0.000
min0.143-0.133=0.010
max0.153-0.146=0.007
cache=y
dps=1
iters=10
policies=100
mean46.898-43.843=3.056
σ0.005-0.006=-0.002
min46.888-43.833=3.055
max46.903-43.852=3.051
mean418.000-420.000=-2.000
σ0.000
min418.000-420.000=-2.000
max418.000-420.000=-2.000
mean0.127-0.120=0.007
σ0.005-0.005=0.000
min0.121-0.116=0.005
max0.136-0.129=0.007

CSV - indexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on indexed
mean36.605-36.617=-0.012
σ0.000-0.000=0.000
min36.605-36.617=-0.012
max36.606-36.618=-0.012
mean4592.500-4475.000=117.500
σ2248.699-2207.499=41.200
min1487.000-1471.000=16.000
max7384.000-7287.000=97.000
mean153.538-12.238=141.301
σ397.759-0.388=397.372
min11.865-11.845=0.020
max1137.929-13.006=1124.923
op=column_set() on indexed, repeat
mean36.605-36.617=-0.012
σ0.000-0.000=-0.000
min36.605-36.617=-0.012
max36.605-36.618=-0.012
mean4592.500-4475.000=117.500
σ2248.699-2207.499=41.200
min1487.000-1471.000=16.000
max7384.000-7287.000=97.000
mean14.738-12.583=2.155
σ4.385-0.680=3.705
min11.501-11.573=-0.072
max24.296-13.525=10.771
op=table_records(), no indexes
mean41.940-41.948=-0.008
σ0.002-0.002=0.000
min41.938-41.946=-0.008
max41.942-41.950=-0.008
mean7384.000-7287.000=97.000
σ0.000
min7384.000-7287.000=97.000
max7384.000-7287.000=97.000
mean11.670-11.278=0.392
σ1.834-0.958=0.876
min10.784-10.711=0.073
max16.197-13.622=2.575
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
mean4184.500-4475.000=-290.500
σ1945.530-2207.499=-261.969
min1487.000-1471.000=16.000
max7384.000-7287.000=97.000
mean11.630-11.174=0.456
σ1.916-0.999=0.917
min10.659-10.617=0.042
max16.318-13.630=2.688
op=vertical_lookup_list() on indexed, after table_records()
mean27.634-27.655=-0.020
σ0.136-0.137=-0.000
min27.585-27.606=-0.021
max27.972-27.993=-0.021
mean4184.500-4475.000=-290.500
σ1945.530-2207.499=-261.969
min1487.000-1471.000=16.000
max7384.000-7287.000=97.000
mean9.137-8.710=0.428
σ1.507-0.811=0.697
min7.943-7.916=0.026
max12.775-10.490=2.285
op=vertical_lookup_list() on indexed, after table_records(), repeat
mean26.385-26.406=-0.021
σ0.000-0.000=0.000
min26.385-26.406=-0.021
max26.385-26.406=-0.021
mean4184.500-4475.000=-290.500
σ1945.530-2207.499=-261.969
min1487.000-1471.000=16.000
max7384.000-7287.000=97.000
mean6.960-6.864=0.096
σ1.232-0.492=0.740
min6.039-6.485=-0.446
max9.815-8.024=1.791
op=vertical_lookup_row_list() on 2 indexed
mean25.663-25.681=-0.017
σ0.004-0.003=0.001
min25.662-25.680=-0.018
max25.674-25.688=-0.014
mean4592.500-4475.000=117.500
σ2248.699-2207.499=41.200
min1487.000-1471.000=16.000
max7384.000-7287.000=97.000
mean6.551-6.011=0.540
σ0.960-0.149=0.811
min5.937-5.797=0.140
max8.710-6.277=2.433
op=vertical_lookup_row_list() on 3 (1 unindexed)
mean25.962-25.984=-0.022
σ0.000-0.000=0.000
min25.962-25.984=-0.022
max25.964-25.985=-0.022
mean4592.500-4475.000=117.500
σ2248.699-2207.499=41.200
min1487.000-1471.000=16.000
max7384.000-7287.000=97.000
mean6.518-5.893=0.625
σ1.118-0.157=0.961
min5.803-5.744=0.059
max9.025-6.259=2.766

CSV - loading a lazy table

Factorallocated MiBpeak allocated MiBtime (ms)
op=load_product(), no indexes
mean1021.599-1021.627=-0.028
σ0.002
min1021.597-1021.625=-0.028
max1021.602-1021.629=-0.028
mean7384.000-7287.000=97.000
σ0.000
min7384.000-7287.000=97.000
max7384.000-7287.000=97.000
mean346.194-347.382=-1.188
σ2.218-2.432=-0.215
min343.679-343.276=0.403
max349.799-350.481=-0.682
op=load_product(), with indexes
mean3495.846-3495.878=-0.032
σ0.455-0.468=-0.013
min3495.685-3495.713=-0.028
max3496.972-3497.037=-0.065
mean3759.500-3654.625=104.875
σ2300.596-2232.548=68.048
min720.000-724.000=-4.000
max7384.000-7287.000=97.000
mean1790.056-1534.626=255.431
σ684.786-393.300=291.486
min1381.883-1386.005=-4.121
max2972.323-2507.756=464.567

CSV - unindexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on unindexed, dense, minor warmup
mean107.842-107.854=-0.012
σ0.000-0.000=0.000
min107.841-107.854=-0.013
max107.842-107.854=-0.012
mean4413.125-4475.000=-61.875
σ2217.978-2207.499=10.479
min1487.000-1471.000=16.000
max7384.000-7287.000=97.000
mean269.812-136.123=133.689
σ375.959-13.367=362.592
min125.326-120.878=4.449
max1199.087-155.419=1043.668
op=column_set() on unindexed, dense, repeat
mean62.069-62.081=-0.013
σ0.001-0.000=0.001
min62.065-62.081=-0.016
max62.069-62.082=-0.013
mean4413.125-4475.000=-61.875
σ2217.978-2207.499=10.479
min1487.000-1471.000=16.000
max7384.000-7287.000=97.000
mean45.261-42.362=2.898
σ8.631-1.438=7.193
min40.084-40.623=-0.539
max66.194-44.230=21.963
op=vertical_lookup_list() repeated on unindexed missing Int
mean40.927-40.948=-0.021
σ0.002-0.002=-0.000
min40.926-40.947=-0.021
max40.930-40.950=-0.021
mean7384.000-7287.000=97.000
σ0.000
min7384.000-7287.000=97.000
max7384.000-7287.000=97.000
mean190.243-25.235=165.009
σ475.780-9.382=466.398
min21.541-21.510=0.032
max1367.738-48.407=1319.331
op=vertical_lookup_row_list() on unindexed small unique Int
mean71.294-71.308=-0.014
σ0.002-0.002=0.000
min71.293-71.307=-0.014
max71.297-71.311=-0.014
mean7384.000-7287.000=97.000
σ0.000
min7384.000-7287.000=97.000
max7384.000-7287.000=97.000
mean64.730-61.725=3.005
σ23.721-15.172=8.549
min55.128-55.787=-0.659
max123.358-99.205=24.154

CSV - warmup

Factorallocated MiBpeak allocated MiBtime (ms)
op=table_records()
mean4646.842-4646.851=-0.009
σ0.014-0.013=0.000
min4646.837-4646.845=-0.008
max4646.876-4646.884=-0.008
mean4184.500-4475.000=-290.500
σ1945.530-2207.499=-261.969
min1487.000-1471.000=16.000
max7384.000-7287.000=97.000
mean3262.413-3388.502=-126.089
σ776.494-828.259=-51.764
min2467.900-2503.760=-35.860
max4622.432-4786.589=-164.157
op=vertical_lookup_list() on indexed
mean1973.830-1973.851=-0.021
σ0.002
min1973.829-1973.849=-0.021
max1973.833-1973.854=-0.021
mean7384.000-7287.000=97.000
σ0.000
min7384.000-7287.000=97.000
max7384.000-7287.000=97.000
mean1038.745-1014.165=24.579
σ280.967-209.836=71.131
min912.178-915.107=-2.929
max1718.557-1521.733=196.824
op=vertical_lookup_list() on unindexed missing Int, minor warmup
mean905.084-905.105=-0.021
σ0.002-0.002=0.000
min905.082-905.102=-0.021
max905.087-905.108=-0.021
mean7384.000-7287.000=97.000
σ0.000
min7384.000-7287.000=97.000
max7384.000-7287.000=97.000
mean389.950-604.255=-214.305
σ5.038-614.601=-609.563
min379.536-382.723=-3.187
max396.529-2125.305=-1728.776

CSV internal benchmark: pointedIndexFromKvs

Factorallocated MiBpeak allocated MiBtime (ms)
op=pointedIndexFromKvs
rows=200000
mean148.144
σ0.001
min148.144
max148.148
mean475.625-478.625=-3.000
σ0.518-1.061=-0.543
min475.000-476.000=-1.000
max476.000-479.000=-3.000
mean384.714-381.289=3.425
σ35.949-26.102=9.847
min310.796-347.175=-36.379
max429.335-422.590=6.745
op=pointedIndexFromKvs
rows=400000
mean308.493
σ0.001
min308.493
max308.497
mean561.250-565.000=-3.750
σ3.240-0.000=3.240
min556.000-565.000=-9.000
max563.000-565.000=-2.000
mean738.833-739.865=-1.033
σ62.445-65.044=-2.600
min625.827-631.319=-5.492
max820.126-830.635=-10.510

Marine Hull: transactPolicy

Factorallocated MiBpeak allocated MiBtime
datapoints=1
iterations=20
mean976.917-963.971=12.946
σ2.438-1.820=0.618
min976.069-963.266=12.803
max987.247-971.668=15.579
mean1051.700-1044.900=6.800
σ315.963-309.920=6.042
min568.000-585.000=-17.000
max1515.000-1500.000=15.000
mean1.346-1.279=0.067
σ0.180-0.152=0.028
min1.207-1.172=0.035
max1.755-1.681=0.075

Parser: Comma Sep

Factorallocated MiBpeak allocated MiBtime (ms)
name=ambiguous_item.art
mean0.913-0.913=0.001
σ0.020-0.020=-0.000
min0.903-0.903=0.001
max0.949-0.949=0.000
mean401.000-402.000=-1.000
σ0.000
min401.000-402.000=-1.000
max401.000-402.000=-1.000
mean0.438-0.350=0.088
σ0.475-0.280=0.195
min0.154-0.129=0.025
max1.285-0.806=0.479
name=error_case.art
mean2.346-2.340=0.006
σ0.012
min2.340-2.334=0.006
max2.368-2.362=0.006
mean401.000-402.000=-1.000
σ0.000
min401.000-402.000=-1.000
max401.000-402.000=-1.000
mean0.829-0.475=0.353
σ0.516-0.331=0.185
min0.576-0.319=0.257
max1.751-1.067=0.684
name=heavy_item.art
mean1.523-1.523=0.001
σ0.002-0.002=-0.000
min1.522-1.521=0.001
max1.526-1.525=0.001
mean401.000-402.000=-1.000
σ0.000
min401.000-402.000=-1.000
max401.000-402.000=-1.000
mean0.379-0.204=0.174
σ0.030-0.024=0.006
min0.358-0.186=0.171
max0.429-0.244=0.185
name=nested_use.art
mean2.364-2.358=0.006
σ0.002
min2.363-2.357=0.006
max2.367-2.361=0.006
mean401.000-402.000=-1.000
σ0.000
min401.000-402.000=-1.000
max401.000-402.000=-1.000
mean0.596-0.334=0.263
σ0.035-0.017=0.018
min0.556-0.321=0.235
max0.652-0.361=0.291

Parser: Real World

Factorallocated MiBpeak allocated MiBtime (sec)
name=aon_gpf25_7k_loc.art
mean964.978-964.971=0.007
σ0.009-0.011=-0.001
min964.973-964.965=0.008
max964.995-964.989=0.005
mean429.000-431.000=-2.000
σ0.000
min429.000-431.000=-2.000
max429.000-431.000=-2.000
mean0.737-0.588=0.149
σ0.011-0.016=-0.005
min0.729-0.569=0.160
max0.757-0.611=0.146
name=cdr_enhanced_4k_loc.art
mean886.000-885.898=0.102
σ0.002-0.002=-0.000
min885.999-885.897=0.102
max886.003-885.901=0.102
mean429.000-431.000=-2.000
σ0.000
min429.000-431.000=-2.000
max429.000-431.000=-2.000
mean0.602-0.477=0.125
σ0.039-0.061=-0.022
min0.539-0.382=0.157
max0.638-0.522=0.116

Parser: Record Parsing

Factorallocated MiBpeak allocated MiBtime (ms)
name=record_render_large_success.art
mean7.719-7.710=0.009
σ0.002
min7.718-7.709=0.009
max7.722-7.713=0.009
mean429.000-431.000=-2.000
σ0.000
min429.000-431.000=-2.000
max429.000-431.000=-2.000
mean3.534-2.551=0.983
σ0.088-0.156=-0.068
min3.420-1.931=1.490
max3.917-2.867=1.050
name=record_render_large_syntax_err.art
mean7.667-7.658=0.009
σ0.002
min7.666-7.657=0.009
max7.670-7.661=0.009
mean429.000-431.000=-2.000
σ0.000
min429.000-431.000=-2.000
max429.000-431.000=-2.000
mean3.498-2.273=1.224
σ0.080-0.341=-0.261
min3.337-1.842=1.495
max3.779-2.757=1.022
name=record_render_success.art
mean2.290-2.290=0.001
σ0.002
min2.290-2.289=0.001
max2.294-2.293=0.001
mean429.000-431.000=-2.000
σ0.000
min429.000-431.000=-2.000
max429.000-431.000=-2.000
mean0.540-0.301=0.238
σ0.017-0.012=0.005
min0.517-0.285=0.232
max0.627-0.372=0.255
name=record_render_syntax_err.art
mean2.166-2.165=0.001
σ0.002
min2.165-2.164=0.001
max2.169-2.168=0.001
mean429.000-431.000=-2.000
σ0.000
min429.000-431.000=-2.000
max429.000-431.000=-2.000
mean0.512-0.287=0.225
σ0.013-0.008=0.005
min0.489-0.273=0.216
max0.575-0.326=0.249

Revision Creation

Factorallocated MiBpeak allocated MiBtime_s
number of threads=8
revision count=1000
mean11.428-11.599=-0.170
σ11.679-12.353=-0.674
min0.573-0.578=-0.005
max131.510-117.250=14.260
mean466.613-469.152=-2.539
σ19.214-20.220=-1.006
min406.000
max480.000-482.000=-2.000
mean0.026-0.027=-0.000
σ0.028-0.030=-0.002
min0.001-0.001=0.000
max0.315-0.288=0.027

SoV import

Factorallocated MiBpeak allocated MiBtime_s
iters=10
rows=1000
mean293.945-278.644=15.301
σ1.061-1.072=-0.011
min293.486-278.267=15.219
max296.956-281.694=15.263
mean445.200-442.300=2.900
σ18.967-17.166=1.800
min416.000-415.000=1.000
max472.000-471.000=1.000
mean0.588-0.586=0.002
σ0.017-0.011=0.006
min0.553-0.579=-0.026
max0.602-0.616=-0.014

Timed compile per phase

Factorallocated MiBpeak allocated MiBtime (ms)
phase=buildDeclTree
mean106.546-173.738=-67.192
σ0.000-0.000=0.000
min106.546-173.738=-67.192
max106.546-173.738=-67.192
mean848.000-840.000=8.000
σ0.000
min848.000-840.000=8.000
max848.000-840.000=8.000
mean145.479-227.182=-81.703
σ11.762-20.715=-8.953
min129.562-196.214=-66.652
max160.885-254.337=-93.453
phase=macro expansion
mean5.894-6.130=-0.236
σ0.000
min5.894-6.130=-0.236
max5.894-6.130=-0.236
mean847.750-840.000=7.750
σ0.707-0.000=0.707
min846.000-840.000=6.000
max848.000-840.000=8.000
mean6.968-9.124=-2.156
σ2.275-1.085=1.190
min5.744-6.440=-0.696
max11.888-9.570=2.318
phase=parser
mean1042.134-1042.432=-0.298
σ0.001-0.000=0.001
min1042.131-1042.431=-0.301
max1042.134-1042.432=-0.297
mean847.750-840.000=7.750
σ0.707-0.000=0.707
min846.000-840.000=6.000
max848.000-840.000=8.000
mean440.817-568.613=-127.796
σ129.219-71.556=57.663
min372.957-391.791=-18.833
max722.295-600.450=121.845
phase=processProdDef
mean2241.193-2243.978=-2.785
σ0.000-0.000=0.000
min2241.193-2243.978=-2.785
max2241.194-2243.979=-2.785
mean848.000-840.000=8.000
σ0.000
min848.000-840.000=8.000
max848.000-840.000=8.000
mean2846.227-2828.281=17.946
σ346.688-346.631=0.057
min2406.348-2065.263=341.085
max3273.503-3112.291=161.213
phase=renaming
mean21.430-21.675=-0.245
σ0.001-0.000=0.001
min21.430-21.675=-0.245
max21.433-21.675=-0.242
mean847.750-840.000=7.750
σ0.707-0.000=0.707
min846.000-840.000=6.000
max848.000-840.000=8.000
mean39.470-37.526=1.945
σ3.844-6.867=-3.023
min34.588-20.544=14.044
max46.776-40.317=6.459
phase=type checker
mean958.466-989.752=-31.286
σ0.047-0.066=-0.019
min958.439-989.654=-31.215
max958.568-989.841=-31.274
mean847.750-840.000=7.750
σ0.707-0.000=0.707
min846.000-840.000=6.000
max848.000-840.000=8.000
mean683.025-673.114=9.911
σ66.044-4.790=61.254
min638.929-667.788=-28.859
max842.718-680.641=162.078

Workflow: transactPolicy

Factorallocated MiBpeak allocated MiBtime
iters=5
new-facts=1
prior-facts=1
mean327.854-282.388=45.465
σ0.036-0.037=-0.000
min327.803-282.339=45.464
max327.889-282.430=45.459
mean441.000-444.800=-3.800
σ4.416-1.095=3.320
min434.000-444.000=-10.000
max446.000
mean0.435-0.381=0.054
σ0.006-0.006=0.001
min0.429-0.375=0.054
max0.445-0.388=0.057
iters=5
new-facts=1
prior-facts=6402
mean1313.070-1267.090=45.980
σ0.131-0.102=0.029
min1312.969-1267.003=45.966
max1313.290-1267.262=46.028
mean1070.600-1114.200=-43.600
σ185.330-169.410=15.920
min830.000-899.000=-69.000
max1309.000-1331.000=-22.000
mean1.872-1.921=-0.050
σ0.051-0.102=-0.051
min1.831-1.831=-0.000
max1.929-2.094=-0.165
iters=5
new-facts=6402
prior-facts=1
mean1552.054-1506.132=45.922
σ3.065-2.953=0.112
min1550.448-1504.629=45.819
max1557.525-1511.405=46.120
mean619.200-630.200=-11.000
σ81.275-90.062=-8.787
min502.000-506.000=-4.000
max706.000-729.000=-23.000
mean2.324-2.340=-0.016
σ0.278-0.329=-0.051
min2.094-2.016=0.078
max2.661-2.802=-0.141
iters=5
new-facts=6402
prior-facts=6402
mean1875.062-1829.118=45.943
σ0.040-0.071=-0.031
min1875.020-1829.035=45.986
max1875.107-1829.220=45.887
mean1710.600-1766.800=-56.200
σ247.346-209.513=37.833
min1416.000-1491.000=-75.000
max2040.000-1966.000=74.000
mean2.859-3.154=-0.295
σ0.161-0.311=-0.150
min2.712-2.793=-0.081
max3.032-3.503=-0.471

newProductH/cdr_auton/broker

Factortime_s
iterations=5
mean1.539-1.649=-0.111
σ0.210-0.189=0.021
min1.173-1.335=-0.162
max1.688-1.841=-0.153

policy addition benchmark

Factorallocated MiBdb queriespeak allocated MiBtime
policies=2
mean419.401-397.699=21.703
σ508.891-518.051=-9.160
min164.955-138.670=26.285
max1182.738-1174.776=7.962
mean101.250-97.750=3.500
σ6.500-7.500=-1.000
min98.000-94.000=4.000
max111.000-109.000=2.000
mean428.000-447.000=-19.000
σ0.000
min428.000-447.000=-19.000
max428.000-447.000=-19.000
mean0.518-0.500=0.019
σ0.495-0.523=-0.028
min0.263-0.238=0.025
max1.261-1.285=-0.024
policies=20
mean1649.787-1386.837=262.950
σ0.371-0.156=0.215
min1649.575-1386.728=262.848
max1650.343-1387.068=263.275
mean980.000-940.000=40.000
σ0.000
min980.000-940.000=40.000
max980.000-940.000=40.000
mean446.250-447.000=-0.750
σ11.057-0.000=11.057
min432.000-447.000=-15.000
max455.000-447.000=8.000
mean2.646-2.312=0.334
σ0.020-0.015=0.005
min2.618-2.292=0.326
max2.665-2.325=0.340
policies=200
mean16505.941-13876.924=2629.017
σ0.057-0.074=-0.017
min16505.873-13876.815=2629.058
max16506.005-13876.981=2629.023
mean9800.000-9400.000=400.000
σ0.000
min9800.000-9400.000=400.000
max9800.000-9400.000=400.000
mean500.500-495.750=4.750
σ7.000-4.272=2.728
min492.000-491.000=1.000
max508.000-501.000=7.000
mean26.797-23.505=3.291
σ0.113-0.180=-0.067
min26.672-23.377=3.294
max26.902-23.770=3.132