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-558.664=-0.031
σ	0.000
min	558.633-558.664=-0.031
max	558.633-558.664=-0.031

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.889-54.869=0.020
σ	0.360-0.357=0.003
min	54.749-54.733=0.016
max	55.913-55.886=0.028

*mean*	417.000-418.000=-1.000
σ	0.000
min	417.000-418.000=-1.000
max	417.000-418.000=-1.000

*mean*	0.141-0.138=0.002
σ	0.005-0.005=-0.000
min	0.136-0.132=0.005
max	0.149-0.147=0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.854-43.840=0.014
σ	0.007-0.008=-0.001
min	43.841-43.828=0.013
max	43.868-43.854=0.014

*mean*	417.000-418.000=-1.000
σ	0.000
min	417.000-418.000=-1.000
max	417.000-418.000=-1.000

*mean*	0.123-0.125=-0.002
σ	0.006-0.009=-0.003
min	0.115-0.117=-0.002
max	0.132-0.147=-0.016

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

*mean*	4042.500-4042.375=0.125
σ	2009.182-2009.196=-0.014
min	1218.000
max	7150.000-7148.000=2.000

*mean*	12.284-14.150=-1.866
σ	0.269-2.540=-2.271
min	11.932-12.470=-0.538
max	12.655-18.533=-5.877

op=column_set() on indexed, repeat

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

*mean*	4042.500-4042.375=0.125
σ	2009.182-2009.196=-0.014
min	1218.000
max	7150.000-7148.000=2.000

*mean*	12.395-13.984=-1.589
σ	0.668-2.467=-1.798
min	11.239-11.721=-0.482
max	12.863-18.229=-5.366

op=table_records(), no indexes

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

*mean*	7150.000-7148.000=2.000
σ	0.000
min	7150.000-7148.000=2.000
max	7150.000-7148.000=2.000

*mean*	14.712-15.135=-0.423
σ	0.191-0.340=-0.149
min	14.418-14.812=-0.394
max	15.019-15.917=-0.898

op=table_records(), repeat

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

*mean*	4042.500-4042.375=0.125
σ	2009.182-2009.196=-0.014
min	1218.000
max	7150.000-7148.000=2.000

*mean*	13.614-14.748=-1.134
σ	1.559-1.449=0.110
min	10.259-11.918=-1.659
max	15.279-16.581=-1.303

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

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

*mean*	4042.500-4042.375=0.125
σ	2009.182-2009.196=-0.014
min	1218.000
max	7150.000-7148.000=2.000

*mean*	9.309-9.830=-0.520
σ	1.357-1.623=-0.266
min	8.292-8.627=-0.334
max	12.373-12.536=-0.163

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-4042.375=0.125
σ	2009.182-2009.196=-0.014
min	1218.000
max	7150.000-7148.000=2.000

*mean*	7.234-7.539=-0.305
σ	1.224-1.623=-0.400
min	6.218-6.329=-0.111
max	9.914-10.249=-0.335

op=vertical_lookup_row_list() on 2 indexed

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

*mean*	4042.500-4042.375=0.125
σ	2009.182-2009.196=-0.014
min	1218.000
max	7150.000-7148.000=2.000

*mean*	5.589-6.451=-0.862
σ	0.093-0.674=-0.582
min	5.388-5.991=-0.603
max	5.682-7.550=-1.868

op=vertical_lookup_row_list() on 3 (1 unindexed)

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

*mean*	4042.500-4042.375=0.125
σ	2009.182-2009.196=-0.014
min	1218.000
max	7150.000-7148.000=2.000

*mean*	5.399-6.145=-0.747
σ	0.071-0.741=-0.669
min	5.290-5.542=-0.252
max	5.493-7.407=-1.914

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

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

*mean*	7150.000-7148.000=2.000
σ	0.000
min	7150.000-7148.000=2.000
max	7150.000-7148.000=2.000

*mean*	377.478-363.678=13.799
σ	84.374-41.422=42.951
min	343.600-346.957=-3.357
max	586.202-466.132=120.070

