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*	57.822-57.816=0.006
σ	0.361-0.362=-0.000
min	57.682-57.670=0.011
max	58.850-58.844=0.006

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

*mean*	0.148-0.147=0.000
σ	0.004-0.004=-0.000
min	0.143-0.144=-0.000
max	0.156-0.155=0.000

cache=y

dps=1

iters=10

policies=100

*mean*	46.897-46.896=0.002
σ	0.007-0.007=0.000
min	46.887-46.880=0.007
max	46.908-46.907=0.001

*mean*	420.300-421.000=-0.700
σ	0.483-0.000=0.483
min	420.000-421.000=-1.000
max	421.000

*mean*	0.127-0.131=-0.003
σ	0.005-0.004=0.001
min	0.121-0.127=-0.006
max	0.135-0.140=-0.005

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-36.605=-0.000
max	36.606

*mean*	4588.250-4590.250=-2.000
σ	2249.908-2247.645=2.263
min	1487.000
max	7384.000-7381.000=3.000

*mean*	179.977-160.016=19.960
σ	472.678-416.175=56.502
min	11.901-11.820=0.081
max	1349.785-1189.987=159.798

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.605=0.000

*mean*	4588.250-4590.250=-2.000
σ	2249.908-2247.645=2.263
min	1487.000
max	7384.000-7381.000=3.000

*mean*	14.781-13.733=1.048
σ	4.580-4.647=-0.067
min	11.733-11.210=0.522
max	25.025-24.279=0.747

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.943-41.942=0.000

*mean*	7384.000-7381.000=3.000
σ	0.000
min	7384.000-7381.000=3.000
max	7384.000-7381.000=3.000

*mean*	11.719-11.141=0.579
σ	1.924-0.239=1.685
min	10.832-10.794=0.038
max	16.465-11.537=4.928

op=table_records(), repeat

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

*mean*	4177.500-4181.750=-4.250
σ	1946.022-1944.510=1.511
min	1487.000
max	7384.000-7381.000=3.000

*mean*	11.749-11.814=-0.065
σ	1.776-1.803=-0.027
min	10.945-10.908=0.036
max	16.134-16.224=-0.090

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

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

*mean*	4177.500-4181.750=-4.250
σ	1946.022-1944.510=1.511
min	1487.000
max	7384.000-7381.000=3.000

*mean*	9.276-8.843=0.433
σ	1.287-1.356=-0.068
min	8.019-7.966=0.053
max	12.323-12.137=0.186

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

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

*mean*	4177.500-4181.750=-4.250
σ	1946.022-1944.510=1.511
min	1487.000
max	7384.000-7381.000=3.000

*mean*	7.098-6.760=0.339
σ	0.884-1.203=-0.319
min	6.368-5.575=0.793
max	9.156-9.572=-0.416

op=vertical_lookup_row_list() on 2 indexed

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

*mean*	4588.250-4590.250=-2.000
σ	2249.908-2247.645=2.263
min	1487.000
max	7384.000-7381.000=3.000

*mean*	6.549-6.385=0.164
σ	0.994-1.081=-0.088
min	5.875-5.770=0.105
max	8.692-8.847=-0.155

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*	4588.250-4590.250=-2.000
σ	2249.908-2247.645=2.263
min	1487.000
max	7384.000-7381.000=3.000

*mean*	6.429-6.326=0.103
σ	1.042-1.092=-0.050
min	5.803-5.671=0.132
max	8.704-8.751=-0.047

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.599
σ	0.002
min	1021.597
max	1021.602

*mean*	7384.000-7381.000=3.000
σ	0.000
min	7384.000-7381.000=3.000
max	7384.000-7381.000=3.000

*mean*	346.688-362.030=-15.342
σ	1.314-42.868=-41.555
min	344.774-344.828=-0.055
max	348.585-468.060=-119.474

op=load_product(), with indexes

*mean*	3495.848-3495.848=0.000
σ	0.460-0.460=0.000
min	3495.685
max	3496.987-3496.986=0.001

