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-558.633=0.031
σ	0.000
min	558.664-558.633=0.031
max	558.664-558.633=0.031

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.870-54.678=0.192
σ	0.360-0.357=0.003
min	54.734-54.542=0.192
max	55.893-55.693=0.200

*mean*	414.000-415.000=-1.000
σ	0.000
min	414.000-415.000=-1.000
max	414.000-415.000=-1.000

*mean*	0.142-0.141=0.001
σ	0.007-0.005=0.002
min	0.137-0.137=-0.001
max	0.157-0.150=0.007

cache=y

dps=1

iters=10

policies=100

*mean*	43.839-43.704=0.135
σ	0.007-0.004=0.003
min	43.829-43.697=0.132
max	43.852-43.709=0.143

*mean*	414.000-415.000=-1.000
σ	0.000
min	414.000-415.000=-1.000
max	414.000-415.000=-1.000

*mean*	0.123-0.125=-0.001
σ	0.008-0.005=0.002
min	0.118-0.119=-0.002
max	0.139-0.133=0.006

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

*mean*	4029.875-3863.500=166.375
σ	2001.038-1830.759=170.279
min	1216.000-1280.000=-64.000
max	7125.000-6111.000=1014.000

*mean*	12.953-12.916=0.037
σ	0.265-0.363=-0.098
min	12.622-12.542=0.080
max	13.343-13.444=-0.100

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*	4029.875-3863.500=166.375
σ	2001.038-1830.759=170.279
min	1216.000-1280.000=-64.000
max	7125.000-6111.000=1014.000

*mean*	12.936-13.124=-0.188
σ	0.487-0.452=0.035
min	11.930-12.121=-0.192
max	13.378-13.561=-0.184

op=table_records(), no indexes

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

*mean*	7125.000-6111.000=1014.000
σ	0.000
min	7125.000-6111.000=1014.000
max	7125.000-6111.000=1014.000

*mean*	14.903-15.125=-0.223
σ	1.467-0.307=1.160
min	11.518-14.426=-2.908
max	16.605-15.393=1.212

op=table_records(), repeat

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

*mean*	4029.875-3718.750=311.125
σ	2001.038-1803.275=197.763
min	1216.000-1280.000=-64.000
max	7125.000-6111.000=1014.000

*mean*	13.392-13.837=-0.445
σ	1.954-1.753=0.202
min	11.003-11.121=-0.119
max	15.640-15.448=0.192

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*	4029.875-3718.750=311.125
σ	2001.038-1803.275=197.763
min	1216.000-1280.000=-64.000
max	7125.000-6111.000=1014.000

*mean*	8.962-9.145=-0.182
σ	0.474-0.266=0.208
min	8.643-8.687=-0.044
max	10.088-9.509=0.578

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

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

*mean*	4029.875-3863.500=166.375
σ	2001.038-1830.759=170.279
min	1216.000-1280.000=-64.000
max	7125.000-6111.000=1014.000

*mean*	6.847-7.231=-0.384
σ	0.291-1.111=-0.820
min	6.375-6.536=-0.160
max	7.213-9.907=-2.694

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.668-25.669=-0.001
σ	0.004-0.003=0.002
min	25.666-25.665=0.000
max	25.678-25.674=0.004

*mean*	4029.875-3863.500=166.375
σ	2001.038-1830.759=170.279
min	1216.000-1280.000=-64.000
max	7125.000-6111.000=1014.000

*mean*	5.943-6.090=-0.147
σ	0.206-0.141=0.065
min	5.491-5.907=-0.417
max	6.168-6.317=-0.150

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970-25.970=-0.000
σ	0.002-0.002=-0.001
min	25.968-25.968=0.000
max	25.972-25.974=-0.001

*mean*	4029.875-3863.500=166.375
σ	2001.038-1830.759=170.279
min	1216.000-1280.000=-64.000
max	7125.000-6111.000=1014.000

*mean*	5.733-5.916=-0.183
σ	0.121-0.071=0.050
min	5.463-5.772=-0.308
max	5.855-6.020=-0.165

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.613-2524.604=-1502.991
σ	0.002-0.002=-0.000
min	1021.612-2524.602=-1502.990
max	1021.616-2524.606=-1502.991

