Compare commits

Home / Compare 684a5374 .. f6b1f326

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
σ0.000
min5.395
max5.395

AST compact size (processProdDef)

Factorcompact size MiB
phase=processProdDef
mean446.633-558.633=-112.000
σ0.000
min446.633-558.633=-112.000
max446.633-558.633=-112.000

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.717-54.880=-0.163
σ0.363-0.358=0.005
min54.582-54.741=-0.158
max55.750-55.900=-0.150
mean418.000-416.700=1.300
σ0.000-0.483=-0.483
min418.000-416.000=2.000
max418.000-417.000=1.000
mean0.142-0.139=0.002
σ0.005-0.004=0.001
min0.137-0.136=0.002
max0.151-0.147=0.003
cache=y
dps=1
iters=10
policies=100
mean43.779-43.848=-0.069
σ0.007-0.007=-0.000
min43.767-43.838=-0.072
max43.788-43.861=-0.073
mean418.000-417.000=1.000
σ0.000
min418.000-417.000=1.000
max418.000-417.000=1.000
mean0.124-0.124=0.000
σ0.004-0.004=0.000
min0.121-0.120=0.001
max0.132-0.132=0.000

CSV - indexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on indexed
mean36.604-36.618=-0.014
σ0.000-0.002=-0.002
min36.604-36.616=-0.012
max36.605-36.621=-0.016
mean4589.500-4042.500=547.000
σ2247.606-2007.721=239.885
min1486.000-1216.000=270.000
max7379.000-7139.000=240.000
mean152.166-12.720=139.446
σ395.904-0.212=395.693
min11.921-12.457=-0.536
max1131.979-13.107=1118.872
op=column_set() on indexed, repeat
mean36.604-36.618=-0.014
σ0.000-0.002=-0.002
min36.604-36.616=-0.012
max36.605-36.620=-0.016
mean4589.500-4042.500=547.000
σ2247.606-2007.721=239.885
min1486.000-1216.000=270.000
max7379.000-7139.000=240.000
mean14.063-12.576=1.487
σ4.367-0.628=3.739
min11.770-11.760=0.010
max24.818-13.367=11.451
op=table_records(), no indexes
mean41.940-41.930=0.010
σ0.002-0.002=0.000
min41.938-41.928=0.009
max41.942-41.932=0.010
mean7379.000-7139.000=240.000
σ0.000
min7379.000-7139.000=240.000
max7379.000-7139.000=240.000
mean11.610-15.087=-3.477
σ1.753-0.219=1.534
min10.717-14.807=-4.090
max15.929-15.536=0.393
op=table_records(), repeat
mean41.925-41.930=-0.004
σ0.002-0.002=-0.001
min41.924-41.927=-0.003
max41.929-41.932=-0.003
mean4180.375-4042.500=137.875
σ1944.792-2007.721=-62.929
min1486.000-1216.000=270.000
max7379.000-7139.000=240.000
mean11.839-14.176=-2.337
σ1.840-2.455=-0.616
min10.837-10.932=-0.095
max16.326-18.798=-2.472
op=vertical_lookup_list() on indexed, after table_records()
mean27.633-27.654=-0.021
σ0.137-0.136=0.000
min27.584-27.604=-0.020
max27.971-27.991=-0.020
mean4180.375-4042.500=137.875
σ1944.792-2007.721=-62.929
min1486.000-1216.000=270.000
max7379.000-7139.000=240.000
mean9.085-9.491=-0.406
σ1.232-1.388=-0.155
min8.080-8.515=-0.435
max12.048-12.833=-0.785
op=vertical_lookup_list() on indexed, after table_records(), repeat
mean26.384-26.401=-0.017
σ0.000-0.002=-0.002
min26.384-26.400=-0.016
max26.384-26.404=-0.020
mean4180.375-4042.500=137.875
σ1944.792-2007.721=-62.929
min1486.000-1216.000=270.000
max7379.000-7139.000=240.000
mean6.787-7.344=-0.557
σ0.972-1.280=-0.307
min6.008-6.578=-0.569
max9.056-10.430=-1.373
op=vertical_lookup_row_list() on 2 indexed
mean25.662-25.668=-0.006
σ0.004-0.004=-0.000
min25.661-25.666=-0.005
max25.673-25.678=-0.005
mean4589.500-4042.500=547.000
σ2247.606-2007.721=239.885
min1486.000-1216.000=270.000
max7379.000-7139.000=240.000
mean6.331-6.030=0.301
σ0.982-0.064=0.919
min5.860-5.921=-0.061
max8.745-6.127=2.617
op=vertical_lookup_row_list() on 3 (1 unindexed)
mean25.961-25.970=-0.009
σ0.000-0.002=-0.001
min25.961-25.969=-0.008
max25.962-25.972=-0.010
mean4589.500-4042.500=547.000
σ2247.606-2007.721=239.885
min1486.000-1216.000=270.000
max7379.000-7139.000=240.000
mean6.252-5.801=0.451
σ1.087-0.180=0.907
min5.462-5.405=0.057
max8.902-6.000=2.902

