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.678=-0.001
σ	0.359-0.357=0.001
min	54.538-54.546=-0.008
max	55.697-55.694=0.003

*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.143-0.142=0.000
σ	0.004-0.005=-0.000
min	0.137-0.138=-0.001
max	0.149-0.149=0.000

cache=y

dps=1

iters=10

policies=100

*mean*	43.705-43.705=0.000
σ	0.006-0.005=0.001
min	43.695-43.697=-0.003
max	43.715-43.713=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.124-0.123=0.001
σ	0.004-0.004=0.001
min	0.121-0.118=0.003
max	0.131-0.130=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

*mean*	3876.750-3863.375=13.375
σ	1849.639-1830.142=19.498
min	1280.000-1279.000=1.000
max	6166.000-6110.000=56.000

*mean*	12.864-13.501=-0.638
σ	0.275-0.297=-0.022
min	12.412-13.109=-0.697
max	13.314-14.101=-0.786

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*	3876.750-3863.375=13.375
σ	1849.639-1830.142=19.498
min	1280.000-1279.000=1.000
max	6166.000-6110.000=56.000

*mean*	12.685-13.425=-0.740
σ	0.614-0.564=0.050
min	11.977-12.614=-0.637
max	13.547-14.042=-0.494

op=table_records(), no indexes

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

*mean*	6166.000-6110.000=56.000
σ	0.000
min	6166.000-6110.000=56.000
max	6166.000-6110.000=56.000

*mean*	14.719-15.175=-0.456
σ	0.294-0.186=0.108
min	14.137-14.927=-0.791
max	15.124-15.513=-0.390

op=table_records(), repeat

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

*mean*	3876.750-3863.375=13.375
σ	1849.639-1830.142=19.498
min	1280.000-1279.000=1.000
max	6166.000-6110.000=56.000

*mean*	12.926-13.529=-0.603
σ	1.565-1.649=-0.084
min	10.713-11.195=-0.482
max	15.002-15.425=-0.423

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-27.604=0.000
max	27.991-27.991=0.000

*mean*	3876.750-3863.375=13.375
σ	1849.639-1830.142=19.498
min	1280.000-1279.000=1.000
max	6166.000-6110.000=56.000

*mean*	8.384-9.142=-0.759
σ	0.264-0.832=-0.568
min	7.886-8.426=-0.540
max	8.698-11.083=-2.386

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

*mean*	3876.750-3863.375=13.375
σ	1849.639-1830.142=19.498
min	1280.000-1279.000=1.000
max	6166.000-6110.000=56.000

*mean*	6.053-7.007=-0.953
σ	0.198-0.457=-0.259
min	5.807-6.502=-0.695
max	6.366-8.053=-1.687

op=vertical_lookup_row_list() on 2 indexed

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

*mean*	3876.750-3863.375=13.375
σ	1849.639-1830.142=19.498
min	1280.000-1279.000=1.000
max	6166.000-6110.000=56.000

*mean*	5.531-6.100=-0.569
σ	0.115-0.184=-0.069
min	5.368-5.841=-0.472
max	5.777-6.460=-0.684

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-25.968=0.000
max	25.974

*mean*	3876.750-3863.375=13.375
σ	1849.639-1830.142=19.498
min	1280.000-1279.000=1.000
max	6166.000-6110.000=56.000

*mean*	5.222-5.866=-0.644
σ	0.203-0.160=0.043
min	4.954-5.659=-0.706
max	5.442-6.163=-0.721

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

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

*mean*	6166.000-6110.000=56.000
σ	0.000
min	6166.000-6110.000=56.000
max	6166.000-6110.000=56.000

*mean*	1347.399-1351.036=-3.637
σ	564.767-572.588=-7.821
min	1038.544-1038.521=0.023
max	2367.772-2358.755=9.017

op=load_product(), with indexes

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

*mean*	3234.875-3229.000=5.875
σ	1840.764-1827.954=12.810
min	809.000-810.000=-1.000
max	6166.000-6110.000=56.000

*mean*	3762.188-3791.738=-29.550
σ	1220.287-1235.915=-15.628
min	3095.657-3118.955=-23.298
max	5958.721-6035.334=-76.612

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-62.076=-0.001
max	62.080-62.081=-0.001

*mean*	3876.750-3863.375=13.375
σ	1849.639-1830.142=19.498
min	1280.000-1279.000=1.000
max	6166.000-6110.000=56.000

*mean*	86.598-87.720=-1.122
σ	10.658-10.648=0.010
min	75.961-76.352=-0.391
max	104.993-104.784=0.209

op=vertical_lookup_list() on unindexed missing Int

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

*mean*	6166.000-6110.000=56.000
σ	0.000
min	6166.000-6110.000=56.000
max	6166.000-6110.000=56.000

*mean*	65.451-64.616=0.835
σ	4.305-3.102=1.203
min	61.260-61.588=-0.328
max	70.263-69.095=1.168

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*	6166.000-6110.000=56.000
σ	0.000
min	6166.000-6110.000=56.000
max	6166.000-6110.000=56.000

