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.001
σ	0.356-0.359=-0.003
min	54.540-54.538=0.002
max	55.689-55.697=-0.008

*mean*	415.000
σ	0.000
min	415.000
max	415.000

*mean*	0.140-0.143=-0.002
σ	0.005-0.004=0.000
min	0.135-0.137=-0.002
max	0.149-0.149=-0.000

cache=y

dps=1

iters=10

policies=100

*mean*	43.704-43.705=-0.001
σ	0.007-0.006=0.001
min	43.693-43.695=-0.002
max	43.717-43.715=0.001

*mean*	415.000
σ	0.000
min	415.000
max	415.000

*mean*	0.123-0.124=-0.001
σ	0.004-0.004=-0.000
min	0.119-0.121=-0.002
max	0.132-0.131=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*	3888.250-3876.750=11.500
σ	1859.322-1849.639=9.683
min	1280.000
max	6182.000-6166.000=16.000

*mean*	13.504-12.864=0.640
σ	1.769-0.275=1.494
min	12.495-12.412=0.082
max	17.798-13.314=4.484

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

*mean*	3888.250-3876.750=11.500
σ	1859.322-1849.639=9.683
min	1280.000
max	6182.000-6166.000=16.000

*mean*	13.418-12.685=0.733
σ	1.644-0.614=1.029
min	11.961-11.977=-0.016
max	17.226-13.547=3.679

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.933=-0.000

*mean*	6182.000-6166.000=16.000
σ	0.000
min	6182.000-6166.000=16.000
max	6182.000-6166.000=16.000

*mean*	14.931-14.719=0.212
σ	1.221-0.294=0.927
min	13.637-14.137=-0.499
max	17.767-15.124=2.644

op=table_records(), repeat

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

*mean*	3739.625-3876.750=-137.125
σ	1832.400-1849.639=-17.239
min	1280.000
max	6182.000-6166.000=16.000

*mean*	12.946-12.926=0.020
σ	1.253-1.565=-0.312
min	10.540-10.713=-0.173
max	14.240-15.002=-0.763

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*	3739.625-3876.750=-137.125
σ	1832.400-1849.639=-17.239
min	1280.000
max	6182.000-6166.000=16.000

*mean*	8.653-8.384=0.269
σ	0.315-0.264=0.051
min	8.112-7.886=0.226
max	9.054-8.698=0.356

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

*mean*	26.401
σ	0.002
min	26.400
max	26.404

*mean*	3739.625-3876.750=-137.125
σ	1832.400-1849.639=-17.239
min	1280.000
max	6182.000-6166.000=16.000

*mean*	6.693-6.053=0.640
σ	0.249-0.198=0.051
min	6.196-5.807=0.389
max	7.071-6.366=0.705

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*	3888.250-3876.750=11.500
σ	1859.322-1849.639=9.683
min	1280.000
max	6182.000-6166.000=16.000

*mean*	5.721-5.531=0.190
σ	0.413-0.115=0.297
min	5.500-5.368=0.132
max	6.732-5.777=0.955

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*	3888.250-3876.750=11.500
σ	1859.322-1849.639=9.683
min	1280.000
max	6182.000-6166.000=16.000

*mean*	5.474-5.222=0.252
σ	0.417-0.203=0.215
min	5.197-4.954=0.243
max	6.487-5.442=1.044

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*	6182.000-6166.000=16.000
σ	0.000
min	6182.000-6166.000=16.000
max	6182.000-6166.000=16.000

*mean*	1310.578-1347.399=-36.820
σ	498.420-564.767=-66.347
min	1033.299-1038.544=-5.245
max	2211.400-2367.772=-156.372

op=load_product(), with indexes

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

*mean*	3244.250-3234.875=9.375
σ	1851.569-1840.764=10.805
min	809.000
max	6182.000-6166.000=16.000

*mean*	3738.117-3762.188=-24.071
σ	1056.406-1220.287=-163.881
min	3095.193-3095.657=-0.464
max	5771.428-5958.721=-187.294

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.081-62.080=0.001

*mean*	3888.250-3876.750=11.500
σ	1859.322-1849.639=9.683
min	1280.000
max	6182.000-6166.000=16.000

*mean*	190.164-86.598=103.566
σ	287.299-10.658=276.641
min	75.459-75.961=-0.502
max	900.487-104.993=795.495

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*	6182.000-6166.000=16.000
σ	0.000
min	6182.000-6166.000=16.000
max	6182.000-6166.000=16.000

*mean*	63.098-65.451=-2.353
σ	4.408-4.305=0.103
min	60.288-61.260=-0.972
max	73.503-70.263=3.240

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

*mean*	6182.000-6166.000=16.000
σ	0.000
min	6182.000-6166.000=16.000
max	6182.000-6166.000=16.000

