3ee6e63a7d00c59d7fde856f1bee0cc00618a9eb

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.715
σ	0.364
min	54.577
max	55.750

*mean*	418.000
σ	0.000
min	418.000
max	418.000

*mean*	0.141
σ	0.005
min	0.137
max	0.148

cache=y

dps=1

iters=10

policies=100

*mean*	43.778
σ	0.006
min	43.768
max	43.791

*mean*	418.000
σ	0.000
min	418.000
max	418.000

*mean*	0.121
σ	0.004
min	0.116
max	0.129

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*	4218.500
σ	1970.585
min	1482.000
max	7434.000

*mean*	12.032
σ	0.405
min	11.694
max	12.997

op=column_set() on indexed, repeat

*mean*	36.605
σ	0.000
min	36.604
max	36.605

*mean*	4444.250
σ	2240.137
min	1482.000
max	7434.000

*mean*	124.307
σ	315.654
min	12.522
max	905.509

op=table_records(), no indexes

*mean*	41.940
σ	0.002
min	41.938
max	41.942

*mean*	7434.000
σ	0.000
min	7434.000
max	7434.000

*mean*	11.356
σ	1.151
min	10.813
max	14.193

op=table_records(), repeat

*mean*	41.924
σ	0.000
min	41.924
max	41.925

*mean*	4218.500
σ	1970.585
min	1482.000
max	7434.000

*mean*	11.296
σ	0.948
min	10.844
max	13.625

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

*mean*	27.633
σ	0.137
min	27.584
max	27.971

*mean*	4218.500
σ	1970.585
min	1482.000
max	7434.000

*mean*	8.849
σ	0.597
min	8.077
max	10.192

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

*mean*	26.384
σ	0.001
min	26.384
max	26.388

*mean*	4218.500
σ	1970.585
min	1482.000
max	7434.000

*mean*	6.916
σ	0.546
min	6.470
max	8.240

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.662
σ	0.004
min	25.661
max	25.673

*mean*	4444.250
σ	2240.137
min	1482.000
max	7434.000

*mean*	6.396
σ	1.063
min	5.942
max	9.023

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.961
σ	0.001
min	25.961
max	25.962

*mean*	4444.250
σ	2240.137
min	1482.000
max	7434.000

*mean*	6.158
σ	1.034
min	5.716
max	8.715

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

*mean*	347.400
σ	1.324
min	345.313
max	348.577

op=load_product(), with indexes

*mean*	3495.855
σ	0.453
min	3495.694
max	3496.977

*mean*	3789.500
σ	2328.460
min	719.000
max	7434.000

*mean*	2069.321
σ	988.737
min	1388.587
max	3972.879

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

*mean*	4218.500
σ	1970.585
min	1482.000
max	7434.000

*mean*	132.321
σ	5.768
min	125.954
max	141.999

op=column_set() on unindexed, dense, repeat

*mean*	62.068
σ	0.001
min	62.065
max	62.068

*mean*	4218.500
σ	1970.585
min	1482.000
max	7434.000

*mean*	42.100
σ	1.252
min	40.534
max	44.088

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.926
σ	0.002
min	40.925
max	40.928

*mean*	7434.000
σ	0.000
min	7434.000
max	7434.000

*mean*	22.851
σ	2.670
min	21.472
max	29.303

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.294
σ	0.002
min	71.292
max	71.296

*mean*	7434.000
σ	0.000
min	7434.000
max	7434.000

*mean*	115.066
σ	162.267
min	55.395
max	516.556

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*	4218.500
σ	1970.585
min	1482.000
max	7434.000

*mean*	3387.397
σ	665.363
min	2513.371
max	4271.825

op=vertical_lookup_list() on indexed

*mean*	1973.829
σ	0.002
min	1973.827
max	1973.831

*mean*	7434.000
σ	0.000
min	7434.000
max	7434.000

*mean*	1271.928
σ	919.395
min	921.118
max	3544.303

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

