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.676=0.002
σ	0.358-0.358=-0.000
min	54.546-54.538=0.007
max	55.695-55.694=0.001

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

*mean*	0.142-0.140=0.001
σ	0.006-0.004=0.002
min	0.134-0.136=-0.002
max	0.152-0.149=0.004

cache=y

dps=1

iters=10

policies=100

*mean*	43.704-43.704=0.000
σ	0.005-0.007=-0.003
min	43.698-43.695=0.003
max	43.713-43.719=-0.006

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

*mean*	0.123-0.124=-0.001
σ	0.005-0.005=0.000
min	0.116-0.120=-0.003
max	0.132-0.132=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*	3864.250-3861.625=2.625
σ	1829.879-1829.141=0.739
min	1278.000-1280.000=-2.000
max	6109.000-6108.000=1.000

*mean*	12.323-12.932=-0.608
σ	0.413-0.471=-0.059
min	11.815-12.516=-0.701
max	13.072-13.832=-0.760

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*	3864.250-3861.625=2.625
σ	1829.879-1829.141=0.739
min	1278.000-1280.000=-2.000
max	6109.000-6108.000=1.000

*mean*	12.355-12.775=-0.420
σ	0.399-0.498=-0.098
min	11.515-11.964=-0.449
max	12.814-13.351=-0.537

op=table_records(), no indexes

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

*mean*	6109.000-6108.000=1.000
σ	0.000
min	6109.000-6108.000=1.000
max	6109.000-6108.000=1.000

*mean*	14.768-15.267=-0.499
σ	0.577-0.395=0.182
min	14.175-14.442=-0.266
max	16.085-15.692=0.393

op=table_records(), repeat

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

*mean*	3864.250-3861.625=2.625
σ	1829.879-1829.141=0.739
min	1278.000-1280.000=-2.000
max	6109.000-6108.000=1.000

*mean*	12.364-14.028=-1.664
σ	2.031-1.630=0.401
min	9.886-11.628=-1.741
max	14.997-15.965=-0.968

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*	3864.250-3861.625=2.625
σ	1829.879-1829.141=0.739
min	1278.000-1280.000=-2.000
max	6109.000-6108.000=1.000

*mean*	8.347-9.152=-0.805
σ	0.359-0.879=-0.520
min	7.864-8.453=-0.589
max	8.886-11.185=-2.299

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

*mean*	26.402-26.401=0.000
σ	0.002-0.002=-0.000
min	26.400
max	26.404

*mean*	3864.250-3861.625=2.625
σ	1829.879-1829.141=0.739
min	1278.000-1280.000=-2.000
max	6109.000-6108.000=1.000

*mean*	6.369-7.148=-0.780
σ	0.182-0.803=-0.620
min	6.078-6.537=-0.459
max	6.596-9.027=-2.431

op=vertical_lookup_row_list() on 2 indexed

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

*mean*	3864.250-3861.625=2.625
σ	1829.879-1829.141=0.739
min	1278.000-1280.000=-2.000
max	6109.000-6108.000=1.000

*mean*	5.515-6.006=-0.491
σ	0.196-0.157=0.038
min	5.167-5.783=-0.616
max	5.820-6.207=-0.387

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*	3864.250-3861.625=2.625
σ	1829.879-1829.141=0.739
min	1278.000-1280.000=-2.000
max	6109.000-6108.000=1.000

*mean*	5.205-5.827=-0.623
σ	0.204-0.081=0.123
min	4.861-5.721=-0.861
max	5.484-5.935=-0.451

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.607-2524.606=0.001

*mean*	6109.000-6108.000=1.000
σ	0.000
min	6109.000-6108.000=1.000
max	6109.000-6108.000=1.000

*mean*	1336.520-1470.637=-134.117
σ	522.934-815.756=-292.823
min	1046.941-1034.395=12.546
max	2200.050-3128.722=-928.672

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

*mean*	3230.000-3227.125=2.875
σ	1828.246-1827.184=1.062
min	810.000-809.000=1.000
max	6109.000-6108.000=1.000

*mean*	3786.040-3695.730=90.310
σ	1256.258-1104.028=152.230
min	3104.329-3123.234=-18.905
max	6130.001-6064.483=65.518

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.000
max	62.081

*mean*	3864.250-3861.625=2.625
σ	1829.879-1829.141=0.739
min	1278.000-1280.000=-2.000
max	6109.000-6108.000=1.000

*mean*	80.771-86.775=-6.004
σ	7.396-15.309=-7.914
min	70.858-70.534=0.324
max	90.625-105.557=-14.932

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

*mean*	6109.000-6108.000=1.000
σ	0.000
min	6109.000-6108.000=1.000
max	6109.000-6108.000=1.000

*mean*	64.009-64.443=-0.434
σ	5.296-4.101=1.194
min	59.692-60.779=-1.087
max	71.814-71.560=0.254

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*	6109.000-6108.000=1.000
σ	0.000
min	6109.000-6108.000=1.000
max	6109.000-6108.000=1.000

