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

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.102
σ	0.000
min	446.102
max	446.102

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.698-54.698=-0.000
σ	0.364-0.365=-0.001
min	54.561-54.561=-0.000
max	55.734-55.737=-0.003

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

*mean*	0.140-0.141=-0.001
σ	0.004-0.004=-0.001
min	0.135-0.136=-0.001
max	0.145-0.148=-0.003

cache=y

dps=1

iters=10

policies=100

*mean*	43.778-43.778=0.000
σ	0.008-0.008=0.000
min	43.768-43.765=0.003
max	43.793-43.791=0.002

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

*mean*	0.124-0.122=0.002
σ	0.004-0.005=-0.002
min	0.118-0.115=0.003
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.605=0.000
σ	0.000-0.000=-0.000
min	36.605
max	36.605

*mean*	4582.875-4424.750=158.125
σ	2255.433-2225.583=29.850
min	1485.000-1489.000=-4.000
max	7404.000

*mean*	14.412-12.870=1.541
σ	4.816-2.120=2.696
min	11.891-11.901=-0.010
max	25.374-18.092=7.282

op=column_set() on indexed, repeat

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

*mean*	4582.875-4604.875=-22.000
σ	2255.433-2256.693=-1.260
min	1485.000-1489.000=-4.000
max	7404.000

*mean*	14.456-129.593=-115.137
σ	4.642-328.454=-323.812
min	11.252-12.674=-1.422
max	24.628-942.467=-917.839

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

*mean*	11.057-11.354=-0.297
σ	0.201-0.980=-0.779
min	10.759-10.906=-0.147
max	11.377-13.767=-2.390

op=table_records(), repeat

*mean*	41.925-41.925=-0.000
σ	0.000-0.001=-0.001
min	41.924-41.925=-0.000
max	41.926-41.929=-0.003

*mean*	4168.125-4196.000=-27.875
σ	1946.457-1952.975=-6.519
min	1485.000-1489.000=-4.000
max	7404.000

*mean*	11.504-11.736=-0.232
σ	1.992-1.779=0.213
min	10.625-10.830=-0.205
max	16.424-16.086=0.338

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

*mean*	27.634-27.634=0.000
σ	0.136-0.137=-0.000
min	27.585
max	27.972-27.972=-0.000

*mean*	4168.125-4196.000=-27.875
σ	1946.457-1952.975=-6.519
min	1485.000-1489.000=-4.000
max	7404.000

*mean*	9.067-9.059=0.008
σ	1.320-1.359=-0.038
min	7.850-7.847=0.003
max	12.236-12.328=-0.092

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

*mean*	26.385
σ	0.000
min	26.385
max	26.385

*mean*	4168.125-4196.000=-27.875
σ	1946.457-1952.975=-6.519
min	1485.000-1489.000=-4.000
max	7404.000

*mean*	7.058-6.929=0.129
σ	0.868-1.022=-0.153
min	6.483-6.331=0.152
max	9.179-9.385=-0.207

op=vertical_lookup_row_list() on 2 indexed

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

*mean*	4582.875-4604.875=-22.000
σ	2255.433-2256.693=-1.260
min	1485.000-1489.000=-4.000
max	7404.000

*mean*	6.552-6.611=-0.060
σ	0.973-1.138=-0.164
min	5.937-5.992=-0.056
max	8.643-9.231=-0.588

op=vertical_lookup_row_list() on 3 (1 unindexed)

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

*mean*	4582.875-4604.875=-22.000
σ	2255.433-2256.693=-1.260
min	1485.000-1489.000=-4.000
max	7404.000

*mean*	6.360-6.368=-0.008
σ	1.025-1.130=-0.105
min	5.684-5.698=-0.013
max	8.531-8.849=-0.317

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.599-1021.599=-0.000
σ	0.002-0.002=-0.000
min	1021.597
max	1021.602-1021.602=-0.000

*mean*	7404.000
σ	0.000
min	7404.000
max	7404.000

*mean*	362.611-347.156=15.454
σ	42.221-1.332=40.889
min	343.877-344.229=-0.352
max	467.005-348.669=118.336

op=load_product(), with indexes

*mean*	3495.846
σ	0.455
min	3495.685
max	3496.972

*mean*	3747.375-3769.375=-22.000
σ	2298.678-2309.029=-10.352
min	720.000
max	7404.000

