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)

Factor

compact size MiB

phase=processProdDef

*mean*	558.664-558.633=0.031
σ	0.000
min	558.664-558.633=0.031
max	558.664-558.633=0.031

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.881-54.880=0.002
σ	0.359-0.357=0.002
min	54.745-54.747=-0.002
max	55.902-55.894=0.008

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

*mean*	0.141-0.141=0.000
σ	0.004-0.004=0.000
min	0.137-0.137=0.000
max	0.148-0.147=0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.849-43.848=0.001
σ	0.007-0.004=0.003
min	43.836-43.842=-0.006
max	43.858-43.857=0.001

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

*mean*	0.125-0.122=0.003
σ	0.004-0.005=-0.001
min	0.121-0.117=0.003
max	0.132-0.130=0.002

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.618-36.618=-0.000
σ	0.002-0.002=-0.000
min	36.616-36.616=-0.000
max	36.620-36.620=-0.000

*mean*	4041.250-4042.250=-1.000
σ	2008.838-2008.850=-0.012
min	1216.000-1218.000=-2.000
max	7148.000-7146.000=2.000

*mean*	12.922-12.851=0.071
σ	0.315-0.655=-0.340
min	12.554-12.262=0.291
max	13.399-14.367=-0.968

op=column_set() on indexed, repeat

*mean*	36.618-36.618=-0.000
σ	0.002-0.002=0.000
min	36.616-36.616=-0.000
max	36.620-36.620=-0.000

*mean*	4041.250-4042.250=-1.000
σ	2008.838-2008.850=-0.012
min	1216.000-1218.000=-2.000
max	7148.000-7146.000=2.000

*mean*	12.723-12.985=-0.262
σ	0.673-0.596=0.077
min	11.824-11.646=0.179
max	13.784-13.513=0.271

op=table_records(), no indexes

*mean*	41.930-41.930=0.000
σ	0.002-0.002=0.000
min	41.928-41.928=0.000
max	41.933-41.932=0.001

*mean*	7148.000-7146.000=2.000
σ	0.000
min	7148.000-7146.000=2.000
max	7148.000-7146.000=2.000

*mean*	15.374-15.171=0.203
σ	0.184-0.161=0.023
min	15.153-14.933=0.220
max	15.642-15.399=0.242

op=table_records(), repeat

*mean*	41.929-41.930=-0.001
σ	0.002-0.002=-0.000
min	41.927-41.927=-0.000
max	41.932

*mean*	4041.250-4042.250=-1.000
σ	2008.838-2008.850=-0.012
min	1216.000-1218.000=-2.000
max	7148.000-7146.000=2.000

*mean*	13.615-14.350=-0.735
σ	1.889-1.461=0.428
min	10.758-11.075=-0.317
max	16.383-15.767=0.616

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

*mean*	27.654-27.654=0.000
σ	0.136-0.136=-0.000
min	27.604-27.604=-0.000
max	27.991

*mean*	4041.250-4042.250=-1.000
σ	2008.838-2008.850=-0.012
min	1216.000-1218.000=-2.000
max	7148.000-7146.000=2.000

*mean*	9.605-9.636=-0.030
σ	1.283-1.391=-0.109
min	8.591-8.557=0.034
max	12.677-12.681=-0.004

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

*mean*	26.401-26.401=-0.000
σ	0.002-0.002=0.000
min	26.400-26.400=-0.000
max	26.404

*mean*	4041.250-4042.250=-1.000
σ	2008.838-2008.850=-0.012
min	1216.000-1218.000=-2.000
max	7148.000-7146.000=2.000

*mean*	8.017-7.433=0.584
σ	1.500-1.213=0.286
min	6.994-6.375=0.618
max	10.704-10.145=0.559

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.668-25.668=0.000
σ	0.004-0.004=0.000
min	25.665-25.665=-0.000
max	25.678-25.678=0.000

*mean*	4041.250-4042.250=-1.000
σ	2008.838-2008.850=-0.012
min	1216.000-1218.000=-2.000
max	7148.000-7146.000=2.000

*mean*	6.038-5.989=0.050
σ	0.108-0.153=-0.045
min	5.866-5.790=0.077
max	6.163-6.183=-0.020

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970-25.970=-0.000
σ	0.002-0.002=0.000
min	25.968-25.969=-0.000
max	25.972

*mean*	4041.250-4042.250=-1.000
σ	2008.838-2008.850=-0.012
min	1216.000-1218.000=-2.000
max	7148.000-7146.000=2.000

