f04eb9773147a2e97eb9ddea269ddc001ad87ca9

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.818
σ	0.360
min	57.685
max	58.841

*mean*	415.000
σ	0.000
min	415.000
max	415.000

*mean*	0.148
σ	0.004
min	0.145
max	0.155

cache=y

dps=1

iters=10

policies=100

*mean*	46.899
σ	0.006
min	46.890
max	46.908

*mean*	415.200
σ	0.422
min	415.000
max	416.000

*mean*	0.131
σ	0.005
min	0.125
max	0.139

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.605

*mean*	4586.250
σ	2253.500
min	1487.000
max	7404.000

*mean*	13.593
σ	2.854
min	11.769
max	18.439

op=column_set() on indexed, repeat

*mean*	36.605
σ	0.000
min	36.605
max	36.605

*mean*	4586.250
σ	2253.500
min	1487.000
max	7404.000

*mean*	13.185
σ	2.758
min	11.506
max	18.018

op=table_records(), no indexes

*mean*	41.940
σ	0.002
min	41.938
max	41.943

*mean*	7404.000
σ	0.000
min	7404.000
max	7404.000

*mean*	11.157
σ	0.110
min	11.014
max	11.322

op=table_records(), repeat

*mean*	41.925
σ	0.001
min	41.924
max	41.929

*mean*	4172.125
σ	1945.008
min	1487.000
max	7404.000

*mean*	11.654
σ	1.884
min	10.642
max	16.293

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

*mean*	27.634
σ	0.137
min	27.585
max	27.972

*mean*	4172.125
σ	1945.008
min	1487.000
max	7404.000

*mean*	9.165
σ	1.378
min	8.004
max	12.471

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

*mean*	26.385
σ	0.000
min	26.385
max	26.385

*mean*	4172.125
σ	1945.008
min	1487.000
max	7404.000

*mean*	6.940
σ	1.109
min	5.850
max	9.537

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.663
σ	0.004
min	25.662
max	25.674

*mean*	4586.250
σ	2253.500
min	1487.000
max	7404.000

*mean*	6.245
σ	0.573
min	5.730
max	7.232

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.962
σ	0.001
min	25.962
max	25.964

*mean*	4586.250
σ	2253.500
min	1487.000
max	7404.000

*mean*	6.205
σ	0.725
min	5.714
max	7.445

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

*mean*	360.666
σ	43.749
min	341.993
max	468.837

op=load_product(), with indexes

*mean*	3495.846
σ	0.455
min	3495.685
max	3496.971

*mean*	3750.750
σ	2298.184
min	720.000
max	7404.000

*mean*	1604.641
σ	420.183
min	1402.265
max	2628.561

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*	4406.875
σ	2224.942
min	1487.000
max	7404.000

*mean*	258.701
σ	346.830
min	124.341
max	1115.886

op=column_set() on unindexed, dense, repeat

*mean*	62.069
σ	0.001
min	62.065
max	62.070

*mean*	4586.250
σ	2253.500
min	1487.000
max	7404.000

*mean*	215.508
σ	479.356
min	40.431
max	1401.687

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.927
σ	0.002
min	40.926
max	40.930

*mean*	7404.000
σ	0.000
min	7404.000
max	7404.000

*mean*	22.329
σ	1.697
min	21.527
max	26.516

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.294
σ	0.002
min	71.293
max	71.297

*mean*	7404.000
σ	0.000
min	7404.000
max	7404.000

*mean*	260.522
σ	574.778
min	55.922
max	1683.007

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*	4172.125
σ	1945.008
min	1487.000
max	7404.000

*mean*	3221.162
σ	861.839
min	2501.365
max	4806.127

op=vertical_lookup_list() on indexed

*mean*	1973.830
σ	0.002
min	1973.829
max	1973.833

*mean*	7404.000
σ	0.000
min	7404.000
max	7404.000

*mean*	1094.376
σ	333.417
min	918.893
max	1887.176

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

*mean*	905.084
σ	0.002
min	905.082
max	905.087

*mean*	7404.000
σ	0.000
min	7404.000
max	7404.000

*mean*	391.795
σ	5.196
min	387.869
max	403.537

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*	383.061
σ	38.049
min	311.870
max	434.976

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*	738.032
σ	49.827
min	626.881
max	782.265

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	977.272
σ	2.441
min	976.424
max	987.617

