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.082
σ	0.000
min	5.082
max	5.082

AST compact size (parser)

Factor

compact size MiB

phase=parser

*mean*	4.988
σ	0.000
min	4.988
max	4.988

AST compact size (processProdDef Decls)

Factor

compact size MiB

phase=processProdDef Decls

*mean*	4.863-5.395=-0.531
σ	0.000
min	4.863-5.395=-0.531
max	4.863-5.395=-0.531

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.133-446.633=-0.500
σ	0.000
min	446.133-446.633=-0.500
max	446.133-446.633=-0.500

AST compact size (renaming)

Factor

compact size MiB

phase=renaming

*mean*	5.238
σ	0.000
min	5.238
max	5.238

AST compact size (type checker)

Factor

compact size MiB

phase=type checker

*mean*	6.395
σ	0.000
min	6.395
max	6.395

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	54.697-54.716=-0.019
σ	0.362-0.363=-0.001
min	54.561-54.581=-0.020
max	55.728-55.748=-0.021

*mean*	420.000-417.000=3.000
σ	0.000
min	420.000-417.000=3.000
max	420.000-417.000=3.000

*mean*	0.139-0.141=-0.002
σ	0.006-0.005=0.000
min	0.133-0.135=-0.002
max	0.148-0.150=-0.002

cache=y

dps=1

iters=10

policies=100

*mean*	43.778-43.777=0.001
σ	0.008-0.009=-0.001
min	43.765-43.763=0.002
max	43.790-43.788=0.001

*mean*	420.000-417.000=3.000
σ	0.000
min	420.000-417.000=3.000
max	420.000-417.000=3.000

*mean*	0.122-0.121=0.001
σ	0.004-0.005=-0.000
min	0.118-0.116=0.001
max	0.130-0.131=-0.001

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.605-36.604=0.000
σ	0.000-0.000=-0.000
min	36.605-36.604=0.001
max	36.605-36.605=0.000

*mean*	4516.250-4591.875=-75.625
σ	2230.217-2248.670=-18.453
min	1472.000-1485.000=-13.000
max	7338.000-7386.000=-48.000

*mean*	12.240-165.110=-152.870
σ	0.673-432.571=-431.898
min	11.695-11.937=-0.243
max	13.827-1235.668=-1221.841

op=column_set() on indexed, repeat

*mean*	36.605-36.604=0.001
σ	0.000-0.000=0.000
min	36.605-36.604=0.001
max	36.605-36.605=0.001

*mean*	4516.250-4591.875=-75.625
σ	2230.217-2248.670=-18.453
min	1472.000-1485.000=-13.000
max	7338.000-7386.000=-48.000

*mean*	12.722-13.504=-0.782
σ	0.551-2.930=-2.379
min	11.628-11.750=-0.122
max	13.618-20.651=-7.033

op=table_records(), no indexes

*mean*	41.940-41.940=0.000
σ	0.002-0.002=-0.000
min	41.938-41.938=0.000
max	41.942-41.942=0.000

*mean*	7338.000-7386.000=-48.000
σ	0.000
min	7338.000-7386.000=-48.000
max	7338.000-7386.000=-48.000

*mean*	11.162-12.185=-1.023
σ	0.171-2.118=-1.947
min	10.972-11.011=-0.039
max	11.466-16.877=-5.411

op=table_records(), repeat

*mean*	41.925-41.925=-0.000
σ	0.000-0.002=-0.001
min	41.924-41.924=0.000
max	41.925-41.929=-0.004

*mean*	4516.250-4182.625=333.625
σ	2230.217-1944.916=285.301
min	1472.000-1485.000=-13.000
max	7338.000-7386.000=-48.000

*mean*	11.431-11.879=-0.447
σ	0.854-1.819=-0.965
min	10.882-10.932=-0.050
max	13.506-16.350=-2.844

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

*mean*	27.634-27.633=0.001
σ	0.137-0.137=0.000
min	27.585-27.584=0.001
max	27.972-27.971=0.001

*mean*	4516.250-4182.625=333.625
σ	2230.217-1944.916=285.301
min	1472.000-1485.000=-13.000
max	7338.000-7386.000=-48.000

