cb7bdf11ce7d3df3d1d92d37a4fb60adacd3597b

Home / Branches / alexfmpe/hoogle-brossa / cb7bdf11ce7d3df3d1d92d37a4fb60adacd3597b

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.686
max58.845
mean418.000
σ0.000
min418.000
max418.000
mean0.147
σ0.005
min0.142
max0.156
cache=y
dps=1
iters=10
policies=100
mean46.898
σ0.006
min46.890
max46.908
mean418.000
σ0.000
min418.000
max418.000
mean0.132
σ0.004
min0.128
max0.140

CSV - indexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on indexed
mean36.605
σ0.000
min36.605
max36.605
mean4584.250
σ2252.092
min1487.000
max7401.000
mean13.462
σ2.618
min11.915
max17.905
op=column_set() on indexed, repeat
mean36.605
σ0.000
min36.605
max36.605
mean4584.250
σ2252.092
min1487.000
max7401.000
mean13.942
σ2.113
min12.531
max17.879
op=table_records(), no indexes
mean41.940
σ0.002
min41.938
max41.943
mean7401.000
σ0.000
min7401.000
max7401.000
mean10.946
σ0.211
min10.603
max11.263
op=table_records(), repeat
mean41.925
σ0.002
min41.924
max41.929
mean4170.500
σ1943.603
min1487.000
max7401.000
mean11.653
σ1.768
min10.692
max16.003
op=vertical_lookup_list() on indexed, after table_records()
mean27.634
σ0.137
min27.585
max27.972
mean4170.500
σ1943.603
min1487.000
max7401.000
mean9.164
σ1.281
min8.042
max12.232
op=vertical_lookup_list() on indexed, after table_records(), repeat
mean26.385
σ0.000
min26.385
max26.385
mean4170.500
σ1943.603
min1487.000
max7401.000
mean7.176
σ0.957
min6.734
max9.530
op=vertical_lookup_row_list() on 2 indexed
mean25.663
σ0.004
min25.662
max25.674
mean4584.250
σ2252.092
min1487.000
max7401.000
mean6.347
σ0.573
min5.853
max7.305
op=vertical_lookup_row_list() on 3 (1 unindexed)
mean25.962
σ0.001
min25.962
max25.964
mean4584.250
σ2252.092
min1487.000
max7401.000
mean6.173
σ0.541
min5.724
max7.147

CSV - loading a lazy table

Factorallocated MiBpeak allocated MiBtime (ms)
op=load_product(), no indexes
mean1021.599
σ0.002
min1021.597
max1021.602
mean7401.000
σ0.000
min7401.000
max7401.000
mean375.245
σ78.526
min343.460
max569.512
op=load_product(), with indexes
mean3495.846
σ0.455
min3495.685
max3496.972
mean3749.125
σ2296.653
min720.000
max7401.000
mean1630.521
σ491.939
min1402.806
max2833.681

CSV - unindexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on unindexed, dense, minor warmup
mean107.841
σ0.000
min107.841
max107.842
mean4405.375
σ2223.620
min1487.000
max7401.000
mean265.434
σ354.188
min129.630
max1140.910
op=column_set() on unindexed, dense, repeat
mean62.069
σ0.001
min62.065
max62.070
mean4584.250
σ2252.092
min1487.000
max7401.000
mean167.129
σ341.925
min41.142
max1013.080
op=vertical_lookup_list() repeated on unindexed missing Int
mean40.927
σ0.002
min40.926
max40.930
mean7401.000
σ0.000
min7401.000
max7401.000
mean21.767
σ0.689
min21.061
max23.344
op=vertical_lookup_row_list() on unindexed small unique Int
mean71.294
σ0.002
min71.293
max71.297
mean7401.000
σ0.000
min7401.000
max7401.000
mean272.041
σ610.930
min54.826
max1784.010

CSV - warmup

Factorallocated MiBpeak allocated MiBtime (ms)
op=table_records()
mean4646.842
σ0.014
min4646.837
max4646.876
mean4170.500
σ1943.603
min1487.000
max7401.000
mean3133.688
σ854.070
min2517.499
max4876.180
op=vertical_lookup_list() on indexed
mean1973.830
σ0.002
min1973.829
max1973.833
mean7401.000
σ0.000
min7401.000
max7401.000
mean1116.318
σ289.652
min930.776
max1674.794
op=vertical_lookup_list() on unindexed missing Int, minor warmup
mean905.084
σ0.002
min905.082
max905.087
mean7401.000
σ0.000
min7401.000
max7401.000
mean397.474
σ4.339
min389.906
max404.907

CSV internal benchmark: pointedIndexFromKvs

Factorallocated MiBpeak allocated MiBtime (ms)
op=pointedIndexFromKvs
rows=200000
mean148.144
σ0.001
min148.144
max148.148
mean475.500
σ1.604
min474.000
max477.000
mean377.028
σ32.219
min317.023
max428.254
op=pointedIndexFromKvs
rows=400000
mean308.493
σ0.001
min308.493
max308.497
mean562.000
σ0.000
min562.000
max562.000
mean776.048
σ40.455
min735.520
max840.168

Marine Hull: transactPolicy

