88ea7f0d68a1d2f9c48107476400253201d49528

Home / Branches / alexjeffery/parse-port-type-ascription / 88ea7f0d68a1d2f9c48107476400253201d49528

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
mean57.825
σ0.363
min57.676
max58.858
mean418.000
σ0.000
min418.000
max418.000
mean0.147
σ0.004
min0.144
max0.153
cache=y
dps=1
iters=10
policies=100
mean46.897
σ0.006
min46.886
max46.904
mean418.000
σ0.000
min418.000
max418.000
mean0.129
σ0.004
min0.126
max0.137

CSV - indexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on indexed
mean36.605
σ0.000
min36.605
max36.606
mean3953.375
σ1942.199
min1333.000
max7296.000
mean12.279
σ0.204
min11.978
max12.653
op=column_set() on indexed, repeat
mean36.606
σ0.000
min36.606
max36.606
mean3953.375
σ1942.199
min1333.000
max7296.000
mean12.875
σ0.086
min12.755
max13.034
op=table_records(), no indexes
mean41.941
σ0.002
min41.939
max41.944
mean7481.500
σ198.308
min7296.000
max7667.000
mean11.150
σ0.194
min10.914
max11.512
op=table_records(), repeat
mean41.926
σ0.000
min41.925
max41.926
mean3953.375
σ1942.199
min1333.000
max7296.000
mean11.334
σ0.182
min11.079
max11.710
op=vertical_lookup_list() on indexed, after table_records()
mean27.634
σ0.137
min27.586
max27.973
mean3953.375
σ1942.199
min1333.000
max7296.000
mean8.703
σ0.109
min8.581
max8.907
op=vertical_lookup_list() on indexed, after table_records(), repeat
mean26.386
σ0.000
min26.386
max26.386
mean3953.375
σ1942.199
min1333.000
max7296.000
mean6.400
σ0.338
min5.914
max6.958
op=vertical_lookup_row_list() on 2 indexed
mean25.664
σ0.004
min25.662
max25.675
mean3953.375
σ1942.199
min1333.000
max7296.000
mean5.843
σ0.309
min5.312
max6.228
op=vertical_lookup_row_list() on 3 (1 unindexed)
mean25.963
σ0.000
min25.963
max25.964
mean3953.375
σ1942.199
min1333.000
max7296.000
mean5.650
σ0.314
min5.266
max5.943

CSV - loading a lazy table

Factorallocated MiBpeak allocated MiBtime (ms)
op=load_product(), no indexes
mean1021.600
σ0.002
min1021.598
max1021.602
mean7435.125
σ192.011
min7296.000
max7667.000
mean350.864
σ1.514
min349.238
max353.347
op=load_product(), with indexes
mean3495.849
σ0.460
min3495.686
max3496.988
mean3557.250
σ2271.361
min639.000
max7296.000
mean1922.317
σ865.887
min1396.076
max3610.754

CSV - unindexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on unindexed, dense, minor warmup
mean107.842
σ0.000
min107.842
max107.843
mean3953.375
σ1942.199
min1333.000
max7296.000
mean132.632
σ8.253
min126.338
max150.796
op=column_set() on unindexed, dense, repeat
mean62.069
σ0.001
min62.066
max62.070
mean3953.375
σ1942.199
min1333.000
max7296.000
mean44.019
σ2.371
min41.546
max47.925
op=vertical_lookup_list() repeated on unindexed missing Int
mean40.928
σ0.002
min40.926
max40.930
mean7481.500
σ198.308
min7296.000
max7667.000
mean21.944
σ0.309
min21.724
max22.662
op=vertical_lookup_row_list() on unindexed small unique Int
mean71.295
σ0.002
min71.294
max71.298
mean7481.500
σ198.308
min7296.000
max7667.000
mean55.914
σ0.505
min55.311
max56.838

CSV - warmup

Factorallocated MiBpeak allocated MiBtime (ms)
op=table_records()
mean4646.843
σ0.014
min4646.838
max4646.878
mean3953.375
σ1942.199
min1333.000
max7296.000
mean3477.514
σ1027.704
min2506.597
max5102.501
op=vertical_lookup_list() on indexed
mean1973.831
σ0.002
min1973.829
max1973.833
mean7481.500
σ198.308
min7296.000
max7667.000
mean1038.365
σ303.686
min923.187
max1789.845
op=vertical_lookup_list() on unindexed missing Int, minor warmup
mean905.084
σ0.002
min905.082
max905.088
mean7481.500
σ198.308
min7296.000
max7667.000
mean395.783
σ3.094
min391.376
max400.759

CSV internal benchmark: pointedIndexFromKvs

Factorallocated MiBpeak allocated MiBtime (ms)
op=pointedIndexFromKvs
rows=200000
mean148.144
σ0.001
min148.144
max148.148
mean477.250
σ0.463
min477.000
max478.000
mean383.114
σ37.514
min303.459
max420.270
op=pointedIndexFromKvs
rows=400000
mean308.493
σ0.001
min308.493
max308.497
mean557.000
σ0.000
min557.000
max557.000
mean758.958
σ38.688
min703.315
max805.771

Marine Hull: transactPolicy

Factorallocated MiBpeak allocated MiBtime
datapoints=1
iterations=20
mean976.917
σ2.439
min976.072
max987.250
mean1049.250
σ317.601
min561.000
max1517.000
mean1.285
σ0.099
min1.202
max1.519

Parser: Comma Sep

