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.718-54.047=0.671
σ	0.365-0.364=0.001
min	54.570-53.911=0.659
max	55.755-55.082=0.672

*mean*	416.700-415.000=1.700
σ	0.483-0.000=0.483
min	416.000-415.000=1.000
max	417.000-415.000=2.000

*mean*	0.135-0.138=-0.003
σ	0.004-0.004=0.001
min	0.130-0.134=-0.004
max	0.142-0.144=-0.003

cache=y

dps=1

iters=10

policies=100

*mean*	43.776-43.347=0.429
σ	0.008-0.010=-0.002
min	43.761-43.336=0.425
max	43.789-43.368=0.421

*mean*	417.000-415.000=2.000
σ	0.000
min	417.000-415.000=2.000
max	417.000-415.000=2.000

*mean*	0.120-0.122=-0.002
σ	0.004-0.003=0.001
min	0.116-0.119=-0.003
max	0.128-0.130=-0.002

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.500
σ	2254.051
min	1487.000
max	7400.000

*mean*	14.051
σ	3.909
min	11.897
max	22.338

op=column_set() on indexed, repeat

*mean*	36.604
σ	0.000
min	36.604
max	36.604

*mean*	4584.500
σ	2254.051
min	1487.000
max	7400.000

*mean*	14.046
σ	3.470
min	11.608
max	21.550

op=table_records(), no indexes

*mean*	41.939
σ	0.002
min	41.938
max	41.943

*mean*	7400.000
σ	0.000
min	7400.000
max	7400.000

*mean*	11.155
σ	0.101
min	11.054
max	11.294

op=table_records(), repeat

*mean*	41.925
σ	0.002
min	41.924
max	41.929

*mean*	4170.625
σ	1946.182
min	1487.000
max	7400.000

*mean*	11.661
σ	1.944
min	10.655
max	16.435

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

*mean*	27.633
σ	0.137
min	27.584
max	27.971

*mean*	4170.625
σ	1946.182
min	1487.000
max	7400.000

*mean*	9.161
σ	1.280
min	8.002
max	12.233

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

*mean*	26.384
σ	0.000
min	26.384
max	26.384

*mean*	4170.625
σ	1946.182
min	1487.000
max	7400.000

*mean*	7.158
σ	0.736
min	6.776
max	8.947

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.662
σ	0.004
min	25.661
max	25.673

*mean*	4584.500
σ	2254.051
min	1487.000
max	7400.000

*mean*	6.540
σ	0.883
min	5.939
max	8.533

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.961
σ	0.001
min	25.961
max	25.962

*mean*	4584.500
σ	2254.051
min	1487.000
max	7400.000

*mean*	6.093
σ	0.502
min	5.613
max	7.280

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

*mean*	361.050
σ	41.462
min	343.337
max	463.506

op=load_product(), with indexes

*mean*	3495.855
σ	0.454
min	3495.694
max	3496.978

*mean*	3749.500
σ	2298.905
min	720.000
max	7400.000

*mean*	1609.740
σ	549.441
min	1382.217
max	2960.040

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.841
max	107.842

*mean*	4404.375
σ	2225.091
min	1487.000
max	7400.000

*mean*	269.512
σ	371.309
min	126.890
max	1187.415

op=column_set() on unindexed, dense, repeat

*mean*	62.068
σ	0.001
min	62.065
max	62.069

*mean*	4584.500
σ	2254.051
min	1487.000
max	7400.000

*mean*	213.664
σ	475.143
min	40.299
max	1389.434

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.926
σ	0.002
min	40.925
max	40.928

*mean*	7400.000
σ	0.000
min	7400.000
max	7400.000

*mean*	23.286
σ	2.848
min	21.619
max	29.603

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.294
σ	0.002
min	71.292
max	71.296

*mean*	7400.000
σ	0.000
min	7400.000
max	7400.000

*mean*	220.296
σ	461.778
min	55.542
max	1363.120

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*	4170.625
σ	1946.182
min	1487.000
max	7400.000

