Compare commits

AST compact size (buildDeclTree)

Factor

compact size MiB

phase=buildDeclTree

*mean*	0.203
σ	0.000
min	0.203
max	0.203

AST compact size (macro expansion)

Factor

compact size MiB

phase=macro expansion

*mean*	5.082
σ	0.000
min	5.082
max	5.082

AST compact size (parser)

Factor

compact size MiB

phase=parser

*mean*	4.988
σ	0.000
min	4.988
max	4.988

AST compact size (processProdDef Decls)

Factor

compact size MiB

phase=processProdDef Decls

*mean*	4.863
σ	0.000
min	4.863
max	4.863

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.102
σ	0.000
min	446.102
max	446.102

AST compact size (renaming)

Factor

compact size MiB

phase=renaming

*mean*	5.238
σ	0.000
min	5.238
max	5.238

AST compact size (type checker)

Factor

compact size MiB

phase=type checker

*mean*	6.395
σ	0.000
min	6.395
max	6.395

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	54.697
σ	0.364
min	54.563
max	55.731

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.141
σ	0.004
min	0.137
max	0.147

cache=y

dps=1

iters=10

policies=100

*mean*	43.778
σ	0.007
min	43.767
max	43.787

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.122
σ	0.004
min	0.117
max	0.128

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.605
σ	0.000
min	36.605
max	36.606

*mean*	4592.000
σ	2249.162
min	1487.000
max	7383.000

*mean*	151.155
σ	391.364
min	11.860
max	1119.721

op=column_set() on indexed, repeat

*mean*	36.605
σ	0.000
min	36.605
max	36.605

*mean*	4592.000
σ	2249.162
min	1487.000
max	7383.000

*mean*	14.646
σ	4.674
min	11.559
max	25.064

op=table_records(), no indexes

*mean*	41.940
σ	0.002
min	41.938
max	41.943

*mean*	7383.000
σ	0.000
min	7383.000
max	7383.000

*mean*	11.975
σ	1.913
min	11.030
max	16.670

op=table_records(), repeat

*mean*	41.925
σ	0.001
min	41.924
max	41.928

*mean*	4184.000
σ	1946.185
min	1487.000
max	7383.000

*mean*	11.913
σ	1.947
min	11.061
max	16.707

op=vertical_lookup_list() on indexed, after table_records()

*mean*	27.634
σ	0.137
min	27.585
max	27.972

*mean*	4184.000
σ	1946.185
min	1487.000
max	7383.000

*mean*	8.937
σ	1.474
min	7.756
max	12.488

op=vertical_lookup_list() on indexed, after table_records(), repeat

*mean*	26.385
σ	0.000
min	26.385
max	26.385

*mean*	4184.000
σ	1946.185
min	1487.000
max	7383.000

*mean*	6.599
σ	1.096
min	5.673
max	9.184

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.663
σ	0.004
min	25.662
max	25.674

*mean*	4592.000
σ	2249.162
min	1487.000
max	7383.000

*mean*	6.546
σ	1.102
min	5.825
max	9.037

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.962
σ	0.001
min	25.962
max	25.964

*mean*	4592.000
σ	2249.162
min	1487.000
max	7383.000

*mean*	6.387
σ	1.137
min	5.761
max	8.989

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.599
σ	0.002
min	1021.597
max	1021.602

*mean*	7383.000
σ	0.000
min	7383.000
max	7383.000

*mean*	345.049
σ	2.801
min	340.364
max	349.268

op=load_product(), with indexes

*mean*	3495.846
σ	0.455
min	3495.685
max	3496.971

*mean*	3759.125
σ	2301.067
min	720.000
max	7383.000

*mean*	1795.422
σ	648.356
min	1408.084
max	2844.648

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense, minor warmup

*mean*	107.842
σ	0.000
min	107.841
max	107.842

*mean*	4412.250
σ	2218.273
min	1487.000
max	7383.000

*mean*	250.652
σ	331.702
min	122.770
max	1070.242

op=column_set() on unindexed, dense, repeat

*mean*	62.069
σ	0.001
min	62.065
max	62.069

*mean*	4412.250
σ	2218.273
min	1487.000
max	7383.000

*mean*	45.928
σ	9.163
min	40.102
max	67.925

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.927
σ	0.002
min	40.926
max	40.930

*mean*	7383.000
σ	0.000
min	7383.000
max	7383.000

*mean*	215.711
σ	545.375
min	21.634
max	1565.442

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.294
σ	0.002
min	71.293
max	71.297

*mean*	7383.000
σ	0.000
min	7383.000
max	7383.000

*mean*	66.269
σ	26.393
min	54.913
max	131.317

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.842
σ	0.014
min	4646.837
max	4646.876

*mean*	4184.000
σ	1946.185
min	1487.000
max	7383.000

*mean*	3271.277
σ	785.353
min	2509.440
max	4760.490

op=vertical_lookup_list() on indexed

*mean*	1973.830
σ	0.002
min	1973.829
max	1973.833

*mean*	7383.000
σ	0.000
min	7383.000
max	7383.000

*mean*	1047.697
σ	258.765
min	927.469
max	1676.464

op=vertical_lookup_list() on unindexed missing Int, minor warmup

