317e7bc13531de92f659f9e73b9a78dea89583de

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.718
σ	0.366
min	54.566
max	55.759

*mean*	418.500
σ	0.527
min	418.000
max	419.000

*mean*	0.141
σ	0.004
min	0.137
max	0.147

cache=y

dps=1

iters=10

policies=100

*mean*	43.777
σ	0.007
min	43.761
max	43.785

*mean*	419.000
σ	0.000
min	419.000
max	419.000

*mean*	0.124
σ	0.004
min	0.120
max	0.130

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*	4587.000
σ	2253.094
min	1487.000
max	7401.000

*mean*	13.434
σ	3.352
min	11.943
max	21.697

op=column_set() on indexed, repeat

*mean*	36.604
σ	0.000
min	36.604
max	36.605

*mean*	4587.000
σ	2253.094
min	1487.000
max	7401.000

*mean*	13.716
σ	3.667
min	11.601
max	22.677

op=table_records(), no indexes

*mean*	41.939
σ	0.002
min	41.938
max	41.942

*mean*	7401.000
σ	0.000
min	7401.000
max	7401.000

*mean*	11.220
σ	0.200
min	10.895
max	11.548

op=table_records(), repeat

*mean*	41.925
σ	0.001
min	41.924
max	41.928

*mean*	4174.625
σ	1945.370
min	1487.000
max	7401.000

*mean*	11.836
σ	1.715
min	10.726
max	15.983

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

*mean*	27.633
σ	0.137
min	27.584
max	27.971

*mean*	4174.625
σ	1945.370
min	1487.000
max	7401.000

*mean*	9.130
σ	1.326
min	8.116
max	12.342

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

*mean*	26.384
σ	0.000
min	26.384
max	26.384

*mean*	4174.625
σ	1945.370
min	1487.000
max	7401.000

*mean*	7.020
σ	1.119
min	6.056
max	9.660

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.662
σ	0.004
min	25.661
max	25.673

*mean*	4587.000
σ	2253.094
min	1487.000
max	7401.000

*mean*	6.329
σ	0.863
min	5.839
max	8.437

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.961
σ	0.001
min	25.961
max	25.962

*mean*	4587.000
σ	2253.094
min	1487.000
max	7401.000

*mean*	6.132
σ	0.581
min	5.843
max	7.556

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

*mean*	362.479
σ	44.118
min	343.988
max	471.520

op=load_product(), with indexes

*mean*	3495.855
σ	0.454
min	3495.694
max	3496.978

*mean*	3751.875
σ	2298.778
min	720.000
max	7401.000

*mean*	1616.889
σ	550.289
min	1391.937
max	2969.900

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

*mean*	4408.625
σ	2224.164
min	1487.000
max	7401.000

*mean*	291.048
σ	430.731
min	124.200
max	1355.981

op=column_set() on unindexed, dense, repeat

*mean*	62.068
σ	0.001
min	62.065
max	62.069

*mean*	4587.000
σ	2253.094
min	1487.000
max	7401.000

*mean*	191.658
σ	417.797
min	41.118
max	1225.636

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.926
σ	0.002
min	40.925
max	40.928

*mean*	7401.000
σ	0.000
min	7401.000
max	7401.000

*mean*	22.609
σ	1.837
min	21.625
max	27.118

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.294
σ	0.002
min	71.292
max	71.296

*mean*	7401.000
σ	0.000
min	7401.000
max	7401.000

*mean*	260.241
σ	573.391
min	55.994
max	1679.291

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.842
σ	0.014
min	4646.837
max	4646.876

*mean*	4174.625
σ	1945.370
min	1487.000
max	7401.000

*mean*	3122.505
σ	852.382
min	2501.477
max	4936.454

op=vertical_lookup_list() on indexed

*mean*	1973.829
σ	0.002
min	1973.827
max	1973.832

*mean*	7401.000
σ	0.000
min	7401.000
max	7401.000

*mean*	1106.705
σ	323.107
min	918.513
max	1826.752

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

*mean*	905.083
σ	0.002
min	905.080
max	905.086

*mean*	7401.000
σ	0.000
min	7401.000
max	7401.000

*mean*	400.753
σ	6.807
min	395.449
max	416.079

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

*mean*	364.694
σ	35.170
min	317.222
max	429.600

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	566.000
σ	0.000
min	566.000
max	566.000

*mean*	778.638
σ	79.137
min	613.444
max	845.339

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.531
σ	1.821
min	963.823
max	972.233

*mean*	1040.450
σ	306.936
min	562.000
max	1489.000

