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.633
σ	0.000
min	558.633
max	558.633

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.677-54.677=0.000
σ	0.359-0.359=-0.000
min	54.542-54.543=-0.001
max	55.697

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

*mean*	0.139-0.140=-0.001
σ	0.006-0.004=0.002
min	0.130-0.137=-0.006
max	0.152-0.150=0.003

cache=y

dps=1

iters=10

policies=100

*mean*	43.703-43.704=-0.001
σ	0.005-0.005=-0.000
min	43.695-43.691=0.004
max	43.711-43.710=0.002

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

*mean*	0.123-0.120=0.003
σ	0.004-0.005=-0.000
min	0.120-0.116=0.004
max	0.131-0.132=-0.002

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
max	36.620-36.620=0.000

*mean*	3877.375-3862.500=14.875
σ	1849.860-1830.562=19.298
min	1279.000-1280.000=-1.000
max	6166.000-6112.000=54.000

*mean*	13.230-12.941=0.289
σ	0.361-0.327=0.034
min	12.807-12.543=0.264
max	13.683-13.335=0.348

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-36.620=-0.000

*mean*	3877.375-3862.500=14.875
σ	1849.860-1830.562=19.298
min	1279.000-1280.000=-1.000
max	6166.000-6112.000=54.000

*mean*	13.109-13.143=-0.034
σ	0.811-0.423=0.389
min	11.688-12.177=-0.489
max	14.102-13.547=0.555

op=table_records(), no indexes

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

*mean*	6166.000-6112.000=54.000
σ	0.000
min	6166.000-6112.000=54.000
max	6166.000-6112.000=54.000

*mean*	15.346-15.078=0.268
σ	0.454-0.334=0.121
min	14.308-14.368=-0.060
max	15.728-15.400=0.329

op=table_records(), repeat

*mean*	41.928-41.928=-0.000
σ	0.000-0.001=-0.001
min	41.928-41.928=0.000
max	41.929-41.932=-0.003

*mean*	3877.375-3862.500=14.875
σ	1849.860-1830.562=19.298
min	1279.000-1280.000=-1.000
max	6166.000-6112.000=54.000

*mean*	13.584-14.076=-0.492
σ	1.738-2.065=-0.327
min	11.534-10.881=0.653
max	15.506-16.173=-0.666

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

*mean*	27.654
σ	0.136
min	27.604
max	27.991

*mean*	3877.375-3862.500=14.875
σ	1849.860-1830.562=19.298
min	1279.000-1280.000=-1.000
max	6166.000-6112.000=54.000

*mean*	9.266-9.458=-0.193
σ	0.871-1.566=-0.696
min	8.478-8.382=0.096
max	11.125-13.152=-2.026

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

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

*mean*	3877.375-3862.500=14.875
σ	1849.860-1830.562=19.298
min	1279.000-1280.000=-1.000
max	6166.000-6112.000=54.000

*mean*	7.067-7.350=-0.283
σ	0.867-1.199=-0.332
min	6.253-6.612=-0.358
max	9.111-10.246=-1.135

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.669-25.669=-0.000
σ	0.003-0.003=0.000
min	25.666-25.666=-0.000
max	25.674

*mean*	3877.375-3862.500=14.875
σ	1849.860-1830.562=19.298
min	1279.000-1280.000=-1.000
max	6166.000-6112.000=54.000

*mean*	6.139-6.013=0.126
σ	0.092-0.163=-0.071
min	6.040-5.632=0.409
max	6.333-6.165=0.167

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.974-25.974=-0.000

*mean*	3877.375-3862.500=14.875
σ	1849.860-1830.562=19.298
min	1279.000-1280.000=-1.000
max	6166.000-6112.000=54.000

*mean*	5.873-5.784=0.089
σ	0.122-0.063=0.059
min	5.686-5.669=0.017
max	6.017-5.866=0.150

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	2524.604-2524.604=-0.000
σ	0.002-0.002=0.000
min	2524.602-2524.602=-0.000
max	2524.606-2524.606=0.000

*mean*	6166.000-6112.000=54.000
σ	0.000
min	6166.000-6112.000=54.000
max	6166.000-6112.000=54.000

