12080f82cd45e537eefd03d6c1ccf819a46cc85a

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*	57.823
σ	0.360
min	57.685
max	58.846

*mean*	419.000
σ	0.000
min	419.000
max	419.000

*mean*	0.149
σ	0.005
min	0.144
max	0.156

cache=y

dps=1

iters=10

policies=100

*mean*	46.899
σ	0.006
min	46.887
max	46.909

*mean*	419.000
σ	0.000
min	419.000
max	419.000

*mean*	0.132
σ	0.005
min	0.127
max	0.141

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*	3959.250
σ	1944.621
min	1332.000
max	7299.000

*mean*	12.057
σ	0.160
min	11.813
max	12.325

op=column_set() on indexed, repeat

*mean*	36.606
σ	0.000
min	36.606
max	36.606

*mean*	3959.250
σ	1944.621
min	1332.000
max	7299.000

*mean*	12.266
σ	0.732
min	11.076
max	13.185

op=table_records(), no indexes

*mean*	41.940
σ	0.002
min	41.939
max	41.943

*mean*	7483.000
σ	196.704
min	7299.000
max	7667.000

*mean*	11.147
σ	0.255
min	10.811
max	11.534

op=table_records(), repeat

*mean*	41.926
σ	0.000
min	41.925
max	41.926

*mean*	3959.250
σ	1944.621
min	1332.000
max	7299.000

*mean*	11.135
σ	0.276
min	10.760
max	11.549

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

*mean*	27.634
σ	0.137
min	27.586
max	27.973

*mean*	3959.250
σ	1944.621
min	1332.000
max	7299.000

*mean*	8.549
σ	0.298
min	8.050
max	8.985

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

*mean*	26.386
σ	0.000
min	26.386
max	26.386

*mean*	3959.250
σ	1944.621
min	1332.000
max	7299.000

*mean*	6.422
σ	0.347
min	6.065
max	6.884

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.664
σ	0.004
min	25.662
max	25.675

*mean*	3959.250
σ	1944.621
min	1332.000
max	7299.000

*mean*	5.873
σ	0.138
min	5.585
max	6.043

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.963
σ	0.001
min	25.963
max	25.964

*mean*	3959.250
σ	1944.621
min	1332.000
max	7299.000

*mean*	5.661
σ	0.201
min	5.297
max	5.843

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.600
σ	0.002
min	1021.598
max	1021.602

*mean*	7437.000
σ	190.458
min	7299.000
max	7667.000

*mean*	371.807
σ	68.777
min	346.250
max	542.013

op=load_product(), with indexes

*mean*	3495.849
σ	0.460
min	3495.686
max	3496.988

*mean*	3561.500
σ	2274.397
min	639.000
max	7299.000

*mean*	1868.469
σ	769.761
min	1386.039
max	3285.959

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.842
max	107.843

*mean*	3959.250
σ	1944.621
min	1332.000
max	7299.000

*mean*	131.026
σ	4.382
min	121.552
max	137.087

op=column_set() on unindexed, dense, repeat

*mean*	62.069
σ	0.001
min	62.066
max	62.070

*mean*	3959.250
σ	1944.621
min	1332.000
max	7299.000

*mean*	43.128
σ	1.660
min	40.961
max	45.773

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.928
σ	0.002
min	40.926
max	40.930

*mean*	7483.000
σ	196.704
min	7299.000
max	7667.000

*mean*	21.968
σ	0.301
min	21.653
max	22.653

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.295
σ	0.002
min	71.294
max	71.298

*mean*	7483.000
σ	196.704
min	7299.000
max	7667.000

*mean*	55.629
σ	0.416
min	54.986
max	56.214

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.843
σ	0.014
min	4646.838
max	4646.878

*mean*	3959.250
σ	1944.621
min	1332.000
max	7299.000

*mean*	3552.393
σ	903.104
min	2495.325
max	4907.981

op=vertical_lookup_list() on indexed

*mean*	1973.831
σ	0.002
min	1973.829
max	1973.833

*mean*	7483.000
σ	196.704
min	7299.000
max	7667.000

*mean*	1045.107
σ	369.437
min	910.479
max	1959.396

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

*mean*	905.084
σ	0.002
min	905.081
max	905.088

*mean*	7483.000
σ	196.704
min	7299.000
max	7667.000

*mean*	388.800
σ	2.059
min	386.050
max	391.822

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*	476.250
σ	1.909
min	474.000
max	478.000

*mean*	375.426
σ	23.460
min	321.600
max	394.194

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	559.500
σ	2.070
min	558.000
max	564.000

*mean*	746.439
σ	43.633
min	659.549
max	799.943

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	976.919
σ	2.438
min	976.070
max	987.250

*mean*	1048.200
σ	313.965
min	575.000
max	1508.000

