Compare commits

Home / Compare 14a07f8c .. ed556f64

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

AST compact size (processProdDef)

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

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.697-54.524=0.173
σ0.363-0.371=-0.008
min54.559-54.375=0.184
max55.728-55.579=0.149
mean416.000-417.000=-1.000
σ0.000
min416.000-417.000=-1.000
max416.000-417.000=-1.000
mean0.139-0.142=-0.003
σ0.005-0.005=-0.000
min0.135-0.138=-0.003
max0.148-0.151=-0.003
cache=y
dps=1
iters=10
policies=100
mean43.779-43.766=0.013
σ0.008-0.005=0.003
min43.766-43.759=0.007
max43.791-43.777=0.014
mean416.000-417.000=-1.000
σ0.000
min416.000-417.000=-1.000
max416.000-417.000=-1.000
mean0.123-0.123=-0.001
σ0.004-0.005=-0.001
min0.119-0.119=0.000
max0.131-0.133=-0.002

CSV - indexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
iterations=8
operation_display=column_set() on indexed
rows=200000
mean36.617
σ0.002
min36.615
max36.620
mean4289.875
σ1982.843
min1548.000
max7212.000
mean105.899
σ263.631
min12.403
max758.352
iterations=8
operation_display=column_set() on indexed, repeat
rows=200000
mean36.617
σ0.002
min36.616
max36.620
mean4289.875
σ1982.843
min1548.000
max7212.000
mean13.755
σ3.136
min11.755
max21.354
iterations=8
operation_display=table_records(), no indexes
rows=200000
mean41.930
σ0.002
min41.928
max41.932
mean7212.000
σ0.000
min7212.000
max7212.000
mean14.830
σ0.778
min13.298
max15.316
iterations=8
operation_display=table_records(), no indexes, repeat
rows=200000
mean41.929
σ0.002
min41.928
max41.932
mean7212.000
σ0.000
min7212.000
max7212.000
mean13.574
σ0.909
min11.895
max14.362
iterations=8
operation_display=table_records(), repeat
rows=200000
mean41.929
σ0.002
min41.927
max41.931
mean4173.000
σ1904.988
min1548.000
max7212.000
mean13.089
σ1.223
min10.975
max14.231
iterations=8
operation_display=vertical_lookup_list() on indexed, after table_records()
rows=200000
mean27.605
σ0.003
min27.603
max27.611
mean4173.000
σ1904.988
min1548.000
max7212.000
mean9.154
σ0.416
min8.443
max9.539
iterations=8
operation_display=vertical_lookup_list() on indexed, after table_records(), repeat
rows=200000
mean26.400
σ0.002
min26.399
max26.403
mean4173.000
σ1904.988
min1548.000
max7212.000
mean7.157
σ0.299
min6.552
max7.418
iterations=8
operation_display=vertical_lookup_row_list() on 2 indexed
rows=200000
mean25.666
σ0.002
min25.664
max25.668
mean4289.875
σ1982.843
min1548.000
max7212.000
mean6.295
σ0.621
min5.936
max7.811
iterations=8
operation_display=vertical_lookup_row_list() on 2 indexed, repeat
rows=200000
mean25.661
σ0.002
min25.659
max25.663
mean4289.875
σ1982.843
min1548.000
max7212.000
mean5.894
σ0.583
min5.580
max7.324
iterations=8
operation_display=vertical_lookup_row_list() on 3 (1 unindexed)
rows=200000
mean25.969
σ0.002
min25.967
max25.971
mean4289.875
σ1982.843
min1548.000
max7212.000
mean5.930
σ0.633
min5.602
max7.491
iterations=8
operation_display=vertical_lookup_row_list() on 3 (1 unindexed), repeat
rows=200000
mean25.968
σ0.002
min25.967
max25.971
mean4289.875
σ1982.843
min1548.000
max7212.000
mean5.783
σ0.640
min5.513
max7.366
op=column_set() on indexed
mean36.605
σ0.000
min36.605
max36.605
mean4427.125
σ2230.102
min1484.000
max7413.000
mean13.622
σ3.564
min12.045
max22.405
op=column_set() on indexed, repeat
mean36.605
σ0.000
min36.605
max36.606
mean4608.625
σ2261.333
min1484.000
max7413.000
mean148.270
σ380.389
min11.666
max1089.639
op=table_records(), no indexes
mean41.940
σ0.002
min41.938
max41.943
mean7413.000
σ0.000
min7413.000
max7413.000
mean11.468
σ0.295
min11.097
max12.041
op=table_records(), repeat
mean41.925
σ0.000
min41.925
max41.925
mean4198.250
σ1957.137
min1484.000
max7413.000
mean11.668
σ0.972
min10.874
max14.002
op=vertical_lookup_list() on indexed, after table_records()
mean27.634
σ0.137
min27.585
max27.972
mean4198.250
σ1957.137
min1484.000
max7413.000
mean8.839
σ0.455
min8.275
max9.713
op=vertical_lookup_list() on indexed, after table_records(), repeat
mean26.385
σ0.000
min26.385
max26.385
mean4198.250
σ1957.137
min1484.000
max7413.000
mean6.390
σ0.678
min5.351
max7.752
op=vertical_lookup_row_list() on 2 indexed
mean25.663
σ0.004
min25.662
max25.674
mean4608.625
σ2261.333
min1484.000
max7413.000
mean6.659
σ1.238
min5.820
max8.849
op=vertical_lookup_row_list() on 3 (1 unindexed)
mean25.962
σ0.001
min25.962
max25.964
mean4608.625
σ2261.333
min1484.000
max7413.000
mean6.532
σ1.210
min5.783
max8.958

