9c25cee11b315352c469f69b5571dcc64ef186a6

Home / Branches / alexfmpe/hoogle / 9c25cee11b315352c469f69b5571dcc64ef186a6

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
σ0.363
min54.563
max55.730
mean414.000
σ0.000
min414.000
max414.000
mean0.140
σ0.004
min0.135
max0.148
cache=y
dps=1
iters=10
policies=100
mean43.777
σ0.009
min43.762
max43.789
mean414.000
σ0.000
min414.000
max414.000
mean0.122
σ0.004
min0.117
max0.129

CSV - indexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on indexed
mean36.605
σ0.000
min36.605
max36.606
mean4592.875
σ2249.760
min1482.000
max7388.000
mean155.831
σ404.091
min11.783
max1155.892
op=column_set() on indexed, repeat
mean36.605
σ0.000
min36.605
max36.605
mean4592.875
σ2249.760
min1482.000
max7388.000
mean14.594
σ4.394
min11.459
max24.863
op=table_records(), no indexes
mean41.940
σ0.002
min41.938
max41.943
mean7388.000
σ0.000
min7388.000
max7388.000
mean11.148
σ0.247
min10.854
max11.425
op=table_records(), repeat
mean41.925
σ0.000
min41.924
max41.926
mean4184.250
σ1945.911
min1482.000
max7388.000
mean11.636
σ1.696
min10.659
max15.786
op=vertical_lookup_list() on indexed, after table_records()
mean27.634
σ0.136
min27.585
max27.972
mean4184.250
σ1945.911
min1482.000
max7388.000
mean9.006
σ1.251
min7.969
max12.020
op=vertical_lookup_list() on indexed, after table_records(), repeat
mean26.385
σ0.000
min26.385
max26.385
mean4184.250
σ1945.911
min1482.000
max7388.000
mean6.797
σ0.485
min6.305
max7.811
op=vertical_lookup_row_list() on 2 indexed
mean25.663
σ0.004
min25.662
max25.674
mean4592.875
σ2249.760
min1482.000
max7388.000
mean6.451
σ0.974
min5.726
max8.664
op=vertical_lookup_row_list() on 3 (1 unindexed)
mean25.962
σ0.001
min25.962
max25.964
mean4592.875
σ2249.760
min1482.000
max7388.000
mean6.365
σ1.016
min5.745
max8.605

CSV - loading a lazy table

Factorallocated MiBpeak allocated MiBtime (ms)
op=load_product(), no indexes
mean1021.599
σ0.002
min1021.597
max1021.602
mean7388.000
σ0.000
min7388.000
max7388.000
mean363.737
σ43.084
min345.881
max470.274
op=load_product(), with indexes
mean3495.846
σ0.455
min3495.685
max3496.972
mean3759.375
σ2300.888
min720.000
max7388.000
mean1760.490
σ604.633
min1403.870
max2813.085

CSV - unindexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on unindexed, dense, minor warmup
mean107.842
σ0.000
min107.841
max107.842
mean4413.750
σ2219.328
min1482.000
max7388.000
mean253.188
σ340.633
min123.581
max1095.756
op=column_set() on unindexed, dense, repeat
mean62.069
σ0.001
min62.065
max62.069
mean4413.750
σ2219.328
min1482.000
max7388.000
mean44.954
σ8.567
min39.992
max65.938
op=vertical_lookup_list() repeated on unindexed missing Int
mean40.927
σ0.002
min40.926
max40.930
mean7388.000
σ0.000
min7388.000
max7388.000
mean21.902
σ0.824
min21.380
max23.904
op=vertical_lookup_row_list() on unindexed small unique Int
mean71.294
σ0.002
min71.293
max71.297
mean7388.000
σ0.000
min7388.000
max7388.000
mean270.398
σ606.239
min54.626
max1770.760

CSV - warmup

Factorallocated MiBpeak allocated MiBtime (ms)
op=table_records()
mean4646.842
σ0.013
min4646.837
max4646.875
mean4184.250
σ1945.911
min1482.000
max7388.000
mean3250.892
σ711.848
min2499.507
max4320.801
op=vertical_lookup_list() on indexed
mean1973.830
σ0.002
min1973.829
max1973.833
mean7388.000
σ0.000
min7388.000
max7388.000
mean1046.036
σ201.641
min922.776
max1491.899
op=vertical_lookup_list() on unindexed missing Int, minor warmup
mean905.084
σ0.002
min905.082
max905.087
mean7388.000
σ0.000
min7388.000
max7388.000
mean391.940
σ4.730
min382.485
max399.875

CSV internal benchmark: pointedIndexFromKvs

Factorallocated MiBpeak allocated MiBtime (ms)
op=pointedIndexFromKvs
rows=200000
mean148.144
σ0.001
min148.144
max148.148
mean476.500
σ2.070
min475.000
max479.000
mean380.633
σ17.843
min356.560
max403.235
op=pointedIndexFromKvs
rows=400000
mean308.493
σ0.001
min308.493
max308.497
mean568.000
σ0.000
min568.000
max568.000
mean766.520
σ38.897
min704.688
max815.982

Marine Hull: transactPolicy

