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.720
σ	0.369
min	54.569
max	55.769

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.147
σ	0.010
min	0.137
max	0.163

cache=y

dps=1

iters=10

policies=100

*mean*	43.778
σ	0.007
min	43.768
max	43.789

*mean*	416.000
σ	0.000
min	416.000
max	416.000

*mean*	0.122
σ	0.003
min	0.120
max	0.129

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*	4589.375
σ	2248.565
min	1487.000
max	7384.000

*mean*	156.599
σ	406.201
min	11.977
max	1161.887

op=column_set() on indexed, repeat

*mean*	36.604
σ	0.000
min	36.604
max	36.605

*mean*	4589.375
σ	2248.565
min	1487.000
max	7384.000

*mean*	14.518
σ	4.464
min	11.570
max	24.570

op=table_records(), no indexes

*mean*	41.940
σ	0.002
min	41.938
max	41.943

*mean*	7384.000
σ	0.000
min	7384.000
max	7384.000

*mean*	11.929
σ	1.913
min	10.995
max	16.651

op=table_records(), repeat

*mean*	41.925
σ	0.000
min	41.924
max	41.925

*mean*	4179.250
σ	1944.711
min	1487.000
max	7384.000

*mean*	11.854
σ	1.870
min	10.976
max	16.465

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

*mean*	27.633
σ	0.137
min	27.584
max	27.971

*mean*	4179.250
σ	1944.711
min	1487.000
max	7384.000

*mean*	9.293
σ	1.496
min	8.597
max	12.977

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

*mean*	26.384
σ	0.000
min	26.384
max	26.384

*mean*	4179.250
σ	1944.711
min	1487.000
max	7384.000

*mean*	6.689
σ	1.137
min	6.058
max	9.461

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.662
σ	0.004
min	25.661
max	25.673

*mean*	4589.375
σ	2248.565
min	1487.000
max	7384.000

*mean*	6.490
σ	1.007
min	5.857
max	8.700

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.961
σ	0.001
min	25.961
max	25.962

*mean*	4589.375
σ	2248.565
min	1487.000
max	7384.000

*mean*	6.316
σ	1.076
min	5.611
max	8.694

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

*mean*	361.227
σ	42.163
min	344.881
max	465.541

op=load_product(), with indexes

*mean*	3495.854
σ	0.454
min	3495.694
max	3496.977

*mean*	3756.375
σ	2299.172
min	720.000
max	7384.000

*mean*	1786.523
σ	672.276
min	1390.706
max	2963.888

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.840
max	107.841

*mean*	4408.375
σ	2218.174
min	1487.000
max	7384.000

*mean*	247.461
σ	315.551
min	120.652
max	1026.953

op=column_set() on unindexed, dense, repeat

*mean*	62.068
σ	0.001
min	62.065
max	62.068

*mean*	4408.375
σ	2218.174
min	1487.000
max	7384.000

*mean*	45.985
σ	8.406
min	41.022
max	66.186

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.926
σ	0.002
min	40.925
max	40.928

*mean*	7384.000
σ	0.000
min	7384.000
max	7384.000

*mean*	215.008
σ	542.156
min	21.784
max	1556.771

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.294
σ	0.002
min	71.292
max	71.296

*mean*	7384.000
σ	0.000
min	7384.000
max	7384.000

*mean*	64.608
σ	22.050
min	55.651
max	118.968

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*	4179.250
σ	1944.711
min	1487.000
max	7384.000

*mean*	3286.951
σ	878.145
min	2504.991
max	4909.476

op=vertical_lookup_list() on indexed

*mean*	1973.829
σ	0.002
min	1973.827
max	1973.832

*mean*	7384.000
σ	0.000
min	7384.000
max	7384.000

*mean*	1080.361
σ	272.271
min	916.718
max	1677.441

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

*mean*	905.083
σ	0.002
min	905.080
max	905.086

*mean*	7384.000
σ	0.000
min	7384.000
max	7384.000

*mean*	416.628
σ	37.869
min	397.929
max	509.342

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.000
σ	1.069
min	475.000
max	477.000

*mean*	391.110
σ	23.951
min	357.620
max	430.769

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	561.625
σ	1.061
min	559.000
max	562.000

*mean*	740.077
σ	27.169
min	713.238
max	796.793

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.530
σ	1.821
min	963.822
max	972.233

