13a96a2660e4bf0652d42f0871028695c7bf175c

Home / Branches / danidiaz/subscribing_to_todos_should_require_notifs / 13a96a2660e4bf0652d42f0871028695c7bf175c

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

AST compact size (parser)

Factorcompact size MiB
phase=parser
mean5.176
σ0.000
min5.176
max5.176

AST compact size (processProdDef Decls)

Factorcompact size MiB
phase=processProdDef Decls
mean5.676
σ0.000
min5.676
max5.676

AST compact size (processProdDef)

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

AST compact size (renaming)

Factorcompact size MiB
phase=renaming
mean5.488
σ0.000
min5.488
max5.488

AST compact size (type checker)

Factorcompact size MiB
phase=type checker
mean6.645
σ0.000
min6.645
max6.645

Aggregation: measureAggregations

Factorallocated MiBpeak allocated MiBtime_s
cache=n
dps=1
iters=10
policies=100
mean54.860
σ0.357
min54.724
max55.876
mean416.000
σ0.000
min416.000
max416.000
mean0.137
σ0.006
min0.131
max0.149
cache=y
dps=1
iters=10
policies=100
mean43.847
σ0.007
min43.834
max43.859
mean416.000
σ0.000
min416.000
max416.000
mean0.125
σ0.005
min0.118
max0.133

CSV - indexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on indexed
mean36.617
σ0.000
min36.617
max36.618
mean4419.500
σ2227.590
min1487.000
max7405.000
mean12.868
σ3.446
min11.386
max21.391
op=column_set() on indexed, repeat
mean36.618
σ0.000
min36.617
max36.618
mean4601.125
σ2258.516
min1487.000
max7405.000
mean179.920
σ471.166
min11.248
max1345.971
op=table_records(), no indexes
mean41.948
σ0.002
min41.946
max41.950
mean7405.000
σ0.000
min7405.000
max7405.000
mean10.539
σ0.124
min10.334
max10.760
op=table_records(), repeat
mean41.933
σ0.000
min41.933
max41.934
mean4190.250
σ1954.021
min1487.000
max7405.000
mean11.022
σ1.780
min10.214
max15.416
op=vertical_lookup_list() on indexed, after table_records()
mean27.655
σ0.136
min27.606
max27.993
mean4190.250
σ1954.021
min1487.000
max7405.000
mean8.534
σ1.258
min7.585
max11.598
op=vertical_lookup_list() on indexed, after table_records(), repeat
mean26.406
σ0.000
min26.406
max26.406
mean4190.250
σ1954.021
min1487.000
max7405.000
mean6.563
σ0.932
min5.953
max8.844
op=vertical_lookup_row_list() on 2 indexed
mean25.681
σ0.003
min25.680
max25.688
mean4601.125
σ2258.516
min1487.000
max7405.000
mean6.062
σ0.975
min5.438
max7.967
op=vertical_lookup_row_list() on 3 (1 unindexed)
mean25.984
σ0.000
min25.984
max25.985
mean4601.125
σ2258.516
min1487.000
max7405.000
mean5.881
σ1.015
min5.266
max8.119

CSV - loading a lazy table

Factorallocated MiBpeak allocated MiBtime (ms)
op=load_product(), no indexes
mean1021.627
σ0.002
min1021.625
max1021.630
mean7405.000
σ0.000
min7405.000
max7405.000
mean346.308
σ1.850
min342.373
max348.289
op=load_product(), with indexes
mean3495.878
σ0.469
min3495.713
max3497.038
mean3765.625
σ2308.847
min721.000
max7405.000
mean1763.119
σ629.015
min1388.788
max2793.689

