Compare commits

Home / Compare c133610e .. 0d6cca1e

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

AST compact size (parser)

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

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
σ0.000
min446.633
max446.633

AST compact size (renaming)

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

AST compact size (type checker)

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

Aggregation: measureAggregations

Factorallocated MiBpeak allocated MiBtime_s
cache=n
dps=1
iters=10
policies=100
mean54.816-54.475=0.341
σ0.355-0.363=-0.007
min54.683-54.340=0.343
max55.826-55.506=0.319
mean415.000-414.000=1.000
σ0.000
min415.000-414.000=1.000
max415.000-414.000=1.000
mean0.148-0.137=0.011
σ0.010-0.006=0.003
min0.134-0.129=0.005
max0.163-0.147=0.016
cache=y
dps=1
iters=10
policies=100
mean43.847-43.764=0.083
σ0.006-0.006=-0.001
min43.838-43.756=0.082
max43.856-43.778=0.078
mean415.000-414.000=1.000
σ0.000
min415.000-414.000=1.000
max415.000-414.000=1.000
mean0.127-0.121=0.006
σ0.006-0.005=0.001
min0.121-0.114=0.008
max0.138-0.130=0.008

CSV - indexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
iterations=8
operation_display=column_set() on indexed
rows=200000
mean36.604
σ0.002
min36.603
max36.607
mean4282.875
σ1979.690
min1546.000
max7207.000
mean71.392
σ166.180
min12.460
max482.665
iterations=8
operation_display=column_set() on indexed, repeat
rows=200000
mean36.604
σ0.002
min36.603
max36.607
mean4282.875
σ1979.690
min1546.000
max7207.000
mean13.134
σ1.233
min12.045
max16.014
iterations=8
operation_display=table_records(), no indexes
rows=200000
mean41.922
σ0.002
min41.920
max41.924
mean7207.000
σ0.000
min7207.000
max7207.000
mean14.806
σ0.891
min12.769
max15.466
iterations=8
operation_display=table_records(), no indexes, repeat
rows=200000
mean41.921
σ0.002
min41.919
max41.924
mean7207.000
σ0.000
min7207.000
max7207.000
mean13.438
σ0.990
min12.005
max14.300
iterations=8
operation_display=table_records(), repeat
rows=200000
mean41.920
σ0.002
min41.919
max41.923
mean4166.500
σ1902.413
min1546.000
max7207.000
mean13.331
σ1.647
min10.782
max15.452
iterations=8
operation_display=vertical_lookup_list() on indexed, after table_records()
rows=200000
mean27.582
σ0.002
min27.581
max27.585
mean4166.500
σ1902.413
min1546.000
max7207.000
mean8.918
σ0.303
min8.444
max9.273
iterations=8
operation_display=vertical_lookup_list() on indexed, after table_records(), repeat
rows=200000
mean26.378
σ0.002
min26.377
max26.381
mean4166.500
σ1902.413
min1546.000
max7207.000
mean6.966
σ0.172
min6.628
max7.173
iterations=8
operation_display=vertical_lookup_row_list() on 2 indexed
rows=200000
mean25.647
σ0.002
min25.646
max25.650
mean4282.875
σ1979.690
min1546.000
max7207.000
mean6.019
σ0.174
min5.782
max6.310
iterations=8
operation_display=vertical_lookup_row_list() on 2 indexed, repeat
rows=200000
mean25.642
σ0.002
min25.640
max25.644
mean4282.875
σ1979.690
min1546.000
max7207.000
mean5.610
σ0.046
min5.535
max5.655
iterations=8
operation_display=vertical_lookup_row_list() on 3 (1 unindexed)
rows=200000
mean25.945
σ0.002
min25.944
max25.949
mean4282.875
σ1979.690
min1546.000
max7207.000
mean5.650
σ0.057
min5.563
max5.724
iterations=8
operation_display=vertical_lookup_row_list() on 3 (1 unindexed), repeat
rows=200000
mean25.945
σ0.002
min25.944
max25.948
mean4282.875
σ1979.690
min1546.000
max7207.000
mean5.654
σ0.260
min5.513
max6.291
op=column_set() on indexed
mean36.604
σ0.000
min36.604
max36.605
mean4411.500
σ2198.847
min1482.000
max7333.000
mean12.997
σ2.021
min11.895
max17.844
op=column_set() on indexed, repeat
mean36.604
σ0.000
min36.604
max36.605
mean4411.500
σ2198.847
min1482.000
max7333.000
mean13.244
σ2.178
min11.498
max18.413
op=table_records(), no indexes
mean41.940
σ0.002
min41.938
max41.942
mean7341.250
σ5.092
min7333.000
max7344.000
mean11.090
σ0.207
min10.775
max11.345
op=table_records(), repeat
mean41.925
σ0.000
min41.924
max41.925
mean4191.750
σ1937.478
min1482.000
max7333.000
mean11.838
σ1.535
min10.826
max15.507
op=vertical_lookup_list() on indexed, after table_records()
mean27.633
σ0.136
min27.584
max27.971
mean4191.750
σ1937.478
min1482.000
max7333.000
mean8.940
σ1.162
min7.918
max11.709
op=vertical_lookup_list() on indexed, after table_records(), repeat
mean26.384
σ0.000
min26.384
max26.384
mean4191.750
σ1937.478
min1482.000
max7333.000
mean6.750
σ1.026
min5.894
max9.167
op=vertical_lookup_row_list() on 2 indexed
mean25.662
σ0.004
min25.661
max25.673
mean4589.375
σ2232.160
min1482.000
max7333.000
mean6.658
σ1.105
min5.892
max9.174
op=vertical_lookup_row_list() on 3 (1 unindexed)
mean25.961
σ0.001
min25.960
max25.962
mean4589.375
σ2232.160
min1482.000
max7333.000
mean6.232
σ0.619
min5.819
max7.391

