bbdb384d23e6c8a652c3d36460927f095bd4bcb6

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.730
σ	0.359
min	54.580
max	55.751

*mean*	415.000
σ	0.000
min	415.000
max	415.000

*mean*	0.139
σ	0.006
min	0.130
max	0.150

cache=y

dps=1

iters=10

policies=100

*mean*	43.773
σ	0.005
min	43.764
max	43.782

*mean*	415.100
σ	0.316
min	415.000
max	416.000

*mean*	0.123
σ	0.004
min	0.120
max	0.131

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*	4407.875
σ	2198.685
min	1483.000
max	7332.000

*mean*	12.862
σ	1.858
min	11.909
max	17.425

op=column_set() on indexed, repeat

*mean*	36.604
σ	0.000
min	36.604
max	36.605

*mean*	4586.875
σ	2231.894
min	1483.000
max	7332.000

*mean*	13.059
σ	1.880
min	11.451
max	17.455

op=table_records(), no indexes

*mean*	41.939
σ	0.002
min	41.938
max	41.942

*mean*	7332.000
σ	0.000
min	7332.000
max	7332.000

*mean*	11.433
σ	1.382
min	10.749
max	14.834

op=table_records(), repeat

*mean*	41.925
σ	0.000
min	41.924
max	41.925

*mean*	4188.000
σ	1936.851
min	1483.000
max	7332.000

*mean*	11.396
σ	1.822
min	10.648
max	15.897

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

*mean*	27.633
σ	0.136
min	27.584
max	27.971

*mean*	4188.000
σ	1936.851
min	1483.000
max	7332.000

*mean*	8.929
σ	1.264
min	7.925
max	11.995

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

*mean*	26.384
σ	0.000
min	26.384
max	26.384

*mean*	4188.000
σ	1936.851
min	1483.000
max	7332.000

*mean*	7.024
σ	0.986
min	6.360
max	9.416

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.662
σ	0.004
min	25.661
max	25.673

*mean*	4586.875
σ	2231.894
min	1483.000
max	7332.000

*mean*	6.423
σ	0.771
min	5.868
max	7.998

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.961
σ	0.001
min	25.960
max	25.962

*mean*	4586.875
σ	2231.894
min	1483.000
max	7332.000

*mean*	6.203
σ	0.661
min	5.700
max	7.454

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.610
σ	0.002
min	1021.608
max	1021.612

*mean*	7332.000
σ	0.000
min	7332.000
max	7332.000

*mean*	346.464
σ	2.692
min	342.943
max	349.663

op=load_product(), with indexes

*mean*	3495.857
σ	0.455
min	3495.696
max	3496.983

*mean*	3760.250
σ	2293.710
min	719.000
max	7332.000

*mean*	1621.963
σ	531.196
min	1377.784
max	2920.556

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.840
max	107.842

*mean*	4407.875
σ	2198.685
min	1483.000
max	7332.000

*mean*	244.849
σ	304.122
min	126.090
max	996.301

op=column_set() on unindexed, dense, repeat

*mean*	62.068
σ	0.001
min	62.065
max	62.068

*mean*	4407.875
σ	2198.685
min	1483.000
max	7332.000

*mean*	45.804
σ	8.939
min	40.763
max	67.627

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.926
σ	0.002
min	40.925
max	40.928

*mean*	7332.000
σ	0.000
min	7332.000
max	7332.000

*mean*	200.846
σ	506.345
min	21.352
max	1453.984

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.293
σ	0.002
min	71.292
max	71.296

*mean*	7332.000
σ	0.000
min	7332.000
max	7332.000

*mean*	63.481
σ	21.031
min	54.713
max	115.423

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*	4188.000
σ	1936.851
min	1483.000
max	7332.000

*mean*	3052.829
σ	764.796
min	2514.138
max	4571.402

op=vertical_lookup_list() on indexed

*mean*	1973.829
σ	0.002
min	1973.827
max	1973.832

*mean*	7332.000
σ	0.000
min	7332.000
max	7332.000

*mean*	994.593
σ	144.424
min	924.328
max	1331.411

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

*mean*	905.082
σ	0.002
min	905.080
max	905.086

*mean*	7332.000
σ	0.000
min	7332.000
max	7332.000

*mean*	384.728
σ	6.659
min	369.083
max	389.627

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*	364.038
σ	30.257
min	312.762
max	393.872

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	557.000
σ	0.000
min	557.000
max	557.000

*mean*	783.618
σ	45.918
min	722.505
max	867.505

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.968
σ	1.821
min	963.263
max	971.668

*mean*	1047.450
σ	306.016
min	560.000
max	1497.000

*mean*	1.305
σ	0.189
min	1.153
max	1.754

Parser: Comma Sep

Factor

allocated MiB

peak allocated MiB

time (ms)

name=ambiguous_item.art

