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.301
σ	0.000
min	5.301
max	5.301

AST compact size (parser)

Factor

compact size MiB

phase=parser

*mean*	5.176
σ	0.000
min	5.176
max	5.176

AST compact size (processProdDef Decls)

Factor

compact size MiB

phase=processProdDef Decls

*mean*	5.676
σ	0.000
min	5.676
max	5.676

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.883
σ	0.000
min	446.883
max	446.883

AST compact size (renaming)

Factor

compact size MiB

phase=renaming

*mean*	5.488
σ	0.000
min	5.488
max	5.488

AST compact size (type checker)

Factor

compact size MiB

phase=type checker

*mean*	6.645
σ	0.000
min	6.645
max	6.645

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	54.775
σ	0.363
min	54.628
max	55.806

*mean*	415.000
σ	0.000
min	415.000
max	415.000

*mean*	0.139
σ	0.006
min	0.132
max	0.149

cache=y

dps=1

iters=10

policies=100

*mean*	43.775
σ	0.007
min	43.766
max	43.790

*mean*	415.000
σ	0.000
min	415.000
max	415.000

*mean*	0.129
σ	0.012
min	0.114
max	0.146

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.617
σ	0.000
min	36.617
max	36.618

*mean*	4586.375
σ	2253.375
min	1487.000
max	7403.000

*mean*	13.690
σ	3.448
min	11.922
max	21.998

op=column_set() on indexed, repeat

*mean*	36.617
σ	0.000
min	36.617
max	36.618

*mean*	4586.375
σ	2253.375
min	1487.000
max	7403.000

*mean*	13.327
σ	3.270
min	11.354
max	21.226

op=table_records(), no indexes

*mean*	41.948
σ	0.002
min	41.946
max	41.951

*mean*	7403.000
σ	0.000
min	7403.000
max	7403.000

*mean*	10.842
σ	0.139
min	10.674
max	11.127

op=table_records(), repeat

*mean*	41.933
σ	0.000
min	41.933
max	41.934

*mean*	4172.875
σ	1945.107
min	1487.000
max	7403.000

*mean*	11.471
σ	1.809
min	10.644
max	15.914

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

*mean*	27.655
σ	0.137
min	27.606
max	27.993

*mean*	4172.875
σ	1945.107
min	1487.000
max	7403.000

*mean*	9.073
σ	1.181
min	8.088
max	11.935

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

*mean*	26.406
σ	0.000
min	26.406
max	26.406

*mean*	4172.875
σ	1945.107
min	1487.000
max	7403.000

*mean*	7.063
σ	0.931
min	6.328
max	9.266

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.681
σ	0.003
min	25.680
max	25.688

*mean*	4586.375
σ	2253.375
min	1487.000
max	7403.000

*mean*	6.274
σ	0.971
min	5.709
max	8.645

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.984
σ	0.000
min	25.984
max	25.985

*mean*	4586.375
σ	2253.375
min	1487.000
max	7403.000

*mean*	6.145
σ	0.985
min	5.582
max	8.563

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.627
σ	0.002
min	1021.625
max	1021.629

*mean*	7403.000
σ	0.000
min	7403.000
max	7403.000

*mean*	363.793
σ	43.025
min	345.762
max	470.201

op=load_product(), with indexes

*mean*	3495.878
σ	0.469
min	3495.713
max	3497.038

*mean*	3751.000
σ	2298.340
min	720.000
max	7403.000

*mean*	1600.014
σ	472.469
min	1401.348
max	2760.409

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense, minor warmup

*mean*	107.854
σ	0.000
min	107.853
max	107.855

*mean*	4407.375
σ	2224.674
min	1487.000
max	7403.000

*mean*	258.487
σ	335.538
min	129.471
max	1087.959

op=column_set() on unindexed, dense, repeat

*mean*	62.082
σ	0.000
min	62.081
max	62.082

*mean*	4586.375
σ	2253.375
min	1487.000
max	7403.000

*mean*	192.426
σ	412.067
min	41.172
max	1212.050

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948
σ	0.002
min	40.947
max	40.950

*mean*	7403.000
σ	0.000
min	7403.000
max	7403.000

*mean*	22.247
σ	1.338
min	21.621
max	25.543

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.308
σ	0.002
min	71.307
max	71.311

*mean*	7403.000
σ	0.000
min	7403.000
max	7403.000

*mean*	282.531
σ	637.473
min	55.903
max	1860.189

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.851
σ	0.013
min	4646.845
max	4646.883

*mean*	4172.875
σ	1945.107
min	1487.000
max	7403.000

*mean*	3223.227
σ	815.824
min	2539.834
max	4587.372

op=vertical_lookup_list() on indexed

*mean*	1973.851
σ	0.002
min	1973.849
max	1973.854

*mean*	7403.000
σ	0.000
min	7403.000
max	7403.000

