Compare commits

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.573
max	55.759

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.140
σ	0.004
min	0.136
max	0.146

cache=y

dps=1

iters=10

policies=100

*mean*	43.776
σ	0.008
min	43.765
max	43.793

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.123
σ	0.005
min	0.118
max	0.133

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*	4428.625
σ	2224.221
min	1483.000
max	7405.000

*mean*	12.905
σ	2.036
min	11.951
max	17.859

op=column_set() on indexed, repeat

*mean*	36.604
σ	0.000
min	36.604
max	36.605

*mean*	4607.000
σ	2255.049
min	1483.000
max	7405.000

*mean*	103.269
σ	255.019
min	11.461
max	734.387

op=table_records(), no indexes

*mean*	41.939
σ	0.002
min	41.938
max	41.943

*mean*	7405.000
σ	0.000
min	7405.000
max	7405.000

*mean*	11.128
σ	0.300
min	10.861
max	11.802

op=table_records(), repeat

*mean*	41.925
σ	0.001
min	41.924
max	41.928

*mean*	4199.250
σ	1951.305
min	1483.000
max	7405.000

*mean*	11.489
σ	1.413
min	10.808
max	14.976

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

*mean*	27.633
σ	0.137
min	27.584
max	27.971

*mean*	4199.250
σ	1951.305
min	1483.000
max	7405.000

*mean*	8.759
σ	0.506
min	8.034
max	9.847

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

*mean*	26.384
σ	0.000
min	26.384
max	26.384

*mean*	4199.250
σ	1951.305
min	1483.000
max	7405.000

*mean*	6.922
σ	0.424
min	6.521
max	7.917

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.662
σ	0.004
min	25.661
max	25.673

*mean*	4607.000
σ	2255.049
min	1483.000
max	7405.000

*mean*	6.469
σ	0.730
min	6.007
max	7.904

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.961
σ	0.001
min	25.961
max	25.962

*mean*	4607.000
σ	2255.049
min	1483.000
max	7405.000

*mean*	6.237
σ	0.744
min	5.782
max	7.711

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

*mean*	346.868
σ	1.669
min	344.069
max	348.905

op=load_product(), with indexes

*mean*	3495.854
σ	0.454
min	3495.694
max	3496.977

*mean*	3771.500
σ	2307.888
min	721.000
max	7405.000

*mean*	1783.758
σ	670.682
min	1384.863
max	2959.082

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*	4199.250
σ	1951.305
min	1483.000
max	7405.000

*mean*	134.643
σ	8.455
min	126.958
max	154.160

op=column_set() on unindexed, dense, repeat

*mean*	62.068
σ	0.001
min	62.065
max	62.069

*mean*	4428.625
σ	2224.221
min	1483.000
max	7405.000

*mean*	155.832
σ	322.009
min	40.474
max	952.761

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.926
σ	0.002
min	40.925
max	40.929

*mean*	7405.000
σ	0.000
min	7405.000
max	7405.000

*mean*	102.937
σ	227.949
min	21.660
max	667.075

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.294
σ	0.002
min	71.292
max	71.296

*mean*	7405.000
σ	0.000
min	7405.000
max	7405.000

*mean*	59.654
σ	8.829
min	56.004
max	81.458

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*	4199.250
σ	1951.305
min	1483.000
max	7405.000

*mean*	3255.070
σ	703.223
min	2519.184
max	4482.820

op=vertical_lookup_list() on indexed

*mean*	1973.829
σ	0.002
min	1973.827
max	1973.831

*mean*	7405.000
σ	0.000
min	7405.000
max	7405.000

*mean*	1011.767
σ	202.422
min	919.832
max	1500.307

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

*mean*	905.083
σ	0.002
min	905.080
max	905.086

*mean*	7405.000
σ	0.000
min	7405.000
max	7405.000

*mean*	416.740
σ	43.487
min	388.321
max	523.436

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*	390.441
σ	23.267
min	357.888
max	421.611

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	565.000
σ	0.000
min	565.000
max	565.000

*mean*	714.638
σ	73.481
min	598.197
max	820.270

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.530
σ	1.820
min	963.826
max	972.224

*mean*	1039.100
σ	310.219
min	536.000
max	1533.000

*mean*	1.264
σ	0.086
min	1.174
max	1.500

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.491
σ	0.538
min	0.182
max	1.451

name=error_case.art

*mean*	2.346
σ	0.012
min	2.340
max	2.368

*mean*	401.000
σ	0.000
min	401.000
max	401.000

*mean*	0.720
σ	0.301
min	0.563
max	1.257

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.522
max	1.526

*mean*	401.000
σ	0.000
min	401.000
max	401.000

*mean*	0.380
σ	0.036
min	0.346
max	0.439

