44df6be10a24be2649a7cc17fc21454e43b84032

Home / Branches / danidiaz/subscribing_to_todos_should_require_notifs / 44df6be10a24be2649a7cc17fc21454e43b84032

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)

Factorcompact size MiB
phase=processProdDef
mean558.664
σ0.000
min558.664
max558.664

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.888
σ0.371
min54.743
max55.943
mean418.000
σ0.000
min418.000
max418.000
mean0.138
σ0.005
min0.132
max0.145
cache=y
dps=1
iters=10
policies=100
mean43.856
σ0.006
min43.848
max43.866
mean418.700
σ0.483
min418.000
max419.000
mean0.122
σ0.005
min0.115
max0.131

CSV - indexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on indexed
mean36.618
σ0.002
min36.616
max36.620
mean4029.125
σ2000.575
min1216.000
max7123.000
mean12.211
σ0.163
min11.963
max12.456
op=column_set() on indexed, repeat
mean36.618
σ0.002
min36.616
max36.620
mean4029.125
σ2000.575
min1216.000
max7123.000
mean12.284
σ0.624
min11.117
max12.711
op=table_records(), no indexes
mean41.930
σ0.002
min41.928
max41.933
mean7123.000
σ0.000
min7123.000
max7123.000
mean14.473
σ1.388
min11.139
max15.502
op=table_records(), repeat
mean41.930
σ0.002
min41.928
max41.932
mean4029.125
σ2000.575
min1216.000
max7123.000
mean12.502
σ2.009
min10.351
max14.588
op=vertical_lookup_list() on indexed, after table_records()
mean27.654
σ0.136
min27.604
max27.991
mean4029.125
σ2000.575
min1216.000
max7123.000
mean8.465
σ0.463
min7.993
max9.197
op=vertical_lookup_list() on indexed, after table_records(), repeat
mean26.401
σ0.002
min26.400
max26.404
mean4029.125
σ2000.575
min1216.000
max7123.000
mean6.241
σ0.302
min5.864
max6.590
op=vertical_lookup_row_list() on 2 indexed
mean25.668
σ0.004
min25.665
max25.678
mean4029.125
σ2000.575
min1216.000
max7123.000
mean5.530
σ0.053
min5.437
max5.596
op=vertical_lookup_row_list() on 3 (1 unindexed)
mean25.970
σ0.002
min25.968
max25.972
mean4029.125
σ2000.575
min1216.000
max7123.000
mean5.373
σ0.085
min5.282
max5.553

CSV - loading a lazy table

Factorallocated MiBpeak allocated MiBtime (ms)
op=load_product(), no indexes
mean1021.613
σ0.002
min1021.612
max1021.616
mean7123.000
σ0.000
min7123.000
max7123.000
mean344.451
σ1.666
min341.255
max346.441
op=load_product(), with indexes
mean7917.793
σ0.469
min7917.625
max7918.953
mean3263.750
σ1816.147
min809.000
max5601.000
mean3573.600
σ947.598
min3084.602
max5696.001

CSV - unindexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on unindexed, dense
mean62.077
σ0.002
min62.076
max62.080
mean4029.125
σ2000.575
min1216.000
max7123.000
mean81.920
σ12.590
min69.417
max96.975
op=vertical_lookup_list() on unindexed missing Int
mean40.946
σ0.002
min40.945
max40.950
mean7123.000
σ0.000
min7123.000
max7123.000
mean143.885
σ227.222
min60.207
max706.035
op=vertical_lookup_row_list() on unindexed small unique Int
mean66.688
σ0.002
min66.686
max66.691
mean7123.000
σ0.000
min7123.000
max7123.000
mean104.550
σ11.765
min97.385
max130.854

CSV - warmup

Factorallocated MiBpeak allocated MiBtime (ms)
op=table_records()
mean14217.171
σ4.303
min14215.576
max14227.820
mean4029.125
σ2000.575
min1216.000
max7123.000
mean8142.113
σ1900.914
min5996.198
max10691.733
op=vertical_lookup_list() on indexed
mean13159.108
σ0.002
min13159.106
max13159.110
mean7123.000
σ0.000
min7123.000
max7123.000
mean5284.123
σ596.424
min4973.514
max6705.800

CSV internal benchmark: pointedIndexFromKvs

Factorallocated MiBpeak allocated MiBtime (ms)
op=pointedIndexFromKvs
rows=200000
mean172.559
σ0.001
min172.558
max172.562
mean474.000
σ0.000
min474.000
max474.000
mean381.428
σ27.615
min315.358
max397.850
op=pointedIndexFromKvs
rows=400000
mean357.322
σ0.001
min357.321
max357.325
mean559.000
σ0.000
min559.000
max559.000
mean749.429
σ53.356
min622.455
max780.555

Marine Hull: transactPolicy

Factorallocated MiBpeak allocated MiBtime
datapoints=1
iterations=20
mean1024.299
σ0.759
min1023.824
max1027.438
mean1052.100
σ311.971
min571.000
max1509.000
mean1.566
σ0.071
min1.498
max1.801

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.401
σ0.521
min0.144
max1.332
name=error_case.art
mean2.339
σ0.012
min2.333
max2.361
mean402.000
σ0.000
min402.000
max402.000
mean0.688
σ0.206
min0.572
max1.055
name=heavy_item.art
mean1.522
σ0.002
min1.521
max1.525
mean402.000
σ0.000
min402.000
max402.000
mean0.388
σ0.033
min0.364
max0.445
name=nested_use.art
mean2.357
σ0.002
min2.356
max2.360
mean402.000
σ0.000
min402.000
max402.000
mean0.591
σ0.027
min0.568
max0.637

