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.695
σ	0.000
min	558.695
max	558.695

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.880-54.882=-0.002
σ	0.357-0.358=-0.002
min	54.746-54.746=-0.001
max	55.895-55.901=-0.006

*mean*	415.900-418.000=-2.100
σ	0.316-0.000=0.316
min	415.000-418.000=-3.000
max	416.000-418.000=-2.000

*mean*	0.139-0.140=-0.001
σ	0.005-0.004=0.001
min	0.134-0.137=-0.003
max	0.150-0.148=0.002

cache=y

dps=1

iters=10

policies=100

*mean*	43.849-43.849=-0.000
σ	0.006-0.007=-0.001
min	43.836-43.840=-0.005
max	43.856-43.859=-0.003

*mean*	416.000-418.000=-2.000
σ	0.000
min	416.000-418.000=-2.000
max	416.000-418.000=-2.000

*mean*	0.123-0.124=-0.001
σ	0.005-0.005=-0.000
min	0.117-0.118=-0.001
max	0.132-0.131=0.000

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.618-36.618=0.000
σ	0.002-0.002=-0.000
min	36.616-36.616=0.000
max	36.620-36.620=-0.000

*mean*	4042.500-4043.625=-1.125
σ	2007.257-2009.738=-2.481
min	1219.000-1216.000=3.000
max	7144.000-7145.000=-1.000

*mean*	14.224-13.472=0.751
σ	2.694-1.740=0.953
min	12.306-12.469=-0.163
max	18.624-17.710=0.913

op=column_set() on indexed, repeat

*mean*	36.618-36.618=0.000
σ	0.002-0.002=-0.000
min	36.616-36.616=0.000
max	36.620

*mean*	4042.500-4043.625=-1.125
σ	2007.257-2009.738=-2.481
min	1219.000-1216.000=3.000
max	7144.000-7145.000=-1.000

*mean*	14.060-13.765=0.295
σ	2.450-1.759=0.691
min	11.963-12.544=-0.581
max	18.487-18.050=0.437

op=table_records(), no indexes

*mean*	41.929-41.930=-0.000
σ	0.002-0.002=-0.000
min	41.928
max	41.932-41.933=-0.001

*mean*	7144.000-7145.000=-1.000
σ	0.000
min	7144.000-7145.000=-1.000
max	7144.000-7145.000=-1.000

*mean*	15.381-15.208=0.173
σ	0.333-0.135=0.198
min	15.006-14.981=0.025
max	15.870-15.458=0.413

op=table_records(), repeat

*mean*	41.930-41.929=0.000
σ	0.002-0.002=-0.000
min	41.927-41.927=0.000
max	41.932-41.932=0.000

*mean*	4042.500-4043.625=-1.125
σ	2007.257-2009.738=-2.481
min	1219.000-1216.000=3.000
max	7144.000-7145.000=-1.000

*mean*	14.606-14.469=0.137
σ	1.810-1.782=0.029
min	10.399-11.083=-0.683
max	16.110-16.816=-0.706

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

*mean*	27.654-27.653=0.000
σ	0.136-0.136=0.000
min	27.604
max	27.991-27.991=0.000

*mean*	4042.500-4043.625=-1.125
σ	2007.257-2009.738=-2.481
min	1219.000-1216.000=3.000
max	7144.000-7145.000=-1.000

*mean*	9.871-10.045=-0.174
σ	1.475-1.688=-0.213
min	8.402-8.574=-0.172
max	12.320-12.830=-0.510

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

*mean*	26.401-26.401=-0.000
σ	0.002-0.002=0.000
min	26.400-26.400=-0.000
max	26.404

*mean*	4042.500-4043.625=-1.125
σ	2007.257-2009.738=-2.481
min	1219.000-1216.000=3.000
max	7144.000-7145.000=-1.000

*mean*	7.491-7.795=-0.304
σ	1.566-1.595=-0.029
min	6.218-6.496=-0.278
max	10.132-10.625=-0.493

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.668-25.668=-0.000
σ	0.004-0.004=0.000
min	25.665-25.665=-0.000
max	25.678-25.677=0.000

*mean*	4042.500-4043.625=-1.125
σ	2007.257-2009.738=-2.481
min	1219.000-1216.000=3.000
max	7144.000-7145.000=-1.000