*mean*	1040.400
σ	314.322
min	567.000
max	1501.000

*mean*	1.289
σ	0.148
min	1.138
max	1.806

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.452
σ	0.536
min	0.153
max	1.408

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.859
σ	0.578
min	0.567
max	1.890

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.379
σ	0.038
min	0.348
max	0.441

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.591
σ	0.027
min	0.568
max	0.632

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.702
σ	0.043
min	0.661
max	0.754

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.579
σ	0.054
min	0.507
max	0.628

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*	3.547
σ	0.088
min	3.399
max	3.789

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*	3.531
σ	0.079
min	3.303
max	3.721

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.540
σ	0.013
min	0.510
max	0.614

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.520
σ	0.035
min	0.493
max	0.837

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.999
σ	12.172
min	0.574
max	112.474

*mean*	456.232
σ	19.987
min	408.000
max	476.000

*mean*	0.027
σ	0.029
min	0.001
max	0.265

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	294.122
σ	1.086
min	293.693
max	297.207

*mean*	438.600
σ	16.946
min	413.000
max	462.000

*mean*	0.601
σ	0.009
min	0.589
max	0.620

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

*mean*	149.152
σ	10.122
min	136.306
max	161.450

phase=macro expansion

*mean*	5.894
σ	0.000
min	5.894
max	5.894

*mean*	730.000
σ	0.000
min	730.000
max	730.000

*mean*	8.259
σ	1.060
min	6.825
max	9.137

phase=parser

*mean*	1042.132
σ	0.000
min	1042.132
max	1042.133

*mean*	730.000
σ	0.000
min	730.000
max	730.000

*mean*	546.472
σ	84.582
min	441.086
max	620.020

phase=processProdDef

*mean*	2241.195
σ	0.000
min	2241.195
max	2241.195

*mean*	730.000
σ	0.000
min	730.000
max	730.000

*mean*	2762.848
σ	450.265
min	1833.772
max	3232.157

phase=renaming

*mean*	21.430
σ	0.000
min	21.430
max	21.430

*mean*	730.000
σ	0.000
min	730.000
max	730.000

*mean*	44.126
σ	4.859
min	37.811
max	49.145

phase=type checker

*mean*	958.466
σ	0.047
min	958.443
max	958.568

*mean*	730.000
σ	0.000
min	730.000
max	730.000

*mean*	656.826
σ	18.329
min	635.767
max	686.540

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	328.218
σ	0.038
min	328.163
max	328.256

*mean*	441.600
σ	5.413
min	436.000
max	448.000

*mean*	0.453
σ	0.006
min	0.444
max	0.459

iters=5

new-facts=1

prior-facts=6402

*mean*	1313.430
σ	0.134
min	1313.318
max	1313.657

*mean*	1089.600
σ	178.828
min	880.000
max	1317.000

*mean*	1.874
σ	0.040
min	1.830
max	1.926

iters=5

new-facts=6402

prior-facts=1

*mean*	1552.405
σ	3.116
min	1550.825
max	1557.969

*mean*	626.600
σ	82.996
min	524.000
max	729.000

*mean*	2.274
σ	0.251
min	2.094
max	2.683

iters=5

new-facts=6402

prior-facts=6402

*mean*	1875.429
σ	0.068
min	1875.361
max	1875.529

*mean*	1723.600
σ	210.331
min	1439.000
max	1920.000

*mean*	3.010
σ	0.130
min	2.863
max	3.149

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.497
σ	0.120
min	1.366
max	1.615

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	420.295
σ	509.312
min	165.637
max	1184.263

*mean*	103.750
σ	7.500
min	100.000
max	115.000

*mean*	433.000
σ	0.000
min	433.000
max	433.000

*mean*	0.522
σ	0.504
min	0.265
max	1.278

policies=20

*mean*	1656.579
σ	0.386
min	1656.343
max	1657.156

*mean*	1000.000
σ	0.000
min	1000.000
max	1000.000

*mean*	450.000
σ	12.247
min	435.000
max	460.000

*mean*	2.667
σ	0.007
min	2.659
max	2.674

policies=200

*mean*	16573.752
σ	0.075
min	16573.645
max	16573.818

*mean*	10000.000
σ	0.000
min	10000.000
max	10000.000

*mean*	503.750
σ	6.131
min	496.000
max	510.000

*mean*	27.030
σ	0.182
min	26.846
max	27.229