d8e8be5454f3ecca8f7068584c44dc24f34cadbe

Home / Branches / alexfmpe/bump-nixpkgs / d8e8be5454f3ecca8f7068584c44dc24f34cadbe

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
mean5.395
σ0.000
min5.395
max5.395

AST compact size (processProdDef)

Factorcompact size MiB
phase=processProdDef
mean446.633
σ0.000
min446.633
max446.633

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.715
σ0.366
min54.573
max55.753
mean417.000
σ0.000
min417.000
max417.000
mean0.138
σ0.005
min0.132
max0.144
cache=y
dps=1
iters=10
policies=100
mean43.780
σ0.006
min43.768
max43.791
mean417.700
σ0.483
min417.000
max418.000
mean0.122
σ0.004
min0.117
max0.129

CSV - indexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on indexed
mean36.604
σ0.000
min36.604
max36.605
mean4427.500
σ2225.425
min1484.000
max7403.000
mean12.149
σ0.507
min11.712
max13.018
op=column_set() on indexed, repeat
mean36.605
σ0.000
min36.604
max36.605
mean4607.625
σ2256.925
min1484.000
max7403.000
mean58.868
σ130.782
min12.370
max382.536
op=table_records(), no indexes
mean41.939
σ0.002
min41.938
max41.942
mean7403.000
σ0.000
min7403.000
max7403.000
mean11.342
σ0.389
min11.007
max12.209
op=table_records(), repeat
mean41.925
σ0.000
min41.924
max41.925
mean4199.750
σ1954.103
min1484.000
max7403.000
mean11.277
σ0.549
min10.964
max12.622
op=vertical_lookup_list() on indexed, after table_records()
mean27.633
σ0.137
min27.584
max27.971
mean4199.750
σ1954.103
min1484.000
max7403.000
mean8.607
σ0.320
min8.037
max9.010
op=vertical_lookup_list() on indexed, after table_records(), repeat
mean26.384
σ0.001
min26.384
max26.388
mean4199.750
σ1954.103
min1484.000
max7403.000
mean6.711
σ0.155
min6.488
max6.920
op=vertical_lookup_row_list() on 2 indexed
mean25.662
σ0.004
min25.661
max25.673
mean4607.625
σ2256.925
min1484.000
max7403.000
mean6.038
σ0.136
min5.836
max6.204
op=vertical_lookup_row_list() on 3 (1 unindexed)
mean25.961
σ0.000
min25.961
max25.962
mean4607.625
σ2256.925
min1484.000
max7403.000
mean5.934
σ0.118
min5.826
max6.179

CSV - loading a lazy table

Factorallocated MiBpeak allocated MiBtime (ms)
op=load_product(), no indexes
mean1021.608
σ0.002
min1021.606
max1021.610
mean7403.000
σ0.000
min7403.000
max7403.000
mean352.430
σ2.513
min348.757
max354.948
op=load_product(), with indexes
mean3495.854
σ0.454
min3495.693
max3496.976
mean3772.250
σ2310.617
min720.000
max7403.000
mean1747.169
σ587.720
min1418.777
max2720.328

CSV - unindexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on unindexed, dense, minor warmup
mean107.841
σ0.000
min107.840
max107.841
mean4199.750
σ1954.103
min1484.000
max7403.000
mean131.627
σ5.807
min126.235
max144.818
op=column_set() on unindexed, dense, repeat
mean62.068
σ0.001
min62.065
max62.069
mean4427.500
σ2225.425
min1484.000
max7403.000
mean87.988
σ130.677
min39.970
max411.385
op=vertical_lookup_list() repeated on unindexed missing Int
mean40.926
σ0.002
min40.925
max40.929
mean7403.000
σ0.000
min7403.000
max7403.000
mean64.230
σ119.267
min21.585
max359.399
op=vertical_lookup_row_list() on unindexed small unique Int
mean71.294
σ0.002
min71.292
max71.296
mean7403.000
σ0.000
min7403.000
max7403.000
mean58.505
σ9.692
min54.380
max82.461

CSV - warmup

Factorallocated MiBpeak allocated MiBtime (ms)
op=table_records()
mean4646.842
σ0.013
min4646.837
max4646.875
mean4199.750
σ1954.103
min1484.000
max7403.000
mean3036.018
σ586.540
min2498.379
max4066.013
op=vertical_lookup_list() on indexed
mean1973.829
σ0.002
min1973.827
max1973.831
mean7403.000
σ0.000
min7403.000
max7403.000
mean963.489
σ70.276
min922.835
max1096.128
op=vertical_lookup_list() on unindexed missing Int, minor warmup
mean905.082
σ0.002
min905.080
max905.086
mean7403.000
σ0.000
min7403.000
max7403.000
mean396.283
σ5.292
min384.561
max401.424

CSV internal benchmark: pointedIndexFromKvs

Factorallocated MiBpeak allocated MiBtime (ms)
op=pointedIndexFromKvs
rows=200000
mean148.144
σ0.001
min148.144
max148.148
mean476.000
σ0.000
min476.000
max476.000
mean350.440
σ34.413
min296.084
max392.858
op=pointedIndexFromKvs
rows=400000
mean308.493
σ0.001
min308.493
max308.497
mean567.000
σ0.000
min567.000
max567.000
mean669.701
σ45.300
min599.564
max716.457

Marine Hull: transactPolicy