CSV - loading a lazy table

Factorallocated MiBpeak allocated MiBtime (ms)
op=load_product(), no indexes
mean1021.608-1021.613=-0.005
σ0.002-0.002=0.000
min1021.606-1021.612=-0.006
max1021.611-1021.616=-0.005
mean7379.000-7139.000=240.000
σ0.000
min7379.000-7139.000=240.000
max7379.000-7139.000=240.000
mean344.088-375.181=-31.093
σ1.848-85.018=-83.170
min341.733-343.332=-1.599
max348.068-585.559=-237.491
op=load_product(), with indexes
mean3495.855-7917.792=-4421.938
σ0.454-0.469=-0.015
min3495.694-7917.624=-4421.930
max3496.978-7918.954=-4421.976
mean3757.000-3275.250=481.750
σ2299.600-1825.405=474.195
min719.000-810.000=-91.000
max7379.000-5622.000=1757.000
mean1733.709-3583.393=-1849.683
σ626.324-1007.733=-381.409
min1386.028-3077.694=-1691.666
max2776.427-5901.757=-3125.330

CSV - unindexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on unindexed, dense
mean62.077
σ0.002
min62.076
max62.080
mean4042.500
σ2007.721
min1216.000
max7139.000
mean85.557
σ19.829
min70.831
max123.287
op=column_set() on unindexed, dense, minor warmup
mean107.841
σ0.000
min107.840
max107.842
mean4408.250
σ2216.785
min1486.000
max7379.000
mean189.263
σ151.375
min122.968
max561.792
op=column_set() on unindexed, dense, repeat
mean62.068
σ0.001
min62.065
max62.068
mean4408.250
σ2216.785
min1486.000
max7379.000
mean42.425
σ1.508
min40.671
max44.944
op=vertical_lookup_list() on unindexed missing Int
mean40.946
σ0.002
min40.945
max40.949
mean7139.000
σ0.000
min7139.000
max7139.000
mean60.509
σ0.388
min59.995
max60.979
op=vertical_lookup_list() repeated on unindexed missing Int
mean40.926
σ0.002
min40.925
max40.928
mean7379.000
σ0.000
min7379.000
max7379.000
mean216.994
σ550.319
min21.771
max1578.963
op=vertical_lookup_row_list() on unindexed small unique Int
mean71.294-66.688=4.606
σ0.002-0.002=-0.000
min71.292-66.686=4.606
max71.296-66.691=4.605
mean7379.000-7139.000=240.000
σ0.000
min7379.000-7139.000=240.000
max7379.000-7139.000=240.000
mean64.840-98.910=-34.070
σ23.436-0.717=22.719
min55.245-97.984=-42.740
max122.577-100.069=22.508

CSV - warmup

Factorallocated MiBpeak allocated MiBtime (ms)
op=table_records()
mean4646.842-14217.171=-9570.329
σ0.014-4.304=-4.290
min4646.837-14215.575=-9568.738
max4646.876-14227.820=-9580.944
mean4180.375-4042.500=137.875
σ1944.792-2007.721=-62.929
min1486.000-1216.000=270.000
max7379.000-7139.000=240.000
mean3241.555-7956.007=-4714.452
σ840.523-1865.162=-1024.639
min2472.741-5954.659=-3481.918
max4754.069-10475.838=-5721.769
op=vertical_lookup_list() on indexed
mean1973.829-13159.108=-11185.279
σ0.002-0.002=0.000
min1973.827-13159.106=-11185.279
max1973.832-13159.110=-11185.278
mean7379.000-7139.000=240.000
σ0.000
min7379.000-7139.000=240.000
max7379.000-7139.000=240.000
mean1016.918-5103.603=-4086.685
σ217.923-197.871=20.052
min912.869-4969.090=-4056.221
max1532.311-5440.038=-3907.727
op=vertical_lookup_list() on unindexed missing Int, minor warmup
mean905.083
σ0.002
min905.080
max905.086
mean7379.000
σ0.000
min7379.000
max7379.000
mean389.504
σ7.840
min372.940
max401.818