*mean*	5.855-5.804=0.052
σ	0.100-0.099=0.001
min	5.674-5.694=-0.020
max	5.989-5.995=-0.006

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.613-1021.614=-0.000
σ	0.002-0.002=0.000
min	1021.612
max	1021.616-1021.616=-0.000

*mean*	7148.000-7146.000=2.000
σ	0.000
min	7148.000-7146.000=2.000
max	7148.000-7146.000=2.000

*mean*	366.098-362.994=3.104
σ	53.388-42.364=11.025
min	344.524-345.506=-0.982
max	498.137-467.761=30.377

op=load_product(), with indexes

*mean*	7917.792-7917.793=-0.000
σ	0.469-0.469=-0.000
min	7917.624-7917.625=-0.000
max	7918.954-7918.954=-0.001

*mean*	3272.875-3273.375=-0.500
σ	1823.353-1825.315=-1.962
min	809.000-810.000=-1.000
max	5619.000-5623.000=-4.000

*mean*	3806.810-3606.845=199.965
σ	1320.083-1032.549=287.534
min	3082.815-3083.371=-0.556
max	6199.142-5973.199=225.944

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.077-62.077=0.000
σ	0.002-0.002=-0.000
min	62.076-62.076=0.001
max	62.080

*mean*	4041.250-4042.250=-1.000
σ	2008.838-2008.850=-0.012
min	1216.000-1218.000=-2.000
max	7148.000-7146.000=2.000

*mean*	91.506-87.340=4.166
σ	19.702-19.912=-0.209
min	75.383-71.617=3.766
max	127.516-127.448=0.068

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946
σ	0.002
min	40.945
max	40.950

*mean*	7148.000-7146.000=2.000
σ	0.000
min	7148.000-7146.000=2.000
max	7148.000-7146.000=2.000

*mean*	61.265-62.125=-0.860
σ	0.323-1.258=-0.936
min	60.918-60.829=0.088
max	61.671-65.065=-3.394

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.688-66.688=-0.000
σ	0.002-0.002=-0.000
min	66.686
max	66.691-66.691=-0.000

*mean*	7148.000-7146.000=2.000
σ	0.000
min	7148.000-7146.000=2.000
max	7148.000-7146.000=2.000

*mean*	100.160-257.875=-157.715
σ	0.693-355.505=-354.812
min	99.234-98.700=0.534
max	101.288-1109.245=-1007.957

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	14217.171-14217.171=0.000
σ	4.304-4.304=0.000
min	14215.575
max	14227.821-14227.820=0.001

*mean*	4041.250-4042.250=-1.000
σ	2008.838-2008.850=-0.012
min	1216.000-1218.000=-2.000
max	7148.000-7146.000=2.000

*mean*	8175.550-8011.853=163.697
σ	2157.102-1914.002=243.101
min	6002.891-5952.758=50.133
max	11067.801-10843.400=224.402

op=vertical_lookup_list() on indexed

*mean*	13159.109-13159.108=0.000
σ	0.002-0.002=-0.000
min	13159.106-13159.105=0.001
max	13159.110

*mean*	7148.000-7146.000=2.000
σ	0.000
min	7148.000-7146.000=2.000
max	7148.000-7146.000=2.000

*mean*	5090.331-5261.622=-171.291
σ	172.373-572.617=-400.245
min	4962.508-4985.410=-22.901
max	5381.260-6619.549=-1238.288

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	172.559
σ	0.001
min	172.558
max	172.562

*mean*	477.000
σ	0.000
min	477.000
max	477.000

*mean*	382.309-357.327=24.982
σ	19.092-40.660=-21.568
min	350.784-296.401=54.383
max	394.179-394.060=0.119

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	561.000-560.000=1.000
σ	0.000
min	561.000-560.000=1.000
max	561.000-560.000=1.000

*mean*	704.380-756.781=-52.402
σ	73.371-46.245=27.126
min	591.987-649.121=-57.134
max	790.846-789.230=1.616

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.299-1024.299=0.000
σ	0.759-0.759=-0.000
min	1023.827-1023.824=0.003
max	1027.437-1027.438=-0.000

*mean*	1037.800-1058.350=-20.550
σ	301.078-314.594=-13.516
min	562.000-564.000=-2.000
max	1460.000-1521.000=-61.000