Factorallocated MiBpeak allocated MiBtime
datapoints=1
iterations=20
mean964.564
σ1.879
min963.847
max972.510
mean1037.300
σ308.229
min538.000
max1534.000
mean1.229
σ0.097
min1.109
max1.538

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.382
σ0.465
min0.140
max1.211
name=error_case.art
mean2.346
σ0.012
min2.340
max2.368
mean401.000
σ0.000
min401.000
max401.000
mean0.445
σ0.200
min0.343
max0.802
name=heavy_item.art
mean1.523
σ0.002
min1.522
max1.526
mean401.000
σ0.000
min401.000
max401.000
mean0.229
σ0.016
min0.213
max0.255
name=nested_use.art
mean2.364
σ0.002
min2.363
max2.367
mean401.000
σ0.000
min401.000
max401.000
mean0.353
σ0.019
min0.336
max0.383

Parser: Real World

Factorallocated MiBpeak allocated MiBtime (sec)
name=aon_gpf25_7k_loc.art
mean964.979
σ0.009
min964.974
max964.996
mean430.000
σ0.000
min430.000
max430.000
mean0.524
σ0.030
min0.494
max0.570
name=cdr_enhanced_4k_loc.art
mean886.001
σ0.002
min886.000
max886.004
mean430.000
σ0.000
min430.000
max430.000
mean0.497
σ0.038
min0.436
max0.532

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.674
σ0.106
min2.061
max2.935
name=record_render_large_syntax_err.art
mean7.667
σ0.002
min7.666
max7.670
mean430.000
σ0.000
min430.000
max430.000
mean2.649
σ0.073
min2.523
max2.900
name=record_render_success.art
mean2.290
σ0.002
min2.290
max2.294
mean430.000
σ0.000
min430.000
max430.000
mean0.315
σ0.009
min0.293
max0.363
name=record_render_syntax_err.art
mean2.166
σ0.002
min2.165
max2.169
mean430.000
σ0.000
min430.000
max430.000
mean0.301
σ0.026
min0.280
max0.549

Revision Creation

Factorallocated MiBpeak allocated MiBtime_s
number of threads=8
revision count=1000
mean11.501
σ11.135
min0.855
max85.555
mean469.497
σ19.094
min407.000
max482.000
mean0.027
σ0.027
min0.001
max0.204

SoV import

Factorallocated MiBpeak allocated MiBtime_s
iters=10
rows=1000
mean279.131
σ1.048
min278.750
max282.111
mean440.400
σ17.677
min415.000
max468.000
mean0.556
σ0.037
min0.497
max0.613

Timed compile per phase

Factorallocated MiBpeak allocated MiBtime (ms)
phase=buildDeclTree
mean169.257
σ0.000
min169.257
max169.257
mean851.000
σ0.000
min851.000
max851.000
mean195.397
σ26.664
min150.203
max248.085
phase=macro expansion
mean5.896
σ0.000
min5.896
max5.896
mean842.125
σ25.102
min780.000
max851.000
mean8.179
σ0.972
min6.876
max9.018
phase=parser
mean1042.133
σ0.000
min1042.133
max1042.134
mean842.125
σ25.102
min780.000
max851.000
mean556.876
σ79.010
min421.255
max619.590
phase=processProdDef
mean2243.715
σ0.000
min2243.715
max2243.715
mean851.000
σ0.000
min851.000
max851.000
mean2785.672
σ244.883
min2452.536
max3174.001
phase=renaming
mean21.436
σ0.000
min21.436
max21.436
mean842.125
σ25.102
min780.000
max851.000
mean41.089
σ4.285
min36.091
max45.697
phase=type checker
mean958.599
σ0.047
min958.576
max958.701
mean842.125
σ25.102
min780.000
max851.000
mean663.460
σ16.602
min638.522
max681.100

Workflow: transactPolicy

Factorallocated MiBpeak allocated MiBtime
iters=5
new-facts=1
prior-facts=1
mean282.858
σ0.039
min282.804
max282.897
mean443.800
σ1.095
min443.000
max445.000
mean0.387
σ0.006
min0.382
max0.397
iters=5
new-facts=1
prior-facts=6402
mean1268.064
σ0.107
min1267.973
max1268.242
mean1090.400
σ181.506
min868.000
max1320.000
mean1.909
σ0.096
min1.783
max2.009
iters=5
new-facts=6402
prior-facts=1
mean1507.046
σ2.967
min1505.523
max1512.343
mean618.600
σ85.775
min508.000
max719.000
mean2.207
σ0.145
min2.085
max2.438
iters=5
new-facts=6402
prior-facts=6402
mean1830.071
σ0.045
min1830.006
max1830.117
mean1729.600
σ171.432
min1483.000
max1885.000
mean3.007
σ0.327
min2.790
max3.586

newProductH/cdr_auton/broker

Factortime_s
iterations=5
mean1.554
σ0.159
min1.362
max1.802

policy addition benchmark

Factorallocated MiBdb queriespeak allocated MiBtime
policies=2
mean406.201
σ509.795
min151.298
max1170.894
mean101.750
σ7.500
min98.000
max113.000
mean438.000
σ0.000
min438.000
max438.000
mean0.508
σ0.497
min0.254
max1.253
policies=20
mean1513.181
σ0.287
min1512.996
max1513.606
mean980.000
σ0.000
min980.000
max980.000
mean449.500
σ11.790
min438.000
max466.000
mean2.543
σ0.009
min2.530
max2.550
policies=200
mean15140.181
σ0.160
min15140.033
max15140.398
mean9800.000
σ0.000
min9800.000
max9800.000
mean498.500
σ5.066
min494.000
max505.000
mean25.579
σ0.187
min25.409
max25.765