CSV internal benchmark: pointedIndexFromKvs

Factorallocated MiBpeak allocated MiBtime (ms)
op=pointedIndexFromKvs
rows=200000
mean148.144-172.559=-24.414
σ0.001
min148.144-172.558=-24.414
max148.148-172.562=-24.414
mean475.000-478.000=-3.000
σ0.000
min475.000-478.000=-3.000
max475.000-478.000=-3.000
mean371.018-370.675=0.343
σ35.783-35.110=0.673
min306.224-291.912=14.312
max418.602-390.663=27.939
op=pointedIndexFromKvs
rows=400000
mean308.493-357.322=-48.828
σ0.001
min308.493-357.321=-48.828
max308.497-357.325=-48.828
mean562.500-560.000=2.500
σ0.926-0.000=0.926
min561.000-560.000=1.000
max563.000-560.000=3.000
mean744.982-751.837=-6.855
σ71.027-45.070=25.957
min612.414-642.716=-30.302
max825.746-780.601=45.145

Marine Hull: transactPolicy

Factorallocated MiBpeak allocated MiBtime
datapoints=1
iterations=20
mean964.563-1024.299=-59.736
σ1.879-0.759=1.120
min963.842-1023.827=-59.985
max972.509-1027.437=-54.928
mean1037.900-1040.150=-2.250
σ309.207-291.001=18.207
min546.000-561.000=-15.000
max1534.000-1434.000=100.000
mean1.250-1.541=-0.291
σ0.071-0.076=-0.005
min1.174-1.480=-0.307
max1.389-1.767=-0.378

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
mean402.000-401.000=1.000
σ0.000
min402.000-401.000=1.000
max402.000-401.000=1.000
mean0.298-0.463=-0.165
σ0.296-0.489=-0.193
min0.139-0.162=-0.023
max0.824-1.330=-0.507
name=error_case.art
mean2.346-2.339=0.007
σ0.012
min2.340-2.333=0.007
max2.368-2.361=0.007
mean402.000-401.000=1.000
σ0.000
min402.000-401.000=1.000
max402.000-401.000=1.000
mean0.475-0.820=-0.345
σ0.315-0.508=-0.193
min0.320-0.571=-0.250
max1.037-1.729=-0.691
name=heavy_item.art
mean1.523-1.522=0.001
σ0.002-0.002=-0.000
min1.522-1.521=0.001
max1.526-1.525=0.001
mean402.000-401.000=1.000
σ0.000
min402.000-401.000=1.000
max402.000-401.000=1.000
mean0.213-0.391=-0.178
σ0.020-0.029=-0.009
min0.197-0.368=-0.171
max0.246-0.441=-0.195
name=nested_use.art
mean2.364-2.357=0.007
σ0.002
min2.363-2.356=0.007
max2.367-2.360=0.007
mean402.000-401.000=1.000
σ0.000
min402.000-401.000=1.000
max402.000-401.000=1.000
mean0.335-0.586=-0.251
σ0.015-0.029=-0.014
min0.318-0.562=-0.244
max0.356-0.636=-0.280

Parser: Real World

Factorallocated MiBpeak allocated MiBtime (sec)
name=aon_gpf25_7k_loc.art
mean964.979-964.840=0.139
σ0.009-0.011=-0.001
min964.974-964.835=0.139
max964.996-964.859=0.137
mean436.400-429.000=7.400
σ6.148-0.000=6.148
min431.000-429.000=2.000
max443.000-429.000=14.000
mean0.553-0.572=-0.019
σ0.049-0.074=-0.025
min0.480-0.483=-0.003
max0.593-0.679=-0.086
name=cdr_enhanced_4k_loc.art
mean886.001-885.820=0.181
σ0.002-0.002=-0.000
min886.000-885.819=0.181
max886.004-885.823=0.181
mean443.000-429.000=14.000
σ0.000
min443.000-429.000=14.000
max443.000-429.000=14.000
mean0.467-0.453=0.014
σ0.042-0.035=0.006
min0.424-0.416=0.008
max0.520-0.501=0.019

Parser: Record Parsing

