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.717
σ	0.364
min	54.580
max	55.751

*mean*	418.700
σ	0.483
min	418.000
max	419.000

*mean*	0.140
σ	0.004
min	0.136
max	0.147

cache=y

dps=1

iters=10

policies=100

*mean*	43.778
σ	0.007
min	43.766
max	43.790

*mean*	419.000
σ	0.000
min	419.000
max	419.000

*mean*	0.124
σ	0.004
min	0.121
max	0.131

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*	4584.375
σ	2254.291
min	1485.000
max	7404.000

*mean*	14.046
σ	3.653
min	12.032
max	21.790

op=column_set() on indexed, repeat

*mean*	36.604
σ	0.000
min	36.604
max	36.604

*mean*	4584.375
σ	2254.291
min	1485.000
max	7404.000

*mean*	13.053
σ	3.212
min	11.458
max	20.883

op=table_records(), no indexes

*mean*	41.940
σ	0.002
min	41.938
max	41.942

*mean*	7404.000
σ	0.000
min	7404.000
max	7404.000

*mean*	11.201
σ	0.140
min	10.945
max	11.401

op=table_records(), repeat

*mean*	41.925
σ	0.000
min	41.924
max	41.925

*mean*	4170.000
σ	1945.480
min	1485.000
max	7404.000

*mean*	11.893
σ	1.813
min	11.027
max	16.359

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

*mean*	27.633
σ	0.136
min	27.584
max	27.971

*mean*	4170.000
σ	1945.480
min	1485.000
max	7404.000

*mean*	8.896
σ	1.273
min	7.806
max	11.959

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

*mean*	26.384
σ	0.000
min	26.384
max	26.384

*mean*	4170.000
σ	1945.480
min	1485.000
max	7404.000

*mean*	6.533
σ	1.125
min	5.763
max	9.247

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.662
σ	0.004
min	25.661
max	25.673

*mean*	4584.375
σ	2254.291
min	1485.000
max	7404.000

*mean*	6.368
σ	0.997
min	5.566
max	8.787

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.961
σ	0.001
min	25.961
max	25.962

*mean*	4584.375
σ	2254.291
min	1485.000
max	7404.000

*mean*	6.175
σ	1.017
min	5.514
max	8.666

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

*mean*	361.113
σ	41.827
min	340.626
max	464.346

op=load_product(), with indexes

*mean*	3495.854
σ	0.453
min	3495.694
max	3496.977

*mean*	3748.750
σ	2298.369
min	719.000
max	7404.000

*mean*	1614.463
σ	546.985
min	1392.079
max	2959.261

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

*mean*	4405.000
σ	2225.755
min	1485.000
max	7404.000

*mean*	225.372
σ	257.083
min	122.751
max	859.999

op=column_set() on unindexed, dense, repeat

*mean*	62.068
σ	0.001
min	62.065
max	62.069

*mean*	4584.375
σ	2254.291
min	1485.000
max	7404.000

*mean*	212.682
σ	471.689
min	41.555
max	1379.940

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.926
σ	0.002
min	40.925
max	40.928

*mean*	7404.000
σ	0.000
min	7404.000
max	7404.000

*mean*	23.084
σ	2.731
min	21.595
max	29.792

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.294
σ	0.002
min	71.292
max	71.296

*mean*	7404.000
σ	0.000
min	7404.000
max	7404.000

*mean*	308.044
σ	710.633
min	54.850
max	2066.753

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*	4170.000
σ	1945.480
min	1485.000
max	7404.000

*mean*	3101.792
σ	807.995
min	2480.009
max	4492.352

op=vertical_lookup_list() on indexed

*mean*	1973.829
σ	0.002
min	1973.827
max	1973.832

*mean*	7404.000
σ	0.000
min	7404.000
max	7404.000

*mean*	1068.643
σ	284.977
min	910.885
max	1739.227

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

*mean*	905.083
σ	0.002
min	905.080
max	905.086

*mean*	7404.000
σ	0.000
min	7404.000
max	7404.000

*mean*	406.874
σ	48.234
min	384.750
max	526.071

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.875
σ	1.246
min	474.000
max	477.000

*mean*	373.947
σ	25.726
min	340.885
max	402.019

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*	741.089
σ	51.809
min	624.184
max	798.851

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.564
σ	1.879
min	963.842
max	972.509

*mean*	1034.050
σ	303.796
min	540.000
max	1521.000

