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.664
σ	0.000
min	558.664
max	558.664

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.881-54.888=-0.007
σ	0.359-0.359=0.000
min	54.745-54.746=-0.001
max	55.902-55.908=-0.005

*mean*	417.000-414.700=2.300
σ	0.000-0.483=-0.483
min	417.000-414.000=3.000
max	417.000-415.000=2.000

*mean*	0.141-0.137=0.004
σ	0.004-0.004=-0.000
min	0.137-0.132=0.005
max	0.148-0.143=0.005

cache=y

dps=1

iters=10

policies=100

*mean*	43.849-43.855=-0.006
σ	0.007-0.005=0.002
min	43.836-43.847=-0.010
max	43.858-43.865=-0.007

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

*mean*	0.125-0.122=0.003
σ	0.004-0.005=-0.000
min	0.121-0.115=0.006
max	0.132-0.130=0.001

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*	4041.250-4046.125=-4.875
σ	2008.838-2010.909=-2.071
min	1216.000-1219.000=-3.000
max	7148.000-7149.000=-1.000

*mean*	12.922-13.285=-0.363
σ	0.315-1.939=-1.624
min	12.554-12.166=0.388
max	13.399-17.989=-4.590

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*	4041.250-4046.125=-4.875
σ	2008.838-2010.909=-2.071
min	1216.000-1219.000=-3.000
max	7148.000-7149.000=-1.000

*mean*	12.723-13.419=-0.696
σ	0.673-1.712=-1.038
min	11.824-11.824=0.001
max	13.784-17.214=-3.430

op=table_records(), no indexes

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

*mean*	7148.000-7149.000=-1.000
σ	0.000
min	7148.000-7149.000=-1.000
max	7148.000-7149.000=-1.000

*mean*	15.374-15.225=0.149
σ	0.184-0.150=0.034
min	15.153-14.940=0.212
max	15.642-15.442=0.199

op=table_records(), repeat

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

*mean*	4041.250-4046.125=-4.875
σ	2008.838-2010.909=-2.071
min	1216.000-1219.000=-3.000
max	7148.000-7149.000=-1.000

*mean*	13.615-13.902=-0.287
σ	1.889-1.885=0.005
min	10.758-10.942=-0.184
max	16.383-15.539=0.844

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

*mean*	4041.250-4046.125=-4.875
σ	2008.838-2010.909=-2.071
min	1216.000-1219.000=-3.000
max	7148.000-7149.000=-1.000

*mean*	9.605-9.575=0.030
σ	1.283-1.207=0.076
min	8.591-8.670=-0.079
max	12.677-12.391=0.287

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*	4041.250-4046.125=-4.875
σ	2008.838-2010.909=-2.071
min	1216.000-1219.000=-3.000
max	7148.000-7149.000=-1.000

*mean*	8.017-7.092=0.925
σ	1.500-1.280=0.219
min	6.994-6.261=0.733
max	10.704-10.213=0.490

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.666=-0.000
max	25.678-25.678=0.000

*mean*	4041.250-4046.125=-4.875
σ	2008.838-2010.909=-2.071
min	1216.000-1219.000=-3.000
max	7148.000-7149.000=-1.000

*mean*	6.038-6.228=-0.189
σ	0.108-0.482=-0.373
min	5.866-5.812=0.054
max	6.163-7.362=-1.199

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.972

*mean*	4041.250-4046.125=-4.875
σ	2008.838-2010.909=-2.071
min	1216.000-1219.000=-3.000
max	7148.000-7149.000=-1.000

*mean*	5.855-5.839=0.017
σ	0.100-0.105=-0.004
min	5.674-5.657=0.017
max	5.989-5.984=0.005

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.613
σ	0.002
min	1021.612
max	1021.616

*mean*	7148.000-7149.000=-1.000
σ	0.000
min	7148.000-7149.000=-1.000
max	7148.000-7149.000=-1.000

*mean*	366.098-377.775=-11.677
σ	53.388-83.160=-29.772
min	344.524-345.998=-1.474
max	498.137-583.513=-85.375

op=load_product(), with indexes

*mean*	7917.792-7917.792=-0.000
σ	0.469-0.469=0.000
min	7917.624
max	7918.954

*mean*	3272.875-3277.875=-5.000
σ	1823.353-1827.382=-4.028
min	809.000-810.000=-1.000
max	5619.000-5629.000=-10.000

*mean*	3806.810-3643.805=163.005
σ	1320.083-1106.917=213.166
min	3082.815-3112.385=-29.570
max	6199.142-6218.511=-19.369

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*	4041.250-4046.125=-4.875
σ	2008.838-2010.909=-2.071
min	1216.000-1219.000=-3.000
max	7148.000-7149.000=-1.000

*mean*	91.506-91.572=-0.066
σ	19.702-18.802=0.901
min	75.383-75.190=0.193
max	127.516-125.663=1.853

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.950-40.950=0.000