op=load_product(), with indexes

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

*mean*	3273.500-3273.875=-0.375
σ	1824.195-1824.418=-0.223
min	809.000-810.000=-1.000
max	5622.000-5623.000=-1.000

*mean*	3612.105-3743.535=-131.430
σ	1033.662-1009.636=24.026
min	3102.533-3109.101=-6.568
max	5982.640-6031.253=-48.612

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-4042.375=0.125
σ	2009.182-2009.196=-0.014
min	1218.000
max	7150.000-7148.000=2.000

*mean*	88.697-88.349=0.348
σ	21.347-18.930=2.417
min	69.828-70.120=-0.292
max	121.334-117.593=3.741

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946-40.946=0.000
σ	0.002-0.002=-0.000
min	40.945-40.945=0.000
max	40.950

*mean*	7150.000-7148.000=2.000
σ	0.000
min	7150.000-7148.000=2.000
max	7150.000-7148.000=2.000

*mean*	60.479-60.986=-0.507
σ	0.293-1.183=-0.889
min	60.006-59.653=0.353
max	60.814-63.741=-2.926

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
max	66.691

*mean*	7150.000-7148.000=2.000
σ	0.000
min	7150.000-7148.000=2.000
max	7150.000-7148.000=2.000

*mean*	99.679-241.073=-141.394
σ	0.685-330.123=-329.438
min	98.209-97.914=0.295
max	100.543-1040.607=-940.064

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.576-14215.575=0.001
max	14227.821-14227.820=0.001

*mean*	4042.500-4042.375=0.125
σ	2009.182-2009.196=-0.014
min	1218.000
max	7150.000-7148.000=2.000

*mean*	7827.543-7938.867=-111.324
σ	1871.453-1521.540=349.913
min	6012.739-6049.718=-36.979
max	10683.885-9890.928=792.958

op=vertical_lookup_list() on indexed

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

*mean*	7150.000-7148.000=2.000
σ	0.000
min	7150.000-7148.000=2.000
max	7150.000-7148.000=2.000

*mean*	5121.913-5319.291=-197.378
σ	191.316-608.558=-417.242
min	5004.673-5024.864=-20.191
max	5502.942-6773.536=-1270.594

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*	371.718-374.651=-2.933
σ	25.232-21.104=4.128
min	331.123-343.568=-12.445
max	392.931-393.201=-0.270

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	562.000-558.500=3.500
σ	0.000-1.604=-1.604
min	562.000-557.000=5.000
max	562.000-560.000=2.000

*mean*	763.882-676.587=87.295
σ	27.820-54.785=-26.965
min	716.173-616.355=99.818
max	783.360-760.649=22.711

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.299-1024.325=-0.025
σ	0.759-0.759=0.000
min	1023.827-1023.851=-0.024
max	1027.438-1027.462=-0.025

*mean*	1053.600-1062.500=-8.900
σ	312.486-316.032=-3.546
min	569.000-596.000=-27.000
max	1511.000-1568.000=-57.000

*mean*	1.548-1.559=-0.011
σ	0.047-0.049=-0.003
min	1.486-1.494=-0.009
max	1.645-1.694=-0.049

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.285-0.288=-0.003
σ	0.263-0.288=-0.026
min	0.141-0.137=0.003
max	0.751-0.800=-0.050

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.471-0.465=0.006
σ	0.321-0.327=-0.006
min	0.316-0.307=0.009
max	1.045-1.050=-0.005

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.205=0.015
σ	0.021-0.025=-0.004
min	0.201-0.185=0.016
max	0.255-0.247=0.008

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.328-0.320=0.008
σ	0.018-0.016=0.001
min	0.314-0.309=0.005
max	0.357-0.348=0.009

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.000-431.800=-0.800
σ	0.000-1.789=-1.789
min	431.000
max	431.000-435.000=-4.000