Factorallocated MiBpeak allocated MiBtime
datapoints=1
iterations=20
mean964.555
σ1.881
min963.837
max972.512
mean1038.950
σ306.624
min589.000
max1489.000
mean1.261
σ0.071
min1.176
max1.454

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.398
σ0.512
min0.136
max1.310
name=error_case.art
mean2.346
σ0.012
min2.340
max2.368
mean402.000
σ0.000
min402.000
max402.000
mean0.479
σ0.321
min0.323
max1.052
name=heavy_item.art
mean1.523
σ0.002
min1.522
max1.526
mean402.000
σ0.000
min402.000
max402.000
mean0.217
σ0.024
min0.199
max0.259
name=nested_use.art
mean2.364
σ0.002
min2.363
max2.367
mean402.000
σ0.000
min402.000
max402.000
mean0.333
σ0.018
min0.316
max0.361

Parser: Real World

Factorallocated MiBpeak allocated MiBtime (sec)
name=aon_gpf25_7k_loc.art
mean964.978
σ0.009
min964.973
max964.995
mean431.600
σ1.342
min431.000
max434.000
mean0.536
σ0.080
min0.435
max0.608
name=cdr_enhanced_4k_loc.art
mean886.000
σ0.002
min885.999
max886.003
mean441.000
σ0.000
min441.000
max441.000
mean0.477
σ0.043
min0.433
max0.522

Parser: Record Parsing

Factorallocated MiBpeak allocated MiBtime (ms)
name=record_render_large_success.art
mean7.719
σ0.002
min7.718
max7.722
mean441.000
σ0.000
min441.000
max441.000
mean2.638
σ0.099
min2.449
max2.925
name=record_render_large_syntax_err.art
mean7.667
σ0.002
min7.666
max7.670
mean441.000
σ0.000
min441.000
max441.000
mean2.597
σ0.091
min2.470
max3.055
name=record_render_success.art
mean2.290
σ0.002
min2.290
max2.294
mean441.000
σ0.000
min441.000
max441.000
mean0.302
σ0.009
min0.290
max0.360
name=record_render_syntax_err.art
mean2.166
σ0.002
min2.165
max2.169
mean441.000
σ0.000
min441.000
max441.000
mean0.291
σ0.007
min0.278
max0.323

Revision Creation

Factorallocated MiBpeak allocated MiBtime_s
number of threads=8
revision count=1000
mean11.271
σ12.097
min0.574
max122.018
mean461.290
σ20.678
min406.000
max482.000
mean0.026
σ0.030
min0.001
max0.295

SoV import

Factorallocated MiBpeak allocated MiBtime_s
iters=10
rows=1000
mean279.001
σ1.095
min278.598
max282.114
mean446.300
σ18.738
min414.000
max478.000
mean0.578
σ0.022
min0.529
max0.614

Timed compile per phase

Factorallocated MiBpeak allocated MiBtime (ms)
phase=buildDeclTree
mean106.546
σ0.000
min106.546
max106.546
mean729.000
σ0.000
min729.000
max729.000
mean154.159
σ9.965
min137.053
max163.633
phase=macro expansion
mean5.894
σ0.000
min5.894
max5.894
mean729.000
σ0.000
min729.000
max729.000
mean7.471
σ1.034
min6.822
max9.373
phase=parser
mean1042.130
σ0.000
min1042.130
max1042.131
mean729.000
σ0.000
min729.000
max729.000
mean485.060
σ79.644
min402.782
max613.289
phase=processProdDef
mean2241.195
σ0.000
min2241.195
max2241.195
mean729.000
σ0.000
min729.000
max729.000
mean2874.314
σ423.511
min2109.812
max3262.675
phase=renaming
mean21.433
σ0.000
min21.433
max21.433
mean729.000
σ0.000
min729.000
max729.000
mean39.846
σ3.663
min36.816
max45.826
phase=type checker
mean958.462
σ0.047
min958.439
max958.564
mean729.000
σ0.000
min729.000
max729.000
mean657.405
σ12.532
min642.444
max680.245

Workflow: transactPolicy

Factorallocated MiBpeak allocated MiBtime
iters=5
new-facts=1
prior-facts=1
mean282.855
σ0.036
min282.802
max282.889
mean444.800
σ1.095
min444.000
max446.000
mean0.377
σ0.006
min0.374
max0.388
iters=5
new-facts=1
prior-facts=6402
mean1268.046
σ0.114
min1267.941
max1268.233
mean1090.600
σ167.255
min893.000
max1321.000
mean1.989
σ0.120
min1.833
max2.133
iters=5
new-facts=6402
prior-facts=1
mean1507.018
σ2.969
min1505.462
max1512.316
mean626.000
σ87.164
min496.000
max728.000
mean2.230
σ0.203
min2.112
max2.590
iters=5
new-facts=6402
prior-facts=6402
mean1830.057
σ0.045
min1829.984
max1830.099
mean1723.800
σ173.532
min1475.000
max1885.000
mean2.993
σ0.262
min2.815
max3.457

newProductH/cdr_auton/broker

Factortime_s
iterations=5
mean1.651
σ0.159
min1.523
max1.838

policy addition benchmark

Factorallocated MiBdb queriespeak allocated MiBtime
policies=2
mean405.941
σ509.289
min151.290
max1169.873
mean101.750
σ7.500
min98.000
max113.000
mean440.000
σ0.000
min440.000
max440.000
mean0.514
σ0.511
min0.254
max1.281
policies=20
mean1513.119
σ0.255
min1512.947
max1513.496
mean980.000
σ0.000
min980.000
max980.000
mean450.250
σ11.644
min440.000
max467.000
mean2.472
σ0.018
min2.453
max2.489
policies=200
mean15139.980
σ0.206
min15139.793
max15140.268
mean9800.000
σ0.000
min9800.000
max9800.000
mean497.250
σ4.113
min492.000
max502.000
mean25.071
σ0.200
min24.915
max25.357