*mean*	3755.250-3757.625=-2.375
σ	2300.020-2299.310=0.710
min	720.000
max	7384.000-7381.000=3.000

*mean*	1805.340-1801.185=4.155
σ	670.987-676.767=-5.780
min	1407.419-1404.695=2.723
max	2966.265-2986.480=-20.215

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*	4406.375-4410.250=-3.875
σ	2219.381-2216.981=2.401
min	1487.000
max	7384.000-7381.000=3.000

*mean*	224.310-251.479=-27.169
σ	248.553-325.933=-77.379
min	123.858-125.745=-1.886
max	837.857-1057.018=-219.161

op=column_set() on unindexed, dense, repeat

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

*mean*	4406.375-4410.250=-3.875
σ	2219.381-2216.981=2.401
min	1487.000
max	7384.000-7381.000=3.000

*mean*	46.106-46.611=-0.505
σ	7.438-9.338=-1.900
min	41.481-40.938=0.543
max	64.094-69.335=-5.241

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

*mean*	7384.000-7381.000=3.000
σ	0.000
min	7384.000-7381.000=3.000
max	7384.000-7381.000=3.000

*mean*	177.040-21.998=155.041
σ	438.316-1.207=437.110
min	21.310-21.263=0.048
max	1261.814-24.913=1236.900

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*	7384.000-7381.000=3.000
σ	0.000
min	7384.000-7381.000=3.000
max	7384.000-7381.000=3.000

*mean*	65.083-258.039=-192.956
σ	25.417-569.946=-544.529
min	54.928-55.235=-0.307
max	127.841-1668.577=-1540.736

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4177.500-4181.750=-4.250
σ	1946.022-1944.510=1.511
min	1487.000
max	7384.000-7381.000=3.000

*mean*	3262.748-3249.459=13.289
σ	795.882-764.158=31.723
min	2506.016-2510.355=-4.339
max	4538.590-4613.620=-75.030

op=vertical_lookup_list() on indexed

*mean*	1973.830
σ	0.002
min	1973.829
max	1973.833

*mean*	7384.000-7381.000=3.000
σ	0.000
min	7384.000-7381.000=3.000
max	7384.000-7381.000=3.000

*mean*	1011.158-1035.248=-24.089
σ	180.154-202.858=-22.704
min	914.630-919.550=-4.920
max	1427.550-1505.243=-77.694

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

*mean*	905.084
σ	0.002
min	905.082
max	905.087

*mean*	7384.000-7381.000=3.000
σ	0.000
min	7384.000-7381.000=3.000
max	7384.000-7381.000=3.000

*mean*	395.457-395.875=-0.418
σ	6.071-5.994=0.077
min	381.429-383.269=-1.840
max	400.009-405.067=-5.057

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-476.125=2.875
σ	2.138-0.354=1.785
min	477.000-476.000=1.000
max	481.000-477.000=4.000

*mean*	380.628-379.976=0.651
σ	39.525-37.909=1.615
min	307.621-299.375=8.246
max	430.532-418.058=12.473

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	561.875-563.000=-1.125
σ	3.182-0.000=3.182
min	554.000-563.000=-9.000
max	563.000

*mean*	740.389-725.287=15.102
σ	42.394-59.072=-16.677
min	704.663-612.827=91.836
max	834.514-782.409=52.105

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	976.919-976.918=0.000
σ	2.435-2.438=-0.003
min	976.072-976.071=0.002
max	987.238-987.249=-0.011

*mean*	1047.400-1050.350=-2.950
σ	322.598-314.792=7.806
min	564.000-575.000=-11.000
max	1547.000-1508.000=39.000

*mean*	1.300-1.320=-0.020
σ	0.126-0.140=-0.014
min	1.213-1.207=0.006
max	1.731-1.755=-0.024

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.378-0.318=0.060
σ	0.473-0.292=0.182
min	0.136-0.143=-0.007
max	1.221-0.835=0.387

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.587-0.473=0.114
σ	0.289-0.310=-0.021
min	0.326-0.328=-0.002
max	1.038-1.027=0.011

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.383-0.219=0.164
σ	0.031-0.023=0.009
min	0.362-0.205=0.157
max	0.438-0.260=0.179

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.597-0.334=0.264
σ	0.040-0.018=0.022
min	0.561-0.322=0.239
max	0.663-0.365=0.298

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