CSV - loading a lazy table

Factorallocated MiBpeak allocated MiBtime (ms)
iterations=8
operation_display=load_product(), no indexes
rows=200000
mean2524.596
σ0.002
min2524.594
max2524.597
mean7212.000
σ0.000
min7212.000
max7212.000
mean1461.696
σ681.193
min1025.959
max2799.332
iterations=8
operation_display=load_product(), with indexes
rows=200000
mean8744.561
σ0.040
min8744.545
max8744.661
mean3595.250
σ1821.424
min1075.000
max5832.000
mean4994.959
σ1590.015
min3522.422
max6936.968
op=load_product(), no indexes
mean1021.599
σ0.002
min1021.597
max1021.602
mean7413.000
σ0.000
min7413.000
max7413.000
mean345.684
σ1.487
min343.634
max347.554
op=load_product(), with indexes
mean3495.846
σ0.455
min3495.685
max3496.971
mean3772.000
σ2313.092
min720.000
max7413.000
mean1801.959
σ695.110
min1394.826
max3025.011

CSV - unindexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
iterations=8
operation_display=column_set() on unindexed, dense
rows=200000
mean62.077
σ0.002
min62.075
max62.080
mean4173.000
σ1904.988
min1548.000
max7212.000
mean77.398
σ6.130
min70.355
max87.598
iterations=8
operation_display=column_set() on unindexed, dense, repeat
rows=200000
mean62.077
σ0.002
min62.076
max62.080
mean4173.000
σ1904.988
min1548.000
max7212.000
mean78.197
σ6.101
min71.549
max88.292
iterations=8
operation_display=vertical_lookup_list() on unindexed missing Int
rows=200000
mean40.944
σ0.001
min40.944
max40.947
mean7212.000
σ0.000
min7212.000
max7212.000
mean103.333
σ7.808
min88.563
max108.988
iterations=8
operation_display=vertical_lookup_list() on unindexed missing Int, repeat
rows=200000
mean40.946
σ0.002
min40.944
max40.947
mean7212.000
σ0.000
min7212.000
max7212.000
mean103.321
σ7.871
min88.417
max108.952
iterations=8
operation_display=vertical_lookup_list() on unindexed unique Int near end
rows=200000
mean40.950
σ0.002
min40.949
max40.953
mean7212.000
σ0.000
min7212.000
max7212.000
mean105.737
σ8.570
min91.163
max113.195
iterations=8
operation_display=vertical_lookup_list() on unindexed unique Int near end, repeat
rows=200000
mean40.951
σ0.002
min40.949
max40.953
mean7212.000
σ0.000
min7212.000
max7212.000
mean103.562
σ8.012
min88.456
max108.991
iterations=8
operation_display=vertical_lookup_row_list() on unindexed small unique Int
rows=200000
mean66.687
σ0.002
min66.685
max66.690
mean7212.000
σ0.000
min7212.000
max7212.000
mean234.500
σ212.722
min138.625
max760.292
iterations=8
operation_display=vertical_lookup_row_list() on unindexed small unique Int, repeat
rows=200000
mean66.687
σ0.002
min66.685
max66.690
mean7212.000
σ0.000
min7212.000
max7212.000
mean156.369
σ14.551
min130.708
max167.691
op=column_set() on unindexed, dense, minor warmup
mean107.841
σ0.000
min107.841
max107.842
mean4198.250
σ1957.137
min1484.000
max7413.000
mean130.747
σ9.197
min125.313
max153.036
op=column_set() on unindexed, dense, repeat
mean62.069
σ0.001
min62.065
max62.070
mean4427.125
σ2230.102
min1484.000
max7413.000
mean174.918
σ373.576
min41.259
max1099.468
op=vertical_lookup_list() repeated on unindexed missing Int
mean40.927
σ0.002
min40.926
max40.930
mean7413.000
σ0.000
min7413.000
max7413.000
mean129.344
σ303.031
min21.640
max879.307
op=vertical_lookup_row_list() on unindexed small unique Int
mean71.294
σ0.002
min71.293
max71.297
mean7413.000
σ0.000
min7413.000
max7413.000
mean58.852
σ10.097
min54.517
max83.813

