c46727b3192f364380ea6106b3109f87c4ec9edc

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.133
σ	0.000
min	446.133
max	446.133

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.820
σ	0.359
min	57.685
max	58.842

*mean*	421.000
σ	0.000
min	421.000
max	421.000

*mean*	0.151
σ	0.008
min	0.145
max	0.171

cache=y

dps=1

iters=10

policies=100

*mean*	46.898
σ	0.007
min	46.884
max	46.906

*mean*	421.000
σ	0.000
min	421.000
max	421.000

*mean*	0.127
σ	0.005
min	0.122
max	0.137

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*	4489.250
σ	2213.652
min	1471.000
max	7298.000

*mean*	12.170
σ	0.593
min	11.813
max	13.595

op=column_set() on indexed, repeat

*mean*	36.605
σ	0.000
min	36.605
max	36.605

*mean*	4489.250
σ	2213.652
min	1471.000
max	7298.000

*mean*	11.850
σ	0.542
min	11.273
max	12.805

op=table_records(), no indexes

*mean*	41.940
σ	0.002
min	41.938
max	41.943

*mean*	7298.000
σ	0.000
min	7298.000
max	7298.000

*mean*	11.534
σ	0.462
min	10.993
max	12.262

op=table_records(), repeat

*mean*	41.925
σ	0.000
min	41.925
max	41.926

*mean*	4489.250
σ	2213.652
min	1471.000
max	7298.000

*mean*	11.331
σ	0.446
min	10.971
max	12.329

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

*mean*	27.634
σ	0.137
min	27.585
max	27.972

*mean*	4489.250
σ	2213.652
min	1471.000
max	7298.000

*mean*	8.442
σ	0.472
min	7.842
max	8.984

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

*mean*	26.385
σ	0.000
min	26.385
max	26.385

*mean*	4489.250
σ	2213.652
min	1471.000
max	7298.000

*mean*	6.338
σ	0.407
min	5.779
max	6.975

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.663
σ	0.004
min	25.662
max	25.674

*mean*	4489.250
σ	2213.652
min	1471.000
max	7298.000

*mean*	6.003
σ	0.149
min	5.866
max	6.216

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.963
σ	0.001
min	25.962
max	25.966

*mean*	4489.250
σ	2213.652
min	1471.000
max	7298.000

*mean*	5.955
σ	0.204
min	5.639
max	6.201

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.598
max	1021.602

*mean*	7298.000
σ	0.000
min	7298.000
max	7298.000

*mean*	345.365
σ	2.325
min	341.962
max	348.441

op=load_product(), with indexes

*mean*	3495.846
σ	0.455
min	3495.685
max	3496.971

*mean*	3667.500
σ	2242.054
min	724.000
max	7298.000

*mean*	1573.285
σ	490.461
min	1388.379
max	2786.932

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

*mean*	107.841
σ	0.000
min	107.841
max	107.842

*mean*	4489.250
σ	2213.652
min	1471.000
max	7298.000

*mean*	131.928
σ	8.361
min	123.428
max	147.961

op=column_set() on unindexed, dense, repeat

*mean*	62.069
σ	0.001
min	62.065
max	62.069

*mean*	4489.250
σ	2213.652
min	1471.000
max	7298.000

*mean*	43.632
σ	1.702
min	41.638
max	45.635

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.927
σ	0.002
min	40.926
max	40.930

*mean*	7298.000
σ	0.000
min	7298.000
max	7298.000

*mean*	38.708
σ	42.754
min	21.637
max	144.336

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.294
σ	0.002
min	71.293
max	71.297

*mean*	7298.000
σ	0.000
min	7298.000
max	7298.000

*mean*	59.118
σ	8.694
min	55.700
max	80.620

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.842
σ	0.013
min	4646.837
max	4646.875

*mean*	4489.250
σ	2213.652
min	1471.000
max	7298.000

*mean*	3410.451
σ	788.702
min	2488.821
max	4466.413

op=vertical_lookup_list() on indexed

*mean*	1973.830
σ	0.002
min	1973.829
max	1973.833

*mean*	7298.000
σ	0.000
min	7298.000
max	7298.000

*mean*	1110.336
σ	365.239
min	907.043
max	1866.216

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

*mean*	905.084
σ	0.002
min	905.082
max	905.087

*mean*	7298.000
σ	0.000
min	7298.000
max	7298.000

*mean*	420.040
σ	51.633
min	390.560
max	506.908

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

*mean*	392.043
σ	33.075
min	347.338
max	438.861

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	561.750
σ	2.315
min	558.000
max	563.000

