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 Decls)

Factor

compact size MiB

phase=processProdDef Decls

*mean*	5.676
σ	0.000
min	5.676
max	5.676

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.883
σ	0.000
min	446.883
max	446.883

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.860-54.860=0.000
σ	0.358-0.359=-0.000
min	54.730-54.718=0.013
max	55.880-55.880=-0.000

*mean*	419.000-421.000=-2.000
σ	0.000
min	419.000-421.000=-2.000
max	419.000-421.000=-2.000

*mean*	0.141-0.141=0.000
σ	0.005-0.005=-0.000
min	0.135-0.137=-0.002
max	0.148-0.148=-0.000

cache=y

dps=1

iters=10

policies=100

*mean*	43.848-43.848=-0.000
σ	0.006-0.005=0.001
min	43.838-43.838=0.001
max	43.854-43.857=-0.003

*mean*	419.000-421.000=-2.000
σ	0.000
min	419.000-421.000=-2.000
max	419.000-421.000=-2.000

*mean*	0.126-0.126=0.000
σ	0.005-0.004=0.000
min	0.117-0.121=-0.003
max	0.133-0.133=0.001

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.617-36.617=-0.000
σ	0.000-0.000=-0.000
min	36.617
max	36.618-36.618=-0.000

*mean*	4220.625-4589.375=-368.750
σ	1968.598-2248.973=-280.375
min	1484.000-1483.000=1.000
max	7435.000-7384.000=51.000

*mean*	11.609-153.940=-142.331
σ	0.461-400.029=-399.567
min	11.340-11.283=0.058
max	12.718-1143.948=-1131.230

op=column_set() on indexed, repeat

*mean*	36.618-36.617=0.000
σ	0.000-0.000=0.000
min	36.617
max	36.618-36.617=0.001

*mean*	4447.125-4589.375=-142.250
σ	2238.710-2248.973=-10.263
min	1484.000-1483.000=1.000
max	7435.000-7384.000=51.000

*mean*	109.403-13.670=95.733
σ	275.519-4.485=271.034
min	10.974-10.993=-0.019
max	791.276-23.758=767.518

op=table_records(), no indexes

*mean*	41.948-41.948=-0.000
σ	0.002-0.002=0.000
min	41.946-41.946=-0.000
max	41.951-41.950=0.001

*mean*	7435.000-7384.000=51.000
σ	0.000
min	7435.000-7384.000=51.000
max	7435.000-7384.000=51.000

*mean*	10.743-10.637=0.106
σ	0.981-0.224=0.758
min	10.187-10.321=-0.134
max	13.146-10.938=2.208

op=table_records(), repeat

*mean*	41.934-41.933=0.001
σ	0.002-0.000=0.001
min	41.933
max	41.937-41.934=0.004

*mean*	4220.625-4180.250=40.375
σ	1968.598-1945.141=23.457
min	1484.000-1483.000=1.000
max	7435.000-7384.000=51.000

*mean*	10.741-10.999=-0.258
σ	1.033-1.957=-0.923
min	10.174-10.134=0.040
max	13.271-15.833=-2.562

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

*mean*	27.655-27.655=0.000
σ	0.137-0.137=-0.000
min	27.606
max	27.993

*mean*	4220.625-4180.250=40.375
σ	1968.598-1945.141=23.457
min	1484.000-1483.000=1.000
max	7435.000-7384.000=51.000

*mean*	8.207-8.558=-0.352
σ	0.482-1.102=-0.620
min	7.546-7.747=-0.200
max	9.245-11.242=-1.997

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

*mean*	26.406-26.406=-0.000
σ	0.000-0.001=-0.001
min	26.406
max	26.406-26.410=-0.004

*mean*	4220.625-4180.250=40.375
σ	1968.598-1945.141=23.457
min	1484.000-1483.000=1.000
max	7435.000-7384.000=51.000

*mean*	6.390-6.678=-0.289
σ	0.358-0.791=-0.433
min	6.061-6.160=-0.099
max	7.208-8.616=-1.408

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.681-25.681=-0.000
σ	0.003-0.003=-0.000
min	25.680
max	25.688-25.688=-0.000

*mean*	4447.125-4589.375=-142.250
σ	2238.710-2248.973=-10.263
min	1484.000-1483.000=1.000
max	7435.000-7384.000=51.000

*mean*	5.884-6.109=-0.225
σ	1.036-1.049=-0.013
min	5.371-5.293=0.079
max	8.433-8.532=-0.098

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.984-25.984=0.000
σ	0.000-0.000=0.000
min	25.984
max	25.986-25.985=0.000

*mean*	4447.125-4589.375=-142.250
σ	2238.710-2248.973=-10.263
min	1484.000-1483.000=1.000
max	7435.000-7384.000=51.000