*mean*	1722.639-1753.115=-30.476
σ	601.366-599.877=1.489
min	1402.832-1410.300=-7.468
max	2938.818-2965.051=-26.233

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

*mean*	107.842-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*	4403.250-4196.000=207.250
σ	2226.906-1952.975=273.931
min	1485.000-1489.000=-4.000
max	7404.000

*mean*	240.124-136.599=103.525
σ	284.367-20.155=264.212
min	128.853-126.710=2.144
max	942.404-186.315=756.089

op=column_set() on unindexed, dense, repeat

*mean*	62.069
σ	0.001
min	62.065
max	62.070

*mean*	4582.875-4424.750=158.125
σ	2255.433-2225.583=29.850
min	1485.000-1489.000=-4.000
max	7404.000

*mean*	180.235-124.802=55.432
σ	380.311-232.217=148.094
min	40.989-41.290=-0.301
max	1121.300-699.500=421.800

op=vertical_lookup_list() repeated on unindexed missing Int

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

*mean*	7404.000
σ	0.000
min	7404.000
max	7404.000

*mean*	22.498-130.178=-107.680
σ	2.123-304.270=-302.148
min	21.216-21.248=-0.032
max	26.788-883.180=-856.392

op=vertical_lookup_row_list() on unindexed small unique Int

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

*mean*	7404.000
σ	0.000
min	7404.000
max	7404.000

*mean*	266.938-59.839=207.099
σ	595.433-9.341=586.093
min	55.188-54.983=0.205
max	1740.555-81.871=1658.685

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.842-4646.842=-0.000
σ	0.014-0.014=0.000
min	4646.837
max	4646.876

*mean*	4168.125-4196.000=-27.875
σ	1946.457-1952.975=-6.519
min	1485.000-1489.000=-4.000
max	7404.000

*mean*	3235.901-3311.899=-75.998
σ	793.573-782.793=10.779
min	2525.222-2510.511=14.711
max	4759.407-4723.746=35.661

op=vertical_lookup_list() on indexed

*mean*	1973.830-1973.830=0.000
σ	0.002-0.002=0.000
min	1973.829
max	1973.833-1973.833=0.000

*mean*	7404.000
σ	0.000
min	7404.000
max	7404.000

*mean*	1130.262-1009.191=121.071
σ	346.830-197.064=149.767
min	917.767-920.203=-2.436
max	1826.657-1486.160=340.497

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

*mean*	905.084
σ	0.002
min	905.082
max	905.087

*mean*	7404.000
σ	0.000
min	7404.000
max	7404.000

*mean*	426.578-411.969=14.610
σ	52.568-42.115=10.453
min	394.461-385.364=9.097
max	513.562-515.486=-1.924

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*	479.000-475.625=3.375
σ	1.852-0.518=1.334
min	476.000-475.000=1.000
max	480.000-476.000=4.000

*mean*	378.063-367.374=10.689
σ	35.417-34.877=0.540
min	315.210-307.511=7.699
max	422.060-416.999=5.062

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	557.000-561.125=-4.125
σ	4.140-2.588=1.553
min	552.000-558.000=-6.000
max	560.000-563.000=-3.000

*mean*	740.916-759.338=-18.421
σ	75.333-63.144=12.188
min	599.155-627.343=-28.188
max	841.845-816.221=25.624

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.560-964.554=0.006
σ	1.879-1.879=-0.000
min	963.837-963.837=0.000
max	972.508-972.504=0.003

*mean*	1041.350-1051.050=-9.700
σ	307.713-305.395=2.318
min	559.000-565.000=-6.000
max	1491.000-1553.000=-62.000

*mean*	1.304-1.250=0.054
σ	0.161-0.061=0.100
min	1.165-1.188=-0.023
max	1.781-1.385=0.395

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.312-0.292=0.020
σ	0.320-0.287=0.033
min	0.150-0.144=0.006
max	0.883-0.803=0.080

name=error_case.art

*mean*	2.346
σ	0.012
min	2.340
max	2.368

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.473-0.476=-0.003
σ	0.319-0.321=-0.002
min	0.318-0.321=-0.003
max	1.044-1.051=-0.008

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.217=0.003
σ	0.020-0.027=-0.007
min	0.207-0.193=0.014
max	0.256-0.262=-0.006

name=nested_use.art

