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.678-54.679=-0.001
σ	0.359-0.359=0.000
min	54.535-54.541=-0.006
max	55.700-55.700=0.000

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

*mean*	0.141-0.141=0.000
σ	0.004-0.004=-0.000
min	0.137-0.134=0.003
max	0.147-0.146=0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.706-43.705=0.001
σ	0.005-0.006=-0.001
min	43.700-43.694=0.006
max	43.713-43.715=-0.002

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

*mean*	0.125-0.122=0.003
σ	0.005-0.005=0.000
min	0.121-0.116=0.005
max	0.135-0.131=0.005

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*	3876.500-3862.375=14.125
σ	1848.299-1830.519=17.780
min	1279.000-1278.000=1.000
max	6161.000-6111.000=50.000

*mean*	12.233-12.105=0.128
σ	0.317-0.268=0.050
min	11.806-11.791=0.015
max	12.785-12.532=0.253

op=column_set() on indexed, repeat

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

*mean*	3876.500-3862.375=14.125
σ	1848.299-1830.519=17.780
min	1279.000-1278.000=1.000
max	6161.000-6111.000=50.000

*mean*	11.911-11.843=0.068
σ	0.434-0.567=-0.133
min	11.453-11.348=0.104
max	12.513-12.886=-0.372

op=table_records(), no indexes

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

*mean*	6161.000-6111.000=50.000
σ	0.000
min	6161.000-6111.000=50.000
max	6161.000-6111.000=50.000

*mean*	14.585-14.342=0.242
σ	0.201-0.300=-0.099
min	14.312-13.805=0.507
max	14.980-14.805=0.175

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*	3876.500-3862.375=14.125
σ	1848.299-1830.519=17.780
min	1279.000-1278.000=1.000
max	6161.000-6111.000=50.000

*mean*	13.062-12.969=0.093
σ	2.144-1.978=0.166
min	10.205-10.380=-0.175
max	15.733-15.700=0.033

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*	3876.500-3862.375=14.125
σ	1848.299-1830.519=17.780
min	1279.000-1278.000=1.000
max	6161.000-6111.000=50.000

*mean*	9.038-8.955=0.082
σ	1.421-1.425=-0.004
min	8.282-7.991=0.292
max	12.518-12.377=0.141

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*	3876.500-3862.375=14.125
σ	1848.299-1830.519=17.780
min	1279.000-1278.000=1.000
max	6161.000-6111.000=50.000

*mean*	6.858-6.739=0.120
σ	1.284-0.865=0.420
min	5.734-6.074=-0.340
max	9.811-8.835=0.976

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.665=0.000
max	25.674-25.674=0.000

*mean*	3876.500-3862.375=14.125
σ	1848.299-1830.519=17.780
min	1279.000-1278.000=1.000
max	6161.000-6111.000=50.000

*mean*	5.621-5.458=0.163
σ	0.069-0.128=-0.060
min	5.526-5.257=0.269
max	5.690-5.668=0.023

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

*mean*	3876.500-3862.375=14.125
σ	1848.299-1830.519=17.780
min	1279.000-1278.000=1.000
max	6161.000-6111.000=50.000

*mean*	5.198-5.099=0.098
σ	0.206-0.195=0.011
min	4.841-4.777=0.064
max	5.395-5.325=0.070

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*	6161.000-6111.000=50.000
σ	0.000
min	6161.000-6111.000=50.000
max	6161.000-6111.000=50.000

*mean*	1446.276-1358.002=88.274
σ	749.586-595.373=154.213
min	1040.146-1026.243=13.903
max	2934.970-2425.364=509.606

op=load_product(), with indexes

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

*mean*	3235.375-3228.125=7.250
σ	1840.195-1827.369=12.827
min	811.000
max	6161.000-6111.000=50.000

*mean*	3759.138-3779.467=-20.329
σ	1201.172-1263.360=-62.188
min	3118.869-3081.419=37.451
max	6222.265-6155.868=66.396

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

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

*mean*	3876.500-3862.375=14.125
σ	1848.299-1830.519=17.780
min	1279.000-1278.000=1.000
max	6161.000-6111.000=50.000

*mean*	86.148-85.567=0.581
σ	17.921-18.364=-0.443
min	70.663-69.066=1.596
max	125.239-120.393=4.846

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.949

*mean*	6161.000-6111.000=50.000
σ	0.000
min	6161.000-6111.000=50.000
max	6161.000-6111.000=50.000

*mean*	62.299-62.293=0.007
σ	1.714-3.797=-2.083
min	60.798-59.889=0.908
max	65.122-69.940=-4.818

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

*mean*	6161.000-6111.000=50.000
σ	0.000
min	6161.000-6111.000=50.000
max	6161.000-6111.000=50.000