*mean*	3161.824
σ	824.734
min	2479.105
max	4488.639

op=vertical_lookup_list() on indexed

*mean*	1973.829
σ	0.002
min	1973.827
max	1973.832

*mean*	7400.000
σ	0.000
min	7400.000
max	7400.000

*mean*	1085.650
σ	308.143
min	905.735
max	1767.193

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

*mean*	905.083
σ	0.002
min	905.080
max	905.086

*mean*	7400.000
σ	0.000
min	7400.000
max	7400.000

*mean*	419.995
σ	57.342
min	385.997
max	524.759

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

*mean*	386.793
σ	29.082
min	349.399
max	422.564

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	564.000
σ	0.000
min	564.000
max	564.000

*mean*	731.864
σ	86.290
min	615.322
max	842.355

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.531-1017.197=-52.665
σ	1.821-1.167=0.654
min	963.825-1016.627=-52.803
max	972.232-1022.089=-49.857

*mean*	1042.100-1059.400=-17.300
σ	307.840-311.835=-3.995
min	563.000-589.000=-26.000
max	1492.000-1629.000=-137.000

*mean*	1.292-1.521=-0.229
σ	0.153-0.041=0.111
min	1.185-1.457=-0.272
max	1.815-1.611=0.205

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.413
σ	0.536
min	0.139
max	1.368

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.477
σ	0.324
min	0.321
max	1.056

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

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.342
σ	0.019
min	0.316
max	0.368

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.838
σ	0.009
min	964.833
max	964.855

*mean*	436.600
σ	6.066
min	431.000
max	443.000

*mean*	0.567
σ	0.018
min	0.537
max	0.581

name=cdr_enhanced_4k_loc.art

*mean*	885.913
σ	0.002
min	885.912
max	885.915

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.492
σ	0.043
min	0.415
max	0.519

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

*mean*	1.970
σ	0.076
min	1.825
max	2.333

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	1.925
σ	0.100
min	1.738
max	2.204

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.305
σ	0.019
min	0.282
max	0.468

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.291
σ	0.008
min	0.278
max	0.327

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.497
σ	11.548
min	0.574
max	115.653

*mean*	463.645
σ	19.654
min	406.000
max	481.000

*mean*	0.026
σ	0.029
min	0.001
max	0.287

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.805-302.099=-23.294
σ	1.103-0.199=0.904
min	278.392-301.918=-23.527
max	281.942-302.603=-20.661

*mean*	442.200-1947.000=-1504.800
σ	16.818-0.000=16.818
min	416.000-1947.000=-1531.000
max	468.000-1947.000=-1479.000

*mean*	0.571-0.589=-0.019
σ	0.022-0.031=-0.009
min	0.532-0.506=0.026
max	0.605-0.608=-0.003

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

*mean*	218.374
σ	20.275
min	194.110
max	239.207

phase=macro expansion

*mean*	5.896
σ	0.000
min	5.896
max	5.896

*mean*	850.000
σ	0.000
min	850.000
max	850.000

*mean*	6.436
σ	1.454
min	5.736
max	10.023

phase=parser

*mean*	1041.966
σ	0.000
min	1041.966
max	1041.966

*mean*	850.000
σ	0.000
min	850.000
max	850.000

*mean*	518.133
σ	99.027
min	374.954
max	595.278

phase=processProdDef

*mean*	2243.715
σ	0.000
min	2243.715
max	2243.715

*mean*	850.000
σ	0.000
min	850.000
max	850.000

*mean*	2654.675
σ	484.016
min	1969.491
max	3344.346

phase=renaming

*mean*	21.436
σ	0.000
min	21.436
max	21.436

*mean*	850.000
σ	0.000
min	850.000
max	850.000

*mean*	27.943
σ	10.844
min	19.933
max	42.224

phase=type checker

*mean*	958.600
σ	0.047
min	958.577
max	958.702

*mean*	850.000
σ	0.000
min	850.000
max	850.000