*mean*	5.779-5.893=-0.114
σ	1.037-1.099=-0.063
min	5.286-5.106=0.180
max	8.333-8.387=-0.055

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.627
σ	0.002
min	1021.625
max	1021.629

*mean*	7435.000-7384.000=51.000
σ	0.000
min	7435.000-7384.000=51.000
max	7435.000-7384.000=51.000

*mean*	344.631-363.743=-19.112
σ	2.837-42.257=-39.419
min	340.227-347.685=-7.459
max	348.157-468.287=-120.130

op=load_product(), with indexes

*mean*	3495.878-3495.878=0.000
σ	0.468-0.469=-0.000
min	3495.713
max	3497.038-3497.038=-0.000

*mean*	3790.625-3756.375=34.250
σ	2327.046-2299.571=27.476
min	719.000-720.000=-1.000
max	7435.000-7384.000=51.000

*mean*	2035.957-1762.435=273.522
σ	968.943-623.592=345.352
min	1388.400-1391.421=-3.021
max	3925.812-2790.666=1135.147

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

*mean*	107.854-107.854=0.000
σ	0.000-0.000=-0.000
min	107.854-107.853=0.001
max	107.854-107.854=-0.000

*mean*	4220.625-4409.625=-189.000
σ	1968.598-2218.579=-249.981
min	1484.000-1483.000=1.000
max	7435.000-7384.000=51.000

*mean*	131.518-252.139=-120.621
σ	3.434-327.131=-323.697
min	128.227-126.852=1.375
max	137.946-1060.819=-922.874

op=column_set() on unindexed, dense, repeat

*mean*	62.081
σ	0.000
min	62.081
max	62.082

*mean*	4220.625-4409.625=-189.000
σ	1968.598-2218.579=-249.981
min	1484.000-1483.000=1.000
max	7435.000-7384.000=51.000

*mean*	41.439-45.793=-4.354
σ	1.160-8.642=-7.482
min	40.085-41.277=-1.192
max	42.726-67.046=-24.319

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948
σ	0.002
min	40.947
max	40.950

*mean*	7435.000-7384.000=51.000
σ	0.000
min	7435.000-7384.000=51.000
max	7435.000-7384.000=51.000

*mean*	22.881-21.768=1.113
σ	3.097-1.624=1.473
min	20.927-21.049=-0.122
max	28.631-25.779=2.853

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.308-71.308=0.000
σ	0.002-0.002=0.000
min	71.307
max	71.311

*mean*	7435.000-7384.000=51.000
σ	0.000
min	7435.000-7384.000=51.000
max	7435.000-7384.000=51.000

*mean*	125.298-182.232=-56.934
σ	193.327-356.484=-163.156
min	54.605-54.833=-0.227
max	603.695-1064.456=-460.761

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.850
σ	0.013-0.014=-0.000
min	4646.845
max	4646.883-4646.884=-0.001

*mean*	4220.625-4180.250=40.375
σ	1968.598-1945.141=23.457
min	1484.000-1483.000=1.000
max	7435.000-7384.000=51.000

*mean*	3331.354-3169.928=161.426
σ	680.271-755.307=-75.036
min	2502.260-2495.507=6.754
max	4447.551-4601.964=-154.414

op=vertical_lookup_list() on indexed

*mean*	1973.851
σ	0.002-0.002=-0.000
min	1973.849
max	1973.853-1973.854=-0.000

*mean*	7435.000-7384.000=51.000
σ	0.000
min	7435.000-7384.000=51.000
max	7435.000-7384.000=51.000

*mean*	1224.254-1048.998=175.255
σ	725.942-246.607=479.335
min	913.515-917.597=-4.083
max	2996.785-1636.469=1360.316

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

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7435.000-7384.000=51.000
σ	0.000
min	7435.000-7384.000=51.000
max	7435.000-7384.000=51.000

*mean*	426.170-390.966=35.204
σ	49.223-7.188=42.035
min	396.355-375.400=20.955
max	511.671-399.483=112.188

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

*mean*	359.901-388.362=-28.461
σ	41.844-10.729=31.115
min	295.938-367.936=-71.998
max	433.260-396.946=36.314

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	570.000-572.000=-2.000
σ	0.000
min	570.000-572.000=-2.000
max	570.000-572.000=-2.000

*mean*	743.889-760.855=-16.966
σ	53.184-56.250=-3.066
min	640.757-687.619=-46.862
max	799.823-831.694=-31.872

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.549-1024.549=0.000
σ	0.760-0.760=-0.000
min	1024.075-1024.079=-0.004
max	1027.692-1027.690=0.001