*mean*	1058.368
σ	241.781
min	930.095
max	1629.621

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

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7403.000
σ	0.000
min	7403.000
max	7403.000

*mean*	394.477
σ	3.519
min	388.190
max	398.631

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

*mean*	372.012
σ	35.570
min	319.700
max	416.275

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	563.000
σ	0.000
min	563.000
max	563.000

*mean*	780.784
σ	59.366
min	657.519
max	827.086

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.971
σ	1.822
min	963.264
max	971.675

*mean*	1055.500
σ	309.071
min	553.000
max	1511.000

*mean*	1.318
σ	0.166
min	1.191
max	1.770

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.453
σ	0.519
min	0.147
max	1.369

name=error_case.art

*mean*	2.340
σ	0.012
min	2.334
max	2.362

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.889
σ	0.594
min	0.570
max	1.948

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.521
max	1.525

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.387
σ	0.036
min	0.364
max	0.448

name=nested_use.art

*mean*	2.358
σ	0.002
min	2.357
max	2.361

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.593
σ	0.017
min	0.578
max	0.622

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.971
σ	0.011
min	964.965
max	964.989

*mean*	431.800
σ	1.789
min	431.000
max	435.000

*mean*	0.689
σ	0.073
min	0.594
max	0.751

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.482
σ	0.046
min	0.422
max	0.530

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.710
σ	0.002
min	7.709
max	7.713

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	2.603
σ	0.099
min	2.440
max	2.997

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	2.602
σ	0.087
min	2.434
max	2.907

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.316
σ	0.036
min	0.299
max	0.563

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.294
σ	0.007
min	0.280
max	0.334

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.717
σ	12.506
min	0.574
max	96.666

*mean*	456.988
σ	18.320
min	408.000
max	474.000

*mean*	0.027
σ	0.031
min	0.001
max	0.262

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.793
σ	1.030
min	278.386
max	281.721

*mean*	443.600
σ	17.469
min	418.000
max	472.000

*mean*	0.587
σ	0.015
min	0.558
max	0.614

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	173.738
σ	0.000
min	173.738
max	173.738

*mean*	864.000
σ	0.000
min	864.000
max	864.000

*mean*	235.694
σ	20.565
min	198.900
max	254.103

phase=macro expansion

*mean*	6.130
σ	0.001
min	6.130
max	6.133

*mean*	864.000
σ	0.000
min	864.000
max	864.000

*mean*	9.922
σ	1.453
min	7.442
max	12.563

phase=parser

*mean*	1042.435
σ	0.001
min	1042.432
max	1042.436

*mean*	864.000
σ	0.000
min	864.000
max	864.000

*mean*	571.897
σ	100.917
min	423.854
max	725.601

phase=processProdDef

*mean*	2243.976
σ	0.001
min	2243.976
max	2243.979

*mean*	864.000
σ	0.000
min	864.000
max	864.000

*mean*	2534.914
σ	590.607
min	1780.888
max	3433.623

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	864.000
σ	0.000
min	864.000
max	864.000

*mean*	38.615
σ	5.876
min	26.586
max	46.846

phase=type checker

*mean*	989.755
σ	0.066
min	989.654
max	989.845

*mean*	864.000
σ	0.000
min	864.000
max	864.000

*mean*	775.591
σ	107.782
min	644.769
max	892.782

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.387
σ	0.037
min	282.338
max	282.429

*mean*	444.800
σ	1.095
min	444.000
max	446.000

*mean*	0.383
σ	0.007
min	0.376
max	0.390

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.103
σ	0.081
min	1267.004
max	1267.227

*mean*	1114.200
σ	170.494
min	898.000
max	1332.000

*mean*	1.996
σ	0.104
min	1.870
max	2.109

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.138
σ	2.914
min	1504.646
max	1511.341

*mean*	629.400
σ	90.337
min	505.000
max	729.000

*mean*	2.357
σ	0.259
min	2.037
max	2.554

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.114
σ	0.083
min	1829.017
max	1829.233

*mean*	1768.400
σ	211.798
min	1491.000
max	1970.000

*mean*	3.189
σ	0.388
min	2.819
max	3.683

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.714
σ	0.157
min	1.502
max	1.869

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.697
σ	518.051
min	138.669
max	1174.773

*mean*	97.750
σ	7.500
min	94.000
max	109.000

*mean*	446.000
σ	0.000
min	446.000
max	446.000

*mean*	0.496
σ	0.512
min	0.233
max	1.265

policies=20

*mean*	1386.820
σ	0.151
min	1386.714
max	1387.044

*mean*	940.000
σ	0.000
min	940.000
max	940.000

*mean*	446.000
σ	0.000
min	446.000
max	446.000

*mean*	2.307
σ	0.018
min	2.282
max	2.322

policies=200

*mean*	13876.869
σ	0.111
min	13876.783
max	13877.032

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	496.750
σ	5.620
min	492.000
max	503.000

*mean*	23.510
σ	0.107
min	23.402
max	23.630