4f3bb79a7c28d58fad2f83bf87b05aba353b1ae0

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*	54.697
σ	0.365
min	54.563
max	55.735

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.138
σ	0.006
min	0.131
max	0.147

cache=y

dps=1

iters=10

policies=100

*mean*	43.778
σ	0.010
min	43.764
max	43.795

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.125
σ	0.004
min	0.122
max	0.132

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*	4592.500
σ	2247.337
min	1487.000
max	7385.000

*mean*	165.939
σ	434.363
min	11.832
max	1240.930

op=column_set() on indexed, repeat

*mean*	36.605
σ	0.000
min	36.605
max	36.605

*mean*	4592.500
σ	2247.337
min	1487.000
max	7385.000

*mean*	13.569
σ	3.579
min	11.475
max	22.309

op=table_records(), no indexes

*mean*	41.940
σ	0.002
min	41.938
max	41.942

*mean*	7385.000
σ	0.000
min	7385.000
max	7385.000

*mean*	11.613
σ	1.844
min	10.853
max	16.173

op=table_records(), repeat

*mean*	41.925
σ	0.000
min	41.924
max	41.926

*mean*	4184.375
σ	1943.720
min	1487.000
max	7385.000

*mean*	11.839
σ	1.695
min	10.950
max	15.986

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

*mean*	27.634
σ	0.137
min	27.585
max	27.972

*mean*	4184.375
σ	1943.720
min	1487.000
max	7385.000

*mean*	8.976
σ	1.513
min	8.198
max	12.695

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

*mean*	26.385
σ	0.000
min	26.385
max	26.385

*mean*	4184.375
σ	1943.720
min	1487.000
max	7385.000

*mean*	6.623
σ	1.239
min	5.894
max	9.614

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.663
σ	0.004
min	25.662
max	25.674

*mean*	4592.500
σ	2247.337
min	1487.000
max	7385.000

*mean*	6.310
σ	0.991
min	5.755
max	8.743

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.962
σ	0.001
min	25.962
max	25.964

*mean*	4592.500
σ	2247.337
min	1487.000
max	7385.000

*mean*	6.129
σ	1.095
min	5.480
max	8.814

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

*mean*	346.167
σ	2.289
min	342.491
max	349.481

op=load_product(), with indexes

*mean*	3495.846
σ	0.455
min	3495.685
max	3496.971

*mean*	3759.500
σ	2298.851
min	721.000
max	7385.000

*mean*	1718.991
σ	600.712
min	1398.944
max	2959.203

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*	4413.750
σ	2216.964
min	1487.000
max	7385.000

*mean*	267.797
σ	375.969
min	123.813
max	1197.000

op=column_set() on unindexed, dense, repeat

*mean*	62.069
σ	0.001
min	62.065
max	62.069

*mean*	4413.750
σ	2216.964
min	1487.000
max	7385.000

*mean*	46.380
σ	9.072
min	40.886
max	68.365

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.927
σ	0.002
min	40.926
max	40.930

*mean*	7385.000
σ	0.000
min	7385.000
max	7385.000

*mean*	192.550
σ	482.444
min	21.298
max	1386.535

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.294
σ	0.002
min	71.293
max	71.297

*mean*	7385.000
σ	0.000
min	7385.000
max	7385.000

*mean*	63.686
σ	21.836
min	54.906
max	117.584

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.843
σ	0.014
min	4646.837
max	4646.876

*mean*	4184.375
σ	1943.720
min	1487.000
max	7385.000

*mean*	3171.302
σ	745.558
min	2514.965
max	4598.333

op=vertical_lookup_list() on indexed

*mean*	1973.830
σ	0.002
min	1973.829
max	1973.833

*mean*	7385.000
σ	0.000
min	7385.000
max	7385.000

*mean*	1000.054
σ	165.705
min	917.911
max	1384.027

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

*mean*	905.084
σ	0.002
min	905.082
max	905.087

*mean*	7385.000
σ	0.000
min	7385.000
max	7385.000

*mean*	393.423
σ	4.151
min	384.233
max	398.470

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*	390.693
σ	13.006
min	366.815
max	404.461

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	563.125
σ	0.354
min	563.000
max	564.000