*mean*	2.364
σ	0.002
min	2.363
max	2.367

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.335-0.334=0.001
σ	0.017-0.021=-0.005
min	0.319-0.321=-0.001
max	0.361-0.371=-0.010

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.978
σ	0.009
min	964.973
max	964.995

*mean*	435.600-431.000=4.600
σ	5.079-0.000=5.079
min	431.000
max	441.000-431.000=10.000

*mean*	0.556-0.547=0.009
σ	0.051-0.058=-0.007
min	0.486-0.472=0.014
max	0.609-0.597=0.012

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

*mean*	441.000-431.000=10.000
σ	0.000
min	441.000-431.000=10.000
max	441.000-431.000=10.000

*mean*	0.478-0.452=0.026
σ	0.026-0.037=-0.011
min	0.452-0.422=0.030
max	0.521-0.506=0.015

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*	441.000-431.000=10.000
σ	0.000
min	441.000-431.000=10.000
max	441.000-431.000=10.000

*mean*	2.510-2.084=0.426
σ	0.230-0.317=-0.087
min	1.914-1.760=0.154
max	2.753-2.873=-0.120

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	441.000-431.000=10.000
σ	0.000
min	441.000-431.000=10.000
max	441.000-431.000=10.000

*mean*	2.597-1.945=0.652
σ	0.077-0.065=0.012
min	2.446-1.834=0.613
max	2.831-2.160=0.672

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	441.000-431.000=10.000
σ	0.000
min	441.000-431.000=10.000
max	441.000-431.000=10.000

*mean*	0.302-0.304=-0.001
σ	0.008-0.008=0.000
min	0.288-0.289=-0.001
max	0.355-0.353=0.002

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	441.000-431.000=10.000
σ	0.000
min	441.000-431.000=10.000
max	441.000-431.000=10.000

*mean*	0.291-0.292=-0.001
σ	0.009-0.008=0.000
min	0.276-0.277=-0.001
max	0.330-0.335=-0.005

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.682-11.157=0.525
σ	11.867-11.259=0.609
min	0.577-0.574=0.003
max	91.903-131.549=-39.647

*mean*	462.494-462.505=-0.011
σ	18.371-22.045=-3.673
min	406.000-407.000=-1.000
max	477.000-480.000=-3.000

*mean*	0.027-0.026=0.001
σ	0.029-0.027=0.002
min	0.001-0.001=0.000
max	0.221-0.312=-0.091

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.946-279.062=-0.116
σ	1.073-1.082=-0.008
min	278.538-278.643=-0.105
max	281.997-282.135=-0.138

*mean*	444.600-445.000=-0.400
σ	15.693-17.288=-1.596
min	415.000-426.000=-11.000
max	466.000-471.000=-5.000

*mean*	0.583-0.577=0.007
σ	0.018-0.020=-0.002
min	0.543-0.553=-0.010
max	0.616-0.626=-0.010

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	850.000-694.000=156.000
σ	0.000
min	850.000-694.000=156.000
max	850.000-694.000=156.000

*mean*	155.842-151.732=4.110
σ	15.256-9.354=5.902
min	119.103-139.440=-20.337
max	165.803-167.690=-1.887

phase=macro expansion

*mean*	5.894
σ	0.000
min	5.894
max	5.894

*mean*	850.000-694.000=156.000
σ	0.000
min	850.000-694.000=156.000
max	850.000-694.000=156.000

*mean*	8.984-8.236=0.748
σ	2.211-1.079=1.132
min	6.025-6.890=-0.865
max	11.902-9.165=2.737

phase=parser

*mean*	1042.132-1042.130=0.002
σ	0.000-0.000=-0.000
min	1042.132-1042.130=0.002
max	1042.132-1042.131=0.002

*mean*	850.000-694.000=156.000
σ	0.000
min	850.000-694.000=156.000
max	850.000-694.000=156.000

*mean*	572.803-546.315=26.488
σ	132.075-77.566=54.509
min	375.440-442.171=-66.731
max	723.563-619.600=103.963

phase=processProdDef

*mean*	2241.194-2241.195=-0.001
σ	0.000
min	2241.194-2241.195=-0.001
max	2241.194-2241.195=-0.001

*mean*	850.000-694.000=156.000
σ	0.000
min	850.000-694.000=156.000
max	850.000-694.000=156.000

*mean*	2762.051-3016.950=-254.899
σ	327.658-288.041=39.618
min	2339.645-2376.643=-36.998
max	3100.764-3279.138=-178.374