*mean*	7125.000-6111.000=1014.000
σ	0.000
min	7125.000-6111.000=1014.000
max	7125.000-6111.000=1014.000

*mean*	350.658-1323.450=-972.792
σ	3.062-500.239=-497.177
min	346.014-1050.064=-704.049
max	355.397-2151.981=-1796.585

op=load_product(), with indexes

*mean*	7917.792-7878.102=39.690
σ	0.469-0.469=-0.000
min	7917.624-7877.934=39.690
max	7918.954-7879.264=39.690

*mean*	3264.750-3228.500=36.250
σ	1815.826-1829.007=-13.181
min	809.000
max	5602.000-6111.000=-509.000

*mean*	3724.996-3806.686=-81.689
σ	1120.687-1272.026=-151.339
min	3097.965-3113.635=-15.669
max	5736.673-6210.522=-473.849

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.077-62.078=-0.001
σ	0.002-0.002=-0.000
min	62.076-62.076=-0.000
max	62.080-62.081=-0.001

*mean*	4029.875-3863.500=166.375
σ	2001.038-1830.759=170.279
min	1216.000-1280.000=-64.000
max	7125.000-6111.000=1014.000

*mean*	84.975-89.268=-4.292
σ	13.674-18.550=-4.877
min	70.844-70.682=0.162
max	102.974-120.090=-17.117

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.950-40.949=0.001

*mean*	7125.000-6111.000=1014.000
σ	0.000
min	7125.000-6111.000=1014.000
max	7125.000-6111.000=1014.000

*mean*	174.331-63.127=111.204
σ	317.201-3.816=313.385
min	60.810-60.474=0.336
max	959.328-69.721=889.607

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.688-66.687=0.000
σ	0.002-0.002=0.000
min	66.686
max	66.691-66.690=0.001

*mean*	7125.000-6111.000=1014.000
σ	0.000
min	7125.000-6111.000=1014.000
max	7125.000-6111.000=1014.000

*mean*	105.541-99.199=6.342
σ	14.980-0.658=14.322
min	98.036-98.089=-0.053
max	140.947-99.992=40.955

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	14217.171-11849.156=2368.015
σ	4.304-4.304=-0.000
min	14215.576-11847.561=2368.015
max	14227.820-11859.806=2368.014

*mean*	4029.875-3718.750=311.125
σ	2001.038-1803.275=197.763
min	1216.000-1280.000=-64.000
max	7125.000-6111.000=1014.000

*mean*	8085.668-6157.097=1928.571
σ	2001.585-1432.983=568.602
min	6012.141-5018.245=993.896
max	11122.937-8422.492=2700.445

op=vertical_lookup_list() on indexed

*mean*	13159.109-10791.094=2368.015
σ	0.002-0.002=-0.000
min	13159.106-10791.091=2368.015
max	13159.110-10791.096=2368.014

*mean*	7125.000-6111.000=1014.000
σ	0.000
min	7125.000-6111.000=1014.000
max	7125.000-6111.000=1014.000

*mean*	5098.752-5178.329=-79.576
σ	155.016-1555.935=-1400.919
min	5001.046-4042.144=958.902
max	5465.361-7268.488=-1803.127

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*	478.000
σ	0.000
min	478.000
max	478.000

*mean*	376.840-392.101=-15.261
σ	33.281-7.170=26.112
min	303.390-376.330=-72.940
max	395.448-398.206=-2.758

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

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

*mean*	742.054-772.562=-30.508
σ	70.797-17.731=53.067
min	621.410-749.847=-128.437
max	806.159-796.240=9.918

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.325-1024.328=-0.004
σ	0.758-0.759=-0.001
min	1023.851-1023.854=-0.003
max	1027.461-1027.466=-0.005

*mean*	1052.450-1050.500=1.950
σ	317.258-319.127=-1.870
min	574.000-544.000=30.000
max	1522.000-1562.000=-40.000