*mean*	7148.000-7149.000=-1.000
σ	0.000
min	7148.000-7149.000=-1.000
max	7148.000-7149.000=-1.000

*mean*	61.265-60.759=0.506
σ	0.323-0.215=0.108
min	60.918-60.451=0.467
max	61.671-61.028=0.643

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

*mean*	7148.000-7149.000=-1.000
σ	0.000
min	7148.000-7149.000=-1.000
max	7148.000-7149.000=-1.000

*mean*	100.160-98.615=1.545
σ	0.693-0.622=0.072
min	99.234-97.771=1.462
max	101.288-99.531=1.757

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	14217.171-14217.171=0.000
σ	4.304-4.304=0.000
min	14215.575-14215.576=-0.001
max	14227.821-14227.820=0.001

*mean*	4041.250-4046.125=-4.875
σ	2008.838-2010.909=-2.071
min	1216.000-1219.000=-3.000
max	7148.000-7149.000=-1.000

*mean*	8175.550-8101.943=73.606
σ	2157.102-2010.298=146.805
min	6002.891-6018.350=-15.458
max	11067.801-10745.464=322.338

op=vertical_lookup_list() on indexed

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

*mean*	7148.000-7149.000=-1.000
σ	0.000
min	7148.000-7149.000=-1.000
max	7148.000-7149.000=-1.000

*mean*	5090.331-5149.410=-59.079
σ	172.373-235.148=-62.776
min	4962.508-4992.325=-29.817
max	5381.260-5536.915=-155.655

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

*mean*	382.309-367.710=14.599
σ	19.092-34.911=-15.819
min	350.784-296.839=53.944
max	394.179-395.610=-1.431

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	561.000-560.000=1.000
σ	0.000
min	561.000-560.000=1.000
max	561.000-560.000=1.000

*mean*	704.380-757.134=-52.755
σ	73.371-32.943=40.427
min	591.987-679.104=-87.117
max	790.846-783.485=7.360

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.299-1024.301=-0.001
σ	0.759-0.759=0.000
min	1023.827-1023.824=0.002
max	1027.437-1027.438=-0.000

*mean*	1037.800-1040.300=-2.500
σ	301.078-300.142=0.937
min	562.000-553.000=9.000
max	1460.000-1461.000=-1.000

*mean*	1.536-1.560=-0.024
σ	0.068-0.081=-0.013
min	1.361-1.434=-0.072
max	1.642-1.793=-0.151

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.442-0.304=0.138
σ	0.625-0.292=0.333
min	0.132-0.148=-0.016
max	1.557-0.823=0.733

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.719-0.474=0.244
σ	0.292-0.310=-0.019
min	0.562-0.317=0.246
max	1.239-1.029=0.210

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.381-0.226=0.156
σ	0.041-0.019=0.022
min	0.356-0.215=0.141
max	0.451-0.259=0.192

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.584-0.329=0.255
σ	0.030-0.015=0.016
min	0.560-0.318=0.242
max	0.634-0.350=0.284

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.200-436.000=-0.800
σ	4.550-5.612=-1.063
min	431.000
max	440.000-442.000=-2.000

*mean*	0.608-0.556=0.052
σ	0.075-0.060=0.015
min	0.548-0.464=0.084
max	0.739-0.607=0.132

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

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

*mean*	0.463-0.482=-0.020
σ	0.032-0.051=-0.019
min	0.426-0.415=0.011
max	0.495-0.526=-0.030

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

*mean*	2.634-2.608=0.027
σ	0.123-0.078=0.045
min	2.457-2.487=-0.031
max	3.248-2.925=0.323

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

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

*mean*	2.605-2.607=-0.002
σ	0.094-0.088=0.006
min	2.428-2.481=-0.053
max	2.841-2.941=-0.099

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

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

*mean*	0.303-0.311=-0.007
σ	0.011-0.032=-0.021
min	0.286-0.292=-0.006
max	0.372-0.592=-0.220

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

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

*mean*	0.303-0.294=0.009
σ	0.070-0.012=0.058
min	0.274-0.279=-0.005
max	0.757-0.372=0.386

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.896-298.817=0.078
σ	1.002-1.060=-0.058
min	298.502-298.326=0.177
max	301.743-301.819=-0.076

*mean*	441.200-441.900=-0.700
σ	14.359-16.224=-1.865
min	418.000
max	467.000

*mean*	0.598-0.588=0.010
σ	0.024-0.026=-0.002
min	0.546-0.555=-0.008
max	0.621-0.624=-0.003

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*	1065.000
σ	33.941
min	981.000
max	1077.000

*mean*	204.754-208.211=-3.458
σ	2.560-2.982=-0.422
min	200.470-204.956=-4.486
max	208.766-213.612=-4.846

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1065.000
σ	33.941
min	981.000
max	1077.000