Factorallocated MiBpeak allocated MiBtime
datapoints=1
iterations=20
mean976.917
σ2.438
min976.070
max987.246
mean1051.200
σ315.766
min596.000
max1518.000
mean1.279
σ0.103
min1.196
max1.669

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.347
σ0.281
min0.140
max0.811
name=error_case.art
mean2.346
σ0.012
min2.340
max2.368
mean402.000
σ0.000
min402.000
max402.000
mean0.486
σ0.307
min0.336
max1.035
name=heavy_item.art
mean1.523
σ0.002
min1.522
max1.526
mean402.000
σ0.000
min402.000
max402.000
mean0.218
σ0.021
min0.199
max0.253
name=nested_use.art
mean2.364
σ0.002
min2.363
max2.367
mean402.000
σ0.000
min402.000
max402.000
mean0.387
σ0.124
min0.317
max0.607

Parser: Real World

Factorallocated MiBpeak allocated MiBtime (sec)
name=aon_gpf25_7k_loc.art
mean964.978
σ0.009
min964.973
max964.995
mean431.000
σ0.000
min431.000
max431.000
mean0.525
σ0.042
min0.483
max0.583
name=cdr_enhanced_4k_loc.art
mean886.000
σ0.002
min885.999
max886.003
mean431.000
σ0.000
min431.000
max431.000
mean0.456
σ0.048
min0.413
max0.531

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.114
σ0.320
min1.830
max3.149
name=record_render_large_syntax_err.art
mean7.667
σ0.002
min7.666
max7.670
mean431.000
σ0.000
min431.000
max431.000
mean1.938
σ0.065
min1.777
max2.105
name=record_render_success.art
mean2.290
σ0.002
min2.290
max2.294
mean431.000
σ0.000
min431.000
max431.000
mean0.310
σ0.056
min0.289
max0.854
name=record_render_syntax_err.art
mean2.166
σ0.002
min2.165
max2.169
mean431.000
σ0.000
min431.000
max431.000
mean0.289
σ0.008
min0.276
max0.333

Revision Creation

Factorallocated MiBpeak allocated MiBtime_s
number of threads=8
revision count=1000
mean10.962
σ12.279
min0.574
max153.713
mean454.345
σ15.949
min409.000
max470.000
mean0.026
σ0.030
min0.001
max0.376

SoV import

Factorallocated MiBpeak allocated MiBtime_s
iters=10
rows=1000
mean293.968
σ1.006
min293.506
max296.824
mean440.400
σ16.741
min415.000
max462.000
mean0.601
σ0.007
min0.588
max0.609

Timed compile per phase

Factorallocated MiBpeak allocated MiBtime (ms)
phase=buildDeclTree
mean106.546
σ0.000
min106.546
max106.546
mean873.000
σ0.000
min873.000
max873.000
mean156.487
σ8.096
min144.059
max165.144
phase=macro expansion
mean5.894
σ0.000
min5.894
max5.894
mean873.000
σ0.000
min873.000
max873.000
mean10.210
σ1.719
min6.870
max11.955
phase=parser
mean1042.131
σ0.000
min1042.130
max1042.131
mean873.000
σ0.000
min873.000
max873.000
mean491.953
σ148.348
min374.137
max721.956
phase=processProdDef
mean2241.195
σ0.000
min2241.195
max2241.195
mean873.000
σ0.000
min873.000
max873.000
mean2817.500
σ408.582
min2177.954
max3310.543
phase=renaming
mean21.430
σ0.000
min21.430
max21.430
mean873.000
σ0.000
min873.000
max873.000
mean38.402
σ7.925
min26.292
max47.015
phase=type checker
mean958.462
σ0.047
min958.439
max958.564
mean873.000
σ0.000
min873.000
max873.000
mean729.239
σ77.480
min615.122
max844.155

Workflow: transactPolicy

Factorallocated MiBpeak allocated MiBtime
iters=5
new-facts=1
prior-facts=1
mean327.854
σ0.036
min327.804
max327.890
mean440.600
σ5.413
min432.000
max445.000
mean0.435
σ0.011
min0.425
max0.453
iters=5
new-facts=1
prior-facts=6402
mean1313.063
σ0.132
min1312.963
max1313.292
mean1068.400
σ172.148
min848.000
max1294.000
mean1.875
σ0.049
min1.827
max1.945
iters=5
new-facts=6402
prior-facts=1
mean1552.040
σ3.054
min1550.517
max1557.494
mean618.400
σ65.332
min544.000
max702.000
mean2.186
σ0.163
min2.102
max2.476
iters=5
new-facts=6402
prior-facts=6402
mean1875.073
σ0.081
min1874.995
max1875.199
mean1676.200
σ213.781
min1412.000
max1961.000
mean2.882
σ0.048
min2.844
max2.962

newProductH/cdr_auton/broker

Factortime_s
iterations=5
mean1.623
σ0.085
min1.494
max1.702

policy addition benchmark

Factorallocated MiBdb queriespeak allocated MiBtime
policies=2
mean419.404
σ508.891
min164.954
max1182.741
mean101.250
σ6.500
min98.000
max111.000
mean430.000
σ0.000
min430.000
max430.000
mean0.519
σ0.499
min0.265
max1.268
policies=20
mean1649.811
σ0.380
min1649.592
max1650.380
mean980.000
σ0.000
min980.000
max980.000
mean449.750
σ11.927
min434.000
max459.000
mean2.661
σ0.015
min2.651
max2.683
policies=200
mean16505.953
σ0.155
min16505.801
max16506.169
mean9800.000
σ0.000
min9800.000
max9800.000
mean499.000
σ5.354
min492.000
max505.000
mean26.837
σ0.138
min26.687
max26.992