*mean*	99.312-98.399=0.912
σ	0.316-1.479=-1.163
min	98.826-96.943=1.882
max	99.891-101.806=-1.915

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	3876.500-3862.375=14.125
σ	1848.299-1830.519=17.780
min	1279.000-1278.000=1.000
max	6161.000-6111.000=50.000

*mean*	6108.627-6333.162=-224.536
σ	1114.160-1414.492=-300.332
min	5070.205-5031.583=38.622
max	7982.510-8313.941=-331.430

op=vertical_lookup_list() on indexed

*mean*	10791.094-10791.094=-0.000
σ	0.002-0.002=-0.000
min	10791.092
max	10791.096-10791.096=-0.001

*mean*	6161.000-6111.000=50.000
σ	0.000
min	6161.000-6111.000=50.000
max	6161.000-6111.000=50.000

*mean*	4960.025-4930.654=29.370
σ	1228.978-1583.900=-354.922
min	4071.847-4047.627=24.220
max	7061.384-7569.355=-507.971

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.000-478.000=-2.000
σ	0.000
min	476.000-478.000=-2.000
max	476.000-478.000=-2.000

*mean*	378.709-379.277=-0.567
σ	21.942-33.239=-11.297
min	339.762-297.227=42.536
max	397.158-393.605=3.554

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	561.000-560.500=0.500
σ	0.000-1.604=-1.604
min	561.000-559.000=2.000
max	561.000-562.000=-1.000

*mean*	743.730-746.786=-3.056
σ	53.178-70.325=-17.147
min	630.627-629.461=1.166
max	799.986-840.416=-40.429

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.327-1024.328=-0.001
σ	0.759-0.759=0.001
min	1023.851-1023.854=-0.003
max	1027.465-1027.466=-0.001

*mean*	1049.300-1063.200=-13.900
σ	318.996-316.056=2.940
min	544.000-594.000=-50.000
max	1562.000-1568.000=-6.000

*mean*	1.565-1.561=0.005
σ	0.076-0.046=0.030
min	1.430-1.507=-0.077
max	1.758-1.653=0.105

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.422-0.429=-0.007
σ	0.510-0.556=-0.046
min	0.145-0.150=-0.005
max	1.323-1.420=-0.098

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.479-0.839=-0.361
σ	0.319-0.509=-0.190
min	0.318-0.586=-0.268
max	1.049-1.748=-0.699

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.221-0.383=-0.162
σ	0.027-0.034=-0.006
min	0.202-0.354=-0.152
max	0.269-0.442=-0.173

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.330-0.586=-0.255
σ	0.017-0.031=-0.014
min	0.318-0.559=-0.242
max	0.360-0.638=-0.277

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*	436.600-431.800=4.800
σ	6.066-1.789=4.277
min	431.000
max	443.000-435.000=8.000

*mean*	0.559-0.579=-0.020
σ	0.054-0.103=-0.050
min	0.493-0.494=-0.001
max	0.624-0.749=-0.126

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.420-0.469=-0.049
σ	0.039-0.060=-0.021
min	0.378-0.381=-0.003
max	0.462-0.523=-0.062

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

*mean*	1.964-2.677=-0.713
σ	0.067-0.071=-0.004
min	1.855-2.494=-0.638
max	2.165-2.840=-0.676

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	1.973-2.608=-0.635
σ	0.067-0.090=-0.023
min	1.857-2.428=-0.571
max	2.211-2.841=-0.630

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.305-0.312=-0.007
σ	0.009-0.053=-0.044
min	0.293-0.290=0.003
max	0.357-0.826=-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.292-0.292=0.001
σ	0.007-0.027=-0.020
min	0.277-0.277=-0.001
max	0.330-0.551=-0.221

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.726-298.749=-0.023
σ	1.046-1.038=0.008
min	298.333-298.360=-0.028
max	301.699-301.701=-0.003

*mean*	440.200-442.900=-2.700
σ	17.974-14.310=3.664
min	415.000-425.000=-10.000
max	469.000

*mean*	0.597-0.590=0.007
σ	0.025-0.040=-0.015
min	0.544-0.509=0.035
max	0.636-0.643=-0.008

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*	1711.625-1686.875=24.750
σ	3.889-0.354=3.536
min	1702.000-1686.000=16.000
max	1713.000-1687.000=26.000

*mean*	213.048-211.584=1.464
σ	2.945-3.531=-0.587
min	209.038-205.853=3.185
max	218.747-216.779=1.968

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1711.625-1686.875=24.750
σ	3.889-0.354=3.536
min	1702.000-1686.000=16.000
max	1713.000-1687.000=26.000

*mean*	11.153-11.156=-0.004
σ	1.348-1.861=-0.513
min	9.464-8.277=1.187
max	12.731-12.934=-0.203

phase=parser

*mean*	1042.367-1042.363=0.004
σ	0.000-0.000=-0.000
min	1042.367-1042.363=0.004
max	1042.367-1042.364=0.004