CSV - loading a lazy table

Factorallocated MiBpeak allocated MiBtime (ms)
iterations=8
operation_display=load_product(), no indexes
rows=200000
mean2524.578
σ0.002
min2524.577
max2524.581
mean7207.000
σ0.000
min7207.000
max7207.000
mean1395.902
σ586.981
min1040.899
max2644.519
iterations=8
operation_display=load_product(), with indexes
rows=200000
mean8744.542
σ0.035
min8744.528
max8744.627
mean3588.750
σ1816.721
min1072.000
max5818.000
mean4450.415
σ1443.883
min3495.886
max7334.860
op=load_product(), no indexes
mean1021.610
σ0.002
min1021.608
max1021.612
mean7339.875
σ5.693
min7333.000
max7344.000
mean373.405
σ83.308
min340.398
max579.500
op=load_product(), with indexes
mean3495.857
σ0.456
min3495.696
max3496.985
mean3762.750
σ2294.587
min720.000
max7333.000
mean1722.399
σ557.345
min1389.474
max2802.842

CSV - unindexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
iterations=8
operation_display=column_set() on unindexed, dense
rows=200000
mean62.064
σ0.002
min62.063
max62.067
mean4166.500
σ1902.413
min1546.000
max7207.000
mean77.208
σ6.208
min71.587
max89.427
iterations=8
operation_display=column_set() on unindexed, dense, repeat
rows=200000
mean62.065
σ0.002
min62.063
max62.067
mean4166.500
σ1902.413
min1546.000
max7207.000
mean77.537
σ6.267
min71.867
max89.233
iterations=8
operation_display=vertical_lookup_list() on unindexed missing Int
rows=200000
mean40.923
σ0.002
min40.921
max40.925
mean7207.000
σ0.000
min7207.000
max7207.000
mean101.618
σ7.079
min88.153
max106.438
iterations=8
operation_display=vertical_lookup_list() on unindexed missing Int, repeat
rows=200000
mean40.923
σ0.002
min40.922
max40.925
mean7207.000
σ0.000
min7207.000
max7207.000
mean101.598
σ7.273
min87.716
max106.440
iterations=8
operation_display=vertical_lookup_list() on unindexed unique Int near end
rows=200000
mean40.929
σ0.003
min40.927
max40.934
mean7207.000
σ0.000
min7207.000
max7207.000
mean104.975
σ6.078
min93.998
max112.431
iterations=8
operation_display=vertical_lookup_list() on unindexed unique Int near end, repeat
rows=200000
mean40.928
σ0.002
min40.927
max40.931
mean7207.000
σ0.000
min7207.000
max7207.000
mean101.587
σ7.109
min87.898
max106.363
iterations=8
operation_display=vertical_lookup_row_list() on unindexed small unique Int
rows=200000
mean66.673
σ0.002
min66.671
max66.675
mean7207.000
σ0.000
min7207.000
max7207.000
mean247.911
σ253.278
min139.147
max874.222
iterations=8
operation_display=vertical_lookup_row_list() on unindexed small unique Int, repeat
rows=200000
mean66.673
σ0.002
min66.671
max66.675
mean7207.000
σ0.000
min7207.000
max7207.000
mean156.279
σ12.790
min136.534
max165.989
op=column_set() on unindexed, dense, minor warmup
mean107.841
σ0.000
min107.841
max107.841
mean4411.500
σ2198.847
min1482.000
max7333.000
mean264.488
σ367.754
min127.282
max1174.382
op=column_set() on unindexed, dense, repeat
mean62.068
σ0.001
min62.065
max62.068
mean4411.500
σ2198.847
min1482.000
max7333.000
mean46.456
σ9.382
min41.827
max69.563
op=vertical_lookup_list() repeated on unindexed missing Int
mean40.926
σ0.002
min40.925
max40.928
mean7341.250
σ5.092
min7333.000
max7344.000
mean22.898
σ2.627
min21.459
max29.223
op=vertical_lookup_row_list() on unindexed small unique Int
mean71.293
σ0.002
min71.292
max71.296
mean7341.250
σ5.092
min7333.000
max7344.000
mean57.472
σ2.691
min55.465
max63.467