*mean*	1.261
σ	0.114
min	1.159
max	1.626

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.305
σ	0.291
min	0.136
max	0.822

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.481
σ	0.315
min	0.325
max	1.044

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.030
min	0.193
max	0.267

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.338
σ	0.024
min	0.317
max	0.378

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.400
σ	0.894
min	431.000
max	433.000

*mean*	0.548
σ	0.042
min	0.487
max	0.605

name=cdr_enhanced_4k_loc.art

*mean*	886.001
σ	0.002
min	886.000
max	886.004

*mean*	440.000
σ	0.000
min	440.000
max	440.000

*mean*	0.456
σ	0.048
min	0.381
max	0.515

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

*mean*	2.688
σ	0.105
min	2.466
max	2.987

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	440.000
σ	0.000
min	440.000
max	440.000

*mean*	2.673
σ	0.080
min	2.437
max	2.882

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	440.000
σ	0.000
min	440.000
max	440.000

*mean*	0.303
σ	0.010
min	0.289
max	0.374

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	440.000
σ	0.000
min	440.000
max	440.000

*mean*	0.297
σ	0.028
min	0.278
max	0.538

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.838
σ	11.750
min	0.574
max	103.004

*mean*	460.505
σ	18.941
min	409.000
max	475.000

*mean*	0.027
σ	0.029
min	0.001
max	0.243

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.856
σ	1.028
min	278.478
max	281.781

*mean*	446.300
σ	20.870
min	418.000
max	481.000

*mean*	0.571
σ	0.028
min	0.510
max	0.613

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

*mean*	215.771
σ	22.961
min	189.467
max	249.117

phase=macro expansion

*mean*	5.896
σ	0.000
min	5.896
max	5.896

*mean*	850.000
σ	0.000
min	850.000
max	850.000

*mean*	7.087
σ	2.218
min	5.715
max	11.814

phase=parser

*mean*	1042.133
σ	0.000
min	1042.133
max	1042.133

*mean*	850.000
σ	0.000
min	850.000
max	850.000

*mean*	435.081
σ	121.172
min	373.147
max	726.053

phase=processProdDef

*mean*	2243.716
σ	0.000
min	2243.716
max	2243.716

*mean*	850.000
σ	0.000
min	850.000
max	850.000

*mean*	2818.215
σ	372.140
min	2257.534
max	3307.239

phase=renaming

*mean*	21.440
σ	0.000
min	21.440
max	21.440

*mean*	850.000
σ	0.000
min	850.000
max	850.000

*mean*	38.659
σ	4.349
min	34.147
max	47.371

phase=type checker

*mean*	958.596
σ	0.047
min	958.573
max	958.698

*mean*	850.000
σ	0.000
min	850.000
max	850.000

*mean*	699.708
σ	62.861
min	653.632
max	825.444

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.360
σ	0.036
min	282.309
max	282.397

*mean*	439.600
σ	2.191
min	438.000
max	442.000

*mean*	0.379
σ	0.007
min	0.373
max	0.387

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.587
σ	0.101
min	1267.473
max	1267.706

*mean*	1085.800
σ	163.507
min	891.000
max	1310.000

*mean*	1.953
σ	0.157
min	1.799
max	2.140

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.553
σ	2.936
min	1505.048
max	1511.797

*mean*	622.600
σ	87.540
min	492.000
max	725.000

*mean*	2.143
σ	0.225
min	1.984
max	2.531

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.573
σ	0.050
min	1829.506
max	1829.618

*mean*	1731.800
σ	174.259
min	1488.000
max	1894.000

*mean*	3.016
σ	0.362
min	2.761
max	3.657

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.729
σ	0.092
min	1.633
max	1.836

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	393.868
σ	509.607
min	139.061
max	1158.278

*mean*	99.750
σ	7.500
min	96.000
max	111.000

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	0.488
σ	0.503
min	0.234
max	1.243

policies=20

*mean*	1390.732
σ	0.169
min	1390.613
max	1390.983

*mean*	960.000
σ	0.000
min	960.000
max	960.000

*mean*	444.500
σ	7.000
min	441.000
max	455.000

*mean*	2.324
σ	0.013
min	2.309
max	2.341

policies=200

*mean*	13915.900
σ	0.087
min	13915.808
max	13916.017

*mean*	9600.000
σ	0.000
min	9600.000
max	9600.000

*mean*	492.750
σ	4.349
min	487.000
max	497.000

*mean*	23.376
σ	0.112
min	23.283
max	23.508