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.860
σ	0.360
min	54.719
max	55.884

*mean*	417.700
σ	0.483
min	417.000
max	418.000

*mean*	0.140
σ	0.005
min	0.136
max	0.151

cache=y

dps=1

iters=10

policies=100

*mean*	43.848
σ	0.005
min	43.839
max	43.854

*mean*	418.000
σ	0.000
min	418.000
max	418.000

*mean*	0.127
σ	0.004
min	0.123
max	0.135

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*	4582.750
σ	2257.417
min	1487.000
max	7406.000

*mean*	13.568
σ	3.678
min	11.419
max	21.200

op=column_set() on indexed, repeat

*mean*	36.617
σ	0.000
min	36.617
max	36.618

*mean*	4582.750
σ	2257.417
min	1487.000
max	7406.000

*mean*	13.835
σ	3.379
min	11.284
max	20.508

op=table_records(), no indexes

*mean*	41.948
σ	0.002
min	41.946
max	41.951

*mean*	7406.000
σ	0.000
min	7406.000
max	7406.000

*mean*	10.610
σ	0.245
min	10.192
max	10.940

op=table_records(), repeat

*mean*	41.933
σ	0.000
min	41.933
max	41.934

*mean*	4166.125
σ	1948.334
min	1487.000
max	7406.000

*mean*	11.331
σ	1.855
min	10.431
max	15.904

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

*mean*	27.655
σ	0.137
min	27.606
max	27.993

*mean*	4166.125
σ	1948.334
min	1487.000
max	7406.000

*mean*	8.544
σ	1.298
min	7.662
max	11.692

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

*mean*	26.406
σ	0.000
min	26.406
max	26.406

*mean*	4166.125
σ	1948.334
min	1487.000
max	7406.000

*mean*	6.172
σ	1.225
min	5.209
max	9.116

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.681
σ	0.003
min	25.680
max	25.688

*mean*	4582.750
σ	2257.417
min	1487.000
max	7406.000

*mean*	6.030
σ	0.920
min	5.351
max	7.863

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.984
σ	0.000
min	25.984
max	25.985

*mean*	4582.750
σ	2257.417
min	1487.000
max	7406.000

*mean*	5.695
σ	0.651
min	5.106
max	6.815

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

*mean*	362.313
σ	41.092
min	343.614
max	463.817

op=load_product(), with indexes

*mean*	3495.878
σ	0.468
min	3495.713
max	3497.037

*mean*	3747.000
σ	2300.118
min	720.000
max	7406.000

*mean*	1626.018
σ	533.390
min	1382.351
max	2931.196

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*	4400.750
σ	2228.741
min	1487.000
max	7406.000

*mean*	297.335
σ	462.539
min	123.377
max	1440.959

op=column_set() on unindexed, dense, repeat

*mean*	62.082
σ	0.000
min	62.081
max	62.082

*mean*	4582.750
σ	2257.417
min	1487.000
max	7406.000

*mean*	197.165
σ	425.877
min	40.580
max	1250.926

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948
σ	0.002
min	40.947
max	40.950

*mean*	7406.000
σ	0.000
min	7406.000
max	7406.000

*mean*	22.547
σ	1.800
min	21.027
max	25.652

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.308
σ	0.002
min	71.307
max	71.311

*mean*	7406.000
σ	0.000
min	7406.000
max	7406.000

*mean*	253.938
σ	560.874
min	54.152
max	1642.017

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.851
σ	0.014
min	4646.845
max	4646.884

*mean*	4166.125
σ	1948.334
min	1487.000
max	7406.000

*mean*	3203.565
σ	958.581
min	2469.768
max	5050.825

op=vertical_lookup_list() on indexed

*mean*	1973.851
σ	0.002
min	1973.849
max	1973.854

*mean*	7406.000
σ	0.000
min	7406.000
max	7406.000

*mean*	1116.294
σ	332.723
min	908.556
max	1753.941

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

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7406.000
σ	0.000
min	7406.000
max	7406.000

*mean*	415.848
σ	56.294
min	383.341
max	513.748

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

*mean*	377.564
σ	18.665
min	342.005
max	399.832

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	562.000
σ	0.000
min	562.000
max	562.000