CSV - warmup

Factorallocated MiBpeak allocated MiBtime (ms)
iterations=8
operation_display=table_records()
rows=200000
mean11656.825
σ4.318
min11655.297
max11667.511
mean4166.500
σ1902.413
min1546.000
max7207.000
mean6561.504
σ1308.461
min4897.826
max8165.895
iterations=8
operation_display=vertical_lookup_list() on indexed
rows=200000
mean11560.044
σ0.002
min11560.043
max11560.047
mean7207.000
σ0.000
min7207.000
max7207.000
mean5786.861
σ1570.680
min4328.300
max7589.897
op=table_records()
mean4646.842
σ0.013
min4646.837
max4646.875
mean4191.750
σ1937.478
min1482.000
max7333.000
mean3246.546
σ730.923
min2530.894
max4343.790
op=vertical_lookup_list() on indexed
mean1973.829
σ0.002
min1973.827
max1973.831
mean7339.875
σ5.693
min7333.000
max7344.000
mean966.356
σ75.638
min920.623
max1118.653
op=vertical_lookup_list() on unindexed missing Int, minor warmup
mean905.083
σ0.002
min905.080
max905.086
mean7341.250
σ5.092
min7333.000
max7344.000
mean502.577
σ335.957
min372.767
max1333.938

CSV internal benchmark: pointedIndexFromKvs

Factorallocated MiBpeak allocated MiBtime (ms)
iterations=8
operation_display=pointedIndexFromKvs
rows=200000
mean172.663
σ0.008
min172.650
max172.671
mean485.250
σ0.707
min485.000
max487.000
mean391.682
σ21.256
min363.364
max416.727
iterations=8
operation_display=pointedIndexFromKvs
rows=400000
mean357.472
σ0.164
min357.321
max357.672
mean572.000
σ0.000
min572.000
max572.000
mean780.510
σ52.381
min669.856
max853.262
op=pointedIndexFromKvs
rows=200000
mean148.144
σ0.001
min148.144
max148.148
mean478.000
σ0.000
min478.000
max478.000
mean394.810
σ41.561
min309.671
max437.209
op=pointedIndexFromKvs
rows=400000
mean308.493
σ0.001
min308.493
max308.497
mean565.750
σ2.315
min562.000
max567.000
mean767.981
σ66.768
min627.902
max829.197