*mean*	678.555
σ	74.265
min	606.116
max	759.493

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.359-303.803=-21.444
σ	0.037-0.049=-0.011
min	282.309-303.760=-21.451
max	282.400-303.866=-21.466

*mean*	438.600-1629.000=-1190.400
σ	2.191-0.000=2.191
min	437.000-1629.000=-1192.000
max	441.000-1629.000=-1188.000

*mean*	0.380-0.392=-0.012
σ	0.005-0.001=0.004
min	0.376-0.391=-0.016
max	0.388-0.393=-0.005

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.579-1326.335=-58.756
σ	0.071-0.090=-0.019
min	1267.481-1326.224=-58.742
max	1267.679-1326.444=-58.766

*mean*	1111.800-1629.000=-517.200
σ	172.130-0.000=172.130
min	896.000-1629.000=-733.000
max	1336.000-1629.000=-293.000

*mean*	2.008-1.980=0.028
σ	0.139-0.116=0.023
min	1.833-1.843=-0.010
max	2.128-2.113=0.014

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.571-1564.393=-57.822
σ	2.941-6.899=-3.957
min	1505.095-1561.076=-55.981
max	1511.823-1576.728=-64.905

*mean*	627.600-1629.000=-1001.400
σ	90.323-0.000=90.323
min	503.000-1629.000=-1126.000
max	727.000-1629.000=-902.000

*mean*	2.325-2.426=-0.102
σ	0.347-0.358=-0.012
min	1.934-2.077=-0.143
max	2.695-2.903=-0.208

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.585-1894.286=-64.700
σ	0.077-0.078=-0.001
min	1829.499-1894.189=-64.690
max	1829.697-1894.387=-64.690

*mean*	1763.200-1776.800=-13.600
σ	215.332-114.724=100.607
min	1491.000-1629.000=-138.000
max	1972.000-1947.000=25.000

*mean*	3.087-2.971=0.116
σ	0.277-0.116=0.161
min	2.802-2.863=-0.061
max	3.469-3.135=0.334

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.702-1.220=0.482
σ	0.167-0.335=-0.167
min	1.427-0.937=0.490
max	1.854-1.757=0.097

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	393.851-448.179=-54.328
σ	509.574-581.472=-71.897
min	139.058-157.434=-18.376
max	1158.212-1320.386=-162.174

*mean*	99.750-96.250=3.500
σ	7.500-8.500=-1.000
min	96.000-92.000=4.000
max	111.000-109.000=2.000

*mean*	445.000-1629.000=-1184.000
σ	0.000
min	445.000-1629.000=-1184.000
max	445.000-1629.000=-1184.000

*mean*	0.489-0.547=-0.057
σ	0.510-0.567=-0.057
min	0.230-0.263=-0.033
max	1.255-1.397=-0.142

policies=20

*mean*	1390.732-1574.639=-183.907
σ	0.170-0.332=-0.163
min	1390.612-1574.443=-183.832
max	1390.983-1575.137=-184.153

*mean*	960.000-920.000=40.000
σ	0.000
min	960.000-920.000=40.000
max	960.000-920.000=40.000

*mean*	448.500-1629.000=-1180.500
σ	7.000-0.000=7.000
min	445.000-1629.000=-1184.000
max	459.000-1629.000=-1170.000

*mean*	2.333-2.630=-0.297
σ	0.012-0.016=-0.004
min	2.321-2.616=-0.295
max	2.348-2.652=-0.304

policies=200

*mean*	13915.900-15754.274=-1838.374
σ	0.089-0.090=-0.001
min	13915.820-15754.218=-1838.397
max	13916.023-15754.406=-1838.383

*mean*	9600.000-9200.000=400.000
σ	0.000
min	9600.000-9200.000=400.000
max	9600.000-9200.000=400.000

*mean*	496.250-1629.000=-1132.750
σ	3.304-0.000=3.304
min	493.000-1629.000=-1136.000
max	500.000-1629.000=-1129.000

*mean*	23.439-26.660=-3.220
σ	0.163-0.091=0.073
min	23.297-26.577=-3.280
max	23.602-26.739=-3.137