*mean*	759.515
σ	73.932
min	600.552
max	823.389

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.565
σ	0.760
min	1024.095
max	1027.705

*mean*	1061.000
σ	312.999
min	593.000
max	1529.000

*mean*	1.370
σ	0.069
min	1.308
max	1.584

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.295
σ	0.283
min	0.141
max	0.797

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.478
σ	0.322
min	0.320
max	1.054

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.219
σ	0.021
min	0.201
max	0.253

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.395
σ	0.148
min	0.318
max	0.659

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

*mean*	0.545
σ	0.067
min	0.435
max	0.603

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	439.000
σ	0.000
min	439.000
max	439.000

*mean*	0.458
σ	0.054
min	0.391
max	0.518

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

*mean*	2.006
σ	0.137
min	1.844
max	2.674

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	439.000
σ	0.000
min	439.000
max	439.000

*mean*	2.601
σ	0.088
min	2.463
max	2.851

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	439.000
σ	0.000
min	439.000
max	439.000

*mean*	0.312
σ	0.019
min	0.285
max	0.438

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	439.000
σ	0.000
min	439.000
max	439.000

*mean*	0.295
σ	0.015
min	0.273
max	0.337

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.942
σ	12.226
min	0.573
max	99.821

*mean*	464.388
σ	19.179
min	409.000
max	482.000

*mean*	0.027
σ	0.030
min	0.001
max	0.239

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.633
σ	0.948
min	298.200
max	301.323

*mean*	443.200
σ	15.859
min	417.000
max	474.000

*mean*	0.597
σ	0.026
min	0.527
max	0.620

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

*mean*	242.556
σ	15.132
min	206.168
max	254.089

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	840.000
σ	0.000
min	840.000
max	840.000

*mean*	9.220
σ	1.617
min	7.278
max	12.504

phase=parser

*mean*	1042.433
σ	0.000
min	1042.432
max	1042.433

*mean*	840.000
σ	0.000
min	840.000
max	840.000

*mean*	564.987
σ	100.455
min	417.719
max	718.892

phase=processProdDef

*mean*	2243.975
σ	0.000
min	2243.975
max	2243.975

*mean*	840.000
σ	0.000
min	840.000
max	840.000

*mean*	2500.357
σ	182.126
min	2136.140
max	2758.744

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	840.000
σ	0.000
min	840.000
max	840.000

*mean*	37.552
σ	7.206
min	26.720
max	47.933

phase=type checker

*mean*	989.752
σ	0.066
min	989.654
max	989.841

*mean*	840.000
σ	0.000
min	840.000
max	840.000

*mean*	693.843
σ	79.820
min	644.261
max	888.309

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.821
σ	0.038
min	293.767
max	293.859

*mean*	444.400
σ	0.548
min	444.000
max	445.000

*mean*	0.393
σ	0.006
min	0.389
max	0.403

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.288
σ	0.134
min	1320.161
max	1320.503

*mean*	1091.000
σ	167.793
min	893.000
max	1320.000

*mean*	1.965
σ	0.169
min	1.850
max	2.261

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.285
σ	2.968
min	1557.707
max	1564.582

*mean*	625.800
σ	86.872
min	496.000
max	727.000

*mean*	2.189
σ	0.150
min	2.073
max	2.450

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.337
σ	0.058
min	1882.260
max	1882.421

*mean*	1730.000
σ	173.524
min	1473.000
max	1882.000

*mean*	3.118
σ	0.407
min	2.872
max	3.843

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.784
σ	0.094
min	1.659
max	1.893

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.943
σ	518.104
min	160.886
max	1197.099

*mean*	101.750
σ	7.500
min	98.000
max	113.000

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	0.528
σ	0.533
min	0.258
max	1.327

policies=20

*mean*	1609.201
σ	0.354
min	1608.960
max	1609.727

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	445.000
σ	8.000
min	441.000
max	457.000

*mean*	2.583
σ	0.023
min	2.552
max	2.606

policies=200

*mean*	16100.666
σ	0.033
min	16100.633
max	16100.711

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	494.250
σ	4.787
min	489.000
max	500.000

*mean*	26.174
σ	0.151
min	26.059
max	26.379