*mean*	0.531-0.573=-0.042
σ	0.051-0.052=-0.000
min	0.484-0.490=-0.006
max	0.609-0.616=-0.007

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	431.000-441.000=-10.000
σ	0.000
min	431.000-441.000=-10.000
max	431.000-441.000=-10.000

*mean*	0.497-0.487=0.010
σ	0.029-0.052=-0.022
min	0.446-0.403=0.044
max	0.518-0.535=-0.017

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*	431.000-441.000=-10.000
σ	0.000
min	431.000-441.000=-10.000
max	431.000-441.000=-10.000

*mean*	2.590-2.586=0.004
σ	0.089-0.101=-0.013
min	2.452-2.427=0.024
max	2.868-3.009=-0.141

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	431.000-441.000=-10.000
σ	0.000
min	431.000-441.000=-10.000
max	431.000-441.000=-10.000

*mean*	2.590-2.626=-0.037
σ	0.097-0.088=0.009
min	2.453-2.447=0.006
max	2.895-2.901=-0.006

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	431.000-441.000=-10.000
σ	0.000
min	431.000-441.000=-10.000
max	431.000-441.000=-10.000

*mean*	0.310-0.311=-0.001
σ	0.024-0.011=0.013
min	0.290-0.294=-0.004
max	0.519-0.381=0.138

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	431.000-441.000=-10.000
σ	0.000
min	431.000-441.000=-10.000
max	431.000-441.000=-10.000

*mean*	0.296-0.295=0.001
σ	0.013-0.008=0.005
min	0.280-0.281=-0.001
max	0.385-0.335=0.050

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.462-299.027=-0.566
σ	1.011-1.038=-0.027
min	298.056-298.639=-0.583
max	301.336-301.978=-0.642

*mean*	441.200-442.500=-1.300
σ	13.497-16.043=-2.546
min	420.000-417.000=3.000
max	461.000-465.000=-4.000

*mean*	0.590-0.601=-0.011
σ	0.032-0.017=0.015
min	0.529-0.564=-0.036
max	0.643-0.622=0.021

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

*mean*	954.000-1065.000=-111.000
σ	22.627-33.941=-11.314
min	898.000-981.000=-83.000
max	962.000-1077.000=-115.000

*mean*	209.425-215.314=-5.889
σ	3.552-4.068=-0.516
min	203.721-210.042=-6.321
max	213.507-220.416=-6.909

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	953.250-1065.000=-111.750
σ	24.749-33.941=-9.192
min	892.000-981.000=-89.000
max	962.000-1077.000=-115.000

*mean*	9.290-7.026=2.263
σ	2.033-1.350=0.684
min	6.389-6.393=-0.005
max	12.718-10.330=2.388

phase=parser

*mean*	1042.363-1042.363=0.001
σ	0.000-0.000=-0.000
min	1042.363-1042.363=0.001
max	1042.364-1042.363=0.000

*mean*	953.250-1065.000=-111.750
σ	24.749-33.941=-9.192
min	892.000-981.000=-89.000
max	962.000-1077.000=-115.000

*mean*	492.159-553.983=-61.824
σ	76.861-95.437=-18.577
min	383.675-419.317=-35.642
max	634.035-760.325=-126.291

phase=processProdDef

*mean*	4850.767-4850.765=0.002
σ	0.000
min	4850.767-4850.765=0.002
max	4850.767-4850.765=0.002

*mean*	962.000-1077.000=-115.000
σ	0.000
min	962.000-1077.000=-115.000
max	962.000-1077.000=-115.000

*mean*	4945.396-4687.763=257.633
σ	395.300-697.361=-302.062
min	4412.889-3430.204=982.685
max	5408.975-5401.528=7.447

phase=renaming

*mean*	21.671-21.675=-0.004
σ	0.000
min	21.671-21.675=-0.004
max	21.671-21.675=-0.004

*mean*	953.250-1065.000=-111.750
σ	24.749-33.941=-9.192
min	892.000-981.000=-89.000
max	962.000-1077.000=-115.000