CSV - unindexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on unindexed, dense, minor warmup
mean107.854
σ0.000
min107.854
max107.854
mean4190.250
σ1954.021
min1487.000
max7405.000
mean134.913
σ17.303
min124.710
max177.349
op=column_set() on unindexed, dense, repeat
mean62.082
σ0.000
min62.081
max62.082
mean4419.500
σ2227.590
min1487.000
max7405.000
mean181.375
σ390.860
min41.103
max1148.696
op=vertical_lookup_list() repeated on unindexed missing Int
mean40.948
σ0.002
min40.947
max40.951
mean7405.000
σ0.000
min7405.000
max7405.000
mean113.468
σ261.077
min20.856
max759.601
op=vertical_lookup_row_list() on unindexed small unique Int
mean71.308
σ0.002
min71.307
max71.311
mean7405.000
σ0.000
min7405.000
max7405.000
mean57.301
σ6.320
min54.868
max72.939

CSV - warmup

Factorallocated MiBpeak allocated MiBtime (ms)
op=table_records()
mean4646.850
σ0.014
min4646.845
max4646.884
mean4190.250
σ1954.021
min1487.000
max7405.000
mean3146.092
σ782.769
min2518.774
max4607.487
op=vertical_lookup_list() on indexed
mean1973.851
σ0.002
min1973.849
max1973.853
mean7405.000
σ0.000
min7405.000
max7405.000
mean965.172
σ71.421
min922.783
max1099.293
op=vertical_lookup_list() on unindexed missing Int, minor warmup
mean905.105
σ0.002
min905.102
max905.108
mean7405.000
σ0.000
min7405.000
max7405.000
mean386.579
σ4.502
min376.939
max391.770

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
mean361.498
σ44.082
min301.525
max434.412
op=pointedIndexFromKvs
rows=400000
mean308.493
σ0.001
min308.493
max308.497
mean565.000
σ0.000
min565.000
max565.000
mean768.285
σ41.236
min703.012
max819.336

Marine Hull: transactPolicy

Factorallocated MiBpeak allocated MiBtime
datapoints=1
iterations=20
mean1024.564
σ0.761
min1024.092
max1027.706
mean1035.150
σ298.917
min552.000
max1438.000
mean1.366
σ0.069
min1.293
max1.573

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.446
σ0.468
min0.172
max1.280
name=error_case.art
mean2.340
σ0.012
min2.334
max2.362
mean402.000
σ0.000
min402.000
max402.000
mean0.825
σ0.520
min0.576
max1.754
name=heavy_item.art
mean1.523
σ0.002
min1.521
max1.525
mean402.000
σ0.000
min402.000
max402.000
mean0.376
σ0.032
min0.349
max0.430
name=nested_use.art
mean2.358
σ0.002
min2.357
max2.361
mean402.000
σ0.000
min402.000
max402.000
mean0.589
σ0.027
min0.564
max0.634

Parser: Real World

Factorallocated MiBpeak allocated MiBtime (sec)
name=aon_gpf25_7k_loc.art
mean964.971
σ0.011
min964.965
max964.989
mean431.600
σ1.342
min431.000
max434.000
mean0.571
σ0.109
min0.466
max0.749
name=cdr_enhanced_4k_loc.art
mean885.898
σ0.002
min885.897
max885.901
mean441.000
σ0.000
min441.000
max441.000
mean0.466
σ0.060
min0.372
max0.521

Parser: Record Parsing

Factorallocated MiBpeak allocated MiBtime (ms)
name=record_render_large_success.art
mean7.710
σ0.002
min7.709
max7.713
mean441.000
σ0.000
min441.000
max441.000
mean1.977
σ0.068
min1.847
max2.278
name=record_render_large_syntax_err.art
mean7.658
σ0.002
min7.657
max7.661
mean441.000
σ0.000
min441.000
max441.000
mean1.955
σ0.064
min1.839
max2.202
name=record_render_success.art
mean2.290
σ0.002
min2.289
max2.293
mean441.000
σ0.000
min441.000
max441.000
mean0.303
σ0.008
min0.287
max0.351
name=record_render_syntax_err.art
mean2.165
σ0.002
min2.164
max2.168
mean441.000
σ0.000
min441.000
max441.000
mean0.290
σ0.006
min0.277
max0.319