CSV - warmup

Factorallocated MiBpeak allocated MiBtime (ms)
iterations=8
operation_display=table_records()
rows=200000
mean11656.833
σ4.318
min11655.305
max11667.520
mean4173.000
σ1904.988
min1548.000
max7212.000
mean6972.420
σ1274.887
min4917.926
max8245.947
iterations=8
operation_display=vertical_lookup_list() on indexed
rows=200000
mean11560.065
σ0.001
min11560.064
max11560.068
mean7212.000
σ0.000
min7212.000
max7212.000
mean5682.008
σ1447.275
min4387.625
max7709.246
op=table_records()
mean4646.843
σ0.013
min4646.837
max4646.875
mean4198.250
σ1957.137
min1484.000
max7413.000
mean3289.084
σ696.782
min2500.229
max4153.895
op=vertical_lookup_list() on indexed
mean1973.830
σ0.002
min1973.829
max1973.833
mean7413.000
σ0.000
min7413.000
max7413.000
mean985.634
σ118.284
min911.951
max1242.397
op=vertical_lookup_list() on unindexed missing Int, minor warmup
mean905.084
σ0.002
min905.082
max905.087
mean7413.000
σ0.000
min7413.000
max7413.000
mean389.206
σ3.173
min381.528
max391.077

CSV internal benchmark: pointedIndexFromKvs

Factorallocated MiBpeak allocated MiBtime (ms)
iterations=8
operation_display=pointedIndexFromKvs
rows=200000
mean172.668
σ0.011
min172.655
max172.684
mean489.000
σ0.000
min489.000
max489.000
mean395.056
σ25.759
min348.961
max417.755
iterations=8
operation_display=pointedIndexFromKvs
rows=400000
mean357.469
σ0.163
min357.321
max357.700
mean566.000
σ0.000
min566.000
max566.000
mean770.243
σ69.486
min624.311
max856.119
op=pointedIndexFromKvs
rows=200000
mean148.144
σ0.001
min148.144
max148.148
mean476.000
σ0.000
min476.000
max476.000
mean357.760
σ37.792
min309.658
max419.044
op=pointedIndexFromKvs
rows=400000
mean308.493
σ0.001
min308.493
max308.497
mean562.000
σ0.000
min562.000
max562.000
mean754.699
σ43.281
min671.495
max806.361