*mean*	10.272-9.185=1.087
σ	2.103-2.277=-0.174
min	6.365-6.474=-0.109
max	13.111-13.388=-0.277

phase=parser

*mean*	1042.363-1042.365=-0.002
σ	0.000-0.002=-0.001
min	1042.362-1042.362=0.001
max	1042.363-1042.366=-0.003

*mean*	1065.000
σ	33.941
min	981.000
max	1077.000

*mean*	534.641-589.264=-54.623
σ	108.425-125.625=-17.200
min	379.637-414.881=-35.244
max	708.169-838.264=-130.094

phase=processProdDef

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

*mean*	1077.000
σ	0.000
min	1077.000
max	1077.000

*mean*	4957.461-4832.985=124.476
σ	326.121-465.392=-139.271
min	4349.627-3792.804=556.824
max	5330.964-5273.250=57.713

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1065.000
σ	33.941
min	981.000
max	1077.000

*mean*	39.943-34.530=5.413
σ	8.042-11.184=-3.142
min	21.633-20.809=0.824
max	48.137-52.518=-4.382

phase=type checker

*mean*	990.450-990.453=-0.003
σ	0.071-0.072=-0.001
min	990.344
max	990.563-990.567=-0.004

*mean*	1065.000
σ	33.941
min	981.000
max	1077.000

*mean*	745.459-729.493=15.966
σ	82.410-105.160=-22.750
min	643.765-643.808=-0.043
max	894.559-910.180=-15.621

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.821-293.822=-0.001
σ	0.038-0.038=-0.000
min	293.768-293.769=-0.002
max	293.860-293.862=-0.001

*mean*	443.000-441.200=1.800
σ	0.000-1.643=-1.643
min	443.000-440.000=3.000
max	443.000

*mean*	0.400-0.394=0.006
σ	0.005-0.001=0.004
min	0.394-0.393=0.001
max	0.406-0.396=0.011

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.211-1320.221=-0.010
σ	0.047-0.030=0.017
min	1320.137-1320.173=-0.036
max	1320.257-1320.250=0.007

*mean*	1067.600-1080.400=-12.800
σ	164.483-177.820=-13.336
min	845.000-870.000=-25.000
max	1268.000-1313.000=-45.000

*mean*	2.249-2.214=0.035
σ	0.124-0.049=0.075
min	2.147-2.167=-0.020
max	2.456-2.282=0.174

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.617-1560.607=0.011
σ	6.226-6.209=0.017
min	1557.635-1557.637=-0.002
max	1571.750-1571.709=0.041

*mean*	619.600-611.600=8.000
σ	82.984-94.413=-11.429
min	494.000-497.000=-3.000
max	717.000-733.000=-16.000

*mean*	2.304-2.263=0.041
σ	0.188-0.076=0.113
min	2.181-2.186=-0.005
max	2.623-2.389=0.234

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.168-1882.173=-0.005
σ	0.056-0.066=-0.011
min	1882.105-1882.090=0.015
max	1882.241-1882.261=-0.021

*mean*	1708.600-1729.200=-20.600
σ	258.907-172.752=86.155
min	1396.000-1474.000=-78.000
max	2056.000-1880.000=176.000

*mean*	2.929-3.139=-0.210
σ	0.076-0.302=-0.226
min	2.842-2.880=-0.038
max	3.013-3.624=-0.611

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.841-1.672=0.169
σ	0.050-0.145=-0.095
min	1.755-1.527=0.228
max	1.874-1.840=0.034

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.082-452.079=0.003
σ	582.721-582.722=-0.001
min	160.720-160.713=0.006
max	1326.164-1326.162=0.002

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	441.000
σ	0.000
min	441.000
max	441.000

*mean*	0.541-0.538=0.003
σ	0.542-0.526=0.016
min	0.268-0.274=-0.006
max	1.354-1.326=0.027

policies=20

*mean*	1607.527-1607.508=0.020
σ	0.413-0.436=-0.024
min	1607.247-1607.226=0.021
max	1608.139-1608.157=-0.018

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	445.000-446.000=-1.000
σ	4.619-5.774=-1.155
min	441.000
max	449.000-451.000=-2.000

*mean*	2.694-2.710=-0.016
σ	0.017-0.008=0.010
min	2.677-2.703=-0.025
max	2.714-2.720=-0.006

policies=200

*mean*	16083.364-16083.462=-0.098
σ	0.167-0.175=-0.009
min	16083.200-16083.282=-0.083
max	16083.533-16083.693=-0.159

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	493.750-499.500=-5.750
σ	4.031-6.245=-2.214
min	489.000-492.000=-3.000
max	498.000-506.000=-8.000

*mean*	27.146-27.278=-0.133
σ	0.033-0.034=-0.001
min	27.115-27.236=-0.121
max	27.193-27.319=-0.126