*mean*	6.222-6.336=-0.114
σ	0.687-0.533=0.154
min	5.692-5.834=-0.143
max	7.403-7.528=-0.125

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970-25.970=0.000
σ	0.002-0.002=0.000
min	25.968
max	25.972

*mean*	4042.500-4043.625=-1.125
σ	2007.257-2009.738=-2.481
min	1219.000-1216.000=3.000
max	7144.000-7145.000=-1.000

*mean*	5.992-6.062=-0.070
σ	0.803-0.534=0.269
min	5.390-5.658=-0.268
max	7.282-7.318=-0.036

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.613-1021.614=-0.000
σ	0.002-0.002=-0.000
min	1021.612
max	1021.616-1021.616=-0.001

*mean*	7144.000-7145.000=-1.000
σ	0.000
min	7144.000-7145.000=-1.000
max	7144.000-7145.000=-1.000

*mean*	375.268-377.939=-2.671
σ	56.108-81.618=-25.509
min	341.910-346.736=-4.826
max	466.851-579.902=-113.051

op=load_product(), with indexes

*mean*	7917.793-7917.793=0.001
σ	0.469-0.469=-0.000
min	7917.625-7917.624=0.001
max	7918.954

*mean*	3274.125-3275.875=-1.750
σ	1824.058-1826.104=-2.047
min	809.000
max	5620.000-5626.000=-6.000

*mean*	3730.597-3683.300=47.297
σ	1046.311-1086.138=-39.827
min	3088.223-3096.186=-7.963
max	6127.405-6189.863=-62.458

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.077-62.077=-0.000
σ	0.002-0.002=0.000
min	62.076-62.076=-0.000
max	62.080

*mean*	4042.500-4043.625=-1.125
σ	2007.257-2009.738=-2.481
min	1219.000-1216.000=3.000
max	7144.000-7145.000=-1.000

*mean*	89.047-87.806=1.241
σ	20.599-20.682=-0.083
min	69.768-70.447=-0.679
max	122.762-124.032=-1.270

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7144.000-7145.000=-1.000
σ	0.000
min	7144.000-7145.000=-1.000
max	7144.000-7145.000=-1.000

*mean*	61.365-61.427=-0.062
σ	1.076-0.340=0.736
min	60.358-60.997=-0.638
max	63.852-61.925=1.928

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.688-66.688=0.000
σ	0.002-0.002=0.000
min	66.686-66.686=0.000
max	66.691-66.691=0.000

*mean*	7144.000-7145.000=-1.000
σ	0.000
min	7144.000-7145.000=-1.000
max	7144.000-7145.000=-1.000

*mean*	285.155-99.319=185.836
σ	361.243-0.718=360.524
min	98.679-98.024=0.654
max	1046.431-100.163=946.268

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	14217.171-14217.171=-0.000
σ	4.304-4.303=0.000
min	14215.575
max	14227.820

*mean*	4042.500-4043.625=-1.125
σ	2007.257-2009.738=-2.481
min	1219.000-1216.000=3.000
max	7144.000-7145.000=-1.000

*mean*	8182.196-7920.985=261.211
σ	1889.721-1660.127=229.594
min	5937.616-5964.023=-26.407
max	10505.711-9887.449=618.262

op=vertical_lookup_list() on indexed

*mean*	13159.108-13159.108=0.000
σ	0.002-0.002=-0.000
min	13159.106-13159.105=0.001
max	13159.110

*mean*	7144.000-7145.000=-1.000
σ	0.000
min	7144.000-7145.000=-1.000
max	7144.000-7145.000=-1.000

*mean*	5293.031-5111.701=181.330
σ	576.071-205.918=370.153
min	4948.945-4980.988=-32.044
max	6620.886-5469.447=1151.439

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*	476.375-478.000=-1.625
σ	0.518-0.000=0.518
min	476.000-478.000=-2.000
max	477.000-478.000=-1.000

*mean*	391.283-380.294=10.989
σ	2.528-20.426=-17.898
min	386.304-342.007=44.297
max	393.790-393.226=0.565

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	562.000-560.000=2.000
σ	0.000
min	562.000-560.000=2.000
max	562.000-560.000=2.000

*mean*	745.392-686.064=59.328
σ	54.890-87.302=-32.412
min	666.779-587.759=79.020
max	802.370-799.096=3.274

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.299-1024.299=-0.000
σ	0.759-0.759=-0.000
min	1023.823-1023.826=-0.003
max	1027.437-1027.437=-0.001