*mean*	1.275
σ	0.069
min	1.203
max	1.414

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.298
σ	0.289
min	0.139
max	0.813

name=error_case.art

*mean*	2.347
σ	0.012
min	2.340
max	2.369

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.529
σ	0.309
min	0.332
max	1.045

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.219
σ	0.026
min	0.199
max	0.260

name=nested_use.art

*mean*	2.365
σ	0.002
min	2.364
max	2.368

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.331
σ	0.017
min	0.316
max	0.359

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	965.083
σ	0.009
min	965.078
max	965.100

*mean*	431.600
σ	1.342
min	431.000
max	434.000

*mean*	0.572
σ	0.052
min	0.480
max	0.604

name=cdr_enhanced_4k_loc.art

*mean*	886.465
σ	0.002
min	886.463
max	886.467

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	0.463
σ	0.039
min	0.423
max	0.512

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*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	2.635
σ	0.105
min	2.459
max	2.993

name=record_render_large_syntax_err.art

*mean*	7.668
σ	0.002
min	7.667
max	7.671

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	2.555
σ	0.073
min	2.447
max	2.825

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	0.304
σ	0.029
min	0.286
max	0.571

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	0.291
σ	0.010
min	0.278
max	0.353

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.685
σ	11.835
min	0.574
max	96.576

*mean*	464.179
σ	17.855
min	409.000
max	476.000

*mean*	0.027
σ	0.029
min	0.001
max	0.240

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	293.728
σ	1.042
min	293.336
max	296.690

*mean*	444.800
σ	20.821
min	416.000
max	479.000

*mean*	0.598
σ	0.016
min	0.563
max	0.616

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*	874.000
σ	0.000
min	874.000
max	874.000

*mean*	139.128
σ	7.413
min	127.988
max	148.687

phase=macro expansion

*mean*	5.897
σ	0.000
min	5.897
max	5.897

*mean*	874.000
σ	0.000
min	874.000
max	874.000

*mean*	5.808
σ	0.111
min	5.716
max	6.073

phase=parser

*mean*	1042.244
σ	0.000
min	1042.244
max	1042.244

*mean*	874.000
σ	0.000
min	874.000
max	874.000

*mean*	376.648
σ	2.685
min	372.466
max	381.340

phase=processProdDef

*mean*	2241.194
σ	0.000
min	2241.194
max	2241.194

*mean*	874.000
σ	0.000
min	874.000
max	874.000

*mean*	2936.204
σ	329.619
min	2584.868
max	3305.968

phase=renaming

*mean*	21.430
σ	0.000
min	21.430
max	21.430

*mean*	874.000
σ	0.000
min	874.000
max	874.000

*mean*	36.506
σ	7.017
min	20.154
max	42.168

phase=type checker

*mean*	958.462
σ	0.047
min	958.439
max	958.564

*mean*	874.000
σ	0.000
min	874.000
max	874.000

*mean*	669.388
σ	20.630
min	622.873
max	695.004

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	327.856
σ	0.036
min	327.805
max	327.892

*mean*	442.000
σ	4.123
min	435.000
max	445.000

*mean*	0.438
σ	0.014
min	0.427
max	0.454

iters=5

new-facts=1

prior-facts=6402

*mean*	1313.067
σ	0.140
min	1312.959
max	1313.310

*mean*	1079.800
σ	167.098
min	879.000
max	1291.000

*mean*	1.893
σ	0.057
min	1.839
max	1.967

iters=5

new-facts=6402

prior-facts=1

*mean*	1552.092
σ	3.038
min	1550.557
max	1557.519

*mean*	621.200
σ	84.875
min	522.000
max	735.000

*mean*	2.334
σ	0.144
min	2.161
max	2.503

iters=5

new-facts=6402

prior-facts=6402

*mean*	1875.066
σ	0.057
min	1875.000
max	1875.147

*mean*	1707.000
σ	263.929
min	1393.000
max	2077.000

*mean*	2.957
σ	0.132
min	2.844
max	3.154

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.490
σ	0.175
min	1.315
max	1.696

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.420
σ	508.919
min	164.957
max	1182.798

*mean*	101.250
σ	6.500
min	98.000
max	111.000

*mean*	432.000
σ	0.000
min	432.000
max	432.000

*mean*	0.527
σ	0.509
min	0.268
max	1.290

policies=20

*mean*	1649.829
σ	0.386
min	1649.605
max	1650.407

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	450.250
σ	11.057
min	436.000
max	459.000

*mean*	2.666
σ	0.014
min	2.646
max	2.674

policies=200

*mean*	16506.178
σ	0.061
min	16506.092
max	16506.237

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	496.500
σ	4.435
min	492.000
max	502.000

*mean*	26.910
σ	0.080
min	26.817
max	26.992