*mean*	8.984-8.934=0.050
σ	0.831-1.312=-0.481
min	7.967-7.913=0.054
max	10.657-12.118=-1.461

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

*mean*	26.385-26.384=0.001
σ	0.000
min	26.385-26.384=0.001
max	26.385-26.384=0.001

*mean*	4516.250-4182.625=333.625
σ	2230.217-1944.916=285.301
min	1472.000-1485.000=-13.000
max	7338.000-7386.000=-48.000

*mean*	6.887-6.826=0.061
σ	0.607-1.027=-0.420
min	6.281-6.127=0.155
max	8.204-9.338=-1.134

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.663-25.662=0.001
σ	0.004-0.004=0.000
min	25.662-25.661=0.001
max	25.674-25.673=0.001

*mean*	4516.250-4591.875=-75.625
σ	2230.217-2248.670=-18.453
min	1472.000-1485.000=-13.000
max	7338.000-7386.000=-48.000

*mean*	6.007-6.236=-0.230
σ	0.159-0.509=-0.350
min	5.809-5.880=-0.072
max	6.239-7.450=-1.211

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.962-25.961=0.002
σ	0.001-0.001=-0.000
min	25.962-25.961=0.002
max	25.964-25.962=0.002

*mean*	4516.250-4591.875=-75.625
σ	2230.217-2248.670=-18.453
min	1472.000-1485.000=-13.000
max	7338.000-7386.000=-48.000

*mean*	5.828-6.025=-0.197
σ	0.140-0.606=-0.466
min	5.626-5.627=-0.001
max	6.110-7.504=-1.395

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.599-1021.608=-0.009
σ	0.002-0.002=-0.000
min	1021.598-1021.606=-0.009
max	1021.602-1021.611=-0.009

*mean*	7338.000-7386.000=-48.000
σ	0.000
min	7338.000-7386.000=-48.000
max	7338.000-7386.000=-48.000

*mean*	345.309-348.092=-2.783
σ	1.998-0.970=1.029
min	341.343-345.800=-4.457
max	347.693-348.846=-1.154

op=load_product(), with indexes

*mean*	3495.846-3495.855=-0.009
σ	0.455-0.454=0.001
min	3495.685-3495.694=-0.009
max	3496.971-3496.978=-0.007

*mean*	3689.500-3758.750=-69.250
σ	2260.462-2299.670=-39.208
min	724.000-721.000=3.000
max	7338.000-7386.000=-48.000

*mean*	1562.709-1777.415=-214.706
σ	463.821-689.901=-226.080
min	1386.364-1401.806=-15.442
max	2710.441-3001.659=-291.217

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

*mean*	107.841-107.841=0.000
σ	0.000-0.000=-0.000
min	107.841-107.841=0.001
max	107.842-107.841=0.000

*mean*	4516.250-4411.875=104.375
σ	2230.217-2218.264=11.953
min	1472.000-1485.000=-13.000
max	7338.000-7386.000=-48.000

*mean*	137.718-232.156=-94.439
σ	8.649-273.006=-264.357
min	131.346-123.070=8.276
max	153.771-906.487=-752.716

op=column_set() on unindexed, dense, repeat

*mean*	62.069-62.068=0.001
σ	0.001-0.001=-0.000
min	62.065-62.065=0.001
max	62.069-62.069=0.001

*mean*	4516.250-4411.875=104.375
σ	2230.217-2218.264=11.953
min	1472.000-1485.000=-13.000
max	7338.000-7386.000=-48.000

*mean*	43.243-43.246=-0.003
σ	1.823-2.718=-0.895
min	40.678-40.758=-0.080
max	46.038-49.217=-3.179

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.927-40.926=0.001
σ	0.002-0.002=0.000
min	40.926-40.925=0.001
max	40.930-40.928=0.001

*mean*	7338.000-7386.000=-48.000
σ	0.000
min	7338.000-7386.000=-48.000
max	7338.000-7386.000=-48.000

*mean*	21.701-203.158=-181.457
σ	0.227-508.483=-508.256
min	21.384-21.649=-0.265
max	22.165-1461.574=-1439.409

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.294-71.294=0.001
σ	0.002-0.002=0.000
min	71.293-71.292=0.001
max	71.297-71.296=0.001

