56a8fcca092d4c3eec4fb38e893da5c3528fb995

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.633
σ	0.000
min	558.633
max	558.633

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.882
σ	0.360
min	54.744
max	55.906

*mean*	418.000
σ	0.000
min	418.000
max	418.000

*mean*	0.139
σ	0.003
min	0.137
max	0.145

cache=y

dps=1

iters=10

policies=100

*mean*	43.849
σ	0.006
min	43.839
max	43.858

*mean*	418.000
σ	0.000
min	418.000
max	418.000

*mean*	0.122
σ	0.006
min	0.115
max	0.131

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*	4038.750
σ	2010.552
min	1217.000
max	7149.000

*mean*	12.320
σ	0.191
min	12.108
max	12.723

op=column_set() on indexed, repeat

*mean*	36.618
σ	0.002
min	36.616
max	36.620

*mean*	4038.750
σ	2010.552
min	1217.000
max	7149.000

*mean*	12.474
σ	0.547
min	11.651
max	13.322

op=table_records(), no indexes

*mean*	41.930
σ	0.002
min	41.928
max	41.932

*mean*	7149.000
σ	0.000
min	7149.000
max	7149.000

*mean*	14.791
σ	0.198
min	14.555
max	15.097

op=table_records(), repeat

*mean*	41.929
σ	0.002
min	41.927
max	41.931

*mean*	4038.750
σ	2010.552
min	1217.000
max	7149.000

*mean*	12.794
σ	1.742
min	10.779
max	14.916

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

*mean*	27.654
σ	0.136
min	27.604
max	27.991

*mean*	4038.750
σ	2010.552
min	1217.000
max	7149.000

*mean*	8.451
σ	0.410
min	7.828
max	8.961

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

*mean*	26.401
σ	0.002
min	26.400
max	26.404

*mean*	4038.750
σ	2010.552
min	1217.000
max	7149.000

*mean*	6.469
σ	0.588
min	5.782
max	7.638

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.668
σ	0.004
min	25.665
max	25.678

*mean*	4038.750
σ	2010.552
min	1217.000
max	7149.000

*mean*	5.577
σ	0.085
min	5.398
max	5.691

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970
σ	0.002
min	25.969
max	25.972

*mean*	4038.750
σ	2010.552
min	1217.000
max	7149.000

*mean*	5.397
σ	0.104
min	5.251
max	5.570

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.614
σ	0.002
min	1021.612
max	1021.616

*mean*	7149.000
σ	0.000
min	7149.000
max	7149.000

*mean*	372.774
σ	81.687
min	341.027
max	574.848

op=load_product(), with indexes

*mean*	7917.792
σ	0.469
min	7917.624
max	7918.954

*mean*	3270.750
σ	1823.119
min	810.000
max	5620.000

*mean*	3607.181
σ	1038.510
min	3080.601
max	5950.919

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*	4038.750
σ	2010.552
min	1217.000
max	7149.000

*mean*	79.166
σ	13.269
min	69.914
max	108.934

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7149.000
σ	0.000
min	7149.000
max	7149.000

*mean*	61.832
σ	0.823
min	60.976
max	63.753

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.688
σ	0.002
min	66.686
max	66.691

*mean*	7149.000
σ	0.000
min	7149.000
max	7149.000

*mean*	100.857
σ	0.826
min	99.680
max	101.993

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	14217.171
σ	4.303
min	14215.576
max	14227.820

*mean*	4038.750
σ	2010.552
min	1217.000
max	7149.000

*mean*	7880.088
σ	1924.180
min	5982.126
max	10942.676

op=vertical_lookup_list() on indexed

*mean*	13159.108
σ	0.001
min	13159.106
max	13159.109

*mean*	7149.000
σ	0.000
min	7149.000
max	7149.000

*mean*	5310.363
σ	620.888
min	4986.374
max	6708.304

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

*mean*	369.497
σ	21.815
min	342.816
max	395.869

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	561.000
σ	0.000
min	561.000
max	561.000

*mean*	747.194
σ	62.664
min	638.077
max	801.885

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.299
σ	0.759
min	1023.824
max	1027.438