*mean*	99.422-99.544=-0.122
σ	1.380-1.359=0.020
min	97.950-98.125=-0.174
max	102.380-102.483=-0.103

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.561-11847.562=-0.001
max	11859.806

*mean*	3864.250-3861.625=2.625
σ	1829.879-1829.141=0.739
min	1278.000-1280.000=-2.000
max	6109.000-6108.000=1.000

*mean*	6210.931-6323.123=-112.191
σ	1176.358-1348.460=-172.102
min	5017.526-5078.531=-61.004
max	7995.325-8396.204=-400.879

op=vertical_lookup_list() on indexed

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

*mean*	6109.000-6108.000=1.000
σ	0.000
min	6109.000-6108.000=1.000
max	6109.000-6108.000=1.000

*mean*	5211.747-5134.933=76.814
σ	1605.619-1472.721=132.898
min	4056.319-4069.862=-13.543
max	7449.103-7467.425=-18.322

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*	367.923-372.296=-4.373
σ	33.445-32.683=0.762
min	296.795-297.658=-0.864
max	396.414-391.152=5.262

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	562.000-559.500=2.500
σ	0.000-2.070=-2.070
min	562.000-557.000=5.000
max	562.000-561.000=1.000

*mean*	732.164-680.205=51.959
σ	60.439-64.852=-4.413
min	640.270-597.657=42.613
max	803.280-775.058=28.222

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.328-1024.328=0.000
σ	0.760-0.758=0.001
min	1023.855-1023.855=-0.000
max	1027.470-1027.465=0.005

*mean*	1051.250-1055.100=-3.850
σ	319.130-317.933=1.197
min	546.000-592.000=-46.000
max	1565.000-1528.000=37.000

*mean*	1.555-1.577=-0.022
σ	0.089-0.081=0.008
min	1.475-1.496=-0.021
max	1.815-1.786=0.029

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.492-0.386=0.106
σ	0.423-0.484=-0.062
min	0.238-0.140=0.098
max	1.225-1.250=-0.024

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.836-0.485=0.351
σ	0.534-0.317=0.216
min	0.577-0.319=0.258
max	1.789-1.051=0.738

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.384-0.217=0.167
σ	0.037-0.023=0.014
min	0.351-0.196=0.155
max	0.442-0.257=0.185

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.590-0.326=0.264
σ	0.028-0.020=0.008
min	0.566-0.307=0.259
max	0.638-0.359=0.279

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-431.000=4.200
σ	4.550-0.000=4.550
min	431.000
max	440.000-431.000=9.000

*mean*	0.735-0.528=0.207
σ	0.033-0.049=-0.015
min	0.679-0.481=0.198
max	0.759-0.603=0.156

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	440.000-431.000=9.000
σ	0.000
min	440.000-431.000=9.000
max	440.000-431.000=9.000

*mean*	0.612-0.482=0.130
σ	0.036-0.037=-0.000
min	0.555-0.444=0.110
max	0.643-0.529=0.114

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-431.000=9.000
σ	0.000
min	440.000-431.000=9.000
max	440.000-431.000=9.000

*mean*	2.730-2.589=0.141
σ	0.086-0.088=-0.002
min	2.558-2.449=0.109
max	3.083-2.843=0.240

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	440.000-431.000=9.000
σ	0.000
min	440.000-431.000=9.000
max	440.000-431.000=9.000

*mean*	3.258-2.550=0.708
σ	0.375-0.066=0.309
min	2.640-2.420=0.220
max	3.767-2.844=0.922

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	440.000-431.000=9.000
σ	0.000
min	440.000-431.000=9.000
max	440.000-431.000=9.000

*mean*	0.547-0.308=0.239
σ	0.014-0.044=-0.030
min	0.526-0.286=0.240
max	0.635-0.731=-0.096

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	440.000-431.000=9.000
σ	0.000
min	440.000-431.000=9.000
max	440.000-431.000=9.000

*mean*	0.305-0.293=0.012
σ	0.051-0.010=0.041
min	0.283-0.279=0.004
max	0.593-0.337=0.255

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.868-298.835=0.033
σ	1.054-1.016=0.039
min	298.433-298.416=0.017
max	301.864-301.723=0.141

*mean*	445.500-442.500=3.000
σ	16.188-14.714=1.474
min	426.000-420.000=6.000
max	470.000-466.000=4.000

*mean*	0.594-0.598=-0.004
σ	0.027-0.030=-0.004
min	0.549-0.551=-0.001
max	0.644-0.645=-0.000

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*	1950.375-1947.500=2.875
σ	61.165-60.811=0.354
min	1799.000-1797.000=2.000
max	1972.000-1969.000=3.000

*mean*	210.995-212.047=-1.053
σ	3.535-2.719=0.816
min	205.405-208.635=-3.230
max	214.600-217.239=-2.639

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1950.375-1947.500=2.875
σ	61.165-60.811=0.354
min	1799.000-1797.000=2.000
max	1972.000-1969.000=3.000