*mean*	1038.450-1062.350=-23.900
σ	303.227-315.827=-12.600
min	554.000-596.000=-42.000
max	1462.000-1568.000=-106.000

*mean*	1.566-1.554=0.013
σ	0.078-0.058=0.020
min	1.501-1.387=0.114
max	1.769-1.668=0.101

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.384-0.403=-0.019
σ	0.466-0.518=-0.052
min	0.154-0.142=0.012
max	1.217-1.327=-0.110

name=error_case.art

*mean*	2.339
σ	0.012
min	2.333
max	2.361

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.476-0.487=-0.011
σ	0.314-0.319=-0.004
min	0.325-0.318=0.007
max	1.038-1.056=-0.018

name=heavy_item.art

*mean*	1.522
σ	0.002
min	1.521
max	1.525

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.219-0.222=-0.003
σ	0.023-0.026=-0.003
min	0.203-0.207=-0.004
max	0.257-0.268=-0.011

name=nested_use.art

*mean*	2.357
σ	0.002
min	2.356
max	2.360

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.393-0.348=0.045
σ	0.136-0.022=0.114
min	0.326-0.324=0.002
max	0.636-0.379=0.256

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*	431.800-431.600=0.200
σ	1.789-1.342=0.447
min	431.000
max	435.000-434.000=1.000

*mean*	0.564-0.526=0.038
σ	0.050-0.032=0.018
min	0.493-0.470=0.023
max	0.607-0.548=0.060

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	0.464-0.486=-0.022
σ	0.048-0.030=0.018
min	0.419-0.453=-0.034
max	0.522-0.520=0.002

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

*mean*	2.627-1.959=0.668
σ	0.105-0.078=0.027
min	2.403-1.840=0.563
max	2.859-2.202=0.658

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	2.560-1.934=0.626
σ	0.073-0.067=0.006
min	2.436-1.828=0.607
max	2.752-2.192=0.560

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	0.305-0.307=-0.002
σ	0.008-0.018=-0.010
min	0.291-0.293=-0.002
max	0.350-0.462=-0.112

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	0.296-0.291=0.005
σ	0.008-0.023=-0.015
min	0.284-0.274=0.009
max	0.352-0.509=-0.158

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.351-11.412=-0.061
σ	11.965-11.340=0.624
min	0.574-0.574=0.000
max	88.708-87.144=1.563

*mean*	457.940-467.838=-9.898
σ	20.952-20.365=0.587
min	407.000-406.000=1.000
max	477.000-480.000=-3.000

*mean*	0.026-0.026=0.000
σ	0.029-0.028=0.002
min	0.001-0.001=0.000
max	0.219-0.206=0.013

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.567-298.518=0.049
σ	1.079-1.018=0.061
min	298.138-298.133=0.005
max	301.630-301.412=0.218

*mean*	444.700-441.400=3.300
σ	17.062-16.521=0.542
min	418.000-414.000=4.000
max	470.000-467.000=3.000

*mean*	0.612-0.589=0.023
σ	0.007-0.027=-0.019
min	0.599-0.524=0.075
max	0.620-0.612=0.009

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*	1065.750-1065.000=0.750
σ	34.648-33.941=0.707
min	980.000-981.000=-1.000
max	1078.000-1077.000=1.000

*mean*	212.672-210.420=2.252
σ	5.280-3.139=2.140
min	207.290-205.414=1.875
max	224.728-216.100=8.628

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1065.750-1065.000=0.750
σ	34.648-33.941=0.707
min	980.000-981.000=-1.000
max	1078.000-1077.000=1.000

*mean*	8.350-9.008=-0.658
σ	2.905-2.829=0.075
min	6.306-6.314=-0.008
max	12.916-12.800=0.116

phase=parser

*mean*	1042.363-1042.363=0.000
σ	0.000-0.000=-0.000
min	1042.363-1042.362=0.000
max	1042.363

*mean*	1065.750-1065.000=0.750
σ	34.648-33.941=0.707
min	980.000-981.000=-1.000
max	1078.000-1077.000=1.000

*mean*	516.590-580.242=-63.653
σ	145.400-111.493=33.907
min	376.100-410.770=-34.670
max	731.171-737.057=-5.885

phase=processProdDef

*mean*	4850.764-4850.764=0.000
σ	0.000-0.000=0.000
min	4850.764
max	4850.765