*mean*	1320.734-1314.982=5.752
σ	513.648-499.709=13.939
min	1031.058-1041.729=-10.671
max	2203.198-2147.206=55.992

op=load_product(), with indexes

*mean*	7878.103-7878.102=0.000
σ	0.469-0.470=-0.000
min	7877.934-7877.935=-0.000
max	7879.264-7879.264=-0.000

*mean*	3235.875-3227.375=8.500
σ	1840.814-1828.188=12.626
min	809.000
max	6166.000-6112.000=54.000

*mean*	3816.467-3773.283=43.185
σ	1318.182-1156.757=161.425
min	3090.221-3128.126=-37.905
max	6234.716-5728.615=506.101

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.078
σ	0.002-0.002=-0.000
min	62.076-62.076=0.000
max	62.081

*mean*	3877.375-3862.500=14.875
σ	1849.860-1830.562=19.298
min	1279.000-1280.000=-1.000
max	6166.000-6112.000=54.000

*mean*	85.248-86.061=-0.813
σ	12.970-16.595=-3.626
min	71.982-72.180=-0.198
max	103.790-116.595=-12.805

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.949

*mean*	6166.000-6112.000=54.000
σ	0.000
min	6166.000-6112.000=54.000
max	6166.000-6112.000=54.000

*mean*	64.034-64.984=-0.949
σ	2.939-4.516=-1.577
min	61.708-60.596=1.113
max	68.723-71.864=-3.142

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.687-66.687=-0.000
σ	0.002-0.002=0.000
min	66.686-66.686=-0.000
max	66.690

*mean*	6166.000-6112.000=54.000
σ	0.000
min	6166.000-6112.000=54.000
max	6166.000-6112.000=54.000

*mean*	100.081-100.468=-0.387
σ	1.057-1.025=0.032
min	98.161-99.393=-1.232
max	101.908-102.072=-0.164

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	11849.156-11849.155=0.000
σ	4.304-4.304=-0.000
min	11847.562-11847.561=0.001
max	11859.806

*mean*	3877.375-3862.500=14.875
σ	1849.860-1830.562=19.298
min	1279.000-1280.000=-1.000
max	6166.000-6112.000=54.000

*mean*	6165.063-6340.879=-175.816
σ	1328.525-1321.273=7.252
min	4994.613-5095.491=-100.878
max	8352.834-8462.821=-109.987

op=vertical_lookup_list() on indexed

*mean*	10791.093-10791.094=-0.000
σ	0.002-0.002=-0.000
min	10791.091
max	10791.096

*mean*	6166.000-6112.000=54.000
σ	0.000
min	6166.000-6112.000=54.000
max	6166.000-6112.000=54.000

*mean*	5124.827-5426.322=-301.495
σ	1496.231-1528.991=-32.759
min	4056.712-4086.559=-29.847
max	7600.677-7468.719=131.958

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*	478.000-477.000=1.000
σ	0.000
min	478.000-477.000=1.000
max	478.000-477.000=1.000

*mean*	375.938-385.949=-10.011
σ	36.993-14.937=22.055
min	294.922-350.154=-55.232
max	397.485-395.095=2.390

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	559.250-560.250=-1.000
σ	0.463
min	559.000-560.000=-1.000
max	560.000-561.000=-1.000

*mean*	709.707-723.434=-13.726
σ	74.399-71.474=2.925
min	631.444-630.723=0.721
max	802.093-791.731=10.362

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.327-1024.328=-0.001
σ	0.759-0.758=0.000
min	1023.854-1023.854=-0.000
max	1027.463-1027.465=-0.001

*mean*	1055.400-1053.400=2.000
σ	321.728-316.090=5.639
min	546.000-593.000=-47.000
max	1572.000-1524.000=48.000

