f3dccc9914538518f6af6b71bf03de3dc54313cb

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

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.823
σ0.359
min57.677
max58.845
mean425.000
σ0.000
min425.000
max425.000
mean0.148
σ0.004
min0.144
max0.155
cache=y
dps=1
iters=10
policies=100
mean46.898
σ0.007
min46.889
max46.909
mean425.000
σ0.000
min425.000
max425.000
mean0.128
σ0.004
min0.122
max0.136

CSV - indexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on indexed
mean36.605
σ0.000
min36.605
max36.606
mean4198.750
σ2075.823
min1252.000
max7764.000
mean12.127
σ0.139
min11.983
max12.371
op=column_set() on indexed, repeat
mean36.606
σ0.000
min36.606
max36.606
mean4198.750
σ2075.823
min1252.000
max7764.000
mean12.362
σ0.424
min11.344
max12.670
op=table_records(), no indexes
mean41.941
σ0.002
min41.939
max41.944
mean7968.750
σ282.582
min7764.000
max8310.000
mean11.183
σ0.324
min10.929
max11.885
op=table_records(), repeat
mean41.926
σ0.001
min41.925
max41.926
mean4198.750
σ2075.823
min1252.000
max7764.000
mean11.210
σ0.211
min10.973
max11.612
op=vertical_lookup_list() on indexed, after table_records()
mean27.634
σ0.137
min27.586
max27.973
mean4198.750
σ2075.823
min1252.000
max7764.000
mean8.606
σ0.378
min7.918
max8.968
op=vertical_lookup_list() on indexed, after table_records(), repeat
mean26.386
σ0.000
min26.386
max26.386
mean4198.750
σ2075.823
min1252.000
max7764.000
mean6.075
σ0.264
min5.673
max6.379
op=vertical_lookup_row_list() on 2 indexed
mean25.664
σ0.004
min25.662
max25.675
mean4198.750
σ2075.823
min1252.000
max7764.000
mean5.707
σ0.191
min5.522
max6.086
op=vertical_lookup_row_list() on 3 (1 unindexed)
mean25.963
σ0.001
min25.963
max25.964
mean4198.750
σ2075.823
min1252.000
max7764.000
mean5.589
σ0.163
min5.304
max5.762

CSV - loading a lazy table

Factorallocated MiBpeak allocated MiBtime (ms)
op=load_product(), no indexes
mean1021.600
σ0.002
min1021.598
max1021.602
mean7900.500
σ252.749
min7764.000
max8310.000
mean346.123
σ1.934
min343.510
max349.431
op=load_product(), with indexes
mean3495.849
σ0.460
min3495.686
max3496.988
mean3358.625
σ1783.006
min642.000
max5537.000
mean1640.684
σ521.917
min1384.872
max2849.054

CSV - unindexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on unindexed, dense, minor warmup
mean107.842
σ0.000
min107.842
max107.843
mean4198.750
σ2075.823
min1252.000
max7764.000
mean130.654
σ10.737
min118.829
max146.772
op=column_set() on unindexed, dense, repeat
mean62.069
σ0.001
min62.066
max62.070
mean4198.750
σ2075.823
min1252.000
max7764.000
mean43.471
σ2.009
min41.296
max47.133
op=vertical_lookup_list() repeated on unindexed missing Int
mean40.928
σ0.002
min40.926
max40.930
mean7968.750
σ282.582
min7764.000
max8310.000
mean22.089
σ0.201
min21.815
max22.479
op=vertical_lookup_row_list() on unindexed small unique Int
mean71.295
σ0.002
min71.294
max71.298
mean7968.750
σ282.582
min7764.000
max8310.000
mean54.963
σ0.425
min54.533
max55.648

CSV - warmup

Factorallocated MiBpeak allocated MiBtime (ms)
op=table_records()
mean4646.844
σ0.014
min4646.838
max4646.877
mean4198.750
σ2075.823
min1252.000
max7764.000
mean3609.560
σ764.233
min2484.783
max4684.965
op=vertical_lookup_list() on indexed
mean1973.831
σ0.002
min1973.829
max1973.834
mean7968.750
σ282.582
min7764.000
max8310.000
mean1077.319
σ441.490
min914.520
max2169.899
op=vertical_lookup_list() on unindexed missing Int, minor warmup
mean905.084
σ0.002
min905.082
max905.088
mean7968.750
σ282.582
min7764.000
max8310.000
mean385.057
σ2.155
min380.878
max387.429

CSV internal benchmark: pointedIndexFromKvs

Factorallocated MiBpeak allocated MiBtime (ms)
op=pointedIndexFromKvs
rows=200000
mean148.144
σ0.001
min148.144
max148.148
mean475.750
σ0.463
min475.000
max476.000
mean364.246
σ42.506
min302.442
max423.961
op=pointedIndexFromKvs
rows=400000
mean308.493
σ0.001
min308.493
max308.497
mean564.000
σ0.000
min564.000
max564.000
mean713.032
σ73.569
min596.695
max779.445