Marine Hull: transactPolicy

Factorallocated MiBpeak allocated MiBtime
datapoints=1
iterations=20
mean964.559-1008.079=-43.520
σ1.880-0.761=1.119
min963.837-1007.606=-43.768
max972.510-1011.228=-38.718
mean1041.300-7212.000=-6170.700
σ308.263-0.000=308.263
min557.000-7212.000=-6655.000
max1491.000-7212.000=-5721.000
mean1.292-1.574=-0.282
σ0.169-0.133=0.036
min1.180-1.362=-0.182
max1.790-1.871=-0.081

Parser: Comma Sep

Factorallocated MiBpeak allocated MiBtime (ms)
name=ambiguous_item.art
mean0.913-0.883=0.030
σ0.020-0.002=0.018
min0.903-0.881=0.022
max0.949-0.886=0.064
mean402.000-7212.000=-6810.000
σ0.000
min402.000-7212.000=-6810.000
max402.000-7212.000=-6810.000
mean0.297-0.326=-0.029
σ0.295-0.124=0.170
min0.131-0.258=-0.127
max0.819-0.548=0.272
name=error_case.art
mean2.346-2.333=0.013
σ0.012-0.003=0.010
min2.340-2.332=0.008
max2.368-2.337=0.031
mean402.000-7212.000=-6810.000
σ0.000
min402.000-7212.000=-6810.000
max402.000-7212.000=-6810.000
mean0.474-0.653=-0.179
σ0.318-0.078=0.240
min0.322-0.604=-0.281
max1.043-0.792=0.250
name=heavy_item.art
mean1.523-1.521=0.002
σ0.002-0.002=-0.000
min1.522-1.520=0.002
max1.526-1.524=0.002
mean402.000-7212.000=-6810.000
σ0.000
min402.000-7212.000=-6810.000
max402.000-7212.000=-6810.000
mean0.233-0.388=-0.155
σ0.019-0.032=-0.013
min0.209-0.361=-0.151
max0.255-0.443=-0.188
name=nested_use.art
mean2.364-2.355=0.009
σ0.002
min2.363-2.355=0.009
max2.367-2.358=0.009
mean402.000-7212.000=-6810.000
σ0.000
min402.000-7212.000=-6810.000
max402.000-7212.000=-6810.000
mean0.332-0.756=-0.423
σ0.019-0.116=-0.096
min0.315-0.603=-0.288
max0.363-0.852=-0.489

Parser: Real World

Factorallocated MiBpeak allocated MiBtime (sec)
name=aon_gpf25_7k_loc.art
mean964.978-963.552=1.426
σ0.009-0.022=-0.012
min964.973-963.527=1.446
max964.995-963.577=1.418
mean431.000-7212.000=-6781.000
σ0.000
min431.000-7212.000=-6781.000
max431.000-7212.000=-6781.000
mean0.494-0.804=-0.310
σ0.058-0.051=0.007
min0.420-0.724=-0.305
max0.575-0.845=-0.269
name=cdr_enhanced_4k_loc.art
mean886.000-884.854=1.147
σ0.002-0.007=-0.006
min885.999-884.847=1.152
max886.003-884.864=1.139
mean431.000-7212.000=-6781.000
σ0.000
min431.000-7212.000=-6781.000
max431.000-7212.000=-6781.000
mean0.490-0.685=-0.195
σ0.062-0.058=0.003
min0.379-0.597=-0.217
max0.525-0.739=-0.214

Parser: Record Parsing