*mean*	0.580-0.520=0.060
σ	0.093-0.048=0.044
min	0.490-0.440=0.050
max	0.727-0.569=0.158

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.467-0.456=0.011
σ	0.052-0.070=-0.017
min	0.394-0.372=0.022
max	0.519-0.530=-0.011

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*	2.623-1.870=0.754
σ	0.104-0.107=-0.003
min	2.477-1.684=0.792
max	3.134-2.435=0.699

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.603-1.939=0.664
σ	0.089-0.053=0.036
min	2.449-1.825=0.623
max	2.980-2.074=0.906

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.312-0.305=0.007
σ	0.047-0.010=0.037
min	0.291-0.290=0.002
max	0.767-0.370=0.397

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.291-0.294=-0.003
σ	0.008-0.035=-0.027
min	0.280-0.277=0.003
max	0.328-0.628=-0.299

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.643-11.546=0.097
σ	11.549-11.482=0.068
min	0.574-0.574=-0.000
max	101.397-95.061=6.336

*mean*	453.427-463.135=-9.708
σ	14.001-16.593=-2.593
min	407.000-408.000=-1.000
max	471.000-476.000=-5.000

*mean*	0.026-0.026=0.000
σ	0.028-0.028=0.000
min	0.001-0.001=0.000
max	0.239-0.225=0.014

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	293.712-293.887=-0.175
σ	0.995-1.029=-0.034
min	293.124-293.384=-0.260
max	296.505-296.795=-0.291

*mean*	440.600-443.200=-2.600
σ	16.887-18.855=-1.968
min	415.000
max	463.000-464.000=-1.000

*mean*	0.599-0.589=0.011
σ	0.011-0.030=-0.019
min	0.577-0.534=0.042
max	0.611-0.627=-0.016

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*	848.750-850.000=-1.250
σ	0.463-0.000=0.463
min	848.000-850.000=-2.000
max	849.000-850.000=-1.000

*mean*	155.895-153.922=1.973
σ	12.918-12.849=0.069
min	133.460-136.160=-2.700
max	166.730-166.925=-0.195

phase=macro expansion

*mean*	5.894
σ	0.000
min	5.894
max	5.894

*mean*	848.625-849.625=-1.000
σ	0.518-1.061=-0.543
min	848.000-847.000=1.000
max	849.000-850.000=-1.000

*mean*	7.100-7.426=-0.326
σ	1.612-2.242=-0.629
min	5.855-5.840=0.015
max	9.079-11.862=-2.783

phase=parser

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

*mean*	848.625-849.625=-1.000
σ	0.518-1.061=-0.543
min	848.000-847.000=1.000
max	849.000-850.000=-1.000

*mean*	460.147-470.259=-10.112
σ	115.543-138.317=-22.774
min	374.764-373.210=1.554
max	615.135-730.794=-115.659

phase=processProdDef

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

*mean*	848.750-850.000=-1.250
σ	0.463-0.000=0.463
min	848.000-850.000=-2.000
max	849.000-850.000=-1.000

*mean*	2749.297-3000.318=-251.021
σ	517.452-324.102=193.350
min	2158.510-2324.812=-166.302
max	3489.374-3341.672=147.702

phase=renaming

*mean*	21.430-21.430=-0.000
σ	0.000-0.001=-0.001
min	21.430
max	21.430-21.433=-0.004

*mean*	848.625-849.625=-1.000
σ	0.518-1.061=-0.543
min	848.000-847.000=1.000
max	849.000-850.000=-1.000

*mean*	37.206-39.988=-2.782
σ	2.369-6.241=-3.872
min	33.743-25.678=8.065
max	39.846-47.407=-7.561

phase=type checker

*mean*	958.462-958.466=-0.003
σ	0.047-0.047=-0.000
min	958.439
max	958.564-958.568=-0.004

