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)

Factor

compact size MiB

phase=processProdDef

*mean*	558.664
σ	0.000
min	558.664
max	558.664

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.890
σ	0.358
min	54.746
max	55.908

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.140
σ	0.005
min	0.132
max	0.148

cache=y

dps=1

iters=10

policies=100

*mean*	43.856
σ	0.005
min	43.844
max	43.863

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.125
σ	0.004
min	0.122
max	0.131

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.618
σ	0.002
min	36.616
max	36.621

*mean*	4042.375
σ	2008.532
min	1219.000
max	7147.000

*mean*	13.215
σ	1.905
min	11.968
max	17.857

op=column_set() on indexed, repeat

*mean*	36.618
σ	0.002
min	36.616
max	36.620

*mean*	4042.375
σ	2008.532
min	1219.000
max	7147.000

*mean*	13.575
σ	1.295
min	12.396
max	16.603

op=table_records(), no indexes

*mean*	41.929
σ	0.002
min	41.928
max	41.932

*mean*	7147.000
σ	0.000
min	7147.000
max	7147.000

*mean*	15.587
σ	0.305
min	15.096
max	15.981

op=table_records(), repeat

*mean*	41.929
σ	0.002
min	41.927
max	41.932

*mean*	4042.375
σ	2008.532
min	1219.000
max	7147.000

*mean*	14.798
σ	1.620
min	11.197
max	16.517

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

*mean*	27.653
σ	0.136
min	27.604
max	27.991

*mean*	4042.375
σ	2008.532
min	1219.000
max	7147.000

*mean*	10.147
σ	1.466
min	8.837
max	12.605

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

*mean*	26.401
σ	0.002
min	26.400
max	26.404

*mean*	4042.375
σ	2008.532
min	1219.000
max	7147.000

*mean*	7.467
σ	1.617
min	6.258
max	10.162

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.668
σ	0.004
min	25.665
max	25.678

*mean*	4042.375
σ	2008.532
min	1219.000
max	7147.000

*mean*	6.178
σ	0.448
min	5.876
max	7.227

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970
σ	0.002
min	25.969
max	25.972

*mean*	4042.375
σ	2008.532
min	1219.000
max	7147.000

*mean*	5.958
σ	0.494
min	5.499
max	7.106

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.613
σ	0.002
min	1021.612
max	1021.616

*mean*	7147.000
σ	0.000
min	7147.000
max	7147.000

*mean*	361.397
σ	40.881
min	344.255
max	462.488

op=load_product(), with indexes

*mean*	7917.792
σ	0.469
min	7917.624
max	7918.954

*mean*	3273.875
σ	1824.151
min	810.000
max	5623.000

*mean*	3741.347
σ	1230.062
min	3079.249
max	6180.161

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.077
σ	0.002
min	62.076
max	62.080

*mean*	4042.375
σ	2008.532
min	1219.000
max	7147.000

*mean*	89.946
σ	20.955
min	70.855
max	121.392

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7147.000
σ	0.000
min	7147.000
max	7147.000

*mean*	61.107
σ	0.356
min	60.665
max	61.674

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.688
σ	0.002
min	66.686
max	66.691

*mean*	7147.000
σ	0.000
min	7147.000
max	7147.000

*mean*	266.331
σ	366.638
min	98.610
max	1135.616

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	14217.171
σ	4.303
min	14215.576
max	14227.820

*mean*	4042.375
σ	2008.532
min	1219.000
max	7147.000

*mean*	8094.192
σ	1859.267
min	5945.783
max	11031.411

op=vertical_lookup_list() on indexed

*mean*	13159.109
σ	0.002
min	13159.106
max	13159.110

*mean*	7147.000
σ	0.000
min	7147.000
max	7147.000

*mean*	5133.008
σ	223.202
min	4973.045
max	5523.740

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	172.559
σ	0.001
min	172.558
max	172.562

*mean*	477.000
σ	0.000
min	477.000
max	477.000

*mean*	381.621
σ	13.986
min	348.248
max	392.463

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	560.000
σ	0.000
min	560.000
max	560.000

*mean*	742.010
σ	56.035
min	620.576
max	779.604

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.298
σ	0.759
min	1023.824
max	1027.436

*mean*	1049.600
σ	319.514
min	550.000
max	1562.000

*mean*	1.542
σ	0.066
min	1.405
max	1.694

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.406
σ	0.445
min	0.150
max	1.197

