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.362=0.001
min	54.561-54.582=-0.020
max	55.728-55.745=-0.018

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

*mean*	0.139-0.141=-0.002
σ	0.006-0.004=0.002
min	0.133-0.139=-0.006
max	0.148-0.150=-0.002

cache=y

dps=1

iters=10

policies=100

*mean*	43.778-43.778=-0.000
σ	0.008-0.008=-0.000
min	43.765-43.766=-0.001
max	43.790-43.793=-0.003

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

*mean*	0.122-0.122=-0.000
σ	0.004-0.005=-0.001
min	0.118-0.117=0.000
max	0.130-0.133=-0.003

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-4586.375=-70.125
σ	2230.217-2251.005=-20.788
min	1472.000-1483.000=-11.000
max	7338.000-7386.000=-48.000

*mean*	12.240-158.421=-146.181
σ	0.673-413.367=-412.694
min	11.695-11.882=-0.188
max	13.827-1181.451=-1167.624

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.604=0.001

*mean*	4516.250-4586.375=-70.125
σ	2230.217-2251.005=-20.788
min	1472.000-1483.000=-11.000
max	7338.000-7386.000=-48.000

*mean*	12.722-13.746=-1.025
σ	0.551-4.505=-3.954
min	11.628-11.648=-0.020
max	13.618-24.821=-11.203

op=table_records(), no indexes

*mean*	41.940-41.939=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-11.356=-0.193
σ	0.171-1.114=-0.943
min	10.972-10.626=0.346
max	11.466-14.081=-2.615

op=table_records(), repeat

*mean*	41.925-41.924=0.001
σ	0.000-0.000=0.000
min	41.924-41.924=0.000
max	41.925-41.925=0.000

*mean*	4516.250-4174.750=341.500
σ	2230.217-1946.396=283.821
min	1472.000-1483.000=-11.000
max	7338.000-7386.000=-48.000

*mean*	11.431-11.554=-0.122
σ	0.854-1.740=-0.885
min	10.882-10.832=0.049
max	13.506-15.854=-2.348

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-4174.750=341.500
σ	2230.217-1946.396=283.821
min	1472.000-1483.000=-11.000
max	7338.000-7386.000=-48.000

*mean*	8.984-9.023=-0.039
σ	0.831-1.135=-0.304
min	7.967-7.952=0.015
max	10.657-11.719=-1.063

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

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

*mean*	4516.250-4174.750=341.500
σ	2230.217-1946.396=283.821
min	1472.000-1483.000=-11.000
max	7338.000-7386.000=-48.000

*mean*	6.887-7.084=-0.197
σ	0.607-0.929=-0.322
min	6.281-6.364=-0.083
max	8.204-9.294=-1.090

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-4586.375=-70.125
σ	2230.217-2251.005=-20.788
min	1472.000-1483.000=-11.000
max	7338.000-7386.000=-48.000

*mean*	6.007-6.371=-0.365
σ	0.159-1.060=-0.900
min	5.809-5.637=0.172
max	6.239-8.940=-2.701

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-4586.375=-70.125
σ	2230.217-2251.005=-20.788
min	1472.000-1483.000=-11.000
max	7338.000-7386.000=-48.000

*mean*	5.828-6.292=-0.464
σ	0.140-1.120=-0.980
min	5.626-5.602=0.024
max	6.110-8.943=-2.833

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-349.339=-4.030
σ	1.998-2.874=-0.875
min	341.343-345.208=-3.864
max	347.693-352.783=-5.090

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-3753.250=-63.750
σ	2260.462-2299.677=-39.215
min	724.000-721.000=3.000
max	7338.000-7386.000=-48.000

*mean*	1562.709-1777.670=-214.961
σ	463.821-692.206=-228.385
min	1386.364-1399.670=-13.306
max	2710.441-2989.546=-279.105

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.000
max	107.842-107.842=0.000

*mean*	4516.250-4404.500=111.750
σ	2230.217-2220.786=9.431
min	1472.000-1483.000=-11.000
max	7338.000-7386.000=-48.000

*mean*	137.718-244.137=-106.420
σ	8.649-307.869=-299.220
min	131.346-122.798=8.547
max	153.771-1004.891=-851.120

op=column_set() on unindexed, dense, repeat

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

*mean*	4516.250-4404.500=111.750
σ	2230.217-2220.786=9.431
min	1472.000-1483.000=-11.000
max	7338.000-7386.000=-48.000

*mean*	43.243-43.842=-0.600
σ	1.823-3.029=-1.206
min	40.678-40.931=-0.253
max	46.038-50.522=-4.484

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-198.692=-176.992
σ	0.227-496.990=-496.763
min	21.384-21.587=-0.202
max	22.165-1428.658=-1406.493

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-64.888=19.716
σ	80.501-21.603=58.899
min	55.437-55.702=-0.265
max	283.828-117.718=166.110

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-4174.750=341.500
σ	2230.217-1946.396=283.821
min	1472.000-1483.000=-11.000
max	7338.000-7386.000=-48.000

