ba19031957d3505b2e0d8d2a6cb39899ce4a4ec1

Home / Branches / federicoroffi/exp-1688-improve-filtering-and-grouping-in-the-placement-supertable / ba19031957d3505b2e0d8d2a6cb39899ce4a4ec1

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.775
σ0.363
min54.629
max55.807
mean419.000
σ0.000
min419.000
max419.000
mean0.141
σ0.004
min0.136
max0.148
cache=y
dps=1
iters=10
policies=100
mean43.774
σ0.007
min43.760
max43.788
mean419.000
σ0.000
min419.000
max419.000
mean0.122
σ0.003
min0.120
max0.130

CSV - indexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on indexed
mean36.617
σ0.000
min36.617
max36.618
mean4583.875
σ2251.771
min1487.000
max7400.000
mean13.448
σ3.505
min11.730
max22.053
op=column_set() on indexed, repeat
mean36.617
σ0.000
min36.617
max36.618
mean4583.875
σ2251.771
min1487.000
max7400.000
mean13.537
σ3.133
min11.488
max21.149
op=table_records(), no indexes
mean41.948
σ0.002
min41.946
max41.950
mean7400.000
σ0.000
min7400.000
max7400.000
mean11.178
σ0.113
min11.019
max11.333
op=table_records(), repeat
mean41.933
σ0.000
min41.933
max41.934
mean4170.625
σ1943.360
min1487.000
max7400.000
mean11.929
σ1.786
min10.904
max16.308
op=vertical_lookup_list() on indexed, after table_records()
mean27.655
σ0.136
min27.606
max27.993
mean4170.625
σ1943.360
min1487.000
max7400.000
mean9.193
σ1.318
min7.951
max12.337
op=vertical_lookup_list() on indexed, after table_records(), repeat
mean26.406
σ0.000
min26.406
max26.406
mean4170.625
σ1943.360
min1487.000
max7400.000
mean7.017
σ0.942
min6.044
max9.225
op=vertical_lookup_row_list() on 2 indexed
mean25.681
σ0.003
min25.680
max25.688
mean4583.875
σ2251.771
min1487.000
max7400.000
mean6.424
σ0.965
min5.836
max8.787
op=vertical_lookup_row_list() on 3 (1 unindexed)
mean25.984
σ0.000
min25.984
max25.985
mean4583.875
σ2251.771
min1487.000
max7400.000
mean6.325
σ1.008
min5.741
max8.790

CSV - loading a lazy table

Factorallocated MiBpeak allocated MiBtime (ms)
op=load_product(), no indexes
mean1021.627
σ0.002
min1021.625
max1021.629
mean7400.000
σ0.000
min7400.000
max7400.000
mean361.803
σ41.861
min345.369
max465.364
op=load_product(), with indexes
mean3495.878
σ0.469
min3495.713
max3497.038
mean3749.000
σ2296.221
min721.000
max7400.000
mean1585.960
σ469.423
min1384.167
max2737.167

CSV - unindexed operations

Factorallocated MiBpeak allocated MiBtime (ms)
op=column_set() on unindexed, dense, minor warmup
mean107.854
σ0.000
min107.854
max107.855
mean4405.500
σ2223.271
min1487.000
max7400.000
mean269.861
σ374.543
min127.112
max1195.619
op=column_set() on unindexed, dense, repeat
mean62.082
σ0.000
min62.081
max62.082
mean4583.875
σ2251.771
min1487.000
max7400.000
mean118.614
σ212.113
min40.254
max643.527
op=vertical_lookup_list() repeated on unindexed missing Int
mean40.948
σ0.002
min40.947
max40.950
mean7400.000
σ0.000
min7400.000
max7400.000
mean22.280
σ0.971
min21.687
max24.637
op=vertical_lookup_row_list() on unindexed small unique Int
mean71.308
σ0.002
min71.307
max71.311
mean7400.000
σ0.000
min7400.000
max7400.000
mean312.699
σ725.789
min55.222
max2108.933

CSV - warmup

Factorallocated MiBpeak allocated MiBtime (ms)
op=table_records()
mean4646.850
σ0.014
min4646.845
max4646.884
mean4170.625
σ1943.360
min1487.000
max7400.000
mean3072.744
σ673.563
min2505.676
max4159.327
op=vertical_lookup_list() on indexed
mean1973.851
σ0.002
min1973.849
max1973.854
mean7400.000
σ0.000
min7400.000
max7400.000
mean1019.997
σ173.219
min912.417
max1408.189
op=vertical_lookup_list() on unindexed missing Int, minor warmup
mean905.105
σ0.002
min905.102
max905.108
mean7400.000
σ0.000
min7400.000
max7400.000
mean388.508
σ1.775
min384.864
max390.474

CSV internal benchmark: pointedIndexFromKvs

Factorallocated MiBpeak allocated MiBtime (ms)
op=pointedIndexFromKvs
rows=200000
mean148.144
σ0.001
min148.144
max148.148
mean477.000
σ1.069
min476.000
max478.000
mean366.819
σ22.224
min317.153
max393.522
op=pointedIndexFromKvs
rows=400000
mean308.493
σ0.001
min308.493
max308.497
mean563.500
σ0.926
min562.000
max564.000
mean737.169
σ81.934
min556.562
max829.973

Marine Hull: transactPolicy