*mean*	848.625-849.625=-1.000
σ	0.518-1.061=-0.543
min	848.000-847.000=1.000
max	849.000-850.000=-1.000

*mean*	665.122-695.883=-30.761
σ	15.947-60.321=-44.374
min	636.503-648.019=-11.516
max	680.544-839.124=-158.580

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	327.855-327.855=0.000
σ	0.037-0.037=0.001
min	327.804-327.803=0.000
max	327.892-327.891=0.001

*mean*	440.800-441.400=-0.600
σ	4.147-3.847=0.300
min	434.000-435.000=-1.000
max	445.000

*mean*	0.435-0.436=-0.002
σ	0.006-0.010=-0.005
min	0.429-0.428=0.001
max	0.444-0.454=-0.010

iters=5

new-facts=1

prior-facts=6402

*mean*	1313.059-1313.073=-0.013
σ	0.144-0.146=-0.002
min	1312.961-1312.967=-0.006
max	1313.311-1313.327=-0.017

*mean*	1071.400-1088.600=-17.200
σ	185.655-164.410=21.245
min	830.000-897.000=-67.000
max	1310.000-1311.000=-1.000

*mean*	1.885-1.890=-0.005
σ	0.049-0.064=-0.015
min	1.830-1.826=0.004
max	1.949-1.984=-0.035

iters=5

new-facts=6402

prior-facts=1

*mean*	1552.073-1552.096=-0.023
σ	3.055-3.061=-0.006
min	1550.487-1550.554=-0.066
max	1557.529-1557.566=-0.037

*mean*	620.000
σ	81.009-90.371=-9.362
min	503.000-519.000=-16.000
max	706.000-739.000=-33.000

*mean*	2.351-2.374=-0.023
σ	0.295-0.247=0.048
min	2.060-2.110=-0.050
max	2.681-2.722=-0.042

iters=5

new-facts=6402

prior-facts=6402

*mean*	1875.057-1875.059=-0.002
σ	0.051-0.043=0.008
min	1874.998-1875.004=-0.006
max	1875.118-1875.113=0.005

*mean*	1712.800-1721.400=-8.600
σ	249.538-205.583=43.955
min	1415.000-1450.000=-35.000
max	2045.000-1917.000=128.000

*mean*	2.946-2.943=0.003
σ	0.153-0.085=0.068
min	2.841-2.849=-0.008
max	3.205-3.032=0.172

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.520-1.457=0.063
σ	0.165-0.198=-0.033
min	1.263-1.265=-0.002
max	1.710-1.708=0.002

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.404-419.407=-0.003
σ	508.893-508.894=-0.001
min	164.955-164.957=-0.002
max	1182.744-1182.748=-0.004

*mean*	101.250
σ	6.500
min	98.000
max	111.000

*mean*	432.000-430.000=2.000
σ	0.000
min	432.000-430.000=2.000
max	432.000-430.000=2.000

*mean*	0.520-0.517=0.004
σ	0.495-0.496=-0.001
min	0.271-0.266=0.005
max	1.263-1.261=0.002

policies=20

*mean*	1649.814-1649.816=-0.002
σ	0.358-0.367=-0.009
min	1649.599-1649.591=0.007
max	1650.348-1650.363=-0.015

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	450.750-444.500=6.250
σ	11.587-10.630=0.956
min	436.000-431.000=5.000
max	460.000-453.000=7.000

*mean*	2.642-2.654=-0.012
σ	0.014-0.006=0.008
min	2.632-2.648=-0.015
max	2.663-2.662=0.000

policies=200

*mean*	16506.040-16505.947=0.093
σ	0.045-0.122=-0.076
min	16505.994-16505.785=0.208
max	16506.096-16506.063=0.033

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	498.500-501.750=-3.250
σ	5.972-6.021=-0.049
min	492.000-494.000=-2.000
max	506.000-507.000=-1.000

*mean*	26.788-26.758=0.031
σ	0.091-0.095=-0.004
min	26.711-26.631=0.080
max	26.904-26.836=0.069