*mean*	1047.800-1039.100=8.700
σ	311.725-298.932=12.793
min	591.000-556.000=35.000
max	1509.000-1442.000=67.000

*mean*	1.386-1.372=0.015
σ	0.083-0.061=0.022
min	1.305-1.305=-0.000
max	1.584-1.525=0.060

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.399-0.487=-0.088
σ	0.507-0.475=0.033
min	0.147-0.238=-0.091
max	1.304-1.332=-0.029

name=error_case.art

*mean*	2.340
σ	0.012
min	2.334
max	2.362

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.476-0.827=-0.352
σ	0.317-0.524=-0.207
min	0.322-0.563=-0.241
max	1.042-1.763=-0.721

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.521
max	1.525

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.222-0.405=-0.182
σ	0.024-0.089=-0.065
min	0.205-0.294=-0.089
max	0.265-0.516=-0.251

name=nested_use.art

*mean*	2.358
σ	0.002
min	2.357
max	2.361

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.334-0.594=-0.260
σ	0.017-0.030=-0.013
min	0.316-0.566=-0.249
max	0.363-0.643=-0.280

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.971
σ	0.011
min	964.965
max	964.989

*mean*	431.200-431.800=-0.600
σ	0.447-1.789=-1.342
min	431.000
max	432.000-435.000=-3.000

*mean*	0.561-0.611=-0.051
σ	0.034-0.054=-0.020
min	0.532-0.574=-0.042
max	0.604-0.706=-0.102

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	432.000-442.000=-10.000
σ	0.000
min	432.000-442.000=-10.000
max	432.000-442.000=-10.000

*mean*	0.497-0.489=0.008
σ	0.056-0.040=0.016
min	0.396-0.438=-0.041
max	0.522-0.525=-0.002

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.710
σ	0.002
min	7.709
max	7.713

*mean*	432.000-442.000=-10.000
σ	0.000
min	432.000-442.000=-10.000
max	432.000-442.000=-10.000

*mean*	1.978-2.617=-0.639
σ	0.089-0.098=-0.009
min	1.758-2.415=-0.658
max	2.392-2.962=-0.570

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	432.000-442.000=-10.000
σ	0.000
min	432.000-442.000=-10.000
max	432.000-442.000=-10.000

*mean*	1.958-2.629=-0.670
σ	0.068-0.089=-0.021
min	1.827-2.465=-0.638
max	2.240-2.833=-0.593

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	432.000-442.000=-10.000
σ	0.000
min	432.000-442.000=-10.000
max	432.000-442.000=-10.000

*mean*	0.307-0.311=-0.003
σ	0.009-0.007=0.002
min	0.293-0.297=-0.004
max	0.355-0.356=-0.001

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	432.000-442.000=-10.000
σ	0.000
min	432.000-442.000=-10.000
max	432.000-442.000=-10.000

*mean*	0.294-0.295=-0.002
σ	0.007-0.006=0.000
min	0.282-0.286=-0.004
max	0.317-0.326=-0.009

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.196-12.027=-0.831
σ	11.143-12.510=-1.368
min	0.574-0.574=-0.000
max	90.301-121.963=-31.663

*mean*	468.466-456.142=12.324
σ	22.147-16.778=5.370
min	408.000-406.000=2.000
max	486.000-472.000=14.000

*mean*	0.026-0.027=-0.001
σ	0.028-0.031=-0.003
min	0.001-0.001=0.000
max	0.219-0.299=-0.080

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.602-298.534=0.067
σ	0.968-0.999=-0.031
min	298.173-298.104=0.069
max	301.348-301.366=-0.019

*mean*	443.400-441.300=2.100
σ	16.821-18.833=-2.012
min	418.000-414.000=4.000
max	467.000-466.000=1.000

*mean*	0.596-0.595=0.000
σ	0.019-0.024=-0.005
min	0.557-0.542=0.015
max	0.638-0.626=0.012

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	844.000
σ	0.000
min	844.000
max	844.000

*mean*	238.726-238.494=0.231
σ	21.403-26.346=-4.943
min	198.392-195.523=2.869
max	259.621-260.695=-1.074

phase=macro expansion

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

*mean*	843.500-843.375=0.125
σ	1.414-1.768=-0.354
min	840.000-839.000=1.000
max	844.000

*mean*	6.458-8.763=-2.305
σ	0.116-1.028=-0.912
min	6.299-7.449=-1.150
max	6.689-9.590=-2.901

phase=parser

*mean*	1042.431-1042.434=-0.003
σ	0.000-0.000=-0.000
min	1042.431-1042.433=-0.002
max	1042.431-1042.434=-0.003