phase=renaming

*mean*	21.434-21.433=0.000
σ	0.000
min	21.434-21.433=0.000
max	21.434-21.433=0.000

*mean*	850.000-694.000=156.000
σ	0.000
min	850.000-694.000=156.000
max	850.000-694.000=156.000

*mean*	42.479-44.624=-2.145
σ	2.700-5.227=-2.527
min	39.573-36.544=3.029
max	46.664-49.268=-2.604

phase=type checker

*mean*	958.462
σ	0.047
min	958.439
max	958.564

*mean*	850.000-694.000=156.000
σ	0.000
min	850.000-694.000=156.000
max	850.000-694.000=156.000

*mean*	729.298-674.859=54.439
σ	86.818-10.810=76.008
min	634.176-656.375=-22.199
max	851.288-686.905=164.384

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.856-282.856=0.000
σ	0.038-0.038=0.000
min	282.800-282.801=-0.000
max	282.892-282.892=0.001

*mean*	443.400-444.000=-0.600
σ	0.548-0.000=0.548
min	443.000-444.000=-1.000
max	444.000

*mean*	0.375-0.373=0.002
σ	0.001-0.000=0.001
min	0.374-0.372=0.001
max	0.377-0.373=0.003

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.052-1268.053=-0.001
σ	0.118-0.112=0.006
min	1267.951-1267.952=-0.001
max	1268.254-1268.240=0.013

*mean*	1091.600-1094.200=-2.600
σ	167.694-169.655=-1.961
min	892.000-893.000=-1.000
max	1320.000-1326.000=-6.000

*mean*	2.103-2.003=0.101
σ	0.183-0.115=0.068
min	1.875-1.852=0.023
max	2.385-2.095=0.290

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.017-1507.035=-0.017
σ	2.948-2.904=0.044
min	1505.463-1505.528=-0.066
max	1512.277-1512.219=0.058

*mean*	625.000-625.600=-0.600
σ	87.164-87.600=-0.437
min	495.000
max	727.000-728.000=-1.000

*mean*	2.192-2.215=-0.023
σ	0.137-0.132=0.005
min	2.114-2.107=0.007
max	2.436-2.417=0.019

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.053-1830.059=-0.006
σ	0.047-0.044=0.004
min	1829.987-1829.993=-0.006
max	1830.105-1830.107=-0.002

*mean*	1720.200-1720.800=-0.600
σ	189.539-190.212=-0.673
min	1454.000-1458.000=-4.000
max	1894.000

*mean*	3.015-2.968=0.047
σ	0.305-0.313=-0.008
min	2.829-2.710=0.120
max	3.558-3.510=0.048

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.800-1.743=0.057
σ	0.036-0.096=-0.061
min	1.772-1.613=0.160
max	1.860-1.836=0.023

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	405.944-405.943=0.001
σ	509.286-509.285=0.001
min	151.295-151.295=-0.001
max	1169.873-1169.871=0.002

*mean*	101.750
σ	7.500
min	98.000
max	113.000

*mean*	444.000-445.000=-1.000
σ	0.000
min	444.000-445.000=-1.000
max	444.000-445.000=-1.000

*mean*	0.479-0.482=-0.003
σ	0.448-0.459=-0.010
min	0.253-0.244=0.008
max	1.152-1.170=-0.018

policies=20

*mean*	1513.131-1513.126=0.005
σ	0.244-0.253=-0.009
min	1513.002-1512.971=0.031
max	1513.497-1513.502=-0.006

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	445.500-447.000=-1.500
σ	1.000-2.309=-1.309
min	444.000-445.000=-1.000
max	446.000-449.000=-3.000

*mean*	2.467-2.480=-0.013
σ	0.008-0.023=-0.015
min	2.455-2.454=0.001
max	2.476-2.501=-0.026

policies=200

*mean*	15139.944-15140.002=-0.058
σ	0.122-0.111=0.011
min	15139.812-15139.917=-0.105
max	15140.107-15140.157=-0.050

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	495.500-500.000=-4.500
σ	4.435-6.164=-1.730
min	491.000-492.000=-1.000
max	501.000-507.000=-6.000

*mean*	25.059-25.015=0.044
σ	0.090-0.096=-0.006
min	24.939-24.913=0.026
max	25.152-25.132=0.020