*mean*	99.929-100.110=-0.181
σ	1.224-1.435=-0.211
min	98.774-97.936=0.838
max	102.180-101.999=0.181

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	3876.750-3863.375=13.375
σ	1849.639-1830.142=19.498
min	1280.000-1279.000=1.000
max	6166.000-6110.000=56.000

*mean*	6478.518-6100.802=377.716
σ	1299.331-1323.866=-24.536
min	5090.831-5101.556=-10.725
max	8224.952-8340.008=-115.056

op=vertical_lookup_list() on indexed

*mean*	10791.094
σ	0.002
min	10791.092
max	10791.096

*mean*	6166.000-6110.000=56.000
σ	0.000
min	6166.000-6110.000=56.000
max	6166.000-6110.000=56.000

*mean*	5531.429-5150.809=380.620
σ	1592.347-1476.806=115.540
min	4065.959-4073.144=-7.185
max	7465.482-7446.957=18.525

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*	384.231-370.218=14.014
σ	16.258-35.010=-18.752
min	354.057-298.660=55.396
max	395.920-396.143=-0.223

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	560.250-561.000=-0.750
σ	1.035-0.000=1.035
min	559.000-561.000=-2.000
max	561.000

*mean*	744.486-754.362=-9.877
σ	41.240-44.653=-3.412
min	671.513-661.164=10.349
max	776.224-802.749=-26.525

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.328-1024.329=-0.001
σ	0.759-0.758=0.000
min	1023.853-1023.855=-0.003
max	1027.466-1027.465=0.001

*mean*	1055.850-1054.650=1.200
σ	318.844-321.857=-3.013
min	592.000
max	1531.000-1537.000=-6.000

*mean*	1.586-1.581=0.004
σ	0.087-0.053=0.034
min	1.485-1.519=-0.034
max	1.787-1.719=0.068

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.294-0.456=-0.162
σ	0.294-0.472=-0.178
min	0.141-0.239=-0.098
max	0.818-1.300=-0.482

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.474-0.824=-0.350
σ	0.312-0.524=-0.213
min	0.318-0.571=-0.254
max	1.031-1.761=-0.730

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.217-0.371=-0.154
σ	0.019-0.038=-0.019
min	0.203-0.347=-0.144
max	0.250-0.438=-0.188

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.327-0.577=-0.251
σ	0.014-0.029=-0.014
min	0.314-0.545=-0.232
max	0.349-0.617=-0.268

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*	435.600-436.600=-1.000
σ	5.079-6.066=-0.987
min	431.000
max	441.000-443.000=-2.000

*mean*	0.535-0.599=-0.064
σ	0.060-0.109=-0.049
min	0.440-0.448=-0.008
max	0.597-0.755=-0.159

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	441.000-443.000=-2.000
σ	0.000
min	441.000-443.000=-2.000
max	441.000-443.000=-2.000

*mean*	0.456-0.494=-0.038
σ	0.033-0.024=0.009
min	0.415-0.466=-0.051
max	0.500-0.521=-0.021

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-443.000=-2.000
σ	0.000
min	441.000-443.000=-2.000
max	441.000-443.000=-2.000

*mean*	2.635-2.669=-0.034
σ	0.092-0.083=0.009
min	2.490-2.482=0.008
max	3.052-2.938=0.114

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	441.000-443.000=-2.000
σ	0.000
min	441.000-443.000=-2.000
max	441.000-443.000=-2.000

*mean*	1.952-2.585=-0.633
σ	0.201-0.063=0.138
min	1.743-2.454=-0.711
max	2.788-2.743=0.045

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	441.000-443.000=-2.000
σ	0.000
min	441.000-443.000=-2.000
max	441.000-443.000=-2.000

*mean*	0.304-0.308=-0.004
σ	0.012-0.009=0.003
min	0.289-0.294=-0.005
max	0.386-0.356=0.030

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	441.000-443.000=-2.000
σ	0.000
min	441.000-443.000=-2.000
max	441.000-443.000=-2.000

*mean*	0.289-0.298=-0.009
σ	0.007-0.008=-0.000
min	0.272-0.281=-0.009
max	0.320-0.331=-0.011

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.612-298.793=-0.181
σ	1.043-1.048=-0.005
min	298.207-298.368=-0.160
max	301.576-301.769=-0.192

*mean*	442.100-437.500=4.600
σ	14.625-15.736=-1.111
min	425.000-416.000=9.000
max	465.000-460.000=5.000

*mean*	0.601-0.604=-0.003
σ	0.033-0.023=0.010
min	0.524-0.562=-0.038
max	0.647-0.633=0.014

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*	1685.000-1690.500=-5.500
σ	0.000-7.071=-7.071
min	1685.000-1673.000=12.000
max	1685.000-1693.000=-8.000