*mean*	0.914
σ	0.020
min	0.904
max	0.951

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.303
σ	0.296
min	0.143
max	0.827

name=error_case.art

*mean*	2.347
σ	0.012
min	2.341
max	2.369

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.471
σ	0.323
min	0.319
max	1.049

name=heavy_item.art

*mean*	1.525
σ	0.002
min	1.524
max	1.528

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.213
σ	0.023
min	0.197
max	0.254

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.327
σ	0.016
min	0.314
max	0.355

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	966.287
σ	0.009
min	966.281
max	966.303

*mean*	434.400
σ	3.847
min	431.000
max	441.000

*mean*	0.549
σ	0.033
min	0.500
max	0.588

name=cdr_enhanced_4k_loc.art

*mean*	886.717
σ	0.002
min	886.716
max	886.720

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	0.482
σ	0.033
min	0.443
max	0.513

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.722
σ	0.002
min	7.721
max	7.725

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	2.600
σ	0.098
min	2.433
max	2.882

name=record_render_large_syntax_err.art

*mean*	7.670
σ	0.002
min	7.670
max	7.673

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	2.614
σ	0.093
min	2.457
max	2.896

name=record_render_success.art

*mean*	2.294
σ	0.002
min	2.293
max	2.297

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	0.306
σ	0.028
min	0.285
max	0.555

name=record_render_syntax_err.art

*mean*	2.169
σ	0.002
min	2.168
max	2.172

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	0.292
σ	0.011
min	0.276
max	0.360

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.743
σ	11.931
min	0.574
max	103.029

*mean*	464.659
σ	20.953
min	406.000
max	482.000

*mean*	0.027
σ	0.029
min	0.001
max	0.259

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.651
σ	1.047
min	278.137
max	281.623

*mean*	442.300
σ	18.013
min	414.000
max	468.000

*mean*	0.584
σ	0.018
min	0.543
max	0.613

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	169.258
σ	0.000
min	169.258
max	169.258

*mean*	837.875
σ	31.466
min	760.000
max	849.000

*mean*	216.902
σ	23.293
min	186.418
max	244.481

phase=macro expansion

*mean*	5.896
σ	0.000
min	5.896
max	5.896

*mean*	827.750
σ	40.266
min	748.000
max	849.000

*mean*	7.786
σ	1.433
min	5.976
max	9.219

phase=parser

*mean*	1043.355
σ	0.000
min	1043.355
max	1043.355

*mean*	827.750
σ	40.266
min	748.000
max	849.000

*mean*	525.233
σ	88.868
min	422.754
max	620.872

phase=processProdDef

*mean*	2243.714
σ	0.000
min	2243.714
max	2243.714

*mean*	837.875
σ	31.466
min	760.000
max	849.000

*mean*	3084.979
σ	341.910
min	2305.222
max	3327.182

phase=renaming

*mean*	21.438
σ	0.000
min	21.438
max	21.438

*mean*	827.750
σ	40.266
min	748.000
max	849.000

*mean*	41.284
σ	4.879
min	35.676
max	49.331

phase=type checker

*mean*	958.597
σ	0.047
min	958.573
max	958.698

*mean*	827.750
σ	40.266
min	748.000
max	849.000

*mean*	687.138
σ	59.851
min	639.263
max	832.035

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.374
σ	0.036
min	282.319
max	282.404

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.382
σ	0.011
min	0.373
max	0.398

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.079
σ	0.107
min	1266.959
max	1267.244

*mean*	1106.200
σ	179.653
min	892.000
max	1354.000

*mean*	2.070
σ	0.180
min	1.891
max	2.347

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.115
σ	2.870
min	1504.690
max	1511.244

*mean*	624.000
σ	87.501
min	519.000
max	732.000

*mean*	2.298
σ	0.192
min	2.116
max	2.549

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.060
σ	0.039
min	1829.003
max	1829.104

*mean*	1710.800
σ	178.496
min	1478.000
max	1881.000

*mean*	2.957
σ	0.267
min	2.762
max	3.427

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.680
σ	0.184
min	1.467
max	1.867

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	393.634
σ	509.937
min	138.663
max	1158.539

*mean*	97.750
σ	7.500
min	94.000
max	109.000

*mean*	446.000
σ	0.000
min	446.000
max	446.000

*mean*	0.474
σ	0.479
min	0.231
max	1.192

policies=20

*mean*	1386.765
σ	0.146
min	1386.660
max	1386.981

*mean*	940.000
σ	0.000
min	940.000
max	940.000

*mean*	448.000
σ	2.309
min	446.000
max	450.000

*mean*	2.298
σ	0.011
min	2.285
max	2.309

policies=200

*mean*	13876.173
σ	0.119
min	13876.084
max	13876.338

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	494.500
σ	4.435
min	490.000
max	500.000

*mean*	23.267
σ	0.127
min	23.160
max	23.436