*mean*	3396.308-3272.222=124.086
σ	837.853-748.865=88.988
min	2508.284-2495.515=12.769
max	4837.000-4518.940=318.060

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-1058.433=-51.654
σ	159.675-304.472=-144.797
min	913.986-922.405=-8.419
max	1322.240-1796.282=-474.042

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-411.579=-10.999
σ	5.538-48.275=-42.737
min	388.764-382.250=6.514
max	405.019-530.151=-125.132

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-477.000=1.000
σ	0.000
min	478.000-477.000=1.000
max	478.000-477.000=1.000

*mean*	346.792-372.613=-25.820
σ	27.151-46.372=-19.220
min	313.663-319.106=-5.443
max	389.785-431.580=-41.795

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	559.750-562.000=-2.250
σ	1.035-0.000=1.035
min	559.000-562.000=-3.000
max	561.000-562.000=-1.000

*mean*	691.585-732.939=-41.354
σ	85.886-91.775=-5.889
min	570.730-566.225=4.505
max	821.412-821.620=-0.208

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.558-964.563=-0.004
σ	1.879-1.881=-0.002
min	963.840-963.843=-0.003
max	972.505-972.517=-0.013

*mean*	1038.500-1036.200=2.300
σ	308.282-309.526=-1.244
min	540.000-544.000=-4.000
max	1536.000-1532.000=4.000

*mean*	1.251-1.244=0.007
σ	0.076-0.064=0.012
min	1.185-1.183=0.002
max	1.483-1.416=0.067

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.295=0.027
σ	0.300-0.292=0.008
min	0.143-0.141=0.002
max	0.836-0.814=0.023

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.472=-0.004
σ	0.318-0.322=-0.003
min	0.313-0.320=-0.007
max	1.036-1.047=-0.010

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.215=0.006
σ	0.021-0.018=0.003
min	0.202-0.199=0.003
max	0.257-0.245=0.012

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.332=-0.005
σ	0.021-0.023=-0.002
min	0.307-0.311=-0.004
max	0.357-0.367=-0.010

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.590=-0.024
σ	0.051-0.023=0.028
min	0.478-0.551=-0.072
max	0.609-0.607=0.002

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.469=-0.030
σ	0.036-0.036=0.000
min	0.384-0.412=-0.028
max	0.474-0.502=-0.028

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-1.960=0.000
σ	0.076-0.064=0.012
min	1.820-1.858=-0.038
max	2.225-2.243=-0.018

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-1.927=0.230
σ	0.292-0.076=0.216
min	1.864-1.744=0.121
max	2.783-2.127=0.656

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.303=0.002
σ	0.019-0.012=0.007
min	0.287-0.289=-0.001
max	0.476-0.381=0.096

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.289=0.002
σ	0.008-0.007=0.001
min	0.277-0.275=0.002
max	0.333-0.328=0.005

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.954-11.266=0.688
σ	12.006-11.749=0.257
min	0.574-0.573=0.001
max	118.767-88.696=30.071

*mean*	466.984-465.863=1.121
σ	19.365-21.062=-1.697
min	406.000-408.000=-2.000
max	483.000-484.000=-1.000

*mean*	0.027-0.026=0.001
σ	0.029-0.029=0.000
min	0.001-0.001=-0.000
max	0.283-0.226=0.057

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	279.087-278.931=0.157
σ	1.044-1.018=0.026
min	278.662-278.548=0.114
max	282.057-281.823=0.234

*mean*	442.200-440.300=1.900
σ	13.975-15.614=-1.639
min	426.000-416.000=10.000
max	463.000-466.000=-3.000

*mean*	0.568-0.575=-0.007
σ	0.031-0.020=0.011
min	0.506-0.539=-0.033
max	0.615-0.608=0.007

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

*mean*	729.000-850.000=-121.000
σ	0.000
min	729.000-850.000=-121.000
max	729.000-850.000=-121.000

*mean*	146.211-203.701=-57.490
σ	11.370-22.096=-10.726
min	134.696-186.188=-51.492
max	162.711-248.670=-85.959

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-838.750=-109.750
σ	0.000-31.820=-31.820
min	729.000-760.000=-31.000
max	729.000-850.000=-121.000

*mean*	8.044-8.010=0.034
σ	1.200-1.419=-0.219
min	5.920-5.965=-0.045
max	8.910-9.117=-0.208

phase=parser

*mean*	1042.130-1042.133=-0.003
σ	0.000-0.000=-0.000
min	1042.130-1042.133=-0.003
max	1042.131-1042.134=-0.003

*mean*	729.000-838.750=-109.750
σ	0.000-31.820=-31.820
min	729.000-760.000=-31.000
max	729.000-850.000=-121.000