*mean*	905.084
σ	0.002
min	905.082
max	905.087

*mean*	7383.000
σ	0.000
min	7383.000
max	7383.000

*mean*	399.123
σ	5.976
min	387.642
max	409.428

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	148.144
σ	0.001
min	148.144
max	148.148

*mean*	478.125
σ	0.354
min	478.000
max	479.000

*mean*	374.284
σ	39.417
min	307.314
max	440.115

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	561.250
σ	0.707
min	561.000
max	563.000

*mean*	775.668
σ	35.518
min	744.153
max	825.391

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.556
σ	1.879
min	963.839
max	972.503

*mean*	1036.500
σ	308.271
min	538.000
max	1534.000

*mean*	1.258
σ	0.115
min	1.088
max	1.617

Parser: Comma Sep

Factor

allocated MiB

peak allocated MiB

time (ms)

name=ambiguous_item.art

*mean*	0.913
σ	0.020
min	0.903
max	0.949

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.309
σ	0.331
min	0.136
max	0.898

name=error_case.art

*mean*	2.346
σ	0.012
min	2.340
max	2.368

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.473
σ	0.320
min	0.320
max	1.046

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.522
max	1.526

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.216
σ	0.024
min	0.197
max	0.257

name=nested_use.art

*mean*	2.364
σ	0.002
min	2.363
max	2.367

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.329
σ	0.016
min	0.312
max	0.353

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.978
σ	0.009
min	964.973
max	964.995

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.540
σ	0.059
min	0.484
max	0.614

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.468
σ	0.076
min	0.376
max	0.526

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.719
σ	0.002
min	7.718
max	7.722

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	2.610
σ	0.104
min	2.454
max	3.195

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	2.590
σ	0.080
min	2.448
max	2.821

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.304
σ	0.009
min	0.292
max	0.363

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.295
σ	0.050
min	0.277
max	0.780

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.359
σ	11.727
min	0.574
max	134.396

*mean*	458.579
σ	16.928
min	406.000
max	474.000

*mean*	0.026
σ	0.029
min	0.001
max	0.316

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.842
σ	1.084
min	278.431
max	281.925

*mean*	445.100
σ	17.489
min	426.000
max	472.000

*mean*	0.571
σ	0.025
min	0.536
max	0.623

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	106.546
σ	0.000
min	106.546
max	106.546

*mean*	849.000
σ	0.000
min	849.000
max	849.000

*mean*	153.212
σ	5.421
min	141.536
max	158.838

phase=macro expansion

*mean*	5.894
σ	0.000
min	5.894
max	5.894

*mean*	849.000
σ	0.000
min	849.000
max	849.000

*mean*	8.434
σ	2.295
min	5.703
max	11.898

phase=parser

*mean*	1042.132
σ	0.000
min	1042.132
max	1042.132

*mean*	849.000
σ	0.000
min	849.000
max	849.000

*mean*	521.059
σ	130.932
min	374.372
max	723.984

phase=processProdDef

*mean*	2241.194
σ	0.000
min	2241.194
max	2241.194

*mean*	849.000
σ	0.000
min	849.000
max	849.000

*mean*	2635.856
σ	522.749
min	1950.829
max	3328.727

phase=renaming

*mean*	21.434
σ	0.000
min	21.434
max	21.434

*mean*	849.000
σ	0.000
min	849.000
max	849.000

*mean*	38.723
σ	5.458
min	30.349
max	46.937

phase=type checker

*mean*	958.462
σ	0.047
min	958.439
max	958.564

*mean*	849.000
σ	0.000
min	849.000
max	849.000

*mean*	727.883
σ	77.018
min	631.839
max	829.737

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.856
σ	0.038
min	282.801
max	282.892

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	0.374
σ	0.001
min	0.373
max	0.375

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.055
σ	0.107
min	1267.941
max	1268.229

*mean*	1090.200
σ	167.874
min	891.000
max	1319.000

*mean*	2.040
σ	0.163
min	1.855
max	2.285

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.018
σ	2.955
min	1505.465
max	1512.292

*mean*	623.600
σ	87.751
min	493.000
max	726.000

*mean*	2.215
σ	0.194
min	2.075
max	2.557

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.056
σ	0.044
min	1829.995
max	1830.105

*mean*	1718.400
σ	188.236
min	1454.000
max	1891.000

*mean*	2.966
σ	0.193
min	2.826
max	3.302

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.715
σ	0.133
min	1.492
max	1.823

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	405.944
σ	509.285
min	151.295
max	1169.871

*mean*	101.750
σ	7.500
min	98.000
max	113.000

*mean*	433.000
σ	0.000
min	433.000
max	433.000

*mean*	0.512
σ	0.522
min	0.245
max	1.295

policies=20

*mean*	1513.140
σ	0.259
min	1512.973
max	1513.524

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	443.500
σ	7.000
min	433.000
max	447.000

*mean*	2.485
σ	0.008
min	2.475
max	2.494

policies=200

*mean*	15140.002
σ	0.099
min	15139.913
max	15140.142

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	497.750
σ	5.560
min	491.000
max	504.000

*mean*	24.983
σ	0.074
min	24.910
max	25.080