e9bf3ac8dfc922291998fde06b6465fbcfb9335e

Home / Branches / alexjeffery/parse-port-type-ascription / e9bf3ac8dfc922291998fde06b6465fbcfb9335e

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.824
σ0.360
min57.680
max58.848
mean419.000
σ0.000
min419.000
max419.000
mean0.148
σ0.004
min0.143
max0.155
cache=y
dps=1
iters=10
policies=100
mean46.899
σ0.005
min46.892
max46.908
mean419.000
σ0.000
min419.000
max419.000
mean0.130
σ0.003
min0.128
max0.136

CSV - indexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on indexed
mean36.605
σ0.000
min36.605
max36.606
mean4046.375
σ2010.805
min1336.000
max7464.000
mean11.909
σ0.182
min11.589
max12.120
op=column_set() on indexed, repeat
mean36.606
σ0.000
min36.606
max36.606
mean4046.375
σ2010.805
min1336.000
max7464.000
mean11.563
σ0.617
min10.721
max12.445
op=table_records(), no indexes
mean41.940
σ0.002
min41.939
max41.943
mean7611.000
σ157.150
min7464.000
max7758.000
mean10.861
σ0.136
min10.653
max11.050
op=table_records(), repeat
mean41.925
σ0.000
min41.925
max41.926
mean4046.375
σ2010.805
min1336.000
max7464.000
mean10.877
σ0.144
min10.726
max11.100
op=vertical_lookup_list() on indexed, after table_records()
mean27.635
σ0.136
min27.586
max27.973
mean4046.375
σ2010.805
min1336.000
max7464.000
mean8.476
σ0.326
min7.917
max9.000
op=vertical_lookup_list() on indexed, after table_records(), repeat
mean26.386
σ0.000
min26.386
max26.386
mean4046.375
σ2010.805
min1336.000
max7464.000
mean6.529
σ0.121
min6.357
max6.673
op=vertical_lookup_row_list() on 2 indexed
mean25.664
σ0.004
min25.662
max25.675
mean4046.375
σ2010.805
min1336.000
max7464.000
mean5.600
σ0.181
min5.231
max5.830
op=vertical_lookup_row_list() on 3 (1 unindexed)
mean25.963
σ0.001
min25.963
max25.964
mean4046.375
σ2010.805
min1336.000
max7464.000
mean5.393
σ0.107
min5.192
max5.535

CSV - loading a lazy table

Factorallocated MiBpeak allocated MiBtime (ms)
op=load_product(), no indexes
mean1021.600
σ0.002
min1021.598
max1021.602
mean7574.250
σ152.159
min7464.000
max7758.000
mean349.347
σ3.912
min345.263
max357.872
op=load_product(), with indexes
mean3495.849
σ0.460
min3495.686
max3496.988
mean3384.250
σ1950.559
min637.000
max5430.000
mean1717.290
σ582.005
min1395.421
max2753.708

CSV - unindexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on unindexed, dense, minor warmup
mean107.842
σ0.000
min107.842
max107.843
mean4046.375
σ2010.805
min1336.000
max7464.000
mean126.479
σ9.030
min115.891
max144.692
op=column_set() on unindexed, dense, repeat
mean62.069
σ0.001
min62.066
max62.070
mean4046.375
σ2010.805
min1336.000
max7464.000
mean42.389
σ1.923
min40.766
max46.439
op=vertical_lookup_list() repeated on unindexed missing Int
mean40.928
σ0.002
min40.926
max40.930
mean7611.000
σ157.150
min7464.000
max7758.000
mean21.982
σ0.491
min21.547
max23.012
op=vertical_lookup_row_list() on unindexed small unique Int
mean71.295
σ0.002
min71.294
max71.298
mean7611.000
σ157.150
min7464.000
max7758.000
mean56.203
σ0.935
min55.212
max58.039

CSV - warmup

Factorallocated MiBpeak allocated MiBtime (ms)
op=table_records()
mean4646.843
σ0.013
min4646.838
max4646.876
mean4046.375
σ2010.805
min1336.000
max7464.000
mean3543.371
σ851.931
min2509.700
max4779.940
op=vertical_lookup_list() on indexed
mean1973.831
σ0.002
min1973.829
max1973.833
mean7611.000
σ157.150
min7464.000
max7758.000
mean1002.913
σ165.300
min917.181
max1373.700
op=vertical_lookup_list() on unindexed missing Int, minor warmup
mean905.084
σ0.002
min905.082
max905.088
mean7611.000
σ157.150
min7464.000
max7758.000
mean391.201
σ4.888
min383.921
max395.899

CSV internal benchmark: pointedIndexFromKvs

Factorallocated MiBpeak allocated MiBtime (ms)
op=pointedIndexFromKvs
rows=200000
mean148.144
σ0.001
min148.144
max148.148
mean477.500
σ0.926
min476.000
max478.000
mean390.922
σ20.208
min364.843
max423.887
op=pointedIndexFromKvs
rows=400000
mean308.493
σ0.001
min308.493
max308.497
mean558.500
σ1.414
min558.000
max562.000
mean778.515
σ33.141
min715.771
max813.174

Marine Hull: transactPolicy

Factorallocated MiBpeak allocated MiBtime
datapoints=1
iterations=20
mean976.918
σ2.438
min976.070
max987.250
mean1050.150
σ317.293
min562.000
max1517.000
mean1.292
σ0.100
min1.212
max1.570

Parser: Comma Sep