Marine Hull: transactPolicy

Factorallocated MiBpeak allocated MiBtime
datapoints=1
iterations=20
mean1024.563-1008.081=16.483
σ0.761-0.761=-0.000
min1024.092-1007.608=16.484
max1027.709-1011.228=16.481
mean1044.300-7207.000=-6162.700
σ309.624-0.000=309.624
min567.000-7207.000=-6640.000
max1499.000-7207.000=-5708.000
mean1.403-1.534=-0.131
σ0.141-0.158=-0.017
min1.299-1.393=-0.094
max1.891-1.927=-0.036

Parser: Comma Sep

Factorallocated MiBpeak allocated MiBtime (ms)
name=ambiguous_item.art
mean0.914-0.885=0.029
σ0.020-0.002=0.018
min0.904-0.883=0.021
max0.951-0.888=0.063
mean402.000-7207.000=-6805.000
σ0.000
min402.000-7207.000=-6805.000
max402.000-7207.000=-6805.000
mean0.474-0.333=0.141
σ0.460-0.114=0.346
min0.250-0.251=-0.001
max1.297-0.517=0.780
name=error_case.art
mean2.347-2.341=0.007
σ0.012-0.003=0.010
min2.341-2.339=0.002
max2.369-2.344=0.024
mean402.000-7207.000=-6805.000
σ0.000
min402.000-7207.000=-6805.000
max402.000-7207.000=-6805.000
mean0.899-0.649=0.249
σ0.568-0.091=0.477
min0.620-0.592=0.027
max1.914-0.810=1.104
name=heavy_item.art
mean1.525-1.524=0.001
σ0.002-0.002=0.000
min1.524-1.523=0.001
max1.528-1.527=0.001
mean402.000-7207.000=-6805.000
σ0.000
min402.000-7207.000=-6805.000
max402.000-7207.000=-6805.000
mean0.405-0.392=0.012
σ0.041-0.039=0.002
min0.372-0.357=0.015
max0.474-0.454=0.020
name=nested_use.art
mean2.365-2.363=0.002
σ0.002
min2.364-2.362=0.002
max2.368-2.366=0.002
mean402.000-7207.000=-6805.000
σ0.000
min402.000-7207.000=-6805.000
max402.000-7207.000=-6805.000
mean0.598-0.750=-0.152
σ0.030-0.164=-0.134
min0.573-0.610=-0.037
max0.648-0.985=-0.337

Parser: Real World

Factorallocated MiBpeak allocated MiBtime (sec)
name=aon_gpf25_7k_loc.art
mean966.287-964.866=1.420
σ0.009-0.023=-0.013
min966.281-964.840=1.441
max966.303-964.892=1.412
mean432.800-7207.000=-6774.200
σ0.447-0.000=0.447
min432.000-7207.000=-6775.000
max433.000-7207.000=-6774.000
mean0.712-0.808=-0.096
σ0.068-0.041=0.027
min0.610-0.752=-0.142
max0.762-0.846=-0.085
name=cdr_enhanced_4k_loc.art
mean886.717-885.675=1.043
σ0.002-0.005=-0.003
min886.716-885.666=1.050
max886.720-885.677=1.043
mean433.000-7207.000=-6774.000
σ0.000
min433.000-7207.000=-6774.000
max433.000-7207.000=-6774.000
mean0.441-0.706=-0.265
σ0.018-0.052=-0.033
min0.421-0.614=-0.193
max0.469-0.737=-0.268

Parser: Record Parsing