Factorallocated MiBpeak allocated MiBtime (ms)
name=record_render_large_success.art
mean7.719-7.706=0.012
σ0.002-0.002=0.000
min7.718-7.705=0.013
max7.722-7.709=0.013
mean431.000-7212.000=-6781.000
σ0.000
min431.000-7212.000=-6781.000
max431.000-7212.000=-6781.000
mean2.634-4.226=-1.592
σ0.095-0.065=0.029
min2.485-4.112=-1.627
max3.052-4.506=-1.454
name=record_render_large_syntax_err.art
mean7.667-7.655=0.012
σ0.002-0.002=-0.000
min7.666-7.654=0.012
max7.670-7.658=0.012
mean431.000-7212.000=-6781.000
σ0.000
min431.000-7212.000=-6781.000
max431.000-7212.000=-6781.000
mean2.624-4.220=-1.596
σ0.119-0.107=0.012
min2.438-3.548=-1.110
max3.010-4.623=-1.613
name=record_render_success.art
mean2.290-2.288=0.003
σ0.002
min2.290-2.287=0.003
max2.294-2.291=0.003
mean431.000-7212.000=-6781.000
σ0.000
min431.000-7212.000=-6781.000
max431.000-7212.000=-6781.000
mean0.301-0.757=-0.455
σ0.009-0.028=-0.019
min0.283-0.719=-0.436
max0.359-0.936=-0.577
name=record_render_syntax_err.art
mean2.166-2.163=0.002
σ0.002
min2.165-2.163=0.002
max2.169-2.166=0.002
mean431.000-7212.000=-6781.000
σ0.000
min431.000-7212.000=-6781.000
max431.000-7212.000=-6781.000
mean0.295-0.718=-0.423
σ0.012-0.015=-0.003
min0.280-0.684=-0.404
max0.366-0.789=-0.423

Revision Creation

Factorallocated MiBpeak allocated MiBtime_s
number of threads=8
revision count=1000
mean12.083
σ11.899
min0.574
max85.449
mean459.134
σ20.594
min408.000
max481.000
mean0.027
σ0.029
min0.001
max0.210

SoV import

Factorallocated MiBpeak allocated MiBtime_s
iters=10
rows=1000
mean278.907-297.407=-18.500
σ1.002-0.233=0.769
min278.396-297.256=-18.860
max281.735-298.052=-16.317
mean442.400-7212.000=-6769.600
σ13.970-0.000=13.970
min423.000-7212.000=-6789.000
max465.000-7212.000=-6747.000
mean0.580-0.550=0.030
σ0.016-0.033=-0.017
min0.542-0.513=0.030
max0.602-0.590=0.012

Timed compile per phase

Factorallocated MiBpeak allocated MiBtime (ms)
phase=buildDeclTree
mean106.546
σ0.000
min106.546
max106.546
mean848.000
σ0.000
min848.000
max848.000
mean148.520
σ11.525
min134.868
max163.110
phase=macro expansion
mean5.894
σ0.000
min5.894
max5.894
mean848.000
σ0.000
min848.000
max848.000
mean8.651
σ0.612
min7.145
max8.970
phase=parser
mean1042.130
σ0.000
min1042.130
max1042.131
mean848.000
σ0.000
min848.000
max848.000
mean580.528
σ39.084
min494.339
max609.929
phase=processProdDef
mean2241.195
σ0.000
min2241.195
max2241.195
mean848.000
σ0.000
min848.000
max848.000
mean3044.506
σ242.529
min2675.616
max3283.430
phase=renaming
mean21.433
σ0.000
min21.433
max21.433
mean848.000
σ0.000
min848.000
max848.000
mean46.006
σ3.286
min38.767
max49.180
phase=type checker
mean958.462
σ0.047
min958.439
max958.564
mean848.000
σ0.000
min848.000
max848.000
mean664.041
σ16.227
min632.209
max684.461

Workflow: transactPolicy