*mean*	1.609-1.585=0.024
σ	0.081-0.074=0.007
min	1.529-1.518=0.011
max	1.803-1.784=0.018

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.305-0.398=-0.093
σ	0.303-0.521=-0.218
min	0.140-0.144=-0.003
max	0.843-1.329=-0.486

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.476-0.474=0.002
σ	0.316-0.319=-0.003
min	0.328-0.320=0.008
max	1.040-1.045=-0.004

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.226-0.219=0.007
σ	0.017-0.022=-0.006
min	0.211-0.203=0.009
max	0.254-0.258=-0.004

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.337-0.337=-0.000
σ	0.016-0.010=0.006
min	0.326-0.330=-0.003
max	0.366-0.353=0.012

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.400-433.600=1.800
σ	5.177-3.130=2.046
min	431.000
max	441.000-437.000=4.000

*mean*	0.544-0.541=0.003
σ	0.037-0.068=-0.031
min	0.488-0.467=0.021
max	0.590-0.621=-0.031

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	441.000-437.000=4.000
σ	0.000
min	441.000-437.000=4.000
max	441.000-437.000=4.000

*mean*	0.477-0.442=0.035
σ	0.030-0.058=-0.029
min	0.447-0.379=0.067
max	0.512-0.519=-0.008

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-437.000=4.000
σ	0.000
min	441.000-437.000=4.000
max	441.000-437.000=4.000

*mean*	2.671-1.964=0.706
σ	0.114-0.075=0.039
min	2.471-1.856=0.616
max	3.073-2.465=0.609

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	441.000-437.000=4.000
σ	0.000
min	441.000-437.000=4.000
max	441.000-437.000=4.000

*mean*	2.571-1.896=0.674
σ	0.082-0.105=-0.023
min	2.456-1.726=0.730
max	2.932-2.410=0.522

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	441.000-437.000=4.000
σ	0.000
min	441.000-437.000=4.000
max	441.000-437.000=4.000

*mean*	0.307-0.307=0.001
σ	0.012-0.011=0.001
min	0.291-0.289=0.002
max	0.384-0.357=0.027

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	441.000-437.000=4.000
σ	0.000
min	441.000-437.000=4.000
max	441.000-437.000=4.000

*mean*	0.295-0.289=0.006
σ	0.007-0.007=0.000
min	0.282-0.276=0.006
max	0.329-0.328=0.001

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.748-298.687=0.061
σ	1.037-1.055=-0.018
min	298.330-298.249=0.081
max	301.695-301.680=0.015

*mean*	446.200-442.200=4.000
σ	18.879-12.164=6.715
min	420.000-426.000=-6.000
max	473.000-462.000=11.000

*mean*	0.579-0.598=-0.019
σ	0.039-0.022=0.017
min	0.519-0.566=-0.047
max	0.649-0.642=0.006

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	923.500-1960.375=-1036.875
σ	9.899-61.165=-51.265
min	899.000-1809.000=-910.000
max	927.000-1982.000=-1055.000

*mean*	210.297-213.501=-3.204
σ	2.800-5.207=-2.407
min	205.853-207.453=-1.601
max	214.727-222.601=-7.874

phase=macro expansion

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

*mean*	920.500-1960.375=-1039.875
σ	18.385-61.165=-42.780
min	875.000-1809.000=-934.000
max	927.000-1982.000=-1055.000

*mean*	9.617-10.575=-0.959
σ	2.410-1.889=0.521
min	6.358-7.389=-1.031
max	12.930-12.633=0.297

phase=parser

*mean*	1042.366-1042.366=0.000
σ	0.001-0.000=0.001
min	1042.363-1042.366=-0.003
max	1042.367-1042.366=0.001

*mean*	920.500-1960.375=-1039.875
σ	18.385-61.165=-42.780
min	875.000-1809.000=-934.000
max	927.000-1982.000=-1055.000

*mean*	532.891-603.927=-71.037
σ	134.973-119.241=15.732
min	378.332-428.731=-50.399
max	736.681-733.459=3.223

phase=processProdDef

*mean*	4850.764-4753.277=97.488
σ	0.000-0.000=-0.000
min	4850.764-4753.277=97.488
max	4850.764-4753.277=97.487

*mean*	927.000-1982.000=-1055.000
σ	0.000
min	927.000-1982.000=-1055.000
max	927.000-1982.000=-1055.000