Factorallocated MiBpeak allocated MiBtime (ms)
name=ambiguous_item.art
mean0.913
σ0.020
min0.903
max0.949
mean402.000
σ0.000
min402.000
max402.000
mean0.300
σ0.300
min0.142
max0.832
name=error_case.art
mean2.347
σ0.012
min2.340
max2.369
mean402.000
σ0.000
min402.000
max402.000
mean0.476
σ0.325
min0.315
max1.057
name=heavy_item.art
mean1.523
σ0.002
min1.522
max1.526
mean402.000
σ0.000
min402.000
max402.000
mean0.210
σ0.022
min0.191
max0.247
name=nested_use.art
mean2.365
σ0.002
min2.364
max2.368
mean402.000
σ0.000
min402.000
max402.000
mean0.325
σ0.014
min0.310
max0.347

Parser: Real World

Factorallocated MiBpeak allocated MiBtime (sec)
name=aon_gpf25_7k_loc.art
mean965.086
σ0.009
min965.081
max965.103
mean431.000
σ0.000
min431.000
max431.000
mean0.566
σ0.020
min0.537
max0.586
name=cdr_enhanced_4k_loc.art
mean886.468
σ0.002
min886.467
max886.470
mean431.000
σ0.000
min431.000
max431.000
mean0.508
σ0.013
min0.486
max0.517

Parser: Record Parsing

Factorallocated MiBpeak allocated MiBtime (ms)
name=record_render_large_success.art
mean7.719
σ0.002
min7.718
max7.722
mean431.000
σ0.000
min431.000
max431.000
mean2.152
σ0.393
min1.746
max2.876
name=record_render_large_syntax_err.art
mean7.668
σ0.002
min7.667
max7.671
mean431.000
σ0.000
min431.000
max431.000
mean2.611
σ0.095
min2.465
max2.956
name=record_render_success.art
mean2.290
σ0.002
min2.290
max2.294
mean431.000
σ0.000
min431.000
max431.000
mean0.302
σ0.009
min0.289
max0.350
name=record_render_syntax_err.art
mean2.166
σ0.002
min2.165
max2.169
mean431.000
σ0.000
min431.000
max431.000
mean0.287
σ0.007
min0.274
max0.321

Revision Creation

Factorallocated MiBpeak allocated MiBtime_s
number of threads=8
revision count=1000
mean11.452
σ11.985
min0.574
max84.015
mean460.075
σ20.453
min406.000
max476.000
mean0.026
σ0.029
min0.001
max0.212

SoV import

Factorallocated MiBpeak allocated MiBtime_s
iters=10
rows=1000
mean293.857
σ1.061
min293.355
max296.860
mean442.900
σ18.430
min417.000
max467.000
mean0.597
σ0.018
min0.556
max0.623

Timed compile per phase

Factorallocated MiBpeak allocated MiBtime (ms)
phase=buildDeclTree
mean106.546
σ0.000
min106.546
max106.546
mean850.000
σ0.000
min850.000
max850.000
mean147.816
σ10.771
min134.017
max162.170
phase=macro expansion
mean5.897
σ0.000
min5.897
max5.897
mean850.000
σ0.000
min850.000
max850.000
mean8.293
σ2.048
min5.781
max11.777
phase=parser
mean1042.246
σ0.000
min1042.246
max1042.247
mean850.000
σ0.000
min850.000
max850.000
mean520.450
σ125.050
min366.105
max712.426
phase=processProdDef
mean2241.197
σ0.000
min2241.197
max2241.197
mean850.000
σ0.000
min850.000
max850.000
mean2549.748
σ464.236
min1863.594
max3339.782
phase=renaming
mean21.430
σ0.000
min21.430
max21.430
mean850.000
σ0.000
min850.000
max850.000
mean39.038
σ6.756
min25.121
max47.222
phase=type checker
mean958.462
σ0.047
min958.439
max958.564
mean850.000
σ0.000
min850.000
max850.000
mean691.717
σ70.050
min604.987
max815.088

Workflow: transactPolicy

Factorallocated MiBpeak allocated MiBtime
iters=5
new-facts=1
prior-facts=1
mean327.855
σ0.038
min327.804
max327.893
mean440.200
σ4.025
min434.000
max445.000
mean0.432
σ0.004
min0.427
max0.439
iters=5
new-facts=1
prior-facts=6402
mean1313.052
σ0.144
min1312.959
max1313.302
mean1097.400
σ180.460
min888.000
max1332.000
mean1.987
σ0.228
min1.834
max2.389
iters=5
new-facts=6402
prior-facts=1
mean1552.061
σ3.036
min1550.519
max1557.483
mean605.000
σ72.066
min504.000
max683.000
mean2.277
σ0.164
min2.059
max2.432
iters=5
new-facts=6402
prior-facts=6402
mean1875.061
σ0.044
min1875.003
max1875.117
mean1741.600
σ155.133
min1504.000
max1932.000
mean2.899
σ0.044
min2.861
max2.957

newProductH/cdr_auton/broker

Factortime_s
iterations=5
mean1.620
σ0.087
min1.486
max1.702

policy addition benchmark

Factorallocated MiBdb queriespeak allocated MiBtime
policies=2
mean419.420
σ508.919
min164.958
max1182.799
mean101.250
σ6.500
min98.000
max111.000
mean432.000
σ0.000
min432.000
max432.000
mean0.527
σ0.511
min0.261
max1.294
policies=20
mean1649.827
σ0.379
min1649.610
max1650.395
mean980.000
σ0.000
min980.000
max980.000
mean452.750
σ11.295
min439.000
max462.000
mean2.657
σ0.009
min2.649
max2.669
policies=200
mean16506.079
σ0.137
min16505.931
max16506.259
mean9800.000
σ0.000
min9800.000
max9800.000
mean500.750
σ5.377
min494.000
max506.000
mean26.718
σ0.071
min26.621
max26.779