43f27520b8d70a7c198705abade12ddf2f929745

Home / Branches / danidiaz/subscribing_to_todos_should_require_notifs / 43f27520b8d70a7c198705abade12ddf2f929745

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.833
σ0.365
min54.705
max55.871
mean418.000
σ0.000
min418.000
max418.000
mean0.139
σ0.005
min0.131
max0.147
cache=y
dps=1
iters=10
policies=100
mean43.842
σ0.006
min43.834
max43.849
mean418.600
σ0.516
min418.000
max419.000
mean0.121
σ0.005
min0.116
max0.129

CSV - indexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on indexed
mean36.617
σ0.000
min36.617
max36.618
mean4581.875
σ2252.869
min1485.000
max7401.000
mean13.540
σ3.461
min11.809
max21.934
op=column_set() on indexed, repeat
mean36.617
σ0.000
min36.617
max36.617
mean4581.875
σ2252.869
min1485.000
max7401.000
mean13.000
σ2.227
min11.536
max18.265
op=table_records(), no indexes
mean41.948
σ0.002
min41.946
max41.951
mean7401.000
σ0.000
min7401.000
max7401.000
mean11.040
σ0.178
min10.887
max11.365
op=table_records(), repeat
mean41.933
σ0.000
min41.933
max41.934
mean4167.500
σ1943.955
min1485.000
max7401.000
mean11.769
σ1.699
min10.686
max15.908
op=vertical_lookup_list() on indexed, after table_records()
mean27.655
σ0.137
min27.606
max27.993
mean4167.500
σ1943.955
min1485.000
max7401.000
mean8.959
σ1.293
min8.071
max12.091
op=vertical_lookup_list() on indexed, after table_records(), repeat
mean26.406
σ0.000
min26.406
max26.406
mean4167.500
σ1943.955
min1485.000
max7401.000
mean6.853
σ1.238
min6.071
max9.861
op=vertical_lookup_row_list() on 2 indexed
mean25.681
σ0.003
min25.680
max25.688
mean4581.875
σ2252.869
min1485.000
max7401.000
mean6.211
σ0.524
min5.774
max7.477
op=vertical_lookup_row_list() on 3 (1 unindexed)
mean25.984
σ0.000
min25.984
max25.985
mean4581.875
σ2252.869
min1485.000
max7401.000
mean6.005
σ0.490
min5.649
max7.198

CSV - loading a lazy table

Factorallocated MiBpeak allocated MiBtime (ms)
op=load_product(), no indexes
mean1021.627
σ0.002
min1021.625
max1021.629
mean7401.000
σ0.000
min7401.000
max7401.000
mean363.245
σ43.668
min345.238
max471.195
op=load_product(), with indexes
mean3495.878
σ0.468
min3495.713
max3497.038
mean3746.625
σ2296.617
min719.000
max7401.000
mean1595.019
σ486.823
min1387.910
max2789.579

CSV - unindexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on unindexed, dense, minor warmup
mean107.854
σ0.000
min107.854
max107.855
mean4402.750
σ2224.505
min1485.000
max7401.000
mean210.997
σ209.966
min123.775
max728.288
op=column_set() on unindexed, dense, repeat
mean62.082
σ0.000
min62.081
max62.082
mean4581.875
σ2252.869
min1485.000
max7401.000
mean198.899
σ434.755
min40.808
max1274.732
op=vertical_lookup_list() repeated on unindexed missing Int
mean40.948
σ0.002
min40.947
max40.950
mean7401.000
σ0.000
min7401.000
max7401.000
mean22.504
σ1.407
min21.679
max24.948
op=vertical_lookup_row_list() on unindexed small unique Int
mean71.308
σ0.002
min71.307
max71.311
mean7401.000
σ0.000
min7401.000
max7401.000
mean185.265
σ365.578
min54.751
max1090.017

CSV - warmup

Factorallocated MiBpeak allocated MiBtime (ms)
op=table_records()
mean4646.851
σ0.013
min4646.845
max4646.883
mean4167.500
σ1943.955
min1485.000
max7401.000
mean3060.521
σ744.422
min2505.389
max4439.396
op=vertical_lookup_list() on indexed
mean1973.851
σ0.002
min1973.849
max1973.854
mean7401.000
σ0.000
min7401.000
max7401.000
mean1063.534
σ202.499
min925.046
max1426.620
op=vertical_lookup_list() on unindexed missing Int, minor warmup
mean905.105
σ0.002
min905.102
max905.108
mean7401.000
σ0.000
min7401.000
max7401.000
mean405.212
σ37.428
min387.668
max497.592

CSV internal benchmark: pointedIndexFromKvs

Factorallocated MiBpeak allocated MiBtime (ms)
op=pointedIndexFromKvs
rows=200000
mean148.144
σ0.001
min148.144
max148.148
mean476.125
σ0.835
min475.000
max478.000
mean363.515
σ33.936
min312.481
max402.540
op=pointedIndexFromKvs
rows=400000
mean308.493
σ0.001
min308.493
max308.497
mean562.000
σ0.000
min562.000
max562.000
mean740.200
σ74.534
min596.819
max822.479

Marine Hull: transactPolicy