*mean*	1.536-1.544=-0.007
σ	0.068-0.074=-0.006
min	1.361-1.469=-0.107
max	1.642-1.764=-0.122

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.442-0.396=0.046
σ	0.625-0.506=0.118
min	0.132-0.143=-0.011
max	1.557-1.299=0.257

name=error_case.art

*mean*	2.339
σ	0.012
min	2.333
max	2.361

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.719-0.482=0.237
σ	0.292-0.317=-0.026
min	0.562-0.328=0.234
max	1.239-1.049=0.189

name=heavy_item.art

*mean*	1.522
σ	0.002
min	1.521
max	1.525

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.381-0.216=0.166
σ	0.041-0.023=0.018
min	0.356-0.197=0.158
max	0.451-0.256=0.195

name=nested_use.art

*mean*	2.357
σ	0.002
min	2.356
max	2.360

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.584-0.330=0.254
σ	0.030-0.018=0.012
min	0.560-0.315=0.244
max	0.634-0.362=0.272

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.840
σ	0.011
min	964.835
max	964.859

*mean*	435.200-435.600=-0.400
σ	4.550-5.079=-0.530
min	431.000
max	440.000-441.000=-1.000

*mean*	0.608-0.574=0.033
σ	0.075-0.028=0.047
min	0.548-0.547=0.002
max	0.739-0.613=0.126

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	440.000-441.000=-1.000
σ	0.000
min	440.000-441.000=-1.000
max	440.000-441.000=-1.000

*mean*	0.463-0.483=-0.021
σ	0.032-0.024=0.008
min	0.426-0.461=-0.036
max	0.495-0.520=-0.025

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.709
σ	0.002
min	7.708
max	7.712

*mean*	440.000-441.000=-1.000
σ	0.000
min	440.000-441.000=-1.000
max	440.000-441.000=-1.000

*mean*	2.634-2.610=0.024
σ	0.123-0.092=0.030
min	2.457-2.436=0.021
max	3.248-2.977=0.271

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	440.000-441.000=-1.000
σ	0.000
min	440.000-441.000=-1.000
max	440.000-441.000=-1.000

*mean*	2.605-2.608=-0.003
σ	0.094-0.092=0.002
min	2.428-2.447=-0.019
max	2.841-2.925=-0.084

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	440.000-441.000=-1.000
σ	0.000
min	440.000-441.000=-1.000
max	440.000-441.000=-1.000

*mean*	0.303-0.304=-0.001
σ	0.011-0.009=0.003
min	0.286-0.290=-0.004
max	0.372-0.366=0.006

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	440.000-441.000=-1.000
σ	0.000
min	440.000-441.000=-1.000
max	440.000-441.000=-1.000

*mean*	0.303-0.294=0.008
σ	0.070-0.012=0.058
min	0.274-0.276=-0.002
max	0.757-0.375=0.382

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.896-298.735=0.160
σ	1.002-0.972=0.029
min	298.502-298.229=0.273
max	301.743-301.489=0.254

*mean*	441.200-442.800=-1.600
σ	14.359-15.375=-1.016
min	418.000-417.000=1.000
max	467.000-468.000=-1.000

*mean*	0.598-0.609=-0.010
σ	0.024-0.016=0.009
min	0.546-0.575=-0.029
max	0.621-0.638=-0.017

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	1065.000-1063.250=1.750
σ	33.941-33.234=0.707
min	981.000
max	1077.000-1075.000=2.000

*mean*	204.754-204.918=-0.164
σ	2.560-4.169=-1.609
min	200.470-200.321=0.149
max	208.766-210.940=-2.175

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1065.000-1063.250=1.750
σ	33.941-33.234=0.707
min	981.000
max	1077.000-1075.000=2.000

*mean*	10.272-11.205=-0.933
σ	2.103-2.107=-0.004
min	6.365-7.552=-1.187
max	13.111-13.223=-0.112

phase=parser

*mean*	1042.363-1042.366=-0.003
σ	0.000-0.001=-0.001
min	1042.362-1042.363=-0.000
max	1042.363-1042.366=-0.003

*mean*	1065.000-1063.250=1.750
σ	33.941-33.234=0.707
min	981.000
max	1077.000-1075.000=2.000

*mean*	534.641-642.496=-107.856
σ	108.425-146.148=-37.723
min	379.637-413.312=-33.674
max	708.169-842.494=-134.325

phase=processProdDef

*mean*	4850.764-4850.765=-0.000
σ	0.000-0.000=-0.000
min	4850.764-4850.764=-0.000
max	4850.764-4850.765=-0.001