name=nested_use.art

*mean*	2.364
σ	0.002
min	2.363
max	2.367

*mean*	401.000
σ	0.000
min	401.000
max	401.000

*mean*	0.586
σ	0.033
min	0.564
max	0.644

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.838
σ	0.009
min	964.833
max	964.855

*mean*	430.000
σ	0.000
min	430.000
max	430.000

*mean*	0.712
σ	0.053
min	0.617
max	0.741

name=cdr_enhanced_4k_loc.art

*mean*	885.913
σ	0.002
min	885.912
max	885.915

*mean*	430.000
σ	0.000
min	430.000
max	430.000

*mean*	0.588
σ	0.040
min	0.529
max	0.642

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.718
σ	0.002
min	7.717
max	7.721

*mean*	430.000
σ	0.000
min	430.000
max	430.000

*mean*	3.547
σ	0.085
min	3.420
max	3.866

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	430.000
σ	0.000
min	430.000
max	430.000

*mean*	3.531
σ	0.074
min	3.393
max	3.788

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	430.000
σ	0.000
min	430.000
max	430.000

*mean*	0.535
σ	0.013
min	0.516
max	0.616

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	430.000
σ	0.000
min	430.000
max	430.000

*mean*	0.521
σ	0.031
min	0.489
max	0.701

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.609
σ	12.346
min	0.574
max	102.977

*mean*	463.062
σ	18.196
min	406.000
max	477.000

*mean*	0.027
σ	0.030
min	0.001
max	0.256

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.770
σ	1.025
min	278.347
max	281.683

*mean*	444.300
σ	15.129
min	414.000
max	467.000

*mean*	0.580
σ	0.018
min	0.547
max	0.614

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

*mean*	230.022
σ	16.526
min	201.699
max	246.643

phase=macro expansion

*mean*	5.896
σ	0.000
min	5.896
max	5.896

*mean*	851.000
σ	0.000
min	851.000
max	851.000

*mean*	6.335
σ	1.146
min	5.789
max	9.131

phase=parser

*mean*	1041.966
σ	0.000
min	1041.966
max	1041.966

*mean*	851.000
σ	0.000
min	851.000
max	851.000

*mean*	531.795
σ	134.261
min	375.353
max	724.788

phase=processProdDef

*mean*	2243.715
σ	0.000
min	2243.715
max	2243.715

*mean*	851.000
σ	0.000
min	851.000
max	851.000

*mean*	2711.583
σ	551.316
min	1933.759
max	3376.246

phase=renaming

*mean*	21.436
σ	0.000
min	21.436
max	21.436

*mean*	851.000
σ	0.000
min	851.000
max	851.000

*mean*	30.007
σ	10.933
min	19.985
max	42.682

phase=type checker

*mean*	958.600
σ	0.047
min	958.577
max	958.702

*mean*	851.000
σ	0.000
min	851.000
max	851.000

*mean*	659.592
σ	56.295
min	609.182
max	750.032

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.359
σ	0.036
min	282.308
max	282.396

*mean*	441.000
σ	2.739
min	439.000
max	444.000

*mean*	0.379
σ	0.006
min	0.376
max	0.389

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.586
σ	0.087
min	1267.482
max	1267.721

*mean*	1112.600
σ	171.650
min	898.000
max	1336.000

*mean*	1.957
σ	0.116
min	1.852
max	2.083

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.582
σ	2.907
min	1505.075
max	1511.770

*mean*	628.800
σ	90.170
min	505.000
max	728.000

*mean*	2.318
σ	0.244
min	2.039
max	2.554

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.578
σ	0.055
min	1829.501
max	1829.632

*mean*	1766.600
σ	214.091
min	1492.000
max	1972.000

*mean*	3.105
σ	0.337
min	2.765
max	3.604

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.656
σ	0.167
min	1.492
max	1.882

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	393.851
σ	509.574
min	139.061
max	1158.212

*mean*	99.750
σ	7.500
min	96.000
max	111.000

*mean*	444.000
σ	0.000
min	444.000
max	444.000

*mean*	0.497
σ	0.523
min	0.233
max	1.281

policies=20

*mean*	1390.729
σ	0.170
min	1390.609
max	1390.980

*mean*	960.000
σ	0.000
min	960.000
max	960.000

*mean*	447.750
σ	7.500
min	444.000
max	459.000

*mean*	2.317
σ	0.020
min	2.299
max	2.345

policies=200

*mean*	13915.886
σ	0.060
min	13915.804
max	13915.948

*mean*	9600.000
σ	0.000
min	9600.000
max	9600.000

*mean*	495.750
σ	4.031
min	491.000
max	500.000

*mean*	23.366
σ	0.115
min	23.230
max	23.488