*mean*	1.568-1.586=-0.018
σ	0.075-0.085=-0.010
min	1.493-1.503=-0.009
max	1.775-1.789=-0.014

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.306=-0.011
σ	0.282-0.301=-0.019
min	0.144-0.141=0.003
max	0.795-0.840=-0.045

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.477-0.483=-0.006
σ	0.322-0.325=-0.003
min	0.326-0.327=-0.001
max	1.052-1.064=-0.012

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.222-0.220=0.001
σ	0.017-0.025=-0.008
min	0.207-0.205=0.002
max	0.250-0.264=-0.014

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.336-0.335=0.001
σ	0.020-0.011=0.009
min	0.315-0.320=-0.004
max	0.368-0.350=0.018

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.600-431.400=0.200
σ	1.342-0.894=0.447
min	431.000
max	434.000-433.000=1.000

*mean*	0.547-0.566=-0.019
σ	0.028-0.036=-0.008
min	0.524-0.533=-0.009
max	0.596-0.620=-0.024

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	441.000-436.000=5.000
σ	0.000
min	441.000-436.000=5.000
max	441.000-436.000=5.000

*mean*	0.492-0.485=0.008
σ	0.061-0.033=0.028
min	0.384-0.444=-0.060
max	0.529-0.525=0.005

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*	441.000-436.000=5.000
σ	0.000
min	441.000-436.000=5.000
max	441.000-436.000=5.000

*mean*	2.632-1.973=0.659
σ	0.106-0.081=0.025
min	2.486-1.818=0.668
max	3.107-2.370=0.736

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	441.000-436.000=5.000
σ	0.000
min	441.000-436.000=5.000
max	441.000-436.000=5.000

*mean*	2.600-1.958=0.642
σ	0.072-0.053=0.019
min	2.450-1.863=0.586
max	2.833-2.128=0.705

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	441.000-436.000=5.000
σ	0.000
min	441.000-436.000=5.000
max	441.000-436.000=5.000

*mean*	0.318-0.308=0.010
σ	0.016-0.009=0.007
min	0.300-0.291=0.008
max	0.400-0.368=0.032

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	441.000-436.000=5.000
σ	0.000
min	441.000-436.000=5.000
max	441.000-436.000=5.000

*mean*	0.302-0.293=0.010
σ	0.012-0.007=0.005
min	0.283-0.277=0.005
max	0.343-0.325=0.018

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.877-298.854=0.023
σ	1.030-0.995=0.035
min	298.432-298.468=-0.035
max	301.803-301.683=0.120

*mean*	441.700-445.500=-3.800
σ	14.561-18.088=-3.527
min	420.000
max	463.000-472.000=-9.000

*mean*	0.584-0.607=-0.023
σ	0.035-0.007=0.028
min	0.528-0.596=-0.069
max	0.647-0.615=0.033

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	236.678-236.678=0.000
σ	0.000-0.000=0.000
min	236.678
max	236.678-236.678=0.000

*mean*	1722.875-1682.875=40.000
σ	11.667-6.010=5.657
min	1694.000-1668.000=26.000
max	1727.000-1685.000=42.000

*mean*	216.552-210.445=6.107
σ	4.917-3.974=0.943
min	211.321-205.865=5.456
max	224.496-217.928=6.568

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1722.875-1682.875=40.000
σ	11.667-6.010=5.657
min	1694.000-1668.000=26.000
max	1727.000-1685.000=42.000

*mean*	10.566-10.306=0.260
σ	1.864-2.104=-0.241
min	7.996-6.298=1.698
max	12.766-12.949=-0.183

phase=parser

*mean*	1042.367-1042.367=0.000
σ	0.000-0.000=-0.000
min	1042.367
max	1042.367

*mean*	1722.875-1682.875=40.000
σ	11.667-6.010=5.657
min	1694.000-1668.000=26.000
max	1727.000-1685.000=42.000

*mean*	616.879-662.193=-45.315
σ	138.993-73.599=65.394
min	378.342-568.370=-190.028
max	732.337-735.166=-2.829

phase=processProdDef

*mean*	4753.276
σ	0.000
min	4753.276
max	4753.276

*mean*	1727.000-1685.000=42.000
σ	0.000
min	1727.000-1685.000=42.000
max	1727.000-1685.000=42.000

*mean*	4462.991-4252.392=210.600
σ	712.564-555.032=157.532
min	3416.204-3529.800=-113.595
max	5512.233-4899.521=612.713

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1722.875-1682.875=40.000
σ	11.667-6.010=5.657
min	1694.000-1668.000=26.000
max	1727.000-1685.000=42.000