Factorallocated MiBpeak allocated MiBtime
datapoints=1
iterations=20
mean963.973
σ1.820
min963.263
max971.668
mean1049.800
σ297.686
min575.000
max1475.000
mean1.327
σ0.149
min1.195
max1.735

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.292
σ0.282
min0.138
max0.793
name=error_case.art
mean2.340
σ0.012
min2.334
max2.362
mean402.000
σ0.000
min402.000
max402.000
mean0.488
σ0.334
min0.333
max1.085
name=heavy_item.art
mean1.523
σ0.002
min1.521
max1.525
mean402.000
σ0.000
min402.000
max402.000
mean0.219
σ0.029
min0.198
max0.269
name=nested_use.art
mean2.358
σ0.002
min2.357
max2.361
mean402.000
σ0.000
min402.000
max402.000
mean0.336
σ0.013
min0.323
max0.353

Parser: Real World

Factorallocated MiBpeak allocated MiBtime (sec)
name=aon_gpf25_7k_loc.art
mean964.971
σ0.011
min964.965
max964.989
mean431.400
σ0.894
min431.000
max433.000
mean0.543
σ0.026
min0.521
max0.587
name=cdr_enhanced_4k_loc.art
mean885.898
σ0.002
min885.897
max885.901
mean437.000
σ0.000
min437.000
max437.000
mean0.488
σ0.032
min0.454
max0.522

Parser: Record Parsing

Factorallocated MiBpeak allocated MiBtime (ms)
name=record_render_large_success.art
mean7.710
σ0.002
min7.709
max7.713
mean437.000
σ0.000
min437.000
max437.000
mean2.411
σ0.269
min1.886
max2.805
name=record_render_large_syntax_err.art
mean7.658
σ0.002
min7.657
max7.661
mean437.000
σ0.000
min437.000
max437.000
mean2.593
σ0.068
min2.468
max2.807
name=record_render_success.art
mean2.290
σ0.002
min2.289
max2.293
mean437.000
σ0.000
min437.000
max437.000
mean0.307
σ0.008
min0.292
max0.358
name=record_render_syntax_err.art
mean2.165
σ0.002
min2.164
max2.168
mean437.000
σ0.000
min437.000
max437.000
mean0.291
σ0.007
min0.277
max0.330

Revision Creation

Factorallocated MiBpeak allocated MiBtime_s
number of threads=8
revision count=1000
mean12.186
σ11.290
min0.574
max76.030
mean467.033
σ18.557
min408.000
max482.000
mean0.028
σ0.028
min0.001
max0.174

SoV import

Factorallocated MiBpeak allocated MiBtime_s
iters=10
rows=1000
mean278.672
σ1.063
min278.231
max281.691
mean446.400
σ17.044
min425.000
max470.000
mean0.582
σ0.016
min0.559
max0.618

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
mean226.124
σ18.984
min197.634
max251.885
phase=macro expansion
mean6.130
σ0.000
min6.130
max6.130
mean843.375
σ1.768
min839.000
max844.000
mean9.040
σ1.013
min7.384
max9.713
phase=parser
mean1042.434
σ0.000
min1042.433
max1042.434
mean843.375
σ1.768
min839.000
max844.000
mean559.822
σ84.493
min420.767
max617.145
phase=processProdDef
mean2243.976
σ0.000
min2243.976
max2243.976
mean844.000
σ0.000
min844.000
max844.000
mean2737.248
σ410.145
min2215.616
max3407.289
phase=renaming
mean21.675
σ0.000
min21.675
max21.675
mean843.375
σ1.768
min839.000
max844.000
mean37.153
σ6.726
min26.156
max41.125
phase=type checker
mean989.752
σ0.066
min989.654
max989.841
mean843.375
σ1.768
min839.000
max844.000
mean715.675
σ75.495
min646.115
max868.831

Workflow: transactPolicy

Factorallocated MiBpeak allocated MiBtime
iters=5
new-facts=1
prior-facts=1
mean282.386
σ0.037
min282.337
max282.428
mean444.800
σ1.095
min444.000
max446.000
mean0.378
σ0.001
min0.377
max0.379
iters=5
new-facts=1
prior-facts=6402
mean1267.110
σ0.104
min1266.999
max1267.275
mean1105.600
σ191.087
min844.000
max1335.000
mean1.929
σ0.166
min1.799
max2.134
iters=5
new-facts=6402
prior-facts=1
mean1506.087
σ2.947
min1504.556
max1511.348
mean622.600
σ81.402
min497.000
max714.000
mean2.224
σ0.196
min2.088
max2.569
iters=5
new-facts=6402
prior-facts=6402
mean1829.099
σ0.046
min1829.033
max1829.145
mean1742.400
σ173.684
min1484.000
max1891.000
mean3.011
σ0.221
min2.822
max3.394

newProductH/cdr_auton/broker

Factortime_s
iterations=5
mean1.711
σ0.064
min1.654
max1.807

policy addition benchmark

Factorallocated MiBdb queriespeak allocated MiBtime
policies=2
mean397.697
σ518.051
min138.670
max1174.774
mean97.750
σ7.500
min94.000
max109.000
mean446.000
σ0.000
min446.000
max446.000
mean0.501
σ0.523
min0.236
max1.285
policies=20
mean1386.837
σ0.163
min1386.725
max1387.079
mean940.000
σ0.000
min940.000
max940.000
mean446.000
σ0.000
min446.000
max446.000
mean2.334
σ0.010
min2.321
max2.344
policies=200
mean13876.894
σ0.126
min13876.757
max13877.062
mean9400.000
σ0.000
min9400.000
max9400.000
mean496.250
σ3.500
min492.000
max500.000
mean23.582
σ0.128
min23.463
max23.713