Parser: Real World

Factorallocated MiBpeak allocated MiBtime (sec)
name=aon_gpf25_7k_loc.art
mean964.840
σ0.011
min964.835
max964.859
mean436.600
σ6.066
min431.000
max443.000
mean0.713
σ0.030
min0.678
max0.751
name=cdr_enhanced_4k_loc.art
mean885.820
σ0.002
min885.819
max885.823
mean443.000
σ0.000
min443.000
max443.000
mean0.645
σ0.006
min0.638
max0.653

Parser: Record Parsing

Factorallocated MiBpeak allocated MiBtime (ms)
name=record_render_large_success.art
mean7.709
σ0.002
min7.708
max7.712
mean443.000
σ0.000
min443.000
max443.000
mean2.818
σ0.088
min2.660
max3.306
name=record_render_large_syntax_err.art
mean7.657
σ0.002
min7.656
max7.660
mean443.000
σ0.000
min443.000
max443.000
mean2.801
σ0.072
min2.678
max3.067
name=record_render_success.art
mean2.289
σ0.002
min2.289
max2.293
mean443.000
σ0.000
min443.000
max443.000
mean0.546
σ0.013
min0.524
max0.620
name=record_render_syntax_err.art
mean2.165
σ0.002
min2.164
max2.168
mean443.000
σ0.000
min443.000
max443.000
mean0.519
σ0.012
min0.495
max0.576

SoV import

Factorallocated MiBpeak allocated MiBtime_s
iters=10
rows=1000
mean298.535
σ1.069
min298.078
max301.574
mean441.700
σ14.064
min420.000
max463.000
mean0.600
σ0.028
min0.558
max0.642

Timed compile per phase

Factorallocated MiBpeak allocated MiBtime (ms)
phase=buildDeclTree
mean236.678
σ0.000
min236.678
max236.678
mean941.750
σ14.849
min905.000
max947.000
mean218.094
σ2.966
min212.611
max221.964
phase=macro expansion
mean6.130
σ0.000
min6.130
max6.130
mean941.750
σ14.849
min905.000
max947.000
mean9.394
σ1.801
min6.277
max12.735
phase=parser
mean1042.361
σ0.000
min1042.360
max1042.361
mean941.750
σ14.849
min905.000
max947.000
mean521.265
σ96.306
min380.255
max617.576
phase=processProdDef
mean4850.768
σ0.000
min4850.768
max4850.768
mean947.000
σ0.000
min947.000
max947.000
mean4940.002
σ326.517
min4420.980
max5263.467
phase=renaming
mean21.675
σ0.000
min21.675
max21.675
mean941.750
σ14.849
min905.000
max947.000
mean37.744
σ9.629
min21.147
max48.471
phase=type checker
mean990.450
σ0.071
min990.344
max990.563
mean941.750
σ14.849
min905.000
max947.000
mean773.189
σ108.086
min657.651
max922.974

Workflow: transactPolicy

Factorallocated MiBpeak allocated MiBtime
iters=5
new-facts=1
prior-facts=1
mean293.823
σ0.038
min293.771
max293.862
mean440.800
σ1.095
min440.000
max442.000
mean0.392
σ0.001
min0.390
max0.394
iters=5
new-facts=1
prior-facts=6402
mean1320.193
σ0.044
min1320.145
max1320.252
mean1084.000
σ171.876
min879.000
max1316.000
mean2.219
σ0.152
min2.046
max2.459
iters=5
new-facts=6402
prior-facts=1
mean1560.601
σ6.216
min1557.644
max1571.717
mean611.000
σ95.139
min497.000
max735.000
mean2.288
σ0.109
min2.163
max2.410
iters=5
new-facts=6402
prior-facts=6402
mean1882.170
σ0.058
min1882.097
max1882.243
mean1724.800
σ173.314
min1468.000
max1876.000
mean3.070
σ0.154
min2.906
max3.263

newProductH/cdr_auton/broker

Factortime_s
iterations=5
mean1.741
σ0.151
min1.549
max1.890

policy addition benchmark

Factorallocated MiBdb queriespeak allocated MiBtime
policies=2
mean451.365
σ582.722
min160.003
max1325.449
mean100.250
σ8.500
min96.000
max113.000
mean443.000
σ0.000
min443.000
max443.000
mean0.586
σ0.630
min0.264
max1.532
policies=20
mean1600.340
σ0.387
min1600.067
max1600.911
mean960.000
σ0.000
min960.000
max960.000
mean447.000
σ8.000
min443.000
max459.000
mean2.659
σ0.018
min2.635
max2.673
policies=200
mean16011.610
σ0.168
min16011.462
max16011.847
mean9600.000
σ0.000
min9600.000
max9600.000
mean498.500
σ4.435
min493.000
max503.000
mean26.931
σ0.091
min26.806
max27.020