*mean*	7338.000-7386.000=-48.000
σ	0.000
min	7338.000-7386.000=-48.000
max	7338.000-7386.000=-48.000

*mean*	84.603-65.735=18.868
σ	80.501-24.458=56.043
min	55.437-55.178=0.259
max	283.828-125.867=157.961

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.843-4646.842=0.001
σ	0.013-0.013=0.000
min	4646.837-4646.837=0.000
max	4646.876-4646.875=0.001

*mean*	4516.250-4182.625=333.625
σ	2230.217-1944.916=285.301
min	1472.000-1485.000=-13.000
max	7338.000-7386.000=-48.000

*mean*	3396.308-3289.353=106.955
σ	837.853-793.720=44.133
min	2508.284-2478.984=29.300
max	4837.000-4600.423=236.577

op=vertical_lookup_list() on indexed

*mean*	1973.830-1973.829=0.001
σ	0.002
min	1973.829-1973.827=0.001
max	1973.833-1973.832=0.001

*mean*	7338.000-7386.000=-48.000
σ	0.000
min	7338.000-7386.000=-48.000
max	7338.000-7386.000=-48.000

*mean*	1006.779-1038.076=-31.297
σ	159.675-216.159=-56.484
min	913.986-917.976=-3.991
max	1322.240-1443.828=-121.588

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

*mean*	905.084-905.083=0.001
σ	0.002
min	905.082-905.080=0.001
max	905.087-905.086=0.001

*mean*	7338.000-7386.000=-48.000
σ	0.000
min	7338.000-7386.000=-48.000
max	7338.000-7386.000=-48.000

*mean*	400.580-408.966=-8.386
σ	5.538-36.274=-30.737
min	388.764-389.106=-0.342
max	405.019-498.278=-93.259

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	148.144
σ	0.001
min	148.144
max	148.148

*mean*	478.000-476.250=1.750
σ	0.000-1.035=-1.035
min	478.000-475.000=3.000
max	478.000-477.000=1.000

*mean*	346.792-362.920=-16.128
σ	27.151-43.117=-15.966
min	313.663-303.259=10.404
max	389.785-422.050=-32.264

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	559.750-561.375=-1.625
σ	1.035-1.768=-0.733
min	559.000-557.000=2.000
max	561.000-562.000=-1.000

*mean*	691.585-740.855=-49.270
σ	85.886-71.166=14.720
min	570.730-617.341=-46.611
max	821.412-822.508=-1.095

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.558-964.563=-0.005
σ	1.879-1.879=-0.000
min	963.840-963.843=-0.003
max	972.505-972.510=-0.005

*mean*	1038.500-1040.750=-2.250
σ	308.282-306.329=1.952
min	540.000-590.000=-50.000
max	1536.000-1490.000=46.000

*mean*	1.251-1.258=-0.006
σ	0.076-0.077=-0.001
min	1.185-1.160=0.025
max	1.483-1.493=-0.010

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.321-0.429=-0.108
σ	0.300-0.438=-0.138
min	0.143-0.138=0.005
max	0.836-1.201=-0.364

name=error_case.art

*mean*	2.346-2.346=-0.000
σ	0.012
min	2.340-2.340=-0.000
max	2.368-2.368=-0.000

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.468-0.833=-0.365
σ	0.318-0.528=-0.210
min	0.313-0.578=-0.265
max	1.036-1.776=-0.740

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.522
max	1.526

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.220-0.373=-0.153
σ	0.021-0.040=-0.020
min	0.202-0.343=-0.141
max	0.257-0.442=-0.186

name=nested_use.art

*mean*	2.364-2.364=-0.000
σ	0.002
min	2.363-2.363=-0.000
max	2.367-2.367=-0.000

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.327-0.551=-0.223
σ	0.021-0.108=-0.087
min	0.307-0.363=-0.056
max	0.357-0.639=-0.282

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.978-964.979=-0.001
σ	0.009
min	964.973-964.974=-0.001
max	964.995-964.996=-0.001

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.566-0.580=-0.014
σ	0.051-0.099=-0.048
min	0.478-0.494=-0.015
max	0.609-0.744=-0.136

