ec3ce8166338aa56f26287337cbe4bd8b75409a9

AST compact size across phases

Factor

compact size MiB

phase=buildDeclTree

*mean*	0.203
σ	0.000
min	0.203
max	0.203

phase=macro expansion

*mean*	5.145
σ	0.000
min	5.145
max	5.145

phase=parser

*mean*	5.020
σ	0.000
min	5.020
max	5.020

phase=processProdDef

*mean*	558.539
σ	0.000
min	558.539
max	558.539

phase=renaming

*mean*	5.332
σ	0.000
min	5.332
max	5.332

phase=type checker

*mean*	6.520
σ	0.000
min	6.520
max	6.520

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	54.616
σ	0.352
min	54.481
max	55.616

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.138
σ	0.005
min	0.131
max	0.147

cache=y

dps=1

iters=10

policies=100

*mean*	43.785
σ	0.006
min	43.772
max	43.797

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.121
σ	0.005
min	0.114
max	0.130

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.618
σ	0.002
min	36.615
max	36.620

*mean*	4434.750
σ	1221.148
min	3256.000
max	6109.000

*mean*	12.146
σ	0.178
min	11.845
max	12.380

op=column_set() on indexed, repeat

*mean*	36.617
σ	0.002
min	36.615
max	36.620

*mean*	4440.125
σ	1215.299
min	3256.000
max	6109.000

*mean*	80.990
σ	194.133
min	11.519
max	561.444

op=table_records(), no indexes

*mean*	41.929
σ	0.002
min	41.928
max	41.933

*mean*	6109.000
σ	0.000
min	6109.000
max	6109.000

*mean*	13.744
σ	1.443
min	10.546
max	14.900

op=table_records(), repeat

*mean*	41.928
σ	0.002
min	41.927
max	41.932

*mean*	4434.750
σ	1221.148
min	3256.000
max	6109.000

*mean*	13.193
σ	1.938
min	10.297
max	15.900

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

*mean*	27.605
σ	0.002
min	27.603
max	27.607

*mean*	4434.750
σ	1221.148
min	3256.000
max	6109.000

*mean*	8.896
σ	1.335
min	8.000
max	12.090

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

*mean*	26.400
σ	0.002
min	26.399
max	26.403

*mean*	4434.750
σ	1221.148
min	3256.000
max	6109.000

*mean*	6.515
σ	1.190
min	5.833
max	9.435

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.666
σ	0.002
min	25.664
max	25.670

*mean*	4440.125
σ	1215.299
min	3256.000
max	6109.000

*mean*	5.483
σ	0.585
min	5.191
max	6.918

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.968
σ	0.002
min	25.967
max	25.971

*mean*	4440.125
σ	1215.299
min	3256.000
max	6109.000

*mean*	5.307
σ	0.623
min	5.040
max	6.845

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	2524.594
σ	0.000
min	2524.593
max	2524.594

*mean*	6109.000
σ	0.000
min	6109.000
max	6109.000

*mean*	1738.747
σ	996.568
min	1044.572
max	3889.880

op=load_product(), with indexes

*mean*	8744.559
σ	0.033
min	8744.544
max	8744.640

*mean*	4243.750
σ	1269.569
min	3256.000
max	6109.000

*mean*	4797.579
σ	1477.621
min	3560.810
max	7420.017

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.078
σ	0.002
min	62.076
max	62.080

*mean*	4434.750
σ	1221.148
min	3256.000
max	6109.000

*mean*	95.474
σ	33.738
min	70.830
max	163.548

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.944
σ	0.001
min	40.944
max	40.945

*mean*	6109.000
σ	0.000
min	6109.000
max	6109.000

*mean*	102.402
σ	14.126
min	73.263
max	112.548

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.686
σ	0.000
min	66.685
max	66.687

*mean*	6109.000
σ	0.000
min	6109.000
max	6109.000

*mean*	152.574
σ	21.165
min	108.380
max	166.726

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	11655.307
σ	0.003
min	11655.305
max	11655.314

*mean*	4434.750
σ	1221.148
min	3256.000
max	6109.000

*mean*	6726.777
σ	1353.929
min	4919.541
max	8337.199

op=vertical_lookup_list() on indexed

*mean*	11560.068
σ	0.001
min	11560.066
max	11560.069

*mean*	6109.000
σ	0.000
min	6109.000
max	6109.000

*mean*	7156.916
σ	1326.794
min	4456.448
max	8503.354

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

*mean*	139.139
σ	8.820
min	133.364
max	156.759

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	3256.000
σ	0.000
min	3256.000
max	3256.000

*mean*	741.114
σ	93.318
min	546.669
max	826.565

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1008.180
σ	0.916
min	1007.711
max	1011.999

*mean*	1042.900
σ	306.702
min	557.000
max	1474.000

*mean*	1.575
σ	0.148
min	1.465
max	2.029

Parser: Comma Sep

Factor

allocated MiB

peak allocated MiB

time (ms)

name=ambiguous_item.art

*mean*	0.883
σ	0.002
min	0.881
max	0.886

*mean*	1474.000
σ	0.000
min	1474.000
max	1474.000

*mean*	0.417
σ	0.135
min	0.339
max	0.656

name=error_case.art

*mean*	2.333
σ	0.003
min	2.332
max	2.337

*mean*	1474.000
σ	0.000
min	1474.000
max	1474.000

*mean*	0.887
σ	0.088
min	0.834
max	1.044

name=heavy_item.art

*mean*	1.521
σ	0.002
min	1.520
max	1.524

