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*	447.664-558.664=-111.000
σ	0.000
min	447.664-558.664=-111.000
max	447.664-558.664=-111.000

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.881=-0.001
σ	0.359-0.359=-0.000
min	54.742-54.748=-0.006
max	55.902-55.903=-0.001

*mean*	421.400-418.000=3.400
σ	0.966-0.000=0.966
min	420.000-418.000=2.000
max	422.000-418.000=4.000

*mean*	0.140-0.140=0.000
σ	0.004-0.006=-0.002
min	0.137-0.132=0.004
max	0.148-0.150=-0.002

cache=y

dps=1

iters=10

policies=100

*mean*	43.849-43.850=-0.000
σ	0.006-0.006=-0.000
min	43.838-43.839=-0.001
max	43.856-43.861=-0.005

*mean*	422.000-418.000=4.000
σ	0.000
min	422.000-418.000=4.000
max	422.000-418.000=4.000

*mean*	0.124-0.125=-0.001
σ	0.004-0.003=0.001
min	0.121-0.122=-0.002
max	0.133-0.131=0.002

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

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

*mean*	4429.000-4042.125=386.875
σ	2225.476-2009.987=215.489
min	1483.000-1218.000=265.000
max	7406.000-7154.000=252.000

*mean*	13.196-13.092=0.104
σ	2.374-0.516=1.858
min	11.975-12.558=-0.583
max	18.960-14.216=4.744

op=column_set() on indexed, repeat

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

*mean*	4608.500-4042.125=566.375
σ	2256.622-2009.987=246.635
min	1483.000-1218.000=265.000
max	7406.000-7154.000=252.000

*mean*	167.160-13.289=153.870
σ	434.850-0.266=434.584
min	11.546-12.937=-1.391
max	1243.345-13.624=1229.721

op=table_records(), no indexes

*mean*	41.947-41.930=0.018
σ	0.002-0.002=0.000
min	41.945-41.928=0.017
max	41.950-41.933=0.016

*mean*	7406.000-7154.000=252.000
σ	0.000
min	7406.000-7154.000=252.000
max	7406.000-7154.000=252.000

*mean*	11.023-15.078=-4.056
σ	0.115-0.160=-0.045
min	10.812-14.802=-3.989
max	11.193-15.336=-4.142

op=table_records(), repeat

*mean*	41.933-41.929=0.003
σ	0.000-0.002=-0.002
min	41.932-41.927=0.005
max	41.933-41.932=0.001

*mean*	4200.375-4042.125=158.250
σ	1953.255-2009.987=-56.732
min	1483.000-1218.000=265.000
max	7406.000-7154.000=252.000

*mean*	11.486-13.920=-2.434
σ	1.340-1.840=-0.500
min	10.797-11.011=-0.214
max	14.774-15.626=-0.853

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

*mean*	27.653-27.654=-0.001
σ	0.137-0.136=0.000
min	27.604-27.604=0.000
max	27.991-27.991=0.000

*mean*	4200.375-4042.125=158.250
σ	1953.255-2009.987=-56.732
min	1483.000-1218.000=265.000
max	7406.000-7154.000=252.000

*mean*	8.763-9.636=-0.873
σ	0.581-1.255=-0.675
min	8.055-8.850=-0.795
max	10.012-12.584=-2.572

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

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

*mean*	4200.375-4042.125=158.250
σ	1953.255-2009.987=-56.732
min	1483.000-1218.000=265.000
max	7406.000-7154.000=252.000

*mean*	6.896-7.258=-0.362
σ	0.514-1.292=-0.777
min	6.314-6.132=0.182
max	7.998-10.305=-2.307

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.679-25.668=0.011
σ	0.003-0.004=-0.001
min	25.678-25.665=0.012
max	25.686-25.678=0.009

*mean*	4608.500-4042.125=566.375
σ	2256.622-2009.987=246.635
min	1483.000-1218.000=265.000
max	7406.000-7154.000=252.000

*mean*	6.628-6.038=0.590
σ	1.081-0.118=0.963
min	5.909-5.831=0.078
max	9.048-6.181=2.866

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.982-25.970=0.012
σ	0.000-0.002=-0.001
min	25.982-25.969=0.013
max	25.983-25.972=0.011