Factorallocated MiBpeak allocated MiBtime (ms)
name=record_render_large_success.art
mean7.722-7.719=0.003
σ0.002-0.002=-0.000
min7.721-7.718=0.003
max7.725-7.724=0.001
mean433.000-7207.000=-6774.000
σ0.000
min433.000-7207.000=-6774.000
max433.000-7207.000=-6774.000
mean2.615-4.262=-1.647
σ0.081-0.095=-0.014
min2.475-4.111=-1.637
max2.884-4.746=-1.862
name=record_render_large_syntax_err.art
mean7.670-7.667=0.003
σ0.002-0.002=-0.000
min7.670-7.666=0.003
max7.673-7.672=0.002
mean433.000-7207.000=-6774.000
σ0.000
min433.000-7207.000=-6774.000
max433.000-7207.000=-6774.000
mean2.606-4.247=-1.640
σ0.101-0.090=0.011
min2.434-4.103=-1.669
max3.076-4.584=-1.508
name=record_render_success.art
mean2.294-2.292=0.002
σ0.002
min2.293-2.291=0.002
max2.297-2.295=0.002
mean433.000-7207.000=-6774.000
σ0.000
min433.000-7207.000=-6774.000
max433.000-7207.000=-6774.000
mean0.311-0.750=-0.439
σ0.071-0.019=0.052
min0.285-0.722=-0.437
max1.011-0.878=0.133
name=record_render_syntax_err.art
mean2.169-2.167=0.002
σ0.002
min2.168-2.166=0.002
max2.172-2.170=0.002
mean433.000-7207.000=-6774.000
σ0.000
min433.000-7207.000=-6774.000
max433.000-7207.000=-6774.000
mean0.287-0.700=-0.412
σ0.007-0.045=-0.038
min0.274-0.512=-0.237
max0.315-0.791=-0.476

Revision Creation

Factorallocated MiBpeak allocated MiBtime_s
number of threads=8
revision count=1000
mean11.788
σ12.246
min0.574
max150.551
mean453.189
σ15.274
min410.000
max470.000
mean0.027
σ0.030
min0.001
max0.361

SoV import

Factorallocated MiBpeak allocated MiBtime_s
iters=10
rows=1000
mean298.889-297.490=1.398
σ0.963-0.245=0.718
min298.499-297.271=1.228
max301.623-298.156=3.467
mean441.400-7207.000=-6765.600
σ17.652-0.000=17.652
min415.000-7207.000=-6792.000
max464.000-7207.000=-6743.000
mean0.599-0.546=0.053
σ0.012-0.035=-0.023
min0.571-0.499=0.071
max0.611-0.580=0.031

Timed compile per phase

Factorallocated MiBpeak allocated MiBtime (ms)
phase=buildDeclTree
mean169.258
σ0.000
min169.258
max169.258
mean849.000
σ0.000
min849.000
max849.000
mean230.764
σ21.460
min189.238
max250.191
phase=macro expansion
mean5.900
σ0.000
min5.900
max5.900
mean849.000
σ0.000
min849.000
max849.000
mean6.809
σ1.522
min5.875
max9.284
phase=parser
mean1043.353
σ0.000
min1043.353
max1043.354
mean849.000
σ0.000
min849.000
max849.000
mean498.552
σ138.225
min373.765
max726.966
phase=processProdDef
mean2243.719
σ0.000
min2243.719
max2243.719
mean849.000
σ0.000
min849.000
max849.000
mean3025.722
σ382.810
min2437.239
max3387.998
phase=renaming
mean21.438
σ0.000
min21.438
max21.438
mean849.000
σ0.000
min849.000
max849.000
mean31.580
σ9.360
min19.496
max42.289
phase=type checker
mean958.597
σ0.047
min958.573
max958.698
mean849.000
σ0.000
min849.000
max849.000
mean650.607
σ50.617
min608.858
max750.940

Workflow: transactPolicy