Factorallocated MiBpeak allocated MiBtime (ms)
name=record_render_large_success.art
mean7.719-7.709=0.010
σ0.002
min7.718-7.708=0.010
max7.722-7.712=0.010
mean443.000-429.000=14.000
σ0.000
min443.000-429.000=14.000
max443.000-429.000=14.000
mean2.677-2.634=0.044
σ0.106-0.093=0.013
min2.531-2.466=0.065
max3.056-2.991=0.065
name=record_render_large_syntax_err.art
mean7.667-7.657=0.010
σ0.002
min7.666-7.656=0.010
max7.670-7.660=0.010
mean443.000-429.000=14.000
σ0.000
min443.000-429.000=14.000
max443.000-429.000=14.000
mean2.666-2.635=0.031
σ0.120-0.107=0.012
min2.480-2.432=0.048
max3.413-3.140=0.273
name=record_render_success.art
mean2.290-2.289=0.001
σ0.002
min2.290-2.289=0.001
max2.294-2.293=0.001
mean443.000-429.000=14.000
σ0.000
min443.000-429.000=14.000
max443.000-429.000=14.000
mean0.310-0.307=0.003
σ0.025-0.009=0.015
min0.291-0.292=-0.001
max0.540-0.367=0.173
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
mean443.000-429.000=14.000
σ0.000
min443.000-429.000=14.000
max443.000-429.000=14.000
mean0.294-0.297=-0.003
σ0.008-0.008=-0.000
min0.275-0.282=-0.006
max0.331-0.339=-0.008

Revision Creation

Factorallocated MiBpeak allocated MiBtime_s
number of threads=8
revision count=1000
mean11.206
σ11.665
min0.574
max91.892
mean467.413
σ20.373
min406.000
max484.000
mean0.026
σ0.028
min0.001
max0.218

SoV import

Factorallocated MiBpeak allocated MiBtime_s
iters=10
rows=1000
mean279.004-298.637=-19.633
σ1.055-1.000=0.056
min278.606-298.190=-19.584
max282.002-301.469=-19.466
mean443.900-441.500=2.400
σ16.196-12.295=3.901
min426.000-425.000=1.000
max469.000-462.000=7.000
mean0.580-0.606=-0.026
σ0.013-0.018=-0.005
min0.558-0.587=-0.029
max0.593-0.644=-0.051

Timed compile per phase

Factorallocated MiBpeak allocated MiBtime (ms)
phase=buildDeclTree
mean169.257-236.678=-67.420
σ0.000-0.000=0.000
min169.257-236.678=-67.420
max169.257-236.678=-67.420
mean848.000-1065.000=-217.000
σ0.000-33.941=-33.941
min848.000-981.000=-133.000
max848.000-1077.000=-229.000
mean202.481-206.949=-4.468
σ15.433-3.538=11.895
min188.583-198.643=-10.060
max237.333-209.726=27.607
phase=macro expansion
mean5.896-6.130=-0.234
σ0.000
min5.896-6.130=-0.234
max5.896-6.130=-0.234
mean848.000-1065.000=-217.000
σ0.000-33.941=-33.941
min848.000-981.000=-133.000
max848.000-1077.000=-229.000
mean6.233-8.065=-1.831
σ1.053-2.148=-1.094
min5.797-6.360=-0.563
max8.834-12.704=-3.870
phase=parser
mean1042.134-1042.363=-0.229
σ0.000-0.000=-0.000
min1042.134-1042.362=-0.228
max1042.134-1042.363=-0.229
mean848.000-1065.000=-217.000
σ0.000-33.941=-33.941
min848.000-981.000=-133.000
max848.000-1077.000=-229.000
mean404.630-491.964=-87.334
σ81.722-109.474=-27.752
min371.799-371.833=-0.034
max606.705-725.292=-118.587
phase=processProdDef
mean2243.717-4850.764=-2607.047
σ0.000-0.000=-0.000
min2243.717-4850.764=-2607.047
max2243.717-4850.765=-2607.047
mean848.000-1077.000=-229.000
σ0.000
min848.000-1077.000=-229.000
max848.000-1077.000=-229.000
mean2877.529-4568.491=-1690.962
σ349.611-489.623=-140.012
min2322.665-3784.059=-1461.394
max3230.083-5302.566=-2072.483
phase=renaming
mean21.436-21.671=-0.235
σ0.000
min21.436-21.671=-0.235
max21.436-21.671=-0.235
mean848.000-1065.000=-217.000
σ0.000-33.941=-33.941
min848.000-981.000=-133.000
max848.000-1077.000=-229.000
mean34.986-28.840=6.146
σ4.371-10.416=-6.045
min31.986-20.279=11.707
max45.296-48.638=-3.342
phase=type checker
mean958.600-990.450=-31.850
σ0.047-0.071=-0.024
min958.576-990.344=-31.768
max958.701-990.563=-31.862
mean848.000-1065.000=-217.000
σ0.000-33.941=-33.941
min848.000-981.000=-133.000
max848.000-1077.000=-229.000
mean644.923-732.040=-87.117
σ15.168-114.030=-98.862
min627.367-640.846=-13.479
max673.192-887.069=-213.877