*mean*	1711.625-1686.875=24.750
σ	3.889-0.354=3.536
min	1702.000-1686.000=16.000
max	1713.000-1687.000=26.000

*mean*	636.438-661.371=-24.934
σ	163.485-71.723=91.761
min	384.566-567.493=-182.927
max	831.585-736.043=95.542

phase=processProdDef

*mean*	4753.276-4753.280=-0.004
σ	0.000
min	4753.276-4753.279=-0.004
max	4753.276-4753.280=-0.004

*mean*	1713.000-1687.000=26.000
σ	0.000
min	1713.000-1687.000=26.000
max	1713.000-1687.000=26.000

*mean*	4329.425-4259.267=70.158
σ	596.028-706.934=-110.906
min	3594.440-3129.092=465.348
max	5401.349-5441.662=-40.313

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1711.625-1686.875=24.750
σ	3.889-0.354=3.536
min	1702.000-1686.000=16.000
max	1713.000-1687.000=26.000

*mean*	37.966-41.300=-3.334
σ	9.155-7.847=1.308
min	27.123-26.211=0.912
max	48.459-47.849=0.610

phase=type checker

*mean*	990.454
σ	0.071
min	990.348
max	990.567

*mean*	1711.625-1686.875=24.750
σ	3.889-0.354=3.536
min	1702.000-1686.000=16.000
max	1713.000-1687.000=26.000

*mean*	808.703-805.077=3.626
σ	99.072-77.383=21.689
min	655.930-683.331=-27.401
max	899.619-923.435=-23.816

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.917-293.919=-0.002
σ	0.039-0.038=0.001
min	293.865-293.865=-0.001
max	293.957-293.958=-0.001

*mean*	442.200-448.000=-5.800
σ	1.643-0.000=1.643
min	441.000-448.000=-7.000
max	444.000-448.000=-4.000

*mean*	0.393-0.403=-0.010
σ	0.016-0.014=0.002
min	0.369-0.391=-0.022
max	0.414-0.425=-0.010

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.289-1320.309=-0.020
σ	0.042-0.025=0.017
min	1320.237-1320.280=-0.043
max	1320.335-1320.337=-0.002

*mean*	1111.200-1083.000=28.200
σ	187.716-164.009=23.707
min	891.000-887.000=4.000
max	1373.000-1306.000=67.000

*mean*	2.241-2.282=-0.041
σ	0.058-0.140=-0.082
min	2.162-2.146=0.016
max	2.318-2.457=-0.139

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.454-1559.472=-0.018
σ	3.344-3.407=-0.063
min	1557.821-1557.812=0.009
max	1565.433-1565.562=-0.129

*mean*	619.000-625.600=-6.600
σ	93.723-89.690=4.033
min	496.000-504.000=-8.000
max	730.000-728.000=2.000

*mean*	2.337-2.444=-0.108
σ	0.273-0.319=-0.046
min	2.105-2.064=0.041
max	2.789-2.882=-0.093

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.265-1882.267=-0.002
σ	0.067-0.053=0.014
min	1882.175-1882.202=-0.028
max	1882.353-1882.345=0.008

*mean*	1761.000-1721.600=39.400
σ	208.825-173.992=34.833
min	1505.000-1472.000=33.000
max	1965.000-1882.000=83.000

*mean*	3.074-3.054=0.020
σ	0.139-0.231=-0.092
min	2.886-2.883=0.003
max	3.241-3.459=-0.218

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.822-1.851=-0.029
σ	0.099-0.120=-0.021
min	1.721-1.655=0.066
max	1.961-1.960=0.001

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.409-452.411=-0.002
σ	583.279-583.278=0.000
min	160.766-160.770=-0.004
max	1327.327-1327.329=-0.001

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	444.000
σ	0.000
min	444.000
max	444.000

*mean*	0.506-0.554=-0.048
σ	0.471-0.568=-0.097
min	0.269-0.266=0.003
max	1.212-1.406=-0.194

policies=20

*mean*	1608.021-1608.042=-0.021
σ	0.424-0.419=0.005
min	1607.747-1607.759=-0.012
max	1608.653-1608.663=-0.010

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	452.500-449.250=3.250
σ	11.818-3.500=8.318
min	444.000
max	470.000-451.000=19.000

*mean*	2.708-2.701=0.006
σ	0.007-0.018=-0.011
min	2.701-2.690=0.010
max	2.714-2.728=-0.014

policies=200

*mean*	16088.513-16088.590=-0.077
σ	0.107-0.120=-0.013
min	16088.423-16088.507=-0.085
max	16088.663-16088.766=-0.103

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	500.250-499.750=0.500
σ	4.573-5.315=-0.742
min	495.000-494.000=1.000
max	505.000-506.000=-1.000

*mean*	27.210-27.148=0.062
σ	0.046-0.031=0.014
min	27.179-27.121=0.059
max	27.277-27.191=0.087