*mean*	36.401-22.337=14.064
σ	9.817-4.025=5.792
min	20.874-20.799=0.075
max	47.294-32.298=14.997

phase=type checker

*mean*	990.454-990.450=0.004
σ	0.071
min	990.348-990.344=0.004
max	990.567-990.563=0.004

*mean*	953.875-1065.000=-111.125
σ	22.981-33.941=-10.960
min	897.000-981.000=-84.000
max	962.000-1077.000=-115.000

*mean*	688.169-684.761=3.408
σ	30.834-31.723=-0.890
min	643.360-663.825=-20.465
max	754.954-760.575=-5.621

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.820-293.926=-0.106
σ	0.038-0.039=-0.001
min	293.767-293.874=-0.107
max	293.859-293.967=-0.107

*mean*	442.400-443.400=-1.000
σ	0.548
min	442.000-443.000=-1.000
max	443.000-444.000=-1.000

*mean*	0.393-0.399=-0.006
σ	0.001-0.008=-0.007
min	0.392-0.392=-0.000
max	0.395-0.408=-0.013

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.199-1320.316=-0.117
σ	0.091-0.035=0.056
min	1320.084-1320.271=-0.187
max	1320.338-1320.348=-0.010

*mean*	1065.400-1085.200=-19.800
σ	165.364-162.924=2.440
min	842.000-891.000=-49.000
max	1267.000-1307.000=-40.000

*mean*	2.145-2.281=-0.135
σ	0.205-0.188=0.017
min	2.020-2.113=-0.093
max	2.505-2.543=-0.038

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.617-1560.709=-0.092
σ	6.232-6.215=0.017
min	1557.616-1557.738=-0.121
max	1571.759-1571.822=-0.064

*mean*	618.200-624.000=-5.800
σ	82.309-87.164=-4.855
min	494.000
max	715.000-726.000=-11.000

*mean*	2.383-2.252=0.131
σ	0.252-0.110=0.142
min	2.086-2.169=-0.083
max	2.717-2.442=0.274

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.184-1882.279=-0.095
σ	0.069-0.060=0.009
min	1882.102-1882.198=-0.096
max	1882.274-1882.355=-0.080

*mean*	1708.600-1722.000=-13.400
σ	257.757-170.482=87.276
min	1393.000-1476.000=-83.000
max	2051.000-1880.000=171.000

*mean*	2.955-3.184=-0.229
σ	0.097-0.381=-0.284
min	2.832-2.904=-0.072
max	3.079-3.829=-0.749

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.738-1.621=0.117
σ	0.168-0.189=-0.021
min	1.463-1.362=0.101
max	1.910-1.893=0.016

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.082-452.151=-0.069
σ	582.722-582.775=-0.053
min	160.720-160.758=-0.038
max	1326.166-1326.314=-0.148

*mean*	102.250
σ	8.500
min	98.000
max	115.000

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

*mean*	0.536-0.533=0.003
σ	0.535-0.519=0.016
min	0.266-0.268=-0.002
max	1.339-1.312=0.028

policies=20

*mean*	1607.506-1607.953=-0.447
σ	0.412-0.421=-0.010
min	1607.228-1607.668=-0.439
max	1608.116-1608.579=-0.463

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	449.000-447.500=1.500
σ	8.083-8.660=-0.577
min	442.000-440.000=2.000
max	456.000-455.000=1.000

*mean*	2.688-2.696=-0.009
σ	0.011-0.009=0.002
min	2.674-2.690=-0.016
max	2.697-2.710=-0.012

policies=200

*mean*	16083.472-16087.841=-4.369
σ	0.173-0.139=0.034
min	16083.295-16087.651=-4.356
max	16083.692-16087.982=-4.290

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	496.500-494.000=2.500
σ	3.317-3.916=-0.599
min	492.000-490.000=2.000
max	500.000-499.000=1.000

*mean*	27.154-27.212=-0.058
σ	0.062-0.051=0.011
min	27.098-27.176=-0.079
max	27.233-27.287=-0.055