*mean*	1.257
σ	0.095
min	1.170
max	1.567

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.380
σ	0.463
min	0.144
max	1.204

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.417
σ	0.190
min	0.322
max	0.758

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.220
σ	0.020
min	0.206
max	0.255

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.341
σ	0.017
min	0.331
max	0.372

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

*mean*	0.556
σ	0.062
min	0.447
max	0.595

name=cdr_enhanced_4k_loc.art

*mean*	886.001
σ	0.002
min	886.000
max	886.004

*mean*	430.000
σ	0.000
min	430.000
max	430.000

*mean*	0.471
σ	0.048
min	0.398
max	0.519

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

*mean*	2.680
σ	0.118
min	2.421
max	3.108

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*	2.639
σ	0.091
min	2.428
max	2.847

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	430.000
σ	0.000
min	430.000
max	430.000

*mean*	0.315
σ	0.043
min	0.286
max	0.614

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	430.000
σ	0.000
min	430.000
max	430.000

*mean*	0.292
σ	0.011
min	0.274
max	0.357

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.339
σ	10.920
min	0.574
max	87.129

*mean*	462.258
σ	20.482
min	408.000
max	480.000

*mean*	0.026
σ	0.027
min	0.001
max	0.212

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	279.237
σ	1.043
min	278.836
max	282.203

*mean*	441.900
σ	15.387
min	414.000
max	465.000

*mean*	0.575
σ	0.018
min	0.549
max	0.615

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*	837.000
σ	31.113
min	760.000
max	848.000

*mean*	219.635
σ	22.238
min	195.118
max	242.985

phase=macro expansion

*mean*	5.896
σ	0.000
min	5.896
max	5.896

*mean*	822.750
σ	49.971
min	714.000
max	848.000

*mean*	8.268
σ	1.050
min	6.951
max	9.307

phase=parser

*mean*	1042.133
σ	0.000
min	1042.133
max	1042.134

*mean*	822.750
σ	49.971
min	714.000
max	848.000

*mean*	541.755
σ	85.307
min	433.251
max	616.652

phase=processProdDef

*mean*	2243.715
σ	0.000
min	2243.715
max	2243.715

*mean*	837.000
σ	31.113
min	760.000
max	848.000

*mean*	2880.087
σ	388.786
min	2245.472
max	3298.161

phase=renaming

*mean*	21.436
σ	0.000
min	21.436
max	21.436

*mean*	822.750
σ	49.971
min	714.000
max	848.000

*mean*	42.093
σ	4.158
min	37.746
max	48.316

phase=type checker

*mean*	958.600
σ	0.047
min	958.577
max	958.702

*mean*	822.750
σ	49.971
min	714.000
max	848.000

*mean*	671.956
σ	39.724
min	638.993
max	767.279

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.856
σ	0.038
min	282.801
max	282.893

*mean*	441.800
σ	3.834
min	439.000
max	446.000

*mean*	0.377
σ	0.000
min	0.377
max	0.378

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.050
σ	0.117
min	1267.950
max	1268.243

*mean*	1092.400
σ	172.349
min	884.000
max	1326.000

*mean*	2.023
σ	0.120
min	1.881
max	2.126

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.052
σ	2.927
min	1505.550
max	1512.276

*mean*	626.000
σ	89.034
min	495.000
max	735.000

*mean*	2.248
σ	0.135
min	2.112
max	2.446

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.072
σ	0.048
min	1830.003
max	1830.112

*mean*	1717.200
σ	186.868
min	1455.000
max	1886.000

*mean*	3.086
σ	0.388
min	2.874
max	3.776

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.669
σ	0.192
min	1.362
max	1.825

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	406.199
σ	509.798
min	151.296
max	1170.896

*mean*	101.750
σ	7.500
min	98.000
max	113.000

*mean*	439.000
σ	0.000
min	439.000
max	439.000

*mean*	0.515
σ	0.516
min	0.254
max	1.288

policies=20

*mean*	1513.148
σ	0.269
min	1512.967
max	1513.545

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	444.000
σ	5.774
min	439.000
max	449.000

*mean*	2.501
σ	0.018
min	2.478
max	2.523

policies=200

*mean*	15140.031
σ	0.086
min	15139.922
max	15140.132

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	495.250
σ	5.058
min	489.000
max	501.000

*mean*	25.293
σ	0.132
min	25.178
max	25.475