*mean*	843.500-843.375=0.125
σ	1.414-1.768=-0.354
min	840.000-839.000=1.000
max	844.000

*mean*	571.220-553.527=17.693
σ	60.980-55.294=5.687
min	426.842-449.061=-22.219
max	605.642-602.497=3.145

phase=processProdDef

*mean*	2243.980-2243.977=0.003
σ	0.000
min	2243.980-2243.977=0.003
max	2243.980-2243.977=0.003

*mean*	844.000
σ	0.000
min	844.000
max	844.000

*mean*	2776.346-2844.426=-68.079
σ	618.798-498.739=120.059
min	1920.982-1943.395=-22.413
max	3535.582-3326.863=208.719

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	843.500-843.375=0.125
σ	1.414-1.768=-0.354
min	840.000-839.000=1.000
max	844.000

*mean*	20.522-35.019=-14.497
σ	0.472-6.720=-6.249
min	19.755-26.605=-6.850
max	21.296-40.479=-19.184

phase=type checker

*mean*	989.752
σ	0.066
min	989.654
max	989.841

*mean*	843.500-843.375=0.125
σ	1.414-1.768=-0.354
min	840.000-839.000=1.000
max	844.000

*mean*	665.939-707.873=-41.935
σ	17.347-60.814=-43.466
min	646.160-672.222=-26.062
max	691.373-855.722=-164.349

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.803-293.804=-0.001
σ	0.037-0.037=-0.000
min	293.751-293.753=-0.001
max	293.841-293.843=-0.002

*mean*	444.000-444.800=-0.800
σ	0.000-1.095=-1.095
min	444.000
max	444.000-446.000=-2.000

*mean*	0.392-0.396=-0.004
σ	0.006-0.011=-0.005
min	0.388-0.390=-0.003
max	0.402-0.416=-0.014

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.275-1320.277=-0.002
σ	0.132-0.141=-0.009
min	1320.153-1320.152=0.000
max	1320.487-1320.507=-0.020

*mean*	1093.200-1091.400=1.800
σ	172.640-168.044=4.596
min	891.000-894.000=-3.000
max	1332.000-1322.000=10.000

*mean*	1.966-1.936=0.030
σ	0.141-0.107=0.034
min	1.859-1.839=0.020
max	2.205-2.114=0.092

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.265-1559.267=-0.002
σ	2.969-3.003=-0.035
min	1557.692-1557.628=0.064
max	1564.561-1564.623=-0.062

*mean*	612.400-626.600=-14.200
σ	93.265-87.540=5.724
min	500.000-496.000=4.000
max	732.000-729.000=3.000

*mean*	2.193-2.262=-0.070
σ	0.131-0.247=-0.116
min	2.049-2.096=-0.048
max	2.352-2.698=-0.346

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.325-1882.329=-0.004
σ	0.058-0.055=0.003
min	1882.243-1882.255=-0.012
max	1882.401-1882.408=-0.007

*mean*	1732.600-1730.800=1.800
σ	161.627-173.644=-12.017
min	1502.000-1474.000=28.000
max	1883.000

*mean*	2.963-3.023=-0.060
σ	0.077-0.219=-0.142
min	2.857-2.867=-0.010
max	3.069-3.408=-0.340

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.690-1.589=0.102
σ	0.104-0.141=-0.037
min	1.554-1.404=0.150
max	1.835-1.781=0.054

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.944-419.944=-0.000
σ	518.105-518.105=-0.000
min	160.888-160.888=-0.000
max	1197.101-1197.102=-0.001

*mean*	101.750
σ	7.500
min	98.000
max	113.000

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

*mean*	0.528-0.520=0.008
σ	0.527-0.507=0.019
min	0.261-0.262=-0.001
max	1.318-1.281=0.037

policies=20

*mean*	1609.197-1609.217=-0.020
σ	0.345-0.364=-0.019
min	1608.959-1608.959=-0.001
max	1609.708-1609.757=-0.049

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	449.500-447.250=2.250
σ	7.000-6.500=0.500
min	446.000-444.000=2.000
max	460.000-457.000=3.000

*mean*	2.576-2.607=-0.031
σ	0.023-0.063=-0.040
min	2.552-2.567=-0.015
max	2.607-2.699=-0.092

policies=200

*mean*	16100.592-16100.650=-0.058
σ	0.043-0.064=-0.020
min	16100.537-16100.588=-0.051
max	16100.638-16100.712=-0.073

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	494.250-492.750=1.500
σ	5.058-2.500=2.558
min	490.000
max	500.000-496.000=4.000

*mean*	26.108-26.165=-0.058
σ	0.199-0.112=0.087
min	25.956-26.064=-0.108
max	26.400-26.323=0.077