*mean*	38.834-37.016=1.818
σ	9.688-9.244=0.444
min	25.845-20.417=5.427
max	48.753-48.638=0.115

phase=type checker

*mean*	990.454
σ	0.071
min	990.348
max	990.567

*mean*	1722.875-1682.875=40.000
σ	11.667-6.010=5.657
min	1694.000-1668.000=26.000
max	1727.000-1685.000=42.000

*mean*	800.070-771.993=28.077
σ	77.514-123.383=-45.868
min	695.720-653.044=42.677
max	901.295-946.292=-44.997

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.918-293.915=0.002
σ	0.038-0.041=-0.003
min	293.864-293.859=0.006
max	293.957-293.957=-0.000

*mean*	445.200-442.200=3.000
σ	0.447-1.643=-1.196
min	445.000-441.000=4.000
max	446.000-444.000=2.000

*mean*	0.395-0.393=0.002
σ	0.005-0.002=0.003
min	0.392-0.389=0.002
max	0.404-0.395=0.008

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.293-1320.282=0.011
σ	0.032-0.046=-0.014
min	1320.246-1320.218=0.028
max	1320.323-1320.329=-0.005

*mean*	1083.600-1111.200=-27.600
σ	163.401-187.716=-24.315
min	889.000-891.000=-2.000
max	1306.000-1373.000=-67.000

*mean*	2.338-2.217=0.121
σ	0.199-0.091=0.109
min	2.133-2.133=-0.000
max	2.582-2.326=0.256

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.439-1559.480=-0.041
σ	3.332-3.328=0.004
min	1557.779-1557.864=-0.085
max	1565.391-1565.428=-0.037

*mean*	626.400-626.200=0.200
σ	74.285-91.644=-17.359
min	537.000-500.000=37.000
max	724.000-729.000=-5.000

*mean*	2.306-2.438=-0.132
σ	0.176-0.260=-0.084
min	2.183-2.130=0.053
max	2.605-2.739=-0.134

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.264-1882.271=-0.007
σ	0.064-0.053=0.011
min	1882.181-1882.212=-0.031
max	1882.348-1882.344=0.004

*mean*	1721.800-1754.400=-32.600
σ	174.012-208.642=-34.629
min	1472.000-1503.000=-31.000
max	1882.000-1960.000=-78.000

*mean*	3.114-3.186=-0.072
σ	0.238-0.284=-0.046
min	2.903-2.895=0.008
max	3.510-3.633=-0.123

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.744-1.664=0.079
σ	0.178-0.222=-0.044
min	1.521-1.399=0.122
max	1.953-1.956=-0.003

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.409-452.411=-0.002
σ	583.277-583.278=-0.001
min	160.769-160.770=-0.001
max	1327.325-1327.329=-0.004

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	442.000-444.000=-2.000
σ	0.000
min	442.000-444.000=-2.000
max	442.000-444.000=-2.000

*mean*	0.547-0.557=-0.010
σ	0.559-0.568=-0.009
min	0.266-0.270=-0.004
max	1.385-1.409=-0.023

policies=20

*mean*	1608.042-1608.038=0.003
σ	0.436-0.420=0.016
min	1607.747-1607.756=-0.009
max	1608.688-1608.661=0.026

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	444.250-452.750=-8.500
σ	1.500-11.087=-9.587
min	442.000-444.000=-2.000
max	445.000-469.000=-24.000

*mean*	2.727-2.713=0.014
σ	0.068-0.022=0.046
min	2.666-2.680=-0.014
max	2.815-2.730=0.086

policies=200

*mean*	16088.474-16088.598=-0.124
σ	0.321-0.116=0.205
min	16088.017-16088.524=-0.507
max	16088.768-16088.771=-0.003

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	495.500-500.250=-4.750
σ	3.416-3.775=-0.359
min	491.000-496.000=-5.000
max	499.000-505.000=-6.000

*mean*	27.192-27.284=-0.092
σ	0.115-0.063=0.052
min	27.093-27.221=-0.128
max	27.357-27.356=0.001