Revision Creation

Factorallocated MiBpeak allocated MiBtime_s
number of threads=8
revision count=1000
mean11.610
σ11.416
min0.574
max87.127
mean467.563
σ21.142
min408.000
max483.000
mean0.027
σ0.028
min0.001
max0.222

SoV import

Factorallocated MiBpeak allocated MiBtime_s
iters=10
rows=1000
mean298.720
σ0.989
min298.298
max301.524
mean442.800
σ17.831
min415.000
max462.000
mean0.602
σ0.021
min0.559
max0.641

Timed compile per phase

Factorallocated MiBpeak allocated MiBtime (ms)
phase=buildDeclTree
mean173.738
σ0.000
min173.738
max173.738
mean844.000
σ0.000
min844.000
max844.000
mean224.416
σ28.197
min193.725
max263.615
phase=macro expansion
mean6.133
σ0.000
min6.133
max6.133
mean843.375
σ1.768
min839.000
max844.000
mean6.812
σ1.089
min6.260
max9.496
phase=parser
mean1042.431
σ0.000
min1042.431
max1042.431
mean843.375
σ1.768
min839.000
max844.000
mean571.450
σ52.343
min449.199
max607.833
phase=processProdDef
mean2243.980
σ0.000
min2243.980
max2243.980
mean844.000
σ0.000
min844.000
max844.000
mean2650.825
σ402.780
min2288.236
max3470.878
phase=renaming
mean21.671
σ0.000
min21.671
max21.671
mean843.375
σ1.768
min839.000
max844.000
mean23.157
σ6.781
min20.479
max39.933
phase=type checker
mean989.752
σ0.066
min989.654
max989.841
mean843.375
σ1.768
min839.000
max844.000
mean690.386
σ56.258
min642.812
max820.836

Workflow: transactPolicy

Factorallocated MiBpeak allocated MiBtime
iters=5
new-facts=1
prior-facts=1
mean293.821
σ0.037
min293.768
max293.859
mean443.000
σ0.000
min443.000
max443.000
mean0.392
σ0.005
min0.389
max0.400
iters=5
new-facts=1
prior-facts=6402
mean1320.290
σ0.139
min1320.167
max1320.519
mean1115.000
σ178.027
min896.000
max1349.000
mean1.958
σ0.036
min1.928
max2.012
iters=5
new-facts=6402
prior-facts=1
mean1559.279
σ2.967
min1557.709
max1564.574
mean623.600
σ87.540
min493.000
max726.000
mean2.210
σ0.127
min2.086
max2.416
iters=5
new-facts=6402
prior-facts=6402
mean1882.369
σ0.075
min1882.265
max1882.459
mean1754.600
σ210.681
min1473.000
max1954.000
mean3.204
σ0.469
min2.776
max3.800

newProductH/cdr_auton/broker

Factortime_s
iterations=5
mean1.808
σ0.054
min1.761
max1.879

policy addition benchmark

Factorallocated MiBdb queriespeak allocated MiBtime
policies=2
mean419.944
σ518.103
min160.888
max1197.099
mean101.750
σ7.500
min98.000
max113.000
mean446.000
σ0.000
min446.000
max446.000
mean0.506
σ0.486
min0.256
max1.234
policies=20
mean1609.209
σ0.367
min1608.960
max1609.754
mean980.000
σ0.000
min980.000
max980.000
mean449.250
σ6.500
min446.000
max459.000
mean2.599
σ0.014
min2.588
max2.619
policies=200
mean16100.656
σ0.061
min16100.581
max16100.723
mean9800.000
σ0.000
min9800.000
max9800.000
mean497.750
σ4.573
min492.000
max503.000
mean26.057
σ0.071
min25.972
max26.145