ce8926ec61a8dec56d334805ada291c7323660cc

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.301
σ	0.000
min	5.301
max	5.301

AST compact size (parser)

Factor

compact size MiB

phase=parser

*mean*	5.176
σ	0.000
min	5.176
max	5.176

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	558.664
σ	0.000
min	558.664
max	558.664

AST compact size (renaming)

Factor

compact size MiB

phase=renaming

*mean*	5.488
σ	0.000
min	5.488
max	5.488

AST compact size (type checker)

Factor

compact size MiB

phase=type checker

*mean*	6.645
σ	0.000
min	6.645
max	6.645

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	54.869
σ	0.357
min	54.733
max	55.886

*mean*	418.000
σ	0.000
min	418.000
max	418.000

*mean*	0.138
σ	0.005
min	0.132
max	0.147

cache=y

dps=1

iters=10

policies=100

*mean*	43.840
σ	0.008
min	43.828
max	43.854

*mean*	418.000
σ	0.000
min	418.000
max	418.000

*mean*	0.125
σ	0.009
min	0.117
max	0.147

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.618
σ	0.002
min	36.616
max	36.620

*mean*	4042.375
σ	2009.196
min	1218.000
max	7148.000

*mean*	14.150
σ	2.540
min	12.470
max	18.533

op=column_set() on indexed, repeat

*mean*	36.618
σ	0.002
min	36.616
max	36.620

*mean*	4042.375
σ	2009.196
min	1218.000
max	7148.000

*mean*	13.984
σ	2.467
min	11.721
max	18.229

op=table_records(), no indexes

*mean*	41.929
σ	0.002
min	41.928
max	41.932

*mean*	7148.000
σ	0.000
min	7148.000
max	7148.000

*mean*	15.135
σ	0.340
min	14.812
max	15.917

op=table_records(), repeat

*mean*	41.929
σ	0.002
min	41.927
max	41.932

*mean*	4042.375
σ	2009.196
min	1218.000
max	7148.000

*mean*	14.748
σ	1.449
min	11.918
max	16.581

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

*mean*	27.654
σ	0.136
min	27.604
max	27.991

*mean*	4042.375
σ	2009.196
min	1218.000
max	7148.000

*mean*	9.830
σ	1.623
min	8.627
max	12.536

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

*mean*	26.401
σ	0.002
min	26.400
max	26.404

*mean*	4042.375
σ	2009.196
min	1218.000
max	7148.000

*mean*	7.539
σ	1.623
min	6.329
max	10.249

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.668
σ	0.004
min	25.665
max	25.678

*mean*	4042.375
σ	2009.196
min	1218.000
max	7148.000

*mean*	6.451
σ	0.674
min	5.991
max	7.550

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970
σ	0.002
min	25.968
max	25.972

*mean*	4042.375
σ	2009.196
min	1218.000
max	7148.000

*mean*	6.145
σ	0.741
min	5.542
max	7.407

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.613
σ	0.002
min	1021.612
max	1021.616

*mean*	7148.000
σ	0.000
min	7148.000
max	7148.000

*mean*	363.678
σ	41.422
min	346.957
max	466.132

op=load_product(), with indexes

*mean*	7917.793
σ	0.469
min	7917.625
max	7918.954

*mean*	3273.875
σ	1824.418
min	810.000
max	5623.000

*mean*	3743.535
σ	1009.636
min	3109.101
max	6031.253

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.077
σ	0.002
min	62.076
max	62.080

*mean*	4042.375
σ	2009.196
min	1218.000
max	7148.000

*mean*	88.349
σ	18.930
min	70.120
max	117.593

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7148.000
σ	0.000
min	7148.000
max	7148.000

*mean*	60.986
σ	1.183
min	59.653
max	63.741

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.688
σ	0.002
min	66.686
max	66.691

*mean*	7148.000
σ	0.000
min	7148.000
max	7148.000

*mean*	241.073
σ	330.123
min	97.914
max	1040.607

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	14217.171
σ	4.303
min	14215.575
max	14227.820

*mean*	4042.375
σ	2009.196
min	1218.000
max	7148.000

*mean*	7938.867
σ	1521.540
min	6049.718
max	9890.928

op=vertical_lookup_list() on indexed

*mean*	13159.108
σ	0.002
min	13159.105
max	13159.110

*mean*	7148.000
σ	0.000
min	7148.000
max	7148.000

*mean*	5319.291
σ	608.558
min	5024.864
max	6773.536

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	172.559
σ	0.001
min	172.558
max	172.562

*mean*	477.000
σ	0.000
min	477.000
max	477.000