*mean*	100.464-99.929=0.536
σ	1.364-1.224=0.141
min	98.907-98.774=0.133
max	102.750-102.180=0.570

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	3739.625-3876.750=-137.125
σ	1832.400-1849.639=-17.239
min	1280.000
max	6182.000-6166.000=16.000

*mean*	6211.153-6478.518=-267.366
σ	1411.615-1299.331=112.284
min	5045.706-5090.831=-45.126
max	8445.340-8224.952=220.388

op=vertical_lookup_list() on indexed

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

*mean*	6182.000-6166.000=16.000
σ	0.000
min	6182.000-6166.000=16.000
max	6182.000-6166.000=16.000

*mean*	4992.673-5531.429=-538.756
σ	1364.717-1592.347=-227.630
min	4062.839-4065.959=-3.121
max	7201.764-7465.482=-263.718

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*	369.647-384.231=-14.585
σ	33.739-16.258=17.481
min	300.504-354.057=-53.553
max	394.973-395.920=-0.947

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

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

*mean*	729.789-744.486=-14.697
σ	77.512-41.240=36.272
min	624.681-671.513=-46.832
max	796.623-776.224=20.398

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.000
min	1023.851-1023.853=-0.002
max	1027.464-1027.466=-0.002

*mean*	1053.750-1055.850=-2.100
σ	316.940-318.844=-1.904
min	592.000
max	1526.000-1531.000=-5.000

*mean*	1.574-1.586=-0.011
σ	0.081-0.087=-0.006
min	1.502-1.485=0.017
max	1.767-1.787=-0.020

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.293-0.294=-0.001
σ	0.285-0.294=-0.009
min	0.140-0.141=-0.001
max	0.800-0.818=-0.018

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.474=-0.000
σ	0.324-0.312=0.012
min	0.317-0.318=-0.001
max	1.053-1.031=0.022

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.218-0.217=0.001
σ	0.023-0.019=0.004
min	0.197-0.203=-0.006
max	0.257-0.250=0.006

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.327=0.004
σ	0.017-0.014=0.003
min	0.318-0.314=0.004
max	0.360-0.349=0.011

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-435.600=-4.000
σ	1.342-5.079=-3.738
min	431.000
max	434.000-441.000=-7.000

*mean*	0.570-0.535=0.035
σ	0.029-0.060=-0.031
min	0.521-0.440=0.081
max	0.593-0.597=-0.003

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	440.000-441.000=-1.000
σ	0.000
min	440.000-441.000=-1.000
max	440.000-441.000=-1.000

*mean*	0.506-0.456=0.050
σ	0.034-0.033=0.000
min	0.448-0.415=0.033
max	0.528-0.500=0.029

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-441.000=-1.000
σ	0.000
min	440.000-441.000=-1.000
max	440.000-441.000=-1.000

*mean*	1.894-2.635=-0.741
σ	0.097-0.092=0.005
min	1.730-2.490=-0.759
max	2.179-3.052=-0.874

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	440.000-441.000=-1.000
σ	0.000
min	440.000-441.000=-1.000
max	440.000-441.000=-1.000

*mean*	1.951-1.952=-0.002
σ	0.063-0.201=-0.138
min	1.838-1.743=0.095
max	2.201-2.788=-0.587

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	440.000-441.000=-1.000
σ	0.000
min	440.000-441.000=-1.000
max	440.000-441.000=-1.000

*mean*	0.308-0.304=0.004
σ	0.009-0.012=-0.004
min	0.293-0.289=0.004
max	0.352-0.386=-0.034

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	440.000-441.000=-1.000
σ	0.000
min	440.000-441.000=-1.000
max	440.000-441.000=-1.000

*mean*	0.304-0.289=0.015
σ	0.040-0.007=0.033
min	0.283-0.272=0.011
max	0.689-0.320=0.369

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.774-298.612=0.162
σ	1.028-1.043=-0.016
min	298.349-298.207=0.141
max	301.692-301.576=0.116

*mean*	447.600-442.100=5.500
σ	16.860-14.625=2.236
min	427.000-425.000=2.000
max	472.000-465.000=7.000

*mean*	0.590-0.601=-0.011
σ	0.027-0.033=-0.007
min	0.548-0.524=0.025
max	0.637-0.647=-0.010

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*	1689.625-1685.000=4.625
σ	3.889-0.000=3.889
min	1680.000-1685.000=-5.000
max	1691.000-1685.000=6.000

*mean*	217.826-214.637=3.190
σ	3.851-3.170=0.681
min	213.907-209.345=4.561
max	226.150-217.905=8.245

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1689.625-1685.000=4.625
σ	3.889-0.000=3.889
min	1680.000-1685.000=-5.000
max	1691.000-1685.000=6.000

