43a493b5bec8137806c3ee0ebb860ecc5ff8f134

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.716
σ	0.363
min	54.581
max	55.748

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.141
σ	0.005
min	0.135
max	0.150

cache=y

dps=1

iters=10

policies=100

*mean*	43.777
σ	0.009
min	43.763
max	43.788

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.121
σ	0.005
min	0.116
max	0.131

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*	4591.875
σ	2248.670
min	1485.000
max	7386.000

*mean*	165.110
σ	432.571
min	11.937
max	1235.668

op=column_set() on indexed, repeat

*mean*	36.604
σ	0.000
min	36.604
max	36.605

*mean*	4591.875
σ	2248.670
min	1485.000
max	7386.000

*mean*	13.504
σ	2.930
min	11.750
max	20.651

op=table_records(), no indexes

*mean*	41.940
σ	0.002
min	41.938
max	41.942

*mean*	7386.000
σ	0.000
min	7386.000
max	7386.000

*mean*	12.185
σ	2.118
min	11.011
max	16.877

op=table_records(), repeat

*mean*	41.925
σ	0.002
min	41.924
max	41.929

*mean*	4182.625
σ	1944.916
min	1485.000
max	7386.000

*mean*	11.879
σ	1.819
min	10.932
max	16.350

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

*mean*	27.633
σ	0.137
min	27.584
max	27.971

*mean*	4182.625
σ	1944.916
min	1485.000
max	7386.000

*mean*	8.934
σ	1.312
min	7.913
max	12.118

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

*mean*	26.384
σ	0.000
min	26.384
max	26.384

*mean*	4182.625
σ	1944.916
min	1485.000
max	7386.000

*mean*	6.826
σ	1.027
min	6.127
max	9.338

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.662
σ	0.004
min	25.661
max	25.673

*mean*	4591.875
σ	2248.670
min	1485.000
max	7386.000

*mean*	6.236
σ	0.509
min	5.880
max	7.450

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.961
σ	0.001
min	25.961
max	25.962

*mean*	4591.875
σ	2248.670
min	1485.000
max	7386.000

*mean*	6.025
σ	0.606
min	5.627
max	7.504

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

*mean*	348.092
σ	0.970
min	345.800
max	348.846

op=load_product(), with indexes

*mean*	3495.855
σ	0.454
min	3495.694
max	3496.978

*mean*	3758.750
σ	2299.670
min	721.000
max	7386.000

*mean*	1777.415
σ	689.901
min	1401.806
max	3001.659

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*	4411.875
σ	2218.264
min	1485.000
max	7386.000

*mean*	232.156
σ	273.006
min	123.070
max	906.487

op=column_set() on unindexed, dense, repeat

*mean*	62.068
σ	0.001
min	62.065
max	62.069

*mean*	4411.875
σ	2218.264
min	1485.000
max	7386.000

*mean*	43.246
σ	2.718
min	40.758
max	49.217

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.926
σ	0.002
min	40.925
max	40.928

*mean*	7386.000
σ	0.000
min	7386.000
max	7386.000

*mean*	203.158
σ	508.483
min	21.649
max	1461.574

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.294
σ	0.002
min	71.292
max	71.296

*mean*	7386.000
σ	0.000
min	7386.000
max	7386.000

*mean*	65.735
σ	24.458
min	55.178
max	125.867

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*	4182.625
σ	1944.916
min	1485.000
max	7386.000

*mean*	3289.353
σ	793.720
min	2478.984
max	4600.423

op=vertical_lookup_list() on indexed

*mean*	1973.829
σ	0.002
min	1973.827
max	1973.832

*mean*	7386.000
σ	0.000
min	7386.000
max	7386.000

*mean*	1038.076
σ	216.159
min	917.976
max	1443.828

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

*mean*	905.083
σ	0.002
min	905.080
max	905.086

*mean*	7386.000
σ	0.000
min	7386.000
max	7386.000