*mean*	772.576
σ	44.706
min	680.070
max	827.265

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	977.272
σ	2.439
min	976.426
max	987.608

*mean*	1038.550
σ	322.012
min	533.000
max	1508.000

*mean*	1.299
σ	0.102
min	1.181
max	1.560

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

*mean*	0.384
σ	0.469
min	0.147
max	1.219

name=error_case.art

*mean*	2.346
σ	0.012
min	2.340
max	2.368

*mean*	401.000
σ	0.000
min	401.000
max	401.000

*mean*	0.422
σ	0.206
min	0.319
max	0.790

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.522
max	1.526

*mean*	401.000
σ	0.000
min	401.000
max	401.000

*mean*	0.223
σ	0.024
min	0.208
max	0.265

name=nested_use.art

*mean*	2.364
σ	0.002
min	2.363
max	2.367

*mean*	401.000
σ	0.000
min	401.000
max	401.000

*mean*	0.335
σ	0.017
min	0.323
max	0.363

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*	435.600
σ	6.066
min	430.000
max	442.000

*mean*	0.554
σ	0.047
min	0.499
max	0.606

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	0.479
σ	0.057
min	0.393
max	0.528

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*	1.959
σ	0.080
min	1.847
max	2.295

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	1.851
σ	0.111
min	1.725
max	2.275

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.306
σ	0.008
min	0.286
max	0.351

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.294
σ	0.007
min	0.282
max	0.324

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.432
σ	10.601
min	0.714
max	71.265

*mean*	467.266
σ	19.865
min	406.000
max	481.000

*mean*	0.026
σ	0.026
min	0.001
max	0.176

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	294.048
σ	1.050
min	293.642
max	297.032

*mean*	441.700
σ	17.153
min	414.000
max	467.000

*mean*	0.591
σ	0.031
min	0.507
max	0.622

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

*mean*	147.438
σ	11.910
min	133.945
max	164.164

phase=macro expansion

*mean*	5.894
σ	0.000
min	5.894
max	5.894

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	7.876
σ	1.225
min	6.094
max	9.124

phase=parser

*mean*	1042.133
σ	0.000
min	1042.132
max	1042.133

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	513.847
σ	98.476
min	405.281
max	608.118

phase=processProdDef

*mean*	2241.195
σ	0.000
min	2241.195
max	2241.195

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	3144.130
σ	97.969
min	3009.696
max	3325.969

phase=renaming

*mean*	21.430
σ	0.000
min	21.430
max	21.430

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	42.552
σ	4.873
min	35.706
max	47.817

phase=type checker

*mean*	958.466
σ	0.047
min	958.443
max	958.568

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	663.369
σ	10.708
min	649.701
max	676.917

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	328.220
σ	0.040
min	328.163
max	328.262

*mean*	441.000
σ	4.416
min	435.000
max	445.000

*mean*	0.430
σ	0.004
min	0.425
max	0.434

iters=5

new-facts=1

prior-facts=6402

*mean*	1313.430
σ	0.134
min	1313.323
max	1313.657

*mean*	1084.000
σ	169.163
min	858.000
max	1291.000

*mean*	1.897
σ	0.057
min	1.843
max	1.961

iters=5

new-facts=6402

prior-facts=1

*mean*	1552.418
σ	3.039
min	1550.903
max	1557.847

*mean*	642.800
σ	69.121
min	545.000
max	726.000

*mean*	2.244
σ	0.176
min	2.088
max	2.502

iters=5

new-facts=6402

prior-facts=6402

*mean*	1875.424
σ	0.046
min	1875.356
max	1875.472

*mean*	1709.600
σ	265.904
min	1394.000
max	2083.000

*mean*	2.943
σ	0.116
min	2.855
max	3.091

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.524
σ	0.087
min	1.433
max	1.656

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	420.297
σ	509.314
min	165.637
max	1184.267

*mean*	103.750
σ	7.500
min	100.000
max	115.000

*mean*	435.000
σ	0.000
min	435.000
max	435.000

*mean*	0.525
σ	0.515
min	0.258
max	1.297

policies=20

*mean*	1656.570
σ	0.391
min	1656.345
max	1657.154

*mean*	1000.000
σ	0.000
min	1000.000
max	1000.000

*mean*	447.000
σ	10.677
min	435.000
max	461.000

*mean*	2.669
σ	0.019
min	2.645
max	2.692

policies=200

*mean*	16573.670
σ	0.114
min	16573.542
max	16573.803

*mean*	10000.000
σ	0.000
min	10000.000
max	10000.000

*mean*	500.000
σ	6.481
min	492.000
max	507.000

*mean*	26.964
σ	0.104
min	26.851
max	27.073