*mean*	1474.000
σ	0.000
min	1474.000
max	1474.000

*mean*	0.539
σ	0.054
min	0.494
max	0.630

name=nested_use.art

*mean*	2.355
σ	0.002
min	2.355
max	2.358

*mean*	1474.000
σ	0.000
min	1474.000
max	1474.000

*mean*	0.855
σ	0.038
min	0.826
max	0.915

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	963.543
σ	0.025
min	963.523
max	963.584

*mean*	1474.000
σ	0.000
min	1474.000
max	1474.000

*mean*	0.830
σ	0.029
min	0.791
max	0.860

name=cdr_enhanced_4k_loc.art

*mean*	884.854
σ	0.006
min	884.847
max	884.862

*mean*	1474.000
σ	0.000
min	1474.000
max	1474.000

*mean*	0.720
σ	0.029
min	0.678
max	0.743

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.706
σ	0.002
min	7.705
max	7.711

*mean*	1474.000
σ	0.000
min	1474.000
max	1474.000

*mean*	3.874
σ	0.379
min	3.441
max	4.594

name=record_render_large_syntax_err.art

*mean*	7.655
σ	0.002
min	7.654
max	7.658

*mean*	1474.000
σ	0.000
min	1474.000
max	1474.000

*mean*	4.289
σ	0.079
min	4.103
max	4.593

name=record_render_success.art

*mean*	2.288
σ	0.002
min	2.287
max	2.291

*mean*	1474.000
σ	0.000
min	1474.000
max	1474.000

*mean*	0.751
σ	0.020
min	0.638
max	0.842

name=record_render_syntax_err.art

*mean*	2.163
σ	0.002
min	2.163
max	2.166

*mean*	1474.000
σ	0.000
min	1474.000
max	1474.000

*mean*	0.712
σ	0.015
min	0.679
max	0.792

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	297.569
σ	0.199
min	297.432
max	298.118

*mean*	2038.000
σ	0.000
min	2038.000
max	2038.000

*mean*	0.585
σ	0.020
min	0.546
max	0.602

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	219.142
σ	0.000
min	219.142
max	219.142

*mean*	3256.000
σ	0.000
min	3256.000
max	3256.000

*mean*	194.963
σ	2.029
min	191.932
max	197.428

phase=macro expansion

*mean*	6.127
σ	0.000
min	6.127
max	6.127

*mean*	3256.000
σ	0.000
min	3256.000
max	3256.000

*mean*	10.762
σ	2.228
min	9.255
max	15.493

phase=parser

*mean*	1041.086
σ	0.000
min	1041.085
max	1041.086

*mean*	3256.000
σ	0.000
min	3256.000
max	3256.000

*mean*	637.099
σ	88.420
min	577.430
max	824.181

phase=processProdDef

*mean*	6169.567
σ	0.001
min	6169.566
max	6169.568

*mean*	3256.000
σ	0.000
min	3256.000
max	3256.000

*mean*	4611.534
σ	1438.190
min	3157.565
max	6777.291

phase=renaming

*mean*	21.666
σ	0.000
min	21.666
max	21.666

*mean*	3256.000
σ	0.000
min	3256.000
max	3256.000

*mean*	42.433
σ	6.116
min	34.719
max	55.075

phase=type checker

*mean*	958.681
σ	0.052
min	958.611
max	958.736

*mean*	3256.000
σ	0.000
min	3256.000
max	3256.000

*mean*	741.434
σ	111.825
min	658.326
max	901.695

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	289.774
σ	0.033
min	289.731
max	289.808

*mean*	1474.000
σ	0.000
min	1474.000
max	1474.000

*mean*	0.402
σ	0.011
min	0.394
max	0.419

iters=5

new-facts=1

prior-facts=6402

*mean*	1299.686
σ	0.104
min	1299.539
max	1299.819

*mean*	1474.000
σ	0.000
min	1474.000
max	1474.000

*mean*	2.199
σ	0.044
min	2.135
max	2.242

iters=5

new-facts=6402

prior-facts=1

*mean*	1542.663
σ	4.026
min	1540.692
max	1549.860

*mean*	1474.000
σ	0.000
min	1474.000
max	1474.000

*mean*	2.340
σ	0.179
min	2.163
max	2.620

iters=5

new-facts=6402

prior-facts=6402

*mean*	1861.632
σ	0.067
min	1861.538
max	1861.708

*mean*	1723.400
σ	227.834
min	1474.000
max	2038.000

*mean*	2.952
σ	0.095
min	2.857
max	3.097

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.740
σ	0.103
min	1.560
max	1.821

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	446.185
σ	577.140
min	157.613
max	1311.895

*mean*	96.250
σ	8.500
min	92.000
max	109.000

*mean*	1474.000
σ	0.000
min	1474.000
max	1474.000

*mean*	0.513
σ	0.501
min	0.261
max	1.265

policies=20

*mean*	1576.410
σ	0.352
min	1576.175
max	1576.934

*mean*	920.000
σ	0.000
min	920.000
max	920.000

*mean*	1474.000
σ	0.000
min	1474.000
max	1474.000

*mean*	2.623
σ	0.010
min	2.611
max	2.631

policies=200

*mean*	15772.320
σ	0.114
min	15772.253
max	15772.490

*mean*	9200.000
σ	0.000
min	9200.000
max	9200.000

*mean*	1474.000
σ	0.000
min	1474.000
max	1474.000

*mean*	26.490
σ	0.065
min	26.413
max	26.563