4368000f9ecd5ae9586513279a59681b70bb3d9d

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

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.633
σ	0.000
min	446.633
max	446.633

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.716
σ	0.363
min	54.583
max	55.747

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.139
σ	0.004
min	0.135
max	0.146

cache=y

dps=1

iters=10

policies=100

*mean*	43.778
σ	0.008
min	43.764
max	43.792

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.123
σ	0.004
min	0.120
max	0.132

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.604
σ	0.000
min	36.604
max	36.605

*mean*	4588.500
σ	2249.952
min	1487.000
max	7381.000

*mean*	159.733
σ	416.856
min	12.002
max	1191.400

op=column_set() on indexed, repeat

*mean*	36.604
σ	0.000
min	36.604
max	36.605

*mean*	4588.500
σ	2249.952
min	1487.000
max	7381.000

*mean*	13.729
σ	3.144
min	11.429
max	21.281

op=table_records(), no indexes

*mean*	41.940
σ	0.002
min	41.938
max	41.942

*mean*	7381.000
σ	0.000
min	7381.000
max	7381.000

*mean*	11.817
σ	1.707
min	10.999
max	16.003

op=table_records(), repeat

*mean*	41.925
σ	0.001
min	41.924
max	41.928

*mean*	4178.875
σ	1946.805
min	1487.000
max	7381.000

*mean*	11.885
σ	1.683
min	10.980
max	16.003

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

*mean*	27.633
σ	0.137
min	27.584
max	27.971

*mean*	4178.875
σ	1946.805
min	1487.000
max	7381.000

*mean*	9.093
σ	1.394
min	8.177
max	12.461

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

*mean*	26.384
σ	0.000
min	26.384
max	26.384

*mean*	4178.875
σ	1946.805
min	1487.000
max	7381.000

*mean*	6.924
σ	1.001
min	5.942
max	9.224

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.662
σ	0.004
min	25.661
max	25.673

*mean*	4588.500
σ	2249.952
min	1487.000
max	7381.000

*mean*	6.466
σ	1.060
min	5.816
max	9.062

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.961
σ	0.000
min	25.961
max	25.962

*mean*	4588.500
σ	2249.952
min	1487.000
max	7381.000

*mean*	6.252
σ	0.977
min	5.786
max	8.665

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.608
σ	0.002
min	1021.606
max	1021.611

*mean*	7381.000
σ	0.000
min	7381.000
max	7381.000

*mean*	347.267
σ	1.844
min	345.138
max	350.371

op=load_product(), with indexes

*mean*	3495.855
σ	0.454
min	3495.694
max	3496.978

*mean*	3755.875
σ	2300.842
min	720.000
max	7381.000

*mean*	1755.113
σ	628.938
min	1405.540
max	2817.867

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*	4406.875
σ	2219.036
min	1487.000
max	7381.000

*mean*	188.024
σ	150.196
min	127.348
max	557.472

op=column_set() on unindexed, dense, repeat

*mean*	62.068
σ	0.001
min	62.065
max	62.068

*mean*	4406.875
σ	2219.036
min	1487.000
max	7381.000

*mean*	43.247
σ	1.658
min	41.388
max	46.079

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.926
σ	0.002
min	40.925
max	40.928

*mean*	7381.000
σ	0.000
min	7381.000
max	7381.000

*mean*	195.574
σ	489.411
min	21.485
max	1406.794

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.293
σ	0.002
min	71.292
max	71.296

*mean*	7381.000
σ	0.000
min	7381.000
max	7381.000

*mean*	66.244
σ	25.245
min	55.503
max	128.286

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*	4178.875
σ	1946.805
min	1487.000
max	7381.000

*mean*	3309.565
σ	810.110
min	2565.754
max	4805.879

op=vertical_lookup_list() on indexed

*mean*	1973.829
σ	0.002
min	1973.827
max	1973.832

*mean*	7381.000
σ	0.000
min	7381.000
max	7381.000

*mean*	1017.935
σ	151.114
min	933.492
max	1370.871

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

*mean*	905.083
σ	0.002
min	905.080
max	905.086

*mean*	7381.000
σ	0.000
min	7381.000
max	7381.000

*mean*	397.638
σ	6.179
min	385.216
max	404.065

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
σ	1.069
min	476.000
max	478.000

*mean*	382.826
σ	29.316
min	321.026
max	416.231

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	565.000
σ	0.000
min	565.000
max	565.000