Workflow: transactPolicy

Factorallocated MiBpeak allocated MiBtime
iters=5
new-facts=1
prior-facts=1
mean282.855-293.820=-10.966
σ0.039-0.038=0.001
min282.800-293.767=-10.967
max282.894-293.860=-10.966
mean439.400-441.200=-1.800
σ3.286-1.643=1.643
min437.000-440.000=-3.000
max443.000
mean0.382-0.393=-0.012
σ0.008-0.002=0.007
min0.377-0.392=-0.015
max0.397-0.397=-0.000
iters=5
new-facts=1
prior-facts=6402
mean1268.045-1320.197=-52.152
σ0.080-0.040=0.040
min1267.961-1320.160=-52.199
max1268.166-1320.243=-52.077
mean1082.400-1096.800=-14.400
σ179.801-196.710=-16.909
min870.000-841.000=29.000
max1323.000-1357.000=-34.000
mean1.949-2.259=-0.310
σ0.115-0.085=0.031
min1.787-2.155=-0.368
max2.109-2.367=-0.258
iters=5
new-facts=6402
prior-facts=1
mean1507.079-1560.681=-53.602
σ2.960-6.187=-3.228
min1505.585-1557.771=-52.186
max1512.366-1571.747=-59.381
mean633.400-631.800=1.600
σ89.879-96.552=-6.672
min497.000-519.000=-22.000
max731.000-756.000=-25.000
mean2.339-2.461=-0.122
σ0.289-0.233=0.055
min2.113-2.191=-0.079
max2.670-2.681=-0.011
iters=5
new-facts=6402
prior-facts=6402
mean1830.067-1882.169=-52.102
σ0.038-0.066=-0.028
min1830.008-1882.097=-52.089
max1830.096-1882.251=-52.155
mean1723.000-1732.000=-9.000
σ168.210-186.744=-18.535
min1486.000-1488.000=-2.000
max1881.000-1909.000=-28.000
mean2.968-3.144=-0.175
σ0.208-0.347=-0.139
min2.816-2.889=-0.074
max3.335-3.744=-0.409

newProductH/cdr_auton/broker

Factortime_s
iterations=5
mean1.753-1.859=-0.106
σ0.065-0.049=0.015
min1.680-1.800=-0.119
max1.821-1.937=-0.116

policy addition benchmark

Factorallocated MiBdb queriespeak allocated MiBtime
policies=2
mean406.199-452.079=-45.880
σ509.798-582.724=-72.926
min151.294-160.713=-9.419
max1170.895-1326.165=-155.270
mean101.750-102.250=-0.500
σ7.500-8.500=-1.000
min98.000
max113.000-115.000=-2.000
mean439.000-442.000=-3.000
σ0.000
min439.000-442.000=-3.000
max439.000-442.000=-3.000
mean0.483-0.522=-0.039
σ0.452-0.503=-0.051
min0.249-0.264=-0.015
max1.160-1.277=-0.116
policies=20
mean1513.142-1607.501=-94.359
σ0.277-0.413=-0.136
min1512.961-1607.221=-94.260
max1513.555-1608.112=-94.558
mean980.000
σ0.000
min980.000
max980.000
mean445.750-450.000=-4.250
σ4.500-9.238=-4.738
min439.000-442.000=-3.000
max448.000-458.000=-10.000
mean2.509-2.683=-0.174
σ0.010-0.017=-0.007
min2.499-2.666=-0.167
max2.523-2.705=-0.183
policies=200
mean15140.031-16083.400=-943.370
σ0.089-0.186=-0.097
min15139.953-16083.212=-943.259
max15140.158-16083.642=-943.484
mean9800.000
σ0.000
min9800.000
max9800.000
mean496.500-498.000=-1.500
σ5.196-3.367=1.830
min491.000-494.000=-3.000
max503.000-502.000=1.000
mean25.286-27.069=-1.783
σ0.098-0.065=0.033
min25.212-26.987=-1.775
max25.423-27.146=-1.723