*mean*	905.083
σ	0.002
min	905.080
max	905.086

*mean*	7434.000
σ	0.000
min	7434.000
max	7434.000

*mean*	409.529
σ	42.946
min	390.641
max	515.673

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

*mean*	366.331
σ	29.113
min	311.868
max	405.163

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*	758.546
σ	78.736
min	608.912
max	846.188

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.564
σ	1.880
min	963.843
max	972.517

*mean*	1043.000
σ	321.961
min	591.000
max	1543.000

*mean*	1.270
σ	0.083
min	1.173
max	1.491

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.353
σ	0.289
min	0.137
max	0.838

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.499
σ	0.377
min	0.323
max	1.174

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.220
σ	0.018
min	0.205
max	0.251

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.353
σ	0.020
min	0.338
max	0.386

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.587
σ	0.027
min	0.541
max	0.605

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.454
σ	0.034
min	0.398
max	0.488

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.659
σ	0.103
min	2.501
max	3.000

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.646
σ	0.099
min	2.456
max	2.917

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.306
σ	0.007
min	0.292
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.291
σ	0.010
min	0.274
max	0.360

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.810
σ	11.435
min	0.714
max	98.231

*mean*	458.789
σ	19.548
min	406.000
max	478.000

*mean*	0.027
σ	0.028
min	0.001
max	0.234

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	279.109
σ	1.044
min	278.652
max	282.076

*mean*	444.400
σ	14.524
min	416.000
max	466.000

*mean*	0.574
σ	0.030
min	0.507
max	0.615

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

*mean*	214.823
σ	23.489
min	186.803
max	247.199

phase=macro expansion

*mean*	5.899
σ	0.000
min	5.899
max	5.899

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	5.903
σ	0.092
min	5.784
max	6.052

phase=parser

*mean*	1042.133
σ	0.001
min	1042.132
max	1042.133

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	410.234
σ	71.777
min	375.322
max	584.781

phase=processProdDef

*mean*	2243.717
σ	0.000
min	2243.717
max	2243.717

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	2837.989
σ	413.594
min	2131.307
max	3258.643

phase=renaming

*mean*	21.436
σ	0.000
min	21.436
max	21.436

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	34.296
σ	1.622
min	32.500
max	37.675

phase=type checker

*mean*	958.596
σ	0.047
min	958.573
max	958.698

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	649.755
σ	16.197
min	622.494
max	669.561

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.856
σ	0.038
min	282.799
max	282.891

*mean*	441.800
σ	3.834
min	439.000
max	446.000

*mean*	0.379
σ	0.003
min	0.376
max	0.384

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.060
σ	0.110
min	1267.958
max	1268.243

*mean*	1091.000
σ	167.738
min	892.000
max	1320.000

*mean*	2.044
σ	0.094
min	1.900
max	2.149

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.018
σ	2.963
min	1505.464
max	1512.306

*mean*	625.000
σ	87.164
min	495.000
max	727.000

*mean*	2.207
σ	0.178
min	2.092
max	2.523

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.067
σ	0.049
min	1829.996
max	1830.122

*mean*	1720.200
σ	188.787
min	1454.000
max	1891.000

*mean*	2.994
σ	0.436
min	2.612
max	3.747

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.764
σ	0.118
min	1.599
max	1.887

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	406.199
σ	509.796
min	151.296
max	1170.892

*mean*	101.750
σ	7.500
min	98.000
max	113.000

*mean*	434.000
σ	0.000
min	434.000
max	434.000

*mean*	0.494
σ	0.480
min	0.248
max	1.214

policies=20

*mean*	1513.150
σ	0.271
min	1512.975
max	1513.552

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	443.750
σ	6.500
min	434.000
max	447.000

*mean*	2.504
σ	0.020
min	2.478
max	2.526

policies=200

*mean*	15140.016
σ	0.088
min	15139.904
max	15140.118

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	495.750
σ	4.272
min	491.000
max	501.000

*mean*	25.241
σ	0.130
min	25.153
max	25.432