*mean*	1039.200
σ	292.160
min	552.000
max	1428.000

*mean*	1.307
σ	0.152
min	1.192
max	1.754

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.303
σ	0.303
min	0.147
max	0.843

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.474
σ	0.317
min	0.319
max	1.042

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.222
σ	0.020
min	0.204
max	0.255

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.343
σ	0.024
min	0.323
max	0.378

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.839
σ	0.009
min	964.834
max	964.855

*mean*	431.800
σ	1.789
min	431.000
max	435.000

*mean*	0.536
σ	0.042
min	0.482
max	0.585

name=cdr_enhanced_4k_loc.art

*mean*	885.913
σ	0.002
min	885.912
max	885.915

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	0.503
σ	0.029
min	0.455
max	0.523

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

*mean*	2.650
σ	0.122
min	2.473
max	3.041

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	2.584
σ	0.053
min	2.485
max	2.768

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	0.305
σ	0.022
min	0.288
max	0.511

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	0.286
σ	0.008
min	0.274
max	0.344

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.792
σ	12.499
min	0.574
max	122.001

*mean*	463.480
σ	18.719
min	411.000
max	481.000

*mean*	0.027
σ	0.031
min	0.001
max	0.292

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.862
σ	1.076
min	278.492
max	281.922

*mean*	445.000
σ	15.449
min	425.000
max	472.000

*mean*	0.578
σ	0.012
min	0.554
max	0.594

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*	847.750
σ	0.707
min	846.000
max	848.000

*mean*	212.399
σ	23.240
min	191.739
max	246.954

phase=macro expansion

*mean*	5.900
σ	0.000
min	5.900
max	5.900

*mean*	847.500
σ	0.926
min	846.000
max	848.000

*mean*	5.991
σ	0.341
min	5.723
max	6.798

phase=parser

*mean*	1041.965
σ	0.000
min	1041.964
max	1041.965

*mean*	847.500
σ	0.926
min	846.000
max	848.000

*mean*	467.529
σ	103.285
min	376.291
max	592.258

phase=processProdDef

*mean*	2243.717
σ	0.000
min	2243.717
max	2243.717

*mean*	847.750
σ	0.707
min	846.000
max	848.000

*mean*	2771.535
σ	418.073
min	2042.574
max	3226.878

phase=renaming

*mean*	21.436
σ	0.000
min	21.436
max	21.436

*mean*	847.500
σ	0.926
min	846.000
max	848.000

*mean*	28.109
σ	9.682
min	19.880
max	42.591

phase=type checker

*mean*	958.596
σ	0.047
min	958.573
max	958.698

*mean*	847.500
σ	0.926
min	846.000
max	848.000

*mean*	646.231
σ	44.630
min	607.939
max	725.855

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.359
σ	0.038
min	282.309
max	282.400

*mean*	439.000
σ	2.739
min	437.000
max	442.000

*mean*	0.381
σ	0.006
min	0.375
max	0.387

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.582
σ	0.087
min	1267.479
max	1267.719

*mean*	1111.400
σ	173.215
min	896.000
max	1337.000

*mean*	2.010
σ	0.116
min	1.871
max	2.104

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.567
σ	2.976
min	1505.043
max	1511.878

*mean*	626.600
σ	89.993
min	503.000
max	726.000

*mean*	2.321
σ	0.342
min	2.002
max	2.882

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.574
σ	0.055
min	1829.499
max	1829.631

*mean*	1747.600
σ	207.169
min	1469.000
max	1943.000

*mean*	3.117
σ	0.272
min	2.847
max	3.537

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.785
σ	0.035
min	1.731
max	1.826

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

*mean*	0.490
σ	0.513
min	0.230
max	1.260

policies=20

*mean*	1390.728
σ	0.169
min	1390.612
max	1390.978

*mean*	960.000
σ	0.000
min	960.000
max	960.000

*mean*	444.000
σ	8.000
min	440.000
max	456.000

*mean*	2.316
σ	0.016
min	2.298
max	2.332

policies=200

*mean*	13915.884
σ	0.095
min	13915.784
max	13916.012

*mean*	9600.000
σ	0.000
min	9600.000
max	9600.000

*mean*	495.750
σ	5.377
min	489.000
max	501.000

*mean*	23.404
σ	0.117
min	23.294
max	23.522