*mean*	4608.500-4042.125=566.375
σ	2256.622-2009.987=246.635
min	1483.000-1218.000=265.000
max	7406.000-7154.000=252.000

*mean*	6.403-5.892=0.511
σ	1.111-0.186=0.924
min	5.778-5.713=0.065
max	8.948-6.328=2.619

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.614-1021.613=0.001
σ	0.002-0.002=0.000
min	1021.612-1021.612=0.000
max	1021.617-1021.616=0.001

*mean*	7406.000-7154.000=252.000
σ	0.000
min	7406.000-7154.000=252.000
max	7406.000-7154.000=252.000

*mean*	350.151-361.545=-11.393
σ	2.533-42.122=-39.589
min	346.481-343.378=3.103
max	352.751-465.525=-112.774

op=load_product(), with indexes

*mean*	3495.866-7917.793=-4421.927
σ	0.469-0.469=-0.000
min	3495.700-7917.624=-4421.925
max	3497.025-7918.954=-4421.928

*mean*	3772.750-3272.500=500.250
σ	2310.010-1823.786=486.224
min	720.000-810.000=-90.000
max	7406.000-5621.000=1785.000

*mean*	1796.714-3620.502=-1823.789
σ	670.759-1104.269=-433.510
min	1397.500-3070.327=-1672.827
max	2977.810-6182.075=-3204.265

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.077
σ	0.002
min	62.076
max	62.080

*mean*	4042.125
σ	2009.987
min	1218.000
max	7154.000

*mean*	88.889
σ	19.674
min	71.136
max	122.145

op=column_set() on unindexed, dense, minor warmup

*mean*	107.853
σ	0.000
min	107.852
max	107.853

*mean*	4200.375
σ	1953.255
min	1483.000
max	7406.000

*mean*	134.659
σ	10.344
min	125.356
max	158.704

op=column_set() on unindexed, dense, repeat

*mean*	62.081
σ	0.001
min	62.080
max	62.084

*mean*	4429.000
σ	2225.476
min	1483.000
max	7406.000

*mean*	164.687
σ	342.355
min	41.777
max	1011.964

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7154.000
σ	0.000
min	7154.000
max	7154.000

*mean*	61.638
σ	1.086
min	60.582
max	64.027

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.949

*mean*	7406.000
σ	0.000
min	7406.000
max	7406.000

*mean*	74.387
σ	147.012
min	21.496
max	438.208

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.307-66.688=4.619
σ	0.002-0.002=-0.001
min	71.305-66.686=4.619
max	71.310-66.691=4.619

*mean*	7406.000-7154.000=252.000
σ	0.000
min	7406.000-7154.000=252.000
max	7406.000-7154.000=252.000

*mean*	58.948-268.025=-209.077
σ	6.541-371.556=-365.014
min	55.782-98.450=-42.669
max	75.045-1150.573=-1075.528

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.849-14217.171=-9570.322
σ	0.013-4.303=-4.290
min	4646.844-14215.576=-9568.732
max	4646.882-14227.820=-9580.938

*mean*	4200.375-4042.125=158.250
σ	1953.255-2009.987=-56.732
min	1483.000-1218.000=265.000
max	7406.000-7154.000=252.000

*mean*	3307.264-8038.435=-4731.171
σ	706.389-1961.053=-1254.664
min	2528.485-5977.666=-3449.181
max	4261.279-10943.169=-6681.890

op=vertical_lookup_list() on indexed

*mean*	1973.849-13159.108=-11185.260
σ	0.002-0.002=0.000
min	1973.847-13159.106=-11185.259
max	1973.851-13159.110=-11185.259

*mean*	7406.000-7154.000=252.000
σ	0.000
min	7406.000-7154.000=252.000
max	7406.000-7154.000=252.000

*mean*	1030.923-5272.488=-4241.564
σ	200.866-646.114=-445.248
min	936.401-4964.340=-4027.939
max	1516.450-6819.033=-5302.583

op=vertical_lookup_list() on unindexed missing Int, minor warmup

*mean*	905.103
σ	0.002
min	905.101
max	905.106

*mean*	7406.000
σ	0.000
min	7406.000
max	7406.000