*mean*	5007.418-4045.267=962.150
σ	434.322-612.823=-178.502
min	4259.721-2934.158=1325.563
max	5443.490-4713.298=730.192

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	920.500-1960.375=-1039.875
σ	18.385-61.165=-42.780
min	875.000-1809.000=-934.000
max	927.000-1982.000=-1055.000

*mean*	37.800-40.489=-2.689
σ	11.114-7.615=3.499
min	20.380-26.153=-5.773
max	48.473-48.006=0.467

phase=type checker

*mean*	990.453-990.453=-0.000
σ	0.072-0.071=0.001
min	990.344-990.348=-0.004
max	990.567

*mean*	923.375-1960.375=-1037.000
σ	10.253-61.165=-50.912
min	898.000-1809.000=-911.000
max	927.000-1982.000=-1055.000

*mean*	792.351-775.146=17.205
σ	114.111-88.393=25.718
min	661.479-657.232=4.247
max	922.312-902.520=19.792

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.949-293.940=0.009
σ	0.028-0.026=0.001
min	293.916-293.909=0.006
max	293.988-293.978=0.010

*mean*	440.400-442.600=-2.200
σ	2.408-2.191=0.217
min	438.000-441.000=-3.000
max	443.000-445.000=-2.000

*mean*	0.403-0.398=0.005
σ	0.002-0.006=-0.004
min	0.401-0.395=0.006
max	0.405-0.408=-0.003

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.358-1320.339=0.019
σ	0.075-0.055=0.020
min	1320.280-1320.268=0.012
max	1320.442-1320.409=0.033

*mean*	1082.400-1084.800=-2.400
σ	163.265-163.371=-0.107
min	888.000-889.000=-1.000
max	1305.000-1307.000=-2.000

*mean*	2.301-2.356=-0.055
σ	0.150-0.179=-0.029
min	2.166-2.188=-0.022
max	2.484-2.585=-0.101

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.717-1559.483=1.234
σ	6.243-3.394=2.849
min	1557.728-1557.819=-0.091
max	1571.879-1565.547=6.333

*mean*	622.400-628.800=-6.400
σ	86.584-90.076=-3.492
min	493.000-505.000=-12.000
max	723.000-727.000=-4.000

*mean*	2.214-2.379=-0.164
σ	0.128-0.230=-0.102
min	2.094-2.167=-0.073
max	2.429-2.693=-0.264

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.261-1882.246=0.015
σ	0.044-0.052=-0.009
min	1882.209-1882.172=0.037
max	1882.296-1882.294=0.002

*mean*	1718.000-1721.200=-3.200
σ	168.799-168.687=0.112
min	1473.000-1476.000=-3.000
max	1873.000-1876.000=-3.000

*mean*	3.116-3.078=0.038
σ	0.326-0.244=0.082
min	2.895-2.899=-0.005
max	3.687-3.507=0.180

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.688-1.708=-0.020
σ	0.093-0.139=-0.046
min	1.595-1.582=0.014
max	1.822-1.922=-0.100

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.153-452.412=-0.259
σ	582.778-583.278=-0.500
min	160.761-160.771=-0.010
max	1326.320-1327.329=-1.008

*mean*	102.250
σ	8.500
min	98.000
max	115.000

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

*mean*	0.553-0.554=-0.000
σ	0.552-0.564=-0.012
min	0.270-0.269=0.001
max	1.382-1.400=-0.018

policies=20

*mean*	1607.977-1608.046=-0.070
σ	0.439-0.421=0.018
min	1607.677-1607.759=-0.082
max	1608.627-1608.669=-0.042

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	451.000-448.500=2.500
σ	9.238-2.887=6.351
min	443.000-446.000=-3.000
max	459.000-451.000=8.000

*mean*	2.720-2.706=0.014
σ	0.020-0.017=0.003
min	2.692-2.694=-0.002
max	2.737-2.730=0.006

policies=200

*mean*	16087.872-16088.513=-0.640
σ	0.079-0.175=-0.096
min	16087.822-16088.399=-0.577
max	16087.990-16088.773=-0.782

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	497.500-496.750=0.750
σ	3.317-3.862=-0.546
min	494.000-493.000=1.000
max	502.000

*mean*	27.436-27.268=0.168
σ	0.105-0.026=0.079
min	27.285-27.245=0.039
max	27.511-27.299=0.212