*mean*	758.285
σ	47.122
min	688.785
max	847.953

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.564
σ	1.881
min	963.843
max	972.519

*mean*	1047.100
σ	320.969
min	545.000
max	1570.000

*mean*	1.238
σ	0.067
min	1.102
max	1.378

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.433
σ	0.596
min	0.149
max	1.497

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.485
σ	0.315
min	0.329
max	1.047

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.218
σ	0.019
min	0.204
max	0.250

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.336
σ	0.017
min	0.323
max	0.366

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.979
σ	0.009
min	964.974
max	964.996

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.591
σ	0.026
min	0.548
max	0.616

name=cdr_enhanced_4k_loc.art

*mean*	886.001
σ	0.002
min	886.000
max	886.004

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.476
σ	0.039
min	0.432
max	0.520

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.669
σ	0.129
min	2.463
max	3.183

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.578
σ	0.099
min	2.436
max	3.051

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.302
σ	0.008
min	0.289
max	0.352

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.288
σ	0.007
min	0.274
max	0.325

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.406
σ	11.049
min	0.574
max	101.430

*mean*	470.764
σ	20.709
min	407.000
max	484.000

*mean*	0.026
σ	0.027
min	0.001
max	0.247

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.926
σ	1.022
min	278.530
max	281.831

*mean*	441.500
σ	13.252
min	426.000
max	464.000

*mean*	0.573
σ	0.021
min	0.540
max	0.610

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	169.257
σ	0.000
min	169.257
max	169.257

*mean*	851.000
σ	0.000
min	851.000
max	851.000

*mean*	207.647
σ	24.302
min	183.549
max	247.467

phase=macro expansion

*mean*	5.896
σ	0.000
min	5.896
max	5.896

*mean*	851.000
σ	0.000
min	851.000
max	851.000

*mean*	8.416
σ	1.479
min	5.980
max	9.437

phase=parser

*mean*	1042.131
σ	0.000
min	1042.130
max	1042.131

*mean*	851.000
σ	0.000
min	851.000
max	851.000

*mean*	575.798
σ	74.388
min	407.300
max	616.888

phase=processProdDef

*mean*	2243.718
σ	0.000
min	2243.718
max	2243.718

*mean*	851.000
σ	0.000
min	851.000
max	851.000

*mean*	3067.585
σ	227.454
min	2675.357
max	3275.369

phase=renaming

*mean*	21.440
σ	0.000
min	21.440
max	21.440

*mean*	851.000
σ	0.000
min	851.000
max	851.000

*mean*	44.171
σ	5.222
min	34.763
max	47.527

phase=type checker

*mean*	958.596
σ	0.047
min	958.573
max	958.698

*mean*	851.000
σ	0.000
min	851.000
max	851.000

*mean*	667.732
σ	21.826
min	635.081
max	689.915

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.854
σ	0.039
min	282.800
max	282.893

*mean*	442.000
σ	2.739
min	440.000
max	445.000

*mean*	0.379
σ	0.005
min	0.374
max	0.388

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.057
σ	0.106
min	1267.960
max	1268.228

*mean*	1086.000
σ	185.738
min	860.000
max	1317.000

*mean*	1.948
σ	0.121
min	1.791
max	2.110

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.050
σ	2.971
min	1505.514
max	1512.354

*mean*	636.600
σ	90.478
min	499.000
max	735.000

*mean*	2.280
σ	0.221
min	2.118
max	2.641

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.065
σ	0.036
min	1830.005
max	1830.094

*mean*	1730.000
σ	181.883
min	1472.000
max	1898.000

*mean*	3.028
σ	0.270
min	2.864
max	3.507

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.690
σ	0.110
min	1.603
max	1.868

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	406.198
σ	509.796
min	151.296
max	1170.892

*mean*	101.750
σ	7.500
min	98.000
max	113.000

*mean*	440.000
σ	0.000
min	440.000
max	440.000

*mean*	0.490
σ	0.468
min	0.254
max	1.192

policies=20

*mean*	1513.156
σ	0.296
min	1512.964
max	1513.595

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	447.500
σ	5.000
min	440.000
max	450.000

*mean*	2.535
σ	0.045
min	2.495
max	2.599

policies=200

*mean*	15140.006
σ	0.058
min	15139.936
max	15140.057

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	497.000
σ	4.163
min	492.000
max	502.000

*mean*	25.291
σ	0.125
min	25.183
max	25.431