*mean*	214.637-214.119=0.518
σ	3.170-1.526=1.644
min	209.345-212.328=-2.983
max	217.905-217.076=0.830

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1685.000-1690.500=-5.500
σ	0.000-7.071=-7.071
min	1685.000-1673.000=12.000
max	1685.000-1693.000=-8.000

*mean*	10.943-10.076=0.867
σ	1.558-2.643=-1.085
min	9.489-6.430=3.059
max	12.824-12.858=-0.033

phase=parser

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

*mean*	1685.000-1690.500=-5.500
σ	0.000-7.071=-7.071
min	1685.000-1673.000=12.000
max	1685.000-1693.000=-8.000

*mean*	680.695-686.147=-5.452
σ	60.309-109.078=-48.769
min	599.152-586.700=12.452
max	727.615-836.060=-108.445

phase=processProdDef

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

*mean*	1685.000-1693.000=-8.000
σ	0.000
min	1685.000-1693.000=-8.000
max	1685.000-1693.000=-8.000

*mean*	4271.530-4279.541=-8.011
σ	608.110-425.299=182.811
min	3450.638-3729.251=-278.613
max	5073.181-4806.784=266.398

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1685.000-1690.500=-5.500
σ	0.000-7.071=-7.071
min	1685.000-1673.000=12.000
max	1685.000-1693.000=-8.000

*mean*	40.786-35.448=5.337
σ	6.889-10.671=-3.782
min	29.854-20.914=8.940
max	47.897-48.389=-0.493

phase=type checker

*mean*	990.454
σ	0.071
min	990.348
max	990.567

*mean*	1685.000-1690.500=-5.500
σ	0.000-7.071=-7.071
min	1685.000-1673.000=12.000
max	1685.000-1693.000=-8.000

*mean*	788.843-750.806=38.037
σ	108.073-89.569=18.503
min	673.828-660.268=13.560
max	903.411-887.704=15.708

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.866=-0.001
max	293.958-293.958=-0.001

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

*mean*	0.402-0.405=-0.003
σ	0.009-0.009=0.000
min	0.394-0.399=-0.005
max	0.415-0.421=-0.006

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.305-1320.298=0.007
σ	0.041-0.030=0.011
min	1320.253-1320.258=-0.005
max	1320.349-1320.328=0.021

*mean*	1085.200-1110.600=-25.400
σ	164.282-188.192=-23.910
min	888.000-890.000=-2.000
max	1308.000-1373.000=-65.000

*mean*	2.364-2.288=0.075
σ	0.160-0.128=0.032
min	2.182-2.158=0.024
max	2.575-2.457=0.118

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.491-1559.496=-0.005
σ	3.414-3.411=0.003
min	1557.812-1557.829=-0.017
max	1565.593-1565.592=0.001

*mean*	627.200-626.400=0.800
σ	90.123-89.782=0.341
min	504.000
max	729.000-728.000=1.000

*mean*	2.470-2.466=0.003
σ	0.325-0.303=0.022
min	2.196-2.143=0.053
max	2.984-2.839=0.144

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.263-1882.265=-0.002
σ	0.062-0.061=0.002
min	1882.180-1882.180=0.000
max	1882.347-1882.339=0.009

*mean*	1721.600-1725.200=-3.600
σ	168.340-178.419=-10.079
min	1477.000-1505.000=-28.000
max	1876.000-1968.000=-92.000

*mean*	3.100-3.126=-0.026
σ	0.242-0.242=-0.000
min	2.958-2.886=0.072
max	3.529-3.464=0.065

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.804-1.934=-0.130
σ	0.083-0.048=0.035
min	1.709-1.858=-0.149
max	1.879-1.986=-0.107

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.410-452.411=-0.001
σ	583.278-583.277=0.002
min	160.766-160.770=-0.004
max	1327.327-1327.326=0.001

*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.532-0.542=-0.010
σ	0.524-0.546=-0.022
min	0.270-0.269=0.000
max	1.317-1.361=-0.044

policies=20

*mean*	1608.021-1608.047=-0.026
σ	0.404-0.424=-0.020
min	1607.744-1607.758=-0.014
max	1608.619-1608.675=-0.056

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	445.000-452.750=-7.750
σ	2.000-11.087=-9.087
min	442.000-444.000=-2.000
max	446.000-469.000=-23.000

*mean*	2.686-2.720=-0.034
σ	0.027-0.023=0.004
min	2.660-2.697=-0.037
max	2.712-2.751=-0.039

policies=200

*mean*	16088.576-16088.613=-0.037
σ	0.132-0.092=0.040
min	16088.420-16088.538=-0.117
max	16088.738-16088.746=-0.008

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	497.000-498.000=-1.000
σ	4.397-2.582=1.815
min	492.000-495.000=-3.000
max	502.000-501.000=1.000

*mean*	27.263-27.291=-0.028
σ	0.073-0.059=0.013
min	27.167-27.213=-0.046
max	27.342-27.352=-0.010