*mean*	1039.550
σ	299.604
min	553.000
max	1460.000

*mean*	1.549
σ	0.071
min	1.487
max	1.759

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

*mean*	0.383
σ	0.467
min	0.144
max	1.214

name=error_case.art

*mean*	2.339
σ	0.012
min	2.333
max	2.361

*mean*	401.000
σ	0.000
min	401.000
max	401.000

*mean*	0.420
σ	0.198
min	0.314
max	0.773

name=heavy_item.art

*mean*	1.522
σ	0.002
min	1.521
max	1.525

*mean*	401.000
σ	0.000
min	401.000
max	401.000

*mean*	0.217
σ	0.019
min	0.203
max	0.249

name=nested_use.art

*mean*	2.357
σ	0.002
min	2.356
max	2.360

*mean*	401.000
σ	0.000
min	401.000
max	401.000

*mean*	0.333
σ	0.019
min	0.309
max	0.359

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*	430.800
σ	1.789
min	430.000
max	434.000

*mean*	0.557
σ	0.050
min	0.486
max	0.597

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.463
σ	0.015
min	0.447
max	0.477

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.600
σ	0.081
min	2.463
max	2.886

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.502
σ	0.204
min	1.843
max	2.734

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.307
σ	0.012
min	0.289
max	0.379

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.291
σ	0.009
min	0.275
max	0.344

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.739
σ	0.997
min	298.380
max	301.575

*mean*	439.300
σ	16.063
min	414.000
max	464.000

*mean*	0.601
σ	0.024
min	0.538
max	0.625

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*	201.998
σ	4.384
min	194.136
max	209.828

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*	8.717
σ	2.196
min	6.365
max	12.790

phase=parser

*mean*	1042.366
σ	0.001
min	1042.363
max	1042.366

*mean*	1065.000
σ	33.941
min	981.000
max	1077.000

*mean*	514.108
σ	115.781
min	409.256
max	758.527

phase=processProdDef

*mean*	4850.765
σ	0.000
min	4850.764
max	4850.765

*mean*	1077.000
σ	0.000
min	1077.000
max	1077.000

*mean*	4309.209
σ	563.942
min	3666.085
max	4962.200

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1065.000
σ	33.941
min	981.000
max	1077.000

*mean*	32.964
σ	10.554
min	20.506
max	47.644

phase=type checker

*mean*	990.453
σ	0.072
min	990.344
max	990.567

*mean*	1065.000
σ	33.941
min	981.000
max	1077.000

*mean*	715.824
σ	93.842
min	646.165
max	908.351

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.818
σ	0.039
min	293.766
max	293.859

*mean*	442.800
σ	1.095
min	442.000
max	444.000

*mean*	0.395
σ	0.003
min	0.392
max	0.399

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.185
σ	0.093
min	1320.066
max	1320.326

*mean*	1095.200
σ	185.627
min	838.000
max	1316.000

*mean*	2.105
σ	0.130
min	2.014
max	2.330

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.558
σ	6.229
min	1557.546
max	1571.694

*mean*	617.000
σ	81.594
min	493.000
max	712.000

*mean*	2.222
σ	0.109
min	2.117
max	2.380

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.176
σ	0.054
min	1882.108
max	1882.235

*mean*	1723.200
σ	195.661
min	1456.000
max	1908.000

*mean*	3.050
σ	0.137
min	2.899
max	3.196

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.701
σ	0.130
min	1.545
max	1.898

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.082
σ	582.722
min	160.719
max	1326.166

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	0.544
σ	0.547
min	0.265
max	1.365

policies=20

*mean*	1607.530
σ	0.422
min	1607.244
max	1608.155

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	449.500
σ	8.660
min	442.000
max	457.000

*mean*	2.684
σ	0.017
min	2.662
max	2.703

policies=200

*mean*	16083.395
σ	0.056
min	16083.334
max	16083.445

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	498.250
σ	3.862
min	493.000
max	502.000

*mean*	27.081
σ	0.041
min	27.032
max	27.131