*mean*	745.839
σ	53.414
min	632.213
max	819.955

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.558
σ	1.879
min	963.840
max	972.507

*mean*	1054.850
σ	308.377
min	556.000
max	1510.000

*mean*	1.279
σ	0.115
min	1.177
max	1.580

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.303
σ	0.294
min	0.147
max	0.826

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.476
σ	0.322
min	0.323
max	1.052

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.222
σ	0.029
min	0.204
max	0.271

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.342
σ	0.030
min	0.314
max	0.375

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.578
σ	0.027
min	0.535
max	0.602

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.500
σ	0.038
min	0.433
max	0.527

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.671
σ	0.094
min	2.500
max	2.908

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.683
σ	0.101
min	2.499
max	3.036

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.288
max	0.362

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.294
σ	0.030
min	0.275
max	0.579

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.271
σ	11.865
min	0.574
max	87.146

*mean*	462.531
σ	20.254
min	408.000
max	481.000

*mean*	0.026
σ	0.029
min	0.001
max	0.213

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	279.195
σ	1.002
min	278.796
max	282.040

*mean*	440.300
σ	15.348
min	417.000
max	466.000

*mean*	0.576
σ	0.021
min	0.549
max	0.624

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

*mean*	149.069
σ	13.081
min	129.282
max	162.910

phase=macro expansion

*mean*	5.894
σ	0.000
min	5.894
max	5.894

*mean*	850.000
σ	0.000
min	850.000
max	850.000

*mean*	8.948
σ	2.834
min	5.774
max	12.079

phase=parser

*mean*	1042.132
σ	0.000
min	1042.132
max	1042.132

*mean*	850.000
σ	0.000
min	850.000
max	850.000

*mean*	562.193
σ	163.220
min	374.276
max	728.669

phase=processProdDef

*mean*	2241.194
σ	0.000
min	2241.194
max	2241.194

*mean*	850.000
σ	0.000
min	850.000
max	850.000

*mean*	2659.940
σ	339.107
min	2207.931
max	3051.171

phase=renaming

*mean*	21.434
σ	0.000
min	21.434
max	21.434

*mean*	850.000
σ	0.000
min	850.000
max	850.000

*mean*	41.839
σ	5.701
min	29.859
max	46.997

phase=type checker

*mean*	958.462
σ	0.047
min	958.439
max	958.564

*mean*	850.000
σ	0.000
min	850.000
max	850.000

*mean*	730.015
σ	88.011
min	641.049
max	873.050

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.854
σ	0.037
min	282.799
max	282.890

*mean*	444.000
σ	0.000
min	444.000
max	444.000

*mean*	0.373
σ	0.001
min	0.373
max	0.374

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.052
σ	0.107
min	1267.953
max	1268.227

*mean*	1091.000
σ	168.879
min	892.000
max	1324.000

*mean*	2.047
σ	0.188
min	1.810
max	2.294

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.018
σ	2.926
min	1505.486
max	1512.238

*mean*	625.000
σ	87.164
min	495.000
max	727.000

*mean*	2.193
σ	0.084
min	2.103
max	2.297

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.070
σ	0.055
min	1829.994
max	1830.136

*mean*	1721.600
σ	188.920
min	1463.000
max	1899.000

*mean*	2.999
σ	0.303
min	2.819
max	3.538

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.678
σ	0.106
min	1.556
max	1.833

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	405.943
σ	509.285
min	151.295
max	1169.870

*mean*	101.750
σ	7.500
min	98.000
max	113.000

*mean*	444.000
σ	0.000
min	444.000
max	444.000

*mean*	0.504
σ	0.498
min	0.252
max	1.252

policies=20

*mean*	1513.138
σ	0.251
min	1512.971
max	1513.509

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	452.750
σ	12.312
min	444.000
max	471.000

*mean*	2.480
σ	0.019
min	2.457
max	2.502

policies=200

*mean*	15140.028
σ	0.107
min	15139.887
max	15140.144

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	503.000
σ	6.325
min	497.000
max	511.000

*mean*	25.055
σ	0.091
min	24.967
max	25.182