*mean*	374.651
σ	21.104
min	343.568
max	393.201

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	558.500
σ	1.604
min	557.000
max	560.000

*mean*	676.587
σ	54.785
min	616.355
max	760.649

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.325
σ	0.759
min	1023.851
max	1027.462

*mean*	1062.500
σ	316.032
min	596.000
max	1568.000

*mean*	1.559
σ	0.049
min	1.494
max	1.694

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.288
σ	0.288
min	0.137
max	0.800

name=error_case.art

*mean*	2.339
σ	0.012
min	2.333
max	2.361

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.465
σ	0.327
min	0.307
max	1.050

name=heavy_item.art

*mean*	1.522
σ	0.002
min	1.521
max	1.525

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.205
σ	0.025
min	0.185
max	0.247

name=nested_use.art

*mean*	2.357
σ	0.002
min	2.356
max	2.360

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.320
σ	0.016
min	0.309
max	0.348

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.840
σ	0.011
min	964.835
max	964.859

*mean*	431.800
σ	1.789
min	431.000
max	435.000

*mean*	0.573
σ	0.052
min	0.490
max	0.616

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	0.487
σ	0.052
min	0.403
max	0.535

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.709
σ	0.002
min	7.708
max	7.712

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	2.586
σ	0.101
min	2.427
max	3.009

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	2.626
σ	0.088
min	2.447
max	2.901

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	0.311
σ	0.011
min	0.294
max	0.381

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	0.295
σ	0.008
min	0.281
max	0.335

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	299.027
σ	1.038
min	298.639
max	301.978

*mean*	442.500
σ	16.043
min	417.000
max	465.000

*mean*	0.601
σ	0.017
min	0.564
max	0.622

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	236.678
σ	0.000
min	236.678
max	236.678

*mean*	1065.000
σ	33.941
min	981.000
max	1077.000

*mean*	215.314
σ	4.068
min	210.042
max	220.416

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1065.000
σ	33.941
min	981.000
max	1077.000

*mean*	7.026
σ	1.350
min	6.393
max	10.330

phase=parser

*mean*	1042.363
σ	0.000
min	1042.363
max	1042.363

*mean*	1065.000
σ	33.941
min	981.000
max	1077.000

*mean*	553.983
σ	95.437
min	419.317
max	760.325

phase=processProdDef

*mean*	4850.765
σ	0.000
min	4850.765
max	4850.765

*mean*	1077.000
σ	0.000
min	1077.000
max	1077.000

*mean*	4687.763
σ	697.361
min	3430.204
max	5401.528

phase=renaming

*mean*	21.675
σ	0.000
min	21.675
max	21.675

*mean*	1065.000
σ	33.941
min	981.000
max	1077.000

*mean*	22.337
σ	4.025
min	20.799
max	32.298

phase=type checker

*mean*	990.450
σ	0.071
min	990.344
max	990.563

*mean*	1065.000
σ	33.941
min	981.000
max	1077.000

*mean*	684.761
σ	31.723
min	663.825
max	760.575

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.926
σ	0.039
min	293.874
max	293.967

*mean*	443.400
σ	0.548
min	443.000
max	444.000

*mean*	0.399
σ	0.008
min	0.392
max	0.408

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.316
σ	0.035
min	1320.271
max	1320.348

*mean*	1085.200
σ	162.924
min	891.000
max	1307.000

*mean*	2.281
σ	0.188
min	2.113
max	2.543

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.709
σ	6.215
min	1557.738
max	1571.822

*mean*	624.000
σ	87.164
min	494.000
max	726.000

*mean*	2.252
σ	0.110
min	2.169
max	2.442

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.279
σ	0.060
min	1882.198
max	1882.355

*mean*	1722.000
σ	170.482
min	1476.000
max	1880.000

*mean*	3.184
σ	0.381
min	2.904
max	3.829

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.621
σ	0.189
min	1.362
max	1.893

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.151
σ	582.775
min	160.758
max	1326.314

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	440.000
σ	0.000
min	440.000
max	440.000

*mean*	0.533
σ	0.519
min	0.268
max	1.312

policies=20

*mean*	1607.953
σ	0.421
min	1607.668
max	1608.579

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	447.500
σ	8.660
min	440.000
max	455.000

*mean*	2.696
σ	0.009
min	2.690
max	2.710

policies=200

*mean*	16087.841
σ	0.139
min	16087.651
max	16087.982

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	494.000
σ	3.916
min	490.000
max	499.000

*mean*	27.212
σ	0.051
min	27.176
max	27.287