Factorallocated MiBpeak allocated MiBtime
datapoints=1
iterations=20
mean963.972
σ1.820
min963.264
max971.668
mean1044.650
σ310.106
min564.000
max1499.000
mean1.258
σ0.105
min1.169
max1.505

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.445
σ0.491
min0.161
max1.320
name=error_case.art
mean2.340
σ0.012
min2.334
max2.362
mean402.000
σ0.000
min402.000
max402.000
mean0.834
σ0.528
min0.573
max1.778
name=heavy_item.art
mean1.523
σ0.002
min1.521
max1.525
mean402.000
σ0.000
min402.000
max402.000
mean0.376
σ0.034
min0.354
max0.434
name=nested_use.art
mean2.358
σ0.002
min2.357
max2.361
mean402.000
σ0.000
min402.000
max402.000
mean0.587
σ0.026
min0.571
max0.632

Parser: Real World

Factorallocated MiBpeak allocated MiBtime (sec)
name=aon_gpf25_7k_loc.art
mean964.971
σ0.011
min964.965
max964.989
mean431.000
σ0.000
min431.000
max431.000
mean0.711
σ0.050
min0.626
max0.754
name=cdr_enhanced_4k_loc.art
mean885.898
σ0.002
min885.897
max885.901
mean431.000
σ0.000
min431.000
max431.000
mean0.627
σ0.010
min0.612
max0.639

Parser: Record Parsing

Factorallocated MiBpeak allocated MiBtime (ms)
name=record_render_large_success.art
mean7.710
σ0.002
min7.709
max7.713
mean431.000
σ0.000
min431.000
max431.000
mean3.507
σ0.076
min3.352
max3.718
name=record_render_large_syntax_err.art
mean7.658
σ0.002
min7.657
max7.661
mean431.000
σ0.000
min431.000
max431.000
mean3.462
σ0.069
min3.364
max3.693
name=record_render_success.art
mean2.290
σ0.002
min2.289
max2.293
mean431.000
σ0.000
min431.000
max431.000
mean0.539
σ0.043
min0.505
max0.931
name=record_render_syntax_err.art
mean2.165
σ0.002
min2.164
max2.168
mean431.000
σ0.000
min431.000
max431.000
mean0.505
σ0.012
min0.484
max0.561

Revision Creation

Factorallocated MiBpeak allocated MiBtime_s
number of threads=8
revision count=1000
mean11.682
σ12.115
min0.578
max96.656
mean462.418
σ20.352
min407.000
max480.000
mean0.027
σ0.029
min0.001
max0.228

SoV import

Factorallocated MiBpeak allocated MiBtime_s
iters=10
rows=1000
mean278.859
σ1.038
min278.413
max281.806
mean443.100
σ17.006
min416.000
max470.000
mean0.577
σ0.018
min0.547
max0.611

Timed compile per phase

Factorallocated MiBpeak allocated MiBtime (ms)
phase=buildDeclTree
mean173.738
σ0.000
min173.738
max173.738
mean842.875
σ0.354
min842.000
max843.000
mean233.033
σ20.453
min193.848
max253.667
phase=macro expansion
mean6.133
σ0.000
min6.133
max6.133
mean842.750
σ0.463
min842.000
max843.000
mean9.275
σ0.645
min7.688
max9.610
phase=parser
mean1042.435
σ0.000
min1042.435
max1042.435
mean842.750
σ0.463
min842.000
max843.000
mean577.664
σ37.380
min502.261
max606.314
phase=processProdDef
mean2243.976
σ0.000
min2243.976
max2243.976
mean842.875
σ0.354
min842.000
max843.000
mean2879.408
σ447.613
min2311.222
max3427.875
phase=renaming
mean21.671
σ0.000
min21.671
max21.671
mean842.750
σ0.463
min842.000
max843.000
mean38.574
σ4.468
min27.576
max41.022
phase=type checker
mean989.752
σ0.066
min989.654
max989.841
mean842.750
σ0.463
min842.000
max843.000
mean692.694
σ62.135
min654.601
max845.256

Workflow: transactPolicy

Factorallocated MiBpeak allocated MiBtime
iters=5
new-facts=1
prior-facts=1
mean282.395
σ0.036
min282.339
max282.430
mean442.000
σ3.000
min439.000
max446.000
mean0.379
σ0.005
min0.376
max0.389
iters=5
new-facts=1
prior-facts=6402
mean1267.088
σ0.107
min1267.004
max1267.270
mean1111.400
σ170.664
min897.000
max1332.000
mean1.909
σ0.105
min1.852
max2.096
iters=5
new-facts=6402
prior-facts=1
mean1506.115
σ2.886
min1504.629
max1511.267
mean638.000
σ73.949
min540.000
max727.000
mean2.276
σ0.229
min2.042
max2.516
iters=5
new-facts=6402
prior-facts=6402
mean1829.115
σ0.070
min1829.034
max1829.217
mean1767.800
σ212.274
min1490.000
max1970.000
mean3.171
σ0.295
min2.847
max3.480

newProductH/cdr_auton/broker

Factortime_s
iterations=5
mean1.714
σ0.158
min1.528
max1.851

policy addition benchmark

Factorallocated MiBdb queriespeak allocated MiBtime
policies=2
mean397.699
σ518.054
min138.670
max1174.781
mean97.750
σ7.500
min94.000
max109.000
mean445.000
σ0.000
min445.000
max445.000
mean0.502
σ0.528
min0.234
max1.294
policies=20
mean1386.845
σ0.163
min1386.731
max1387.087
mean940.000
σ0.000
min940.000
max940.000
mean448.500
σ4.041
min445.000
max452.000
mean2.327
σ0.006
min2.318
max2.331
policies=200
mean13876.921
σ0.079
min13876.874
max13877.040
mean9400.000
σ0.000
min9400.000
max9400.000
mean498.000
σ3.367
min494.000
max502.000
mean23.562
σ0.163
min23.400
max23.772