*mean*	405.026
σ	42.658
min	377.201
max	509.732

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	148.144-172.559=-24.414
σ	0.001
min	148.144-172.558=-24.414
max	148.148-172.562=-24.414

*mean*	476.750-477.000=-0.250
σ	2.188-0.000=2.188
min	475.000-477.000=-2.000
max	480.000-477.000=3.000

*mean*	381.713-364.488=17.224
σ	30.425-30.867=-0.442
min	321.177-301.170=20.007
max	430.649-389.191=41.458

op=pointedIndexFromKvs

rows=400000

*mean*	308.493-357.322=-48.828
σ	0.001
min	308.493-357.321=-48.828
max	308.497-357.325=-48.828

*mean*	562.375-560.000=2.375
σ	3.623-0.000=3.623
min	558.000-560.000=-2.000
max	565.000-560.000=5.000

*mean*	750.531-757.741=-7.210
σ	80.100-52.144=27.956
min	619.893-632.068=-12.175
max	838.710-797.583=41.127

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.566-1024.297=0.268
σ	0.759-0.759=0.000
min	1024.095-1023.822=0.273
max	1027.704-1027.435=0.269

*mean*	1050.600-1050.150=0.450
σ	312.741-314.003=-1.262
min	594.000-574.000=20.000
max	1515.000-1514.000=1.000

*mean*	1.400-1.577=-0.177
σ	0.077-0.079=-0.002
min	1.319-1.507=-0.188
max	1.589-1.799=-0.210

Parser: Comma Sep

Factor

allocated MiB

peak allocated MiB

time (ms)

name=ambiguous_item.art

*mean*	0.913-0.913=0.000
σ	0.020
min	0.903-0.903=0.000
max	0.949-0.949=0.000

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.304-0.477=-0.173
σ	0.283-0.495=-0.212
min	0.144-0.248=-0.103
max	0.807-1.363=-0.556

name=error_case.art

*mean*	2.340-2.339=0.001
σ	0.012
min	2.334-2.333=0.001
max	2.362-2.361=0.001

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.480-0.839=-0.358
σ	0.325-0.530=-0.204
min	0.326-0.583=-0.257
max	1.062-1.785=-0.723

name=heavy_item.art

*mean*	1.523-1.522=0.000
σ	0.002
min	1.521-1.521=0.000
max	1.525-1.525=0.000

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.219-0.385=-0.165
σ	0.020-0.042=-0.022
min	0.204-0.354=-0.150
max	0.253-0.454=-0.201

name=nested_use.art

*mean*	2.358-2.357=0.001
σ	0.002
min	2.357-2.356=0.001
max	2.361-2.360=0.001

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.341-0.566=-0.225
σ	0.022-0.079=-0.057
min	0.324-0.431=-0.107
max	0.380-0.640=-0.260

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	965.024-964.840=0.183
σ	0.011
min	965.018-964.835=0.183
max	965.042-964.859=0.183

*mean*	431.000-437.000=-6.000
σ	0.000-6.595=-6.595
min	431.000
max	431.000-444.000=-13.000

*mean*	0.558-0.704=-0.146
σ	0.062-0.051=0.011
min	0.487-0.627=-0.140
max	0.612-0.752=-0.140

name=cdr_enhanced_4k_loc.art

*mean*	885.928-885.820=0.107
σ	0.002
min	885.926-885.819=0.107
max	885.930-885.823=0.107

*mean*	431.000-444.000=-13.000
σ	0.000
min	431.000-444.000=-13.000
max	431.000-444.000=-13.000

*mean*	0.502-0.623=-0.121
σ	0.024-0.029=-0.005
min	0.466-0.578=-0.113
max	0.521-0.650=-0.129

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.710-7.709=0.001
σ	0.002
min	7.709-7.708=0.001
max	7.713-7.712=0.001

*mean*	431.000-444.000=-13.000
σ	0.000
min	431.000-444.000=-13.000
max	431.000-444.000=-13.000

*mean*	2.579-3.512=-0.934
σ	0.251-0.077=0.174
min	1.952-3.398=-1.447
max	3.020-3.886=-0.866

name=record_render_large_syntax_err.art