*mean*	10.241-11.709=-1.469
σ	2.307-1.428=0.879
min	7.407-9.556=-2.148
max	13.078-12.754=0.324

phase=parser

*mean*	1042.361-1042.361=0.000
σ	0.000-0.000=-0.000
min	1042.361-1042.360=0.000
max	1042.361

*mean*	1950.375-1947.500=2.875
σ	61.165-60.811=0.354
min	1799.000-1797.000=2.000
max	1972.000-1969.000=3.000

*mean*	605.236-662.279=-57.043
σ	94.527-95.651=-1.124
min	422.007-490.823=-68.816
max	726.936-736.249=-9.313

phase=processProdDef

*mean*	4753.279
σ	0.000
min	4753.279
max	4753.280

*mean*	1972.000-1969.000=3.000
σ	0.000
min	1972.000-1969.000=3.000
max	1972.000-1969.000=3.000

*mean*	4268.047-4064.179=203.868
σ	761.839-705.249=56.590
min	2991.023-2955.878=35.144
max	5329.112-5463.204=-134.092

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1950.375-1947.500=2.875
σ	61.165-60.811=0.354
min	1799.000-1797.000=2.000
max	1972.000-1969.000=3.000

*mean*	41.365-44.580=-3.216
σ	10.081-4.973=5.108
min	26.491-34.589=-8.098
max	52.066-48.662=3.405

phase=type checker

*mean*	990.450
σ	0.071
min	990.344
max	990.563

*mean*	1950.375-1947.500=2.875
σ	61.165-60.811=0.354
min	1799.000-1797.000=2.000
max	1972.000-1969.000=3.000

*mean*	750.450-816.738=-66.287
σ	81.630-78.060=3.570
min	658.395-694.469=-36.074
max	906.566-913.954=-7.388

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.918-293.916=0.002
σ	0.038-0.039=-0.001
min	293.864-293.864=0.000
max	293.957-293.956=0.001

*mean*	445.800-445.000=0.800
σ	1.095-0.000=1.095
min	445.000
max	447.000-445.000=2.000

*mean*	0.397-0.398=-0.002
σ	0.004-0.011=-0.007
min	0.392-0.392=0.000
max	0.403-0.418=-0.015

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.302-1320.297=0.005
σ	0.033-0.032=0.001
min	1320.259-1320.266=-0.006
max	1320.337-1320.333=0.004

*mean*	1110.400-1089.200=21.200
σ	167.473-167.847=-0.374
min	897.000-890.000=7.000
max	1320.000

*mean*	2.231-2.274=-0.043
σ	0.063-0.102=-0.039
min	2.157-2.169=-0.012
max	2.300-2.414=-0.113

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.456-1559.460=-0.004
σ	3.375-3.371=0.003
min	1557.779-1557.784=-0.005
max	1565.487-1565.485=0.002

*mean*	623.400-624.800=-1.400
σ	90.489-91.056=-0.567
min	508.000-509.000=-1.000
max	728.000-729.000=-1.000

*mean*	2.371-2.358=0.013
σ	0.217-0.204=0.012
min	2.158-2.180=-0.023
max	2.643-2.590=0.053

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.262-1882.269=-0.007
σ	0.058-0.064=-0.006
min	1882.181-1882.190=-0.009
max	1882.333-1882.351=-0.018

*mean*	1753.800-1725.400=28.400
σ	213.965-182.585=31.380
min	1468.000-1470.000=-2.000
max	1956.000-1895.000=61.000

*mean*	3.303-3.140=0.162
σ	0.345-0.281=0.064
min	2.909-2.898=0.010
max	3.739-3.622=0.118

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.748-1.617=0.131
σ	0.110-0.179=-0.069
min	1.625-1.361=0.264
max	1.902-1.855=0.047

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.410-452.411=-0.001
σ	583.278-583.278=0.000
min	160.769-160.770=-0.001
max	1327.328-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.547-0.536=0.010
σ	0.554-0.532=0.023
min	0.267-0.266=0.000
max	1.378-1.334=0.045

policies=20

*mean*	1608.031-1608.036=-0.005
σ	0.410-0.401=0.009
min	1607.746-1607.758=-0.012
max	1608.636-1608.629=0.007

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	447.750-448.500=-0.750
σ	2.500-3.000=-0.500
min	444.000
max	449.000-450.000=-1.000

*mean*	2.685-2.680=0.004
σ	0.007-0.014=-0.008
min	2.677-2.665=0.012
max	2.693-2.699=-0.006

policies=200

*mean*	16088.604-16088.558=0.046
σ	0.085-0.043=0.042
min	16088.542-16088.528=0.014
max	16088.729-16088.621=0.108

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	497.250-498.250=-1.000
σ	4.272-4.113=0.159
min	492.000-493.000=-1.000
max	502.000

*mean*	27.295-27.194=0.100
σ	0.051-0.047=0.003
min	27.228-27.149=0.079
max	27.350-27.253=0.098