*mean*	408.966
σ	36.274
min	389.106
max	498.278

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*	476.250
σ	1.035
min	475.000
max	477.000

*mean*	362.920
σ	43.117
min	303.259
max	422.050

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	561.375
σ	1.768
min	557.000
max	562.000

*mean*	740.855
σ	71.166
min	617.341
max	822.508

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.563
σ	1.879
min	963.843
max	972.510

*mean*	1040.750
σ	306.329
min	590.000
max	1490.000

*mean*	1.258
σ	0.077
min	1.160
max	1.493

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.429
σ	0.438
min	0.138
max	1.201

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.833
σ	0.528
min	0.578
max	1.776

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.373
σ	0.040
min	0.343
max	0.442

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.551
σ	0.108
min	0.363
max	0.639

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.580
σ	0.099
min	0.494
max	0.744

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.442
σ	0.043
min	0.378
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.607
σ	0.119
min	2.450
max	3.324

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.561
σ	0.062
min	2.420
max	2.754

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.307
σ	0.031
min	0.291
max	0.603

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.295
σ	0.011
min	0.280
max	0.364

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	12.021
σ	12.042
min	0.714
max	91.885

*mean*	468.121
σ	20.029
min	408.000
max	480.000

*mean*	0.027
σ	0.029
min	0.001
max	0.221

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	279.224
σ	1.028
min	278.741
max	282.140

*mean*	442.100
σ	16.162
min	413.000
max	468.000

*mean*	0.567
σ	0.030
min	0.507
max	0.610

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*	210.487
σ	25.044
min	186.390
max	241.853

phase=macro expansion

*mean*	5.896
σ	0.000
min	5.896
max	5.896

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	8.179
σ	1.056
min	6.889
max	9.001

phase=parser

*mean*	1042.131
σ	0.000
min	1042.130
max	1042.131

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	542.665
σ	75.821
min	441.112
max	615.167

phase=processProdDef

*mean*	2243.718
σ	0.000
min	2243.718
max	2243.718

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	2956.776
σ	231.098
min	2598.635
max	3218.553

phase=renaming

*mean*	21.440
σ	0.000
min	21.440
max	21.440

*mean*	848.000
σ	0.000
min	848.000
max	848.000

*mean*	44.240
σ	3.967
min	39.267
max	49.179

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*	660.602
σ	16.922
min	630.254
max	680.182

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.855
σ	0.037
min	282.800
max	282.890

*mean*	441.400
σ	3.286
min	439.000
max	445.000

*mean*	0.383
σ	0.009
min	0.377
max	0.398

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.045
σ	0.090
min	1267.971
max	1268.190

*mean*	1112.600
σ	170.160
min	897.000
max	1325.000

*mean*	1.902
σ	0.106
min	1.818
max	2.087

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.051
σ	2.979
min	1505.519
max	1512.370

*mean*	632.200
σ	87.862
min	498.000
max	727.000

*mean*	2.266
σ	0.238
min	2.070
max	2.569

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.095
σ	0.091
min	1829.992
max	1830.223

*mean*	1745.200
σ	212.429
min	1459.000
max	1945.000

*mean*	3.167
σ	0.434
min	2.661
max	3.627

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.778
σ	0.114
min	1.574
max	1.844

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	406.198
σ	509.796
min	151.294
max	1170.892

*mean*	101.750
σ	7.500
min	98.000
max	113.000

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	0.490
σ	0.469
min	0.250
max	1.193

policies=20

*mean*	1513.149
σ	0.277
min	1512.967
max	1513.559

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	445.000
σ	3.464
min	442.000
max	448.000

*mean*	2.509
σ	0.016
min	2.497
max	2.532

policies=200

*mean*	15140.028
σ	0.122
min	15139.875
max	15140.172

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	496.500
σ	5.568
min	491.000
max	504.000

*mean*	25.288
σ	0.126
min	25.145
max	25.450