*mean*	7.658-7.657=0.001
σ	0.002
min	7.657-7.656=0.001
max	7.661-7.660=0.001

*mean*	431.000-444.000=-13.000
σ	0.000
min	431.000-444.000=-13.000
max	431.000-444.000=-13.000

*mean*	2.619-3.487=-0.868
σ	0.067-0.063=0.004
min	2.454-3.361=-0.907
max	2.764-3.778=-1.014

name=record_render_success.art

*mean*	2.290-2.289=0.000
σ	0.002
min	2.289-2.289=0.000
max	2.293-2.293=0.000

*mean*	431.000-444.000=-13.000
σ	0.000
min	431.000-444.000=-13.000
max	431.000-444.000=-13.000

*mean*	0.308-0.543=-0.235
σ	0.010-0.014=-0.004
min	0.290-0.520=-0.230
max	0.360-0.635=-0.275

name=record_render_syntax_err.art

*mean*	2.165-2.165=0.000
σ	0.002
min	2.164-2.164=0.000
max	2.168-2.168=0.000

*mean*	431.000-444.000=-13.000
σ	0.000
min	431.000-444.000=-13.000
max	431.000-444.000=-13.000

*mean*	0.300-0.512=-0.212
σ	0.041-0.011=0.030
min	0.277-0.493=-0.216
max	0.696-0.565=0.131

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.929-11.398=0.531
σ	12.303-12.035=0.268
min	0.574-0.574=-0.000
max	117.262-134.669=-17.407

*mean*	455.433-464.126=-8.693
σ	17.748-18.590=-0.841
min	406.000
max	474.000-478.000=-4.000

*mean*	0.027-0.026=0.001
σ	0.030-0.030=0.001
min	0.001-0.001=0.000
max	0.285-0.315=-0.030

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.875-298.611=0.264
σ	0.965-0.996=-0.031
min	298.454-298.183=0.271
max	301.613-301.436=0.177

*mean*	445.900-441.500=4.400
σ	16.656-13.485=3.172
min	425.000-424.000=1.000
max	470.000-463.000=7.000

*mean*	0.601-0.600=0.001
σ	0.024-0.018=0.005
min	0.555-0.579=-0.024
max	0.647-0.635=0.012

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	236.681-236.678=0.004
σ	0.000-0.000=-0.000
min	236.681-236.678=0.004
max	236.681-236.678=0.004

*mean*	1014.375-1065.750=-51.375
σ	63.993-34.648=29.345
min	856.000-980.000=-124.000
max	1037.000-1078.000=-41.000

*mean*	206.661-209.376=-2.715
σ	3.298-1.883=1.416
min	202.536-206.959=-4.423
max	213.956-211.565=2.391

phase=macro expansion

*mean*	6.133-6.130=0.004
σ	0.000
min	6.133-6.130=0.004
max	6.133-6.130=0.004

*mean*	1014.375-1065.750=-51.375
σ	63.993-34.648=29.345
min	856.000-980.000=-124.000
max	1037.000-1078.000=-41.000

*mean*	12.044-9.424=2.620
σ	2.797-3.388=-0.591
min	6.406-6.471=-0.065
max	16.020-15.769=0.251

phase=parser

*mean*	1042.451-1042.363=0.088
σ	0.000-0.000=-0.000
min	1042.451-1042.362=0.089
max	1042.452-1042.363=0.089

*mean*	1014.375-1065.750=-51.375
σ	63.993-34.648=29.345
min	856.000-980.000=-124.000
max	1037.000-1078.000=-41.000

*mean*	660.406-611.255=49.151
σ	156.532-121.192=35.341
min	380.858-516.716=-135.858
max	832.868-841.672=-8.804

phase=processProdDef

*mean*	2232.166-4850.764=-2618.598
σ	0.000-0.000=-0.000
min	2232.166-4850.764=-2618.598
max	2232.166-4850.765=-2618.599

*mean*	1037.000-1078.000=-41.000
σ	0.000
min	1037.000-1078.000=-41.000
max	1037.000-1078.000=-41.000

*mean*	2717.412-4833.831=-2116.419
σ	427.216-159.214=268.003
min	1765.656-4592.824=-2827.168
max	3187.407-5028.156=-1840.749

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1014.375-1065.750=-51.375
σ	63.993-34.648=29.345
min	856.000-980.000=-124.000
max	1037.000-1078.000=-41.000