*mean*	10.626-10.943=-0.317
σ	1.417-1.558=-0.141
min	9.583-9.489=0.094
max	12.864-12.824=0.040

phase=parser

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

*mean*	1689.625-1685.000=4.625
σ	3.889-0.000=3.889
min	1680.000-1685.000=-5.000
max	1691.000-1685.000=6.000

*mean*	645.762-680.695=-34.933
σ	71.336-60.309=11.027
min	575.848-599.152=-23.304
max	737.974-727.615=10.360

phase=processProdDef

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

*mean*	1691.000-1685.000=6.000
σ	0.000
min	1691.000-1685.000=6.000
max	1691.000-1685.000=6.000

*mean*	4272.246-4271.530=0.716
σ	703.089-608.110=94.979
min	3356.445-3450.638=-94.193
max	5648.487-5073.181=575.305

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1689.625-1685.000=4.625
σ	3.889-0.000=3.889
min	1680.000-1685.000=-5.000
max	1691.000-1685.000=6.000

*mean*	40.432-40.786=-0.353
σ	5.695-6.889=-1.194
min	30.677-29.854=0.823
max	47.812-47.897=-0.084

phase=type checker

*mean*	990.454
σ	0.071
min	990.348
max	990.567

*mean*	1689.625-1685.000=4.625
σ	3.889-0.000=3.889
min	1680.000-1685.000=-5.000
max	1691.000-1685.000=6.000

*mean*	764.425-788.843=-24.418
σ	109.653-108.073=1.581
min	660.175-673.828=-13.653
max	953.823-903.411=50.412

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.918-293.917=0.001
σ	0.038-0.039=-0.001
min	293.864-293.865=-0.001
max	293.957-293.958=-0.001

*mean*	445.000-444.000=1.000
σ	0.000
min	445.000-444.000=1.000
max	445.000-444.000=1.000

*mean*	0.401-0.402=-0.001
σ	0.011-0.009=0.002
min	0.392-0.394=-0.003
max	0.413-0.415=-0.002

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.284-1320.305=-0.021
σ	0.062-0.041=0.021
min	1320.211-1320.253=-0.042
max	1320.353-1320.349=0.003

*mean*	1106.200-1085.200=21.000
σ	169.612-164.282=5.330
min	895.000-888.000=7.000
max	1328.000-1308.000=20.000

*mean*	2.225-2.364=-0.138
σ	0.124-0.160=-0.036
min	2.033-2.182=-0.149
max	2.347-2.575=-0.228

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.468-1559.491=-0.023
σ	3.379-3.414=-0.035
min	1557.805-1557.812=-0.007
max	1565.508-1565.593=-0.085

*mean*	623.800-627.200=-3.400
σ	87.345-90.123=-2.778
min	514.000-504.000=10.000
max	725.000-729.000=-4.000

*mean*	2.440-2.470=-0.030
σ	0.293-0.325=-0.033
min	2.129-2.196=-0.067
max	2.777-2.984=-0.207

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.275-1882.263=0.012
σ	0.061-0.062=-0.001
min	1882.209-1882.180=0.028
max	1882.345-1882.347=-0.002

*mean*	1746.400-1721.600=24.800
σ	210.323-168.340=41.983
min	1476.000-1477.000=-1.000
max	1947.000-1876.000=71.000

*mean*	3.282-3.100=0.182
σ	0.377-0.242=0.135
min	2.934-2.958=-0.024
max	3.789-3.529=0.260

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.630-1.804=-0.174
σ	0.149-0.083=0.066
min	1.414-1.709=-0.295
max	1.830-1.879=-0.049

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.409-452.410=-0.001
σ	583.277-583.278=-0.001
min	160.768-160.766=0.003
max	1327.324-1327.327=-0.003

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	0.549-0.532=0.017
σ	0.559-0.524=0.035
min	0.267-0.270=-0.002
max	1.387-1.317=0.069

policies=20

*mean*	1608.021-1608.021=-0.000
σ	0.409-0.404=0.004
min	1607.741-1607.744=-0.003
max	1608.626-1608.619=0.007

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	445.750-445.000=0.750
σ	2.500-2.000=0.500
min	442.000
max	447.000-446.000=1.000

*mean*	2.709-2.686=0.023
σ	0.017-0.027=-0.010
min	2.686-2.660=0.026
max	2.726-2.712=0.014

policies=200

*mean*	16088.602-16088.576=0.026
σ	0.129-0.132=-0.003
min	16088.498-16088.420=0.078
max	16088.782-16088.738=0.045

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	496.500-497.000=-0.500
σ	5.066-4.397=0.669
min	490.000-492.000=-2.000
max	501.000-502.000=-1.000

*mean*	27.219-27.263=-0.043
σ	0.056-0.073=-0.017
min	27.142-27.167=-0.025
max	27.274-27.342=-0.067