Factorallocated MiBpeak allocated MiBtime
iters=5
new-facts=1
prior-facts=1
mean282.856-289.725=-6.869
σ0.037-0.043=-0.006
min282.801-289.666=-6.864
max282.891-289.785=-6.894
mean442.400-7212.000=-6769.600
σ0.548-0.000=0.548
min442.000-7212.000=-6770.000
max443.000-7212.000=-6769.000
mean0.375-0.405=-0.031
σ0.004-0.022=-0.017
min0.371-0.388=-0.017
max0.382-0.441=-0.059
iters=5
new-facts=1
prior-facts=6402
mean1268.049-1299.653=-31.603
σ0.110-0.082=0.027
min1267.946-1299.573=-31.627
max1268.228-1299.768=-31.540
mean1085.000-7212.000=-6127.000
σ163.371-0.000=163.371
min890.000-7212.000=-6322.000
max1307.000-7212.000=-5905.000
mean2.031-1.959=0.072
σ0.111-0.156=-0.044
min1.852-1.809=0.043
max2.128-2.209=-0.081
iters=5
new-facts=6402
prior-facts=1
mean1507.024-1542.628=-35.604
σ2.960-4.076=-1.116
min1505.472-1540.582=-35.110
max1512.309-1549.911=-37.603
mean622.600-7212.000=-6589.400
σ87.446-0.000=87.446
min493.000-7212.000=-6719.000
max725.000-7212.000=-6487.000
mean2.230-2.323=-0.094
σ0.212-0.236=-0.024
min2.056-2.068=-0.012
max2.591-2.650=-0.060
iters=5
new-facts=6402
prior-facts=6402
mean1830.059-1861.595=-31.536
σ0.040-0.066=-0.026
min1830.002-1861.505=-31.503
max1830.097-1861.666=-31.568
mean1723.200-7212.000=-5488.800
σ173.120-0.000=173.120
min1474.000-7212.000=-5738.000
max1883.000-7212.000=-5329.000
mean3.051-2.886=0.165
σ0.364-0.092=0.273
min2.830-2.794=0.035
max3.700-3.040=0.660

newProductH/cdr_auton/broker

Factortime_s
iterations=5
mean1.643-1.505=0.137
σ0.102-0.315=-0.213
min1.534-1.265=0.269
max1.804-1.855=-0.050

policy addition benchmark

Factorallocated MiBdb queriespeak allocated MiBtime
policies=2
mean405.944-446.144=-40.200
σ509.285-577.065=-67.780
min151.299-157.607=-6.308
max1169.872-1311.741=-141.869
mean101.750-96.250=5.500
σ7.500-8.500=-1.000
min98.000-92.000=6.000
max113.000-109.000=4.000
mean444.000-7212.000=-6768.000
σ0.000
min444.000-7212.000=-6768.000
max444.000-7212.000=-6768.000
mean0.500-0.538=-0.038
σ0.505-0.537=-0.032
min0.243-0.264=-0.020
max1.258-1.344=-0.086
policies=20
mean1513.131-1576.385=-63.254
σ0.263-0.350=-0.087
min1512.959-1576.150=-63.191
max1513.520-1576.904=-63.384
mean980.000-920.000=60.000
σ0.000
min980.000-920.000=60.000
max980.000-920.000=60.000
mean452.250-7212.000=-6759.750
σ10.112-0.000=10.112
min444.000-7212.000=-6768.000
max467.000-7212.000=-6745.000
mean2.494-2.620=-0.126
σ0.012-0.020=-0.008
min2.478-2.597=-0.119
max2.509-2.647=-0.138
policies=200
mean15140.011-15771.968=-631.957
σ0.108-0.074=0.034
min15139.913-15771.867=-631.954
max15140.154-15772.042=-631.887
mean9800.000-9200.000=600.000
σ0.000
min9800.000-9200.000=600.000
max9800.000-9200.000=600.000
mean498.250-7212.000=-6713.750
σ4.272-0.000=4.272
min493.000-7212.000=-6719.000
max503.000-7212.000=-6709.000
mean24.987-26.526=-1.539
σ0.122-0.121=0.001
min24.913-26.444=-1.531
max25.170-26.702=-1.532