*mean*	44.915-34.317=10.598
σ	7.984-13.768=-5.784
min	30.810-20.844=9.966
max	55.648-56.060=-0.412

phase=type checker

*mean*	990.450-990.450=0.000
σ	0.071
min	990.345-990.344=0.000
max	990.563-990.563=0.000

*mean*	1014.375-1065.750=-51.375
σ	63.993-34.648=29.345
min	856.000-980.000=-124.000
max	1037.000-1078.000=-41.000

*mean*	938.864-750.484=188.380
σ	81.635-109.557=-27.922
min	834.858-652.466=182.391
max	1075.027-946.528=128.499

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.821-293.820=0.000
σ	0.038-0.038=0.000
min	293.767-293.767=0.000
max	293.860-293.859=0.001

*mean*	441.000-444.000=-3.000
σ	3.000-0.000=3.000
min	438.000-444.000=-6.000
max	445.000-444.000=1.000

*mean*	0.398-0.391=0.007
σ	0.008-0.002=0.006
min	0.392-0.388=0.004
max	0.410-0.394=0.016

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.293-1320.218=0.076
σ	0.138-0.033=0.105
min	1320.166-1320.171=-0.005
max	1320.520-1320.252=0.268

*mean*	1113.800-1066.800=47.000
σ	169.549-165.095=4.454
min	897.000-843.000=54.000
max	1324.000-1267.000=57.000

*mean*	1.928-2.308=-0.381
σ	0.027-0.186=-0.160
min	1.903-2.158=-0.255
max	1.969-2.629=-0.660

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.293-1560.616=-1.323
σ	2.966-6.233=-3.267
min	1557.726-1557.616=0.109
max	1564.584-1571.762=-7.177

*mean*	637.200-620.000=17.200
σ	74.045-82.741=-8.695
min	539.000-495.000=44.000
max	727.000-717.000=10.000

*mean*	2.334-2.329=0.005
σ	0.249-0.232=0.017
min	2.064-2.146=-0.082
max	2.622-2.730=-0.108

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.375-1882.174=0.201
σ	0.075-0.054=0.021
min	1882.291-1882.110=0.181
max	1882.474-1882.250=0.224

*mean*	1753.400-1711.000=42.400
σ	208.905-261.579=-52.674
min	1474.000-1397.000=77.000
max	1951.000-2064.000=-113.000

*mean*	3.272-2.904=0.368
σ	0.392-0.062=0.329
min	2.893-2.849=0.044
max	3.806-3.008=0.798

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.805-1.627=0.178
σ	0.137-0.138=-0.001
min	1.581-1.493=0.088
max	1.919-1.855=0.065

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	416.906-452.081=-35.175
σ	512.374-582.723=-70.349
min	160.715-160.714=0.000
max	1185.467-1326.165=-140.698

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	446.000-443.000=3.000
σ	0.000
min	446.000-443.000=3.000
max	446.000-443.000=3.000

*mean*	0.512-0.533=-0.021
σ	0.492-0.522=-0.030
min	0.265-0.266=-0.002
max	1.250-1.317=-0.066

policies=20

*mean*	1607.478-1607.513=-0.036
σ	0.359-0.414=-0.054
min	1607.222-1607.232=-0.010
max	1608.007-1608.129=-0.121

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	448.000-451.000=-3.000
σ	2.309-9.238=-6.928
min	446.000-443.000=3.000
max	450.000-459.000=-9.000

*mean*	2.612-2.692=-0.080
σ	0.010-0.024=-0.014
min	2.601-2.670=-0.069
max	2.624-2.717=-0.093

policies=200

*mean*	16083.303-16083.465=-0.161
σ	0.125-0.120=0.005
min	16083.148-16083.360=-0.212
max	16083.432-16083.622=-0.190

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	500.250-497.250=3.000
σ	5.560-2.986=2.574
min	494.000
max	507.000-501.000=6.000

*mean*	26.446-27.152=-0.706
σ	0.220-0.138=0.081
min	26.166-27.023=-0.857
max	26.702-27.347=-0.645