name=cdr_enhanced_4k_loc.art

*mean*	886.000-886.001=-0.001
σ	0.002
min	885.999-886.000=-0.001
max	886.003-886.004=-0.001

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.439-0.442=-0.002
σ	0.036-0.043=-0.007
min	0.384-0.378=0.006
max	0.474-0.488=-0.014

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.719
σ	0.002
min	7.718
max	7.722

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	1.960-2.607=-0.647
σ	0.076-0.119=-0.043
min	1.820-2.450=-0.630
max	2.225-3.324=-1.099

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	2.157-2.561=-0.403
σ	0.292-0.062=0.230
min	1.864-2.420=-0.555
max	2.783-2.754=0.029

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.305-0.307=-0.002
σ	0.019-0.031=-0.012
min	0.287-0.291=-0.003
max	0.476-0.603=-0.126

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.292-0.295=-0.003
σ	0.008-0.011=-0.002
min	0.277-0.280=-0.003
max	0.333-0.364=-0.031

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.954-12.021=-0.067
σ	12.006-12.042=-0.035
min	0.574-0.714=-0.141
max	118.767-91.885=26.882

*mean*	466.984-468.121=-1.137
σ	19.365-20.029=-0.664
min	406.000-408.000=-2.000
max	483.000-480.000=3.000

*mean*	0.027-0.027=-0.000
σ	0.029-0.029=-0.000
min	0.001-0.001=-0.000
max	0.283-0.221=0.061

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	279.087-279.224=-0.136
σ	1.044-1.028=0.017
min	278.662-278.741=-0.080
max	282.057-282.140=-0.083

*mean*	442.200-442.100=0.100
σ	13.975-16.162=-2.187
min	426.000-413.000=13.000
max	463.000-468.000=-5.000

*mean*	0.568-0.567=0.001
σ	0.031-0.030=0.001
min	0.506-0.507=-0.001
max	0.615-0.610=0.005

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	106.546-169.257=-62.711
σ	0.000-0.000=-0.000
min	106.546-169.257=-62.711
max	106.546-169.257=-62.711

*mean*	729.000-848.000=-119.000
σ	0.000
min	729.000-848.000=-119.000
max	729.000-848.000=-119.000

*mean*	146.211-210.487=-64.276
σ	11.370-25.044=-13.674
min	134.696-186.390=-51.694
max	162.711-241.853=-79.142

phase=macro expansion

*mean*	5.894-5.896=-0.002
σ	0.000
min	5.894-5.896=-0.002
max	5.894-5.896=-0.002

*mean*	729.000-848.000=-119.000
σ	0.000
min	729.000-848.000=-119.000
max	729.000-848.000=-119.000

*mean*	8.044-8.179=-0.135
σ	1.200-1.056=0.144
min	5.920-6.889=-0.969
max	8.910-9.001=-0.091

phase=parser

*mean*	1042.130-1042.131=-0.001
σ	0.000-0.000=-0.000
min	1042.130-1042.130=-0.001
max	1042.131-1042.131=-0.001

*mean*	729.000-848.000=-119.000
σ	0.000
min	729.000-848.000=-119.000
max	729.000-848.000=-119.000

*mean*	541.640-542.665=-1.026
σ	93.425-75.821=17.604
min	400.783-441.112=-40.329
max	615.185-615.167=0.018

phase=processProdDef

*mean*	2241.195-2243.718=-2.523
σ	0.000
min	2241.195-2243.718=-2.523
max	2241.195-2243.718=-2.523

*mean*	729.000-848.000=-119.000
σ	0.000
min	729.000-848.000=-119.000
max	729.000-848.000=-119.000

*mean*	2837.216-2956.776=-119.560
σ	362.071-231.098=130.973
min	2315.947-2598.635=-282.687
max	3293.720-3218.553=75.167

phase=renaming

*mean*	21.433-21.440=-0.007
σ	0.000
min	21.433-21.440=-0.007
max	21.433-21.440=-0.007