*mean*	1077.000-1075.000=2.000
σ	0.000
min	1077.000-1075.000=2.000
max	1077.000-1075.000=2.000

*mean*	4957.461-4986.471=-29.010
σ	326.121-370.565=-44.444
min	4349.627-4532.103=-182.476
max	5330.964-5466.147=-135.183

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1065.000-1063.250=1.750
σ	33.941-33.234=0.707
min	981.000
max	1077.000-1075.000=2.000

*mean*	39.943-42.325=-2.382
σ	8.042-8.378=-0.335
min	21.633-26.462=-4.829
max	48.137-51.704=-3.568

phase=type checker

*mean*	990.450-990.453=-0.003
σ	0.071-0.072=-0.001
min	990.344
max	990.563-990.567=-0.004

*mean*	1065.000-1063.250=1.750
σ	33.941-33.234=0.707
min	981.000
max	1077.000-1075.000=2.000

*mean*	745.459-831.217=-85.758
σ	82.410-148.623=-66.214
min	643.765-652.529=-8.764
max	894.559-1124.511=-229.952

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.821-293.821=0.000
σ	0.038-0.038=0.000
min	293.768-293.769=-0.001
max	293.860-293.861=-0.001

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.400-0.392=0.008
σ	0.005-0.001=0.004
min	0.394-0.391=0.003
max	0.406-0.394=0.013

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.211-1320.216=-0.005
σ	0.047-0.033=0.014
min	1320.137-1320.168=-0.032
max	1320.257-1320.256=0.002

*mean*	1067.600-1092.600=-25.000
σ	164.483-183.028=-18.545
min	845.000-838.000=7.000
max	1268.000-1309.000=-41.000

*mean*	2.249-2.285=-0.036
σ	0.124-0.185=-0.061
min	2.147-2.164=-0.017
max	2.456-2.613=-0.157

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.617-1560.617=0.000
σ	6.226-6.226=0.000
min	1557.635-1557.617=0.018
max	1571.750-1571.749=0.001

*mean*	619.600-617.800=1.800
σ	82.984-82.105=0.879
min	494.000-493.000=1.000
max	717.000-713.000=4.000

*mean*	2.304-2.302=0.002
σ	0.188-0.183=0.005
min	2.181-2.179=0.002
max	2.623-2.627=-0.004

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.168-1882.172=-0.004
σ	0.056-0.053=0.002
min	1882.105-1882.101=0.003
max	1882.241-1882.242=-0.001

*mean*	1708.600-1743.000=-34.400
σ	258.907-229.600=29.307
min	1396.000-1442.000=-46.000
max	2056.000-1964.000=92.000

*mean*	2.929-3.015=-0.086
σ	0.076-0.160=-0.085
min	2.842-2.880=-0.037
max	3.013-3.231=-0.218

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.841-1.833=0.008
σ	0.050-0.067=-0.017
min	1.755-1.731=0.024
max	1.874-1.893=-0.019

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.082-452.083=-0.001
σ	582.721-582.726=-0.004
min	160.720-160.716=0.004
max	1326.164-1326.171=-0.007

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	441.000-442.000=-1.000
σ	0.000
min	441.000-442.000=-1.000
max	441.000-442.000=-1.000

*mean*	0.541-0.504=0.037
σ	0.542-0.470=0.072
min	0.268-0.266=0.002
max	1.354-1.209=0.145

policies=20

*mean*	1607.527-1607.522=0.005
σ	0.413-0.406=0.007
min	1607.247-1607.245=0.002
max	1608.139-1608.122=0.016

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	445.000-450.000=-5.000
σ	4.619-9.238=-4.619
min	441.000-442.000=-1.000
max	449.000-458.000=-9.000

*mean*	2.694-2.668=0.026
σ	0.017-0.014=0.003
min	2.677-2.649=0.028
max	2.714-2.679=0.034

policies=200

*mean*	16083.364-16083.389=-0.025
σ	0.167-0.167=-0.000
min	16083.200-16083.285=-0.085
max	16083.533-16083.638=-0.105

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	493.750-495.250=-1.500
σ	4.031-4.193=-0.162
min	489.000-491.000=-2.000
max	498.000-501.000=-3.000

*mean*	27.146-27.083=0.063
σ	0.033-0.033=-0.000
min	27.115-27.037=0.078
max	27.193-27.110=0.083