*mean*	541.640-587.343=-45.704
σ	93.425-57.871=35.554
min	400.783-446.111=-45.328
max	615.185-618.131=-2.945

phase=processProdDef

*mean*	2241.195-2243.715=-2.520
σ	0.000
min	2241.195-2243.715=-2.520
max	2241.195-2243.715=-2.520

*mean*	729.000-850.000=-121.000
σ	0.000
min	729.000-850.000=-121.000
max	729.000-850.000=-121.000

*mean*	2837.216-2909.029=-71.813
σ	362.071-285.040=77.031
min	2315.947-2381.854=-65.907
max	3293.720-3231.880=61.840

phase=renaming

*mean*	21.433-21.436=-0.003
σ	0.000
min	21.433-21.436=-0.003
max	21.433-21.436=-0.003

*mean*	729.000-838.750=-109.750
σ	0.000-31.820=-31.820
min	729.000-760.000=-31.000
max	729.000-850.000=-121.000

*mean*	43.412-42.509=0.903
σ	5.141-6.264=-1.122
min	35.431-34.000=1.431
max	49.192-48.958=0.234

phase=type checker

*mean*	958.462-958.600=-0.137
σ	0.047
min	958.439-958.577=-0.137
max	958.564-958.702=-0.137

*mean*	729.000-838.750=-109.750
σ	0.000-31.820=-31.820
min	729.000-760.000=-31.000
max	729.000-850.000=-121.000

*mean*	664.718-662.513=2.205
σ	16.995-15.291=1.704
min	638.243-636.634=1.608
max	682.468-681.304=1.164

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.039=-0.004
min	282.805-282.800=0.004
max	282.890-282.894=-0.004

*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.376=0.003
σ	0.003-0.000=0.002
min	0.374-0.375=-0.001
max	0.381-0.376=0.005

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.048-1268.058=-0.009
σ	0.088-0.111=-0.023
min	1267.961-1267.970=-0.009
max	1268.179-1268.245=-0.066

*mean*	1061.800-1093.000=-31.200
σ	168.783-169.819=-1.036
min	829.000-892.000=-63.000
max	1272.000-1325.000=-53.000

*mean*	1.889-1.943=-0.054
σ	0.127-0.070=0.057
min	1.782-1.856=-0.074
max	2.096-2.040=0.057

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.051-1507.032=0.019
σ	2.941-2.971=-0.029
min	1505.543-1505.479=0.063
max	1512.300-1512.334=-0.034

*mean*	616.600-625.400=-8.800
σ	79.730-87.248=-7.519
min	494.000-495.000=-1.000
max	708.000-727.000=-19.000

*mean*	2.301-2.231=0.070
σ	0.181-0.206=-0.025
min	2.102-2.129=-0.026
max	2.537-2.599=-0.062

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.062-1830.063=-0.002
σ	0.036-0.047=-0.011
min	1830.011-1829.993=0.018
max	1830.104-1830.113=-0.009

*mean*	1709.800-1719.800=-10.000
σ	249.951-190.401=59.550
min	1436.000-1456.000=-20.000
max	2066.000-1893.000=173.000

*mean*	2.859-3.022=-0.163
σ	0.086-0.331=-0.245
min	2.774-2.815=-0.041
max	2.960-3.611=-0.651

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.710-1.814=-0.104
σ	0.149-0.110=0.039
min	1.591-1.622=-0.031
max	1.888-1.890=-0.002

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	405.943-406.199=-0.256
σ	509.285-509.796=-0.510
min	151.299-151.296=0.003
max	1169.871-1170.893=-1.021

*mean*	101.750
σ	7.500
min	98.000
max	113.000

*mean*	444.000-447.000=-3.000
σ	0.000
min	444.000-447.000=-3.000
max	444.000-447.000=-3.000

*mean*	0.503-0.495=0.007
σ	0.492-0.490=0.001
min	0.253-0.241=0.012
max	1.240-1.231=0.009

policies=20

*mean*	1513.133-1513.148=-0.015
σ	0.262-0.272=-0.010
min	1512.962-1512.974=-0.013
max	1513.522-1513.551=-0.030

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	452.000-447.750=4.250
σ	10.832-0.500=10.332
min	444.000-447.000=-3.000
max	468.000-448.000=20.000

*mean*	2.491-2.508=-0.017
σ	0.019-0.031=-0.012
min	2.466-2.469=-0.003
max	2.513-2.539=-0.026

policies=200

*mean*	15140.018-15139.963=0.055
σ	0.150-0.117=0.033
min	15139.816-15139.807=0.008
max	15140.153-15140.064=0.089

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	500.000-498.750=1.250
σ	5.164-7.136=-1.972
min	494.000-491.000=3.000
max	506.000-507.000=-1.000

*mean*	25.127-25.351=-0.224
σ	0.310-0.102=0.208
min	24.936-25.225=-0.289
max	25.588-25.443=0.146