*mean*	729.000-848.000=-119.000
σ	0.000
min	729.000-848.000=-119.000
max	729.000-848.000=-119.000

*mean*	43.412-44.240=-0.828
σ	5.141-3.967=1.174
min	35.431-39.267=-3.836
max	49.192-49.179=0.013

phase=type checker

*mean*	958.462-958.596=-0.134
σ	0.047
min	958.439-958.573=-0.134
max	958.564-958.698=-0.134

*mean*	729.000-848.000=-119.000
σ	0.000
min	729.000-848.000=-119.000
max	729.000-848.000=-119.000

*mean*	664.718-660.602=4.116
σ	16.995-16.922=0.073
min	638.243-630.254=7.989
max	682.468-680.182=2.286

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.856-282.855=0.001
σ	0.035-0.037=-0.002
min	282.805-282.800=0.005
max	282.890-282.890=0.000

*mean*	443.400-441.400=2.000
σ	0.548-3.286=-2.739
min	443.000-439.000=4.000
max	444.000-445.000=-1.000

*mean*	0.379-0.383=-0.004
σ	0.003-0.009=-0.006
min	0.374-0.377=-0.003
max	0.381-0.398=-0.017

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.048-1268.045=0.003
σ	0.088-0.090=-0.002
min	1267.961-1267.971=-0.010
max	1268.179-1268.190=-0.011

*mean*	1061.800-1112.600=-50.800
σ	168.783-170.160=-1.377
min	829.000-897.000=-68.000
max	1272.000-1325.000=-53.000

*mean*	1.889-1.902=-0.013
σ	0.127-0.106=0.022
min	1.782-1.818=-0.036
max	2.096-2.087=0.010

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.051-1507.051=0.000
σ	2.941-2.979=-0.037
min	1505.543-1505.519=0.024
max	1512.300-1512.370=-0.070

*mean*	616.600-632.200=-15.600
σ	79.730-87.862=-8.132
min	494.000-498.000=-4.000
max	708.000-727.000=-19.000

*mean*	2.301-2.266=0.036
σ	0.181-0.238=-0.057
min	2.102-2.070=0.032
max	2.537-2.569=-0.032

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.062-1830.095=-0.034
σ	0.036-0.091=-0.055
min	1830.011-1829.992=0.019
max	1830.104-1830.223=-0.119

*mean*	1709.800-1745.200=-35.400
σ	249.951-212.429=37.522
min	1436.000-1459.000=-23.000
max	2066.000-1945.000=121.000

*mean*	2.859-3.167=-0.307
σ	0.086-0.434=-0.347
min	2.774-2.661=0.114
max	2.960-3.627=-0.667

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.710-1.778=-0.068
σ	0.149-0.114=0.035
min	1.591-1.574=0.017
max	1.888-1.844=0.044

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	405.943-406.198=-0.255
σ	509.285-509.796=-0.511
min	151.299-151.294=0.005
max	1169.871-1170.892=-1.020

*mean*	101.750
σ	7.500
min	98.000
max	113.000

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

*mean*	0.503-0.490=0.013
σ	0.492-0.469=0.023
min	0.253-0.250=0.003
max	1.240-1.193=0.047

policies=20

*mean*	1513.133-1513.149=-0.016
σ	0.262-0.277=-0.014
min	1512.962-1512.967=-0.005
max	1513.522-1513.559=-0.037

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	452.000-445.000=7.000
σ	10.832-3.464=7.368
min	444.000-442.000=2.000
max	468.000-448.000=20.000

*mean*	2.491-2.509=-0.018
σ	0.019-0.016=0.003
min	2.466-2.497=-0.031
max	2.513-2.532=-0.019

policies=200

*mean*	15140.018-15140.028=-0.010
σ	0.150-0.122=0.029
min	15139.816-15139.875=-0.059
max	15140.153-15140.172=-0.019

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	500.000-496.500=3.500
σ	5.164-5.568=-0.404
min	494.000-491.000=3.000
max	506.000-504.000=2.000

*mean*	25.127-25.288=-0.161
σ	0.310-0.126=0.184
min	24.936-25.145=-0.209
max	25.588-25.450=0.138