Factorallocated MiBpeak allocated MiBtime (ms)
name=ambiguous_item.art
mean0.913
σ0.020
min0.903
max0.949
mean401.000
σ0.000
min401.000
max401.000
mean0.392
σ0.481
min0.142
max1.249
name=error_case.art
mean2.347
σ0.012
min2.340
max2.369
mean401.000
σ0.000
min401.000
max401.000
mean0.435
σ0.194
min0.341
max0.781
name=heavy_item.art
mean1.523
σ0.002
min1.522
max1.526
mean401.000
σ0.000
min401.000
max401.000
mean0.219
σ0.023
min0.201
max0.257
name=nested_use.art
mean2.365
σ0.002
min2.364
max2.368
mean401.000
σ0.000
min401.000
max401.000
mean0.336
σ0.018
min0.318
max0.366

Parser: Real World

Factorallocated MiBpeak allocated MiBtime (sec)
name=aon_gpf25_7k_loc.art
mean965.083
σ0.009
min965.078
max965.100
mean430.000
σ0.000
min430.000
max430.000
mean0.561
σ0.056
min0.480
max0.617
name=cdr_enhanced_4k_loc.art
mean886.465
σ0.002
min886.463
max886.467
mean430.000
σ0.000
min430.000
max430.000
mean0.507
σ0.017
min0.491
max0.528

Parser: Record Parsing

Factorallocated MiBpeak allocated MiBtime (ms)
name=record_render_large_success.art
mean7.719
σ0.002
min7.718
max7.722
mean430.000
σ0.000
min430.000
max430.000
mean2.597
σ0.105
min2.423
max2.912
name=record_render_large_syntax_err.art
mean7.668
σ0.002
min7.667
max7.671
mean430.000
σ0.000
min430.000
max430.000
mean2.621
σ0.095
min2.440
max2.899
name=record_render_success.art
mean2.290
σ0.002
min2.290
max2.294
mean430.000
σ0.000
min430.000
max430.000
mean0.304
σ0.008
min0.285
max0.360
name=record_render_syntax_err.art
mean2.166
σ0.002
min2.165
max2.169
mean430.000
σ0.000
min430.000
max430.000
mean0.291
σ0.011
min0.274
max0.363

Revision Creation

Factorallocated MiBpeak allocated MiBtime_s
number of threads=8
revision count=1000
mean11.649
σ11.662
min0.574
max80.818
mean461.783
σ18.015
min409.000
max476.000
mean0.027
σ0.029
min0.001
max0.192

SoV import

Factorallocated MiBpeak allocated MiBtime_s
iters=10
rows=1000
mean293.723
σ1.112
min293.209
max296.870
mean439.800
σ17.197
min415.000
max462.000
mean0.596
σ0.012
min0.577
max0.613

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
mean144.534
σ11.427
min129.787
max158.029
phase=macro expansion
mean5.894
σ0.000
min5.894
max5.894
mean848.000
σ0.000
min848.000
max848.000
mean6.683
σ1.433
min5.670
max9.057
phase=parser
mean1042.243
σ0.000
min1042.243
max1042.244
mean848.000
σ0.000
min848.000
max848.000
mean435.156
σ101.294
min370.211
max613.118
phase=processProdDef
mean2241.192
σ0.000
min2241.192
max2241.192
mean848.000
σ0.000
min848.000
max848.000
mean2783.698
σ232.894
min2505.007
max3129.406
phase=renaming
mean21.430
σ0.000
min21.430
max21.430
mean848.000
σ0.000
min848.000
max848.000
mean37.159
σ3.173
min33.791
max43.162
phase=type checker
mean958.466
σ0.047
min958.443
max958.568
mean848.000
σ0.000
min848.000
max848.000
mean663.466
σ15.452
min638.507
max679.925

Workflow: transactPolicy

Factorallocated MiBpeak allocated MiBtime
iters=5
new-facts=1
prior-facts=1
mean327.853
σ0.037
min327.802
max327.891
mean439.000
σ3.937
min435.000
max444.000
mean0.433
σ0.005
min0.427
max0.439
iters=5
new-facts=1
prior-facts=6402
mean1313.060
σ0.146
min1312.956
max1313.315
mean1087.400
σ181.634
min877.000
max1323.000
mean1.913
σ0.142
min1.820
max2.157
iters=5
new-facts=6402
prior-facts=1
mean1552.050
σ3.092
min1550.455
max1557.572
mean604.400
σ72.511
min503.000
max683.000
mean2.320
σ0.365
min1.963
max2.805
iters=5
new-facts=6402
prior-facts=6402
mean1875.061
σ0.054
min1875.001
max1875.132
mean1757.400
σ161.034
min1519.000
max1966.000
mean2.935
σ0.106
min2.817
max3.096

newProductH/cdr_auton/broker

Factortime_s
iterations=5
mean1.542
σ0.017
min1.519
max1.564

policy addition benchmark

Factorallocated MiBdb queriespeak allocated MiBtime
policies=2
mean419.418
σ508.921
min164.956
max1182.799
mean101.250
σ6.500
min98.000
max111.000
mean435.000
σ0.000
min435.000
max435.000
mean0.518
σ0.502
min0.261
max1.271
policies=20
mean1649.805
σ0.371
min1649.578
max1650.359
mean980.000
σ0.000
min980.000
max980.000
mean450.500
σ11.705
min436.000
max460.000
mean2.660
σ0.010
min2.649
max2.672
policies=200
mean16505.889
σ0.077
min16505.793
max16505.954
mean9800.000
σ0.000
min9800.000
max9800.000
mean498.500
σ5.508
min493.000
max505.000
mean26.863
σ0.157
min26.708
max27.060