*mean*	1078.000-1077.000=1.000
σ	0.000
min	1078.000-1077.000=1.000
max	1078.000-1077.000=1.000

*mean*	4480.920-4827.009=-346.089
σ	896.212-661.301=234.911
min	3637.277-3544.152=93.125
max	5879.226-5804.223=75.003

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1065.750-1065.000=0.750
σ	34.648-33.941=0.707
min	980.000-981.000=-1.000
max	1078.000-1077.000=1.000

*mean*	32.616-31.587=1.029
σ	12.968-12.472=0.496
min	20.601-20.130=0.470
max	48.542-47.347=1.196

phase=type checker

*mean*	990.450
σ	0.071
min	990.344
max	990.563

*mean*	1065.750-1065.000=0.750
σ	34.648-33.941=0.707
min	980.000-981.000=-1.000
max	1078.000-1077.000=1.000

*mean*	725.102-759.904=-34.802
σ	94.802-115.610=-20.808
min	649.535-647.709=1.826
max	892.915-921.066=-28.151

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.817-293.822=-0.004
σ	0.038-0.038=0.000
min	293.766-293.768=-0.002
max	293.857-293.861=-0.003

*mean*	444.400-442.600=1.800
σ	0.548-2.191=-1.643
min	444.000-441.000=3.000
max	445.000

*mean*	0.393-0.392=0.001
σ	0.001-0.002=-0.001
min	0.392-0.390=0.002
max	0.393-0.394=-0.001

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.218-1320.204=0.014
σ	0.031-0.047=-0.015
min	1320.170-1320.141=0.029
max	1320.251-1320.258=-0.008

*mean*	1100.400-1085.400=15.000
σ	189.928-198.174=-8.245
min	839.000-838.000=1.000
max	1328.000-1334.000=-6.000

*mean*	2.273-2.204=0.070
σ	0.121-0.041=0.080
min	2.160-2.150=0.009
max	2.476-2.247=0.229

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.615-1560.661=-0.046
σ	6.227-6.167=0.061
min	1557.629-1557.746=-0.117
max	1571.751-1571.690=0.061

*mean*	619.600-626.200=-6.600
σ	82.157-88.242=-6.085
min	495.000-521.000=-26.000
max	715.000-737.000=-22.000

*mean*	2.323-2.387=-0.064
σ	0.205-0.158=0.047
min	2.190-2.240=-0.050
max	2.687-2.639=0.048

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.161-1882.170=-0.009
σ	0.075-0.060=0.015
min	1882.090-1882.092=-0.002
max	1882.254-1882.249=0.005

*mean*	1733.000-1727.800=5.200
σ	173.506-172.130=1.377
min	1474.000-1487.000=-13.000
max	1881.000-1890.000=-9.000

*mean*	3.137-3.104=0.032
σ	0.386-0.236=0.150
min	2.906-2.899=0.007
max	3.824-3.465=0.359

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.620-1.698=-0.079
σ	0.241-0.134=0.106
min	1.267-1.542=-0.276
max	1.807-1.850=-0.043

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.257-452.257=-0.000
σ	582.731-582.731=-0.000
min	160.887-160.890=-0.003
max	1326.353-1326.354=-0.000

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	440.000-443.000=-3.000
σ	0.000
min	440.000-443.000=-3.000
max	440.000-443.000=-3.000

*mean*	0.547-0.554=-0.008
σ	0.551-0.556=-0.006
min	0.267-0.269=-0.002
max	1.372-1.389=-0.016

policies=20

*mean*	1609.238-1609.251=-0.012
σ	0.423-0.416=0.006
min	1608.956-1608.963=-0.007
max	1609.868-1609.867=0.001

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	447.500-450.500=-3.000
σ	8.660
min	440.000-443.000=-3.000
max	455.000-458.000=-3.000

*mean*	2.718-2.692=0.026
σ	0.044-0.008=0.035
min	2.689-2.680=0.009
max	2.782-2.699=0.083

policies=200

*mean*	16100.564-16100.620=-0.057
σ	0.122-0.097=0.025
min	16100.474-16100.498=-0.024
max	16100.736-16100.702=0.034

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	496.250-495.500=0.750
σ	4.031-2.887=1.144
min	492.000
max	501.000-499.000=2.000

*mean*	27.123-27.280=-0.157
σ	0.087-0.088=-0.001
min	27.079-27.197=-0.118
max	27.253-27.398=-0.145