name=error_case.art

*mean*	2.339
σ	0.012
min	2.333
max	2.361

*mean*	401.000
σ	0.000
min	401.000
max	401.000

*mean*	0.427
σ	0.198
min	0.329
max	0.782

name=heavy_item.art

*mean*	1.522
σ	0.002
min	1.521
max	1.525

*mean*	401.000
σ	0.000
min	401.000
max	401.000

*mean*	0.225
σ	0.020
min	0.212
max	0.261

name=nested_use.art

*mean*	2.357
σ	0.002
min	2.356
max	2.360

*mean*	401.000
σ	0.000
min	401.000
max	401.000

*mean*	0.342
σ	0.019
min	0.325
max	0.373

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.840
σ	0.011
min	964.835
max	964.859

*mean*	430.000
σ	0.000
min	430.000
max	430.000

*mean*	0.506
σ	0.032
min	0.478
max	0.541

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	430.000
σ	0.000
min	430.000
max	430.000

*mean*	0.474
σ	0.037
min	0.434
max	0.526

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.709
σ	0.002
min	7.708
max	7.712

*mean*	430.000
σ	0.000
min	430.000
max	430.000

*mean*	2.263
σ	0.369
min	1.825
max	2.981

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	430.000
σ	0.000
min	430.000
max	430.000

*mean*	2.582
σ	0.059
min	2.452
max	2.803

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	430.000
σ	0.000
min	430.000
max	430.000

*mean*	0.307
σ	0.009
min	0.295
max	0.372

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.294
σ	0.008
min	0.281
max	0.351

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.618
σ	1.040
min	298.214
max	301.577

*mean*	442.300
σ	12.850
min	426.000
max	463.000

*mean*	0.607
σ	0.014
min	0.595
max	0.641

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	236.678
σ	0.000
min	236.678
max	236.678

*mean*	808.000
σ	0.000
min	808.000
max	808.000

*mean*	205.708
σ	3.453
min	202.076
max	211.807

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	808.000
σ	0.000
min	808.000
max	808.000

*mean*	9.473
σ	0.866
min	7.554
max	10.647

phase=parser

*mean*	1042.366
σ	0.000
min	1042.366
max	1042.367

*mean*	808.000
σ	0.000
min	808.000
max	808.000

*mean*	520.544
σ	55.486
min	451.310
max	602.970

phase=processProdDef

*mean*	4850.764
σ	0.000
min	4850.764
max	4850.764

*mean*	808.000
σ	0.000
min	808.000
max	808.000

*mean*	4746.883
σ	437.473
min	4238.748
max	5467.036

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	808.000
σ	0.000
min	808.000
max	808.000

*mean*	37.902
σ	4.813
min	27.012
max	40.987

phase=type checker

*mean*	990.453
σ	0.071
min	990.348
max	990.567

*mean*	808.000
σ	0.000
min	808.000
max	808.000

*mean*	757.502
σ	156.156
min	657.262
max	1110.796

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.821
σ	0.037
min	293.769
max	293.860

*mean*	442.400
σ	0.548
min	442.000
max	443.000

*mean*	0.394
σ	0.001
min	0.392
max	0.395

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.183
σ	0.101
min	1320.062
max	1320.336

*mean*	1067.000
σ	165.398
min	843.000
max	1268.000

*mean*	2.076
σ	0.080
min	2.012
max	2.211

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.574
σ	6.236
min	1557.548
max	1571.724

*mean*	620.000
σ	82.553
min	495.000
max	717.000

*mean*	2.284
σ	0.144
min	2.203
max	2.540

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.180
σ	0.056
min	1882.111
max	1882.250

*mean*	1710.400
σ	261.296
min	1395.000
max	2061.000

*mean*	2.972
σ	0.085
min	2.872
max	3.076

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.751
σ	0.094
min	1.607
max	1.847

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.080
σ	582.722
min	160.715
max	1326.164

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.532
σ	0.518
min	0.264
max	1.309

policies=20

*mean*	1607.520
σ	0.415
min	1607.237
max	1608.134

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	451.500
σ	9.815
min	443.000
max	460.000

*mean*	2.694
σ	0.011
min	2.681
max	2.704

policies=200

*mean*	16083.547
σ	0.118
min	16083.447
max	16083.708

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	497.750
σ	4.113
min	493.000
max	503.000

*mean*	27.075
σ	0.074
min	27.004
max	27.176