Factorallocated MiBpeak allocated MiBtime
iters=5
new-facts=1
prior-facts=1
mean293.801-289.730=4.071
σ0.037-0.041=-0.004
min293.749-289.674=4.075
max293.839-289.777=4.062
mean444.200-7207.000=-6762.800
σ1.643-0.000=1.643
min443.000-7207.000=-6764.000
max447.000-7207.000=-6760.000
mean0.393-0.404=-0.011
σ0.006-0.010=-0.003
min0.387-0.387=0.000
max0.400-0.410=-0.010
iters=5
new-facts=1
prior-facts=6402
mean1320.259-1299.626=20.634
σ0.134-0.111=0.023
min1320.136-1299.484=20.652
max1320.479-1299.741=20.738
mean1101.400-7207.000=-6105.600
σ188.140-0.000=188.140
min886.000-7207.000=-6321.000
max1349.000-7207.000=-5858.000
mean1.913-1.843=0.070
σ0.047-0.055=-0.008
min1.846-1.794=0.052
max1.964-1.915=0.050
iters=5
new-facts=6402
prior-facts=1
mean1559.265-1542.594=16.671
σ2.967-4.055=-1.088
min1557.687-1540.614=17.073
max1564.553-1549.841=14.712
mean624.600-7207.000=-6582.400
σ70.847-0.000=70.847
min519.000-7207.000=-6688.000
max694.000-7207.000=-6513.000
mean2.305-2.231=0.074
σ0.237-0.117=0.120
min2.063-2.102=-0.039
max2.649-2.414=0.235
iters=5
new-facts=6402
prior-facts=6402
mean1882.312-1861.583=20.729
σ0.053-0.065=-0.012
min1882.250-1861.485=20.765
max1882.396-1861.642=20.754
mean1732.600-7207.000=-5474.400
σ177.933-0.000=177.933
min1485.000-7207.000=-5722.000
max1957.000-7207.000=-5250.000
mean2.881-2.904=-0.023
σ0.105-0.115=-0.010
min2.708-2.832=-0.125
max2.983-3.108=-0.125

newProductH/cdr_auton/broker

Factortime_s
iterations=5
mean1.786-1.405=0.381
σ0.076-0.157=-0.081
min1.667-1.255=0.412
max1.863-1.645=0.218

policy addition benchmark

Factorallocated MiBdb queriespeak allocated MiBtime
policies=2
mean415.707-442.117=-26.410
σ509.984-569.021=-59.037
min160.710-157.604=3.106
max1180.683-1295.649=-114.966
mean101.750-96.250=5.500
σ7.500-8.500=-1.000
min98.000-92.000=6.000
max113.000-109.000=4.000
mean433.000-7207.000=-6774.000
σ0.000
min433.000-7207.000=-6774.000
max433.000-7207.000=-6774.000
mean0.510-0.539=-0.028
σ0.499-0.547=-0.048
min0.259-0.261=-0.002
max1.259-1.359=-0.100
policies=20
mean1607.425-1576.317=31.107
σ0.332-0.331=0.001
min1607.184-1576.090=31.093
max1607.912-1576.808=31.104
mean980.000-920.000=60.000
σ0.000
min980.000-920.000=60.000
max980.000-920.000=60.000
mean442.000-7207.000=-6765.000
σ6.000-0.000=6.000
min433.000-7207.000=-6774.000
max445.000-7207.000=-6762.000
mean2.563-2.613=-0.050
σ0.020-0.028=-0.008
min2.538-2.586=-0.048
max2.582-2.645=-0.062
policies=200
mean16082.812-15771.428=311.384
σ0.126-0.108=0.018
min16082.670-15771.297=311.373
max16082.977-15771.556=311.421
mean9800.000-9200.000=600.000
σ0.000
min9800.000-9200.000=600.000
max9800.000-9200.000=600.000
mean495.500-7207.000=-6711.500
σ6.557-0.000=6.557
min489.000-7207.000=-6718.000
max504.000-7207.000=-6703.000
mean25.843-26.469=-0.626
σ0.160-0.140=0.020
min25.686-26.332=-0.645
max26.058-26.626=-0.568