Marine Hull: transactPolicy

Factorallocated MiBpeak allocated MiBtime
datapoints=1
iterations=20
mean976.919
σ2.438
min976.071
max987.251
mean1049.450
σ315.803
min582.000
max1516.000
mean1.308
σ0.128
min1.214
max1.744

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.422
σ0.575
min0.137
max1.449
name=error_case.art
mean2.347
σ0.012
min2.340
max2.369
mean402.000
σ0.000
min402.000
max402.000
mean0.467
σ0.312
min0.316
max1.025
name=heavy_item.art
mean1.523
σ0.002
min1.522
max1.526
mean402.000
σ0.000
min402.000
max402.000
mean0.211
σ0.020
min0.191
max0.243
name=nested_use.art
mean2.365
σ0.002
min2.364
max2.368
mean402.000
σ0.000
min402.000
max402.000
mean0.333
σ0.010
min0.323
max0.351

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.547
σ0.042
min0.485
max0.595
name=cdr_enhanced_4k_loc.art
mean886.468
σ0.002
min886.467
max886.470
mean431.000
σ0.000
min431.000
max431.000
mean0.492
σ0.029
min0.451
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.581
σ0.094
min2.408
max2.959
name=record_render_large_syntax_err.art
mean7.668
σ0.002
min7.667
max7.671
mean431.000
σ0.000
min431.000
max431.000
mean2.571
σ0.077
min2.421
max2.794
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.283
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.295
σ0.039
min0.278
max0.677

Revision Creation

Factorallocated MiBpeak allocated MiBtime_s
number of threads=8
revision count=1000
mean11.955
σ12.280
min0.573
max96.671
mean457.146
σ21.541
min406.000
max481.000
mean0.027
σ0.030
min0.001
max0.227

SoV import

Factorallocated MiBpeak allocated MiBtime_s
iters=10
rows=1000
mean293.964
σ1.096
min293.551
max297.081
mean441.600
σ17.877
min415.000
max465.000
mean0.605
σ0.020
min0.563
max0.627

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
mean156.128
σ9.211
min141.474
max164.588
phase=macro expansion
mean5.897
σ0.000
min5.897
max5.897
mean850.000
σ0.000
min850.000
max850.000
mean9.131
σ2.092
min5.926
max12.008
phase=parser
mean1042.246
σ0.000
min1042.246
max1042.247
mean850.000
σ0.000
min850.000
max850.000
mean577.839
σ127.160
min373.598
max730.524
phase=processProdDef
mean2241.197
σ0.000
min2241.197
max2241.197
mean850.000
σ0.000
min850.000
max850.000
mean2640.298
σ242.142
min2312.816
max3021.063
phase=renaming
mean21.430
σ0.000
min21.430
max21.430
mean850.000
σ0.000
min850.000
max850.000
mean39.587
σ7.530
min26.003
max47.506
phase=type checker
mean958.462
σ0.047
min958.439
max958.564
mean850.000
σ0.000
min850.000
max850.000
mean708.758
σ74.000
min617.087
max835.521

Workflow: transactPolicy

Factorallocated MiBpeak allocated MiBtime
iters=5
new-facts=1
prior-facts=1
mean327.855
σ0.037
min327.804
max327.892
mean441.600
σ4.506
min434.000
max446.000
mean0.430
σ0.008
min0.422
max0.442
iters=5
new-facts=1
prior-facts=6402
mean1313.070
σ0.141
min1312.959
max1313.314
mean1079.400
σ166.467
min879.000
max1289.000
mean1.867
σ0.042
min1.828
max1.920
iters=5
new-facts=6402
prior-facts=1
mean1552.073
σ3.029
min1550.550
max1557.484
mean621.200
σ84.875
min522.000
max735.000
mean2.284
σ0.152
min2.130
max2.464
iters=5
new-facts=6402
prior-facts=6402
mean1875.054
σ0.044
min1875.007
max1875.102
mean1700.600
σ259.714
min1393.000
max2065.000
mean2.964
σ0.162
min2.850
max3.240

newProductH/cdr_auton/broker

Factortime_s
iterations=5
mean1.441
σ0.093
min1.297
max1.527

policy addition benchmark

Factorallocated MiBdb queriespeak allocated MiBtime
policies=2
mean419.420
σ508.922
min164.956
max1182.802
mean101.250
σ6.500
min98.000
max111.000
mean432.000
σ0.000
min432.000
max432.000
mean0.526
σ0.512
min0.266
max1.294
policies=20
mean1649.826
σ0.373
min1649.604
max1650.382
mean980.000
σ0.000
min980.000
max980.000
mean451.250
σ11.057
min437.000
max460.000
mean2.657
σ0.011
min2.645
max2.671
policies=200
mean16506.161
σ0.054
min16506.083
max16506.199
mean9800.000
σ0.000
min9800.000
max9800.000
mean497.000
σ4.967
min491.000
max502.000
mean26.718
σ0.185
min26.555
max26.883