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.633-558.664=-0.031
σ	0.000
min	558.633-558.664=-0.031
max	558.633-558.664=-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.880-54.887=-0.008
σ	0.357-0.357=-0.000
min	54.747-54.751=-0.005
max	55.894-55.903=-0.009

*mean*	418.000-420.000=-2.000
σ	0.000
min	418.000-420.000=-2.000
max	418.000-420.000=-2.000

*mean*	0.141-0.141=-0.000
σ	0.004-0.005=-0.001
min	0.137-0.137=-0.000
max	0.147-0.150=-0.003

cache=y

dps=1

iters=10

policies=100

*mean*	43.848-43.855=-0.007
σ	0.004-0.004=0.000
min	43.842-43.849=-0.007
max	43.857-43.863=-0.006

*mean*	418.000-420.000=-2.000
σ	0.000
min	418.000-420.000=-2.000
max	418.000-420.000=-2.000

*mean*	0.122-0.124=-0.003
σ	0.005-0.005=0.000
min	0.117-0.118=-0.001
max	0.130-0.132=-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*	4042.250-4043.625=-1.375
σ	2008.850-2009.733=-0.884
min	1218.000-1216.000=2.000
max	7146.000-7145.000=1.000

*mean*	12.851-13.507=-0.657
σ	0.655-1.872=-1.217
min	12.262-12.364=-0.102
max	14.367-18.005=-3.639

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*	4042.250-4043.625=-1.375
σ	2008.850-2009.733=-0.884
min	1218.000-1216.000=2.000
max	7146.000-7145.000=1.000

*mean*	12.985-13.440=-0.455
σ	0.596-1.545=-0.949
min	11.646-11.834=-0.188
max	13.513-16.873=-3.360

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

*mean*	7146.000-7145.000=1.000
σ	0.000
min	7146.000-7145.000=1.000
max	7146.000-7145.000=1.000

*mean*	15.171-15.455=-0.284
σ	0.161-0.178=-0.016
min	14.933-15.213=-0.280
max	15.399-15.807=-0.407

op=table_records(), repeat

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

*mean*	4042.250-4043.625=-1.375
σ	2008.850-2009.733=-0.884
min	1218.000-1216.000=2.000
max	7146.000-7145.000=1.000

*mean*	14.350-14.477=-0.127
σ	1.461-1.635=-0.174
min	11.075-11.622=-0.547
max	15.767-16.452=-0.686

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

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

*mean*	4042.250-4043.625=-1.375
σ	2008.850-2009.733=-0.884
min	1218.000-1216.000=2.000
max	7146.000-7145.000=1.000

*mean*	9.636-10.045=-0.409
σ	1.391-1.659=-0.267
min	8.557-8.575=-0.018
max	12.681-12.795=-0.113

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*	4042.250-4043.625=-1.375
σ	2008.850-2009.733=-0.884
min	1218.000-1216.000=2.000
max	7146.000-7145.000=1.000

*mean*	7.433-7.781=-0.347
σ	1.213-1.756=-0.542
min	6.375-6.098=0.278
max	10.145-10.652=-0.507

op=vertical_lookup_row_list() on 2 indexed

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

*mean*	4042.250-4043.625=-1.375
σ	2008.850-2009.733=-0.884
min	1218.000-1216.000=2.000
max	7146.000-7145.000=1.000

*mean*	5.989-6.235=-0.246
σ	0.153-0.404=-0.251
min	5.790-5.847=-0.058
max	6.183-7.135=-0.952

op=vertical_lookup_row_list() on 3 (1 unindexed)

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

*mean*	4042.250-4043.625=-1.375
σ	2008.850-2009.733=-0.884
min	1218.000-1216.000=2.000
max	7146.000-7145.000=1.000

*mean*	5.804-5.796=0.007
σ	0.099-0.109=-0.010
min	5.694-5.599=0.095
max	5.995-5.955=0.040

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

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

*mean*	7146.000-7145.000=1.000
σ	0.000
min	7146.000-7145.000=1.000
max	7146.000-7145.000=1.000

*mean*	362.994-368.397=-5.403
σ	42.364-56.803=-14.439
min	345.506-345.272=0.234
max	467.761-508.881=-41.121

op=load_product(), with indexes

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

*mean*	3273.375-3275.875=-2.500
σ	1825.315-1826.099=-0.784
min	810.000-809.000=1.000
max	5623.000-5626.000=-3.000

*mean*	3606.845-3551.244=55.601
σ	1032.549-873.840=158.709
min	3083.371-3088.741=-5.370
max	5973.199-5428.764=544.435

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.000
max	62.080

*mean*	4042.250-4043.625=-1.375
σ	2008.850-2009.733=-0.884
min	1218.000-1216.000=2.000
max	7146.000-7145.000=1.000

*mean*	87.340-92.785=-5.445
σ	19.912-22.212=-2.300
min	71.617-71.525=0.093
max	127.448-126.847=0.601

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946-40.946=0.000
σ	0.002-0.002=-0.000
min	40.945-40.945=0.000
max	40.950

*mean*	7146.000-7145.000=1.000
σ	0.000
min	7146.000-7145.000=1.000
max	7146.000-7145.000=1.000

*mean*	62.125-61.283=0.842
σ	1.258-0.286=0.972
min	60.829-60.945=-0.116
max	65.065-61.695=3.370

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*	7146.000-7145.000=1.000
σ	0.000
min	7146.000-7145.000=1.000
max	7146.000-7145.000=1.000

*mean*	257.875-100.548=157.327
σ	355.505-0.600=354.905
min	98.700-99.576=-0.876
max	1109.245-101.479=1007.766

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.820-14227.821=-0.001

*mean*	4042.250-4043.625=-1.375
σ	2008.850-2009.733=-0.884
min	1218.000-1216.000=2.000
max	7146.000-7145.000=1.000

*mean*	8011.853-8022.019=-10.166
σ	1914.002-1925.218=-11.217
min	5952.758-6055.550=-102.792
max	10843.400-11077.642=-234.242

op=vertical_lookup_list() on indexed

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

*mean*	7146.000-7145.000=1.000
σ	0.000
min	7146.000-7145.000=1.000
max	7146.000-7145.000=1.000

*mean*	5261.622-5163.537=98.085
σ	572.617-233.692=338.925
min	4985.410-5026.760=-41.350
max	6619.549-5671.890=947.659

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*	357.327-376.979=-19.652
σ	40.660-19.227=21.433
min	296.401-350.870=-54.469
max	394.060-396.126=-2.066

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

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

*mean*	756.781-781.390=-24.609
σ	46.245-15.073=31.172
min	649.121-760.450=-111.329
max	789.230-803.450=-14.220

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.824-1023.827=-0.003
max	1027.438-1027.438=-0.000

*mean*	1058.350-1053.800=4.550
σ	314.594-311.971=2.623
min	564.000-570.000=-6.000
max	1521.000-1511.000=10.000

*mean*	1.544-1.547=-0.003
σ	0.074-0.065=0.010
min	1.469-1.487=-0.019
max	1.764-1.767=-0.002

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.396-0.485=-0.088
σ	0.506-0.527=-0.021
min	0.143-0.239=-0.096
max	1.299-1.427=-0.128

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.482-0.826=-0.344
σ	0.317-0.523=-0.206
min	0.328-0.567=-0.238
max	1.049-1.762=-0.712

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.216-0.383=-0.167
σ	0.023-0.046=-0.023
min	0.197-0.347=-0.150
max	0.256-0.460=-0.204

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.330-0.585=-0.255
σ	0.018-0.028=-0.010
min	0.315-0.557=-0.242
max	0.362-0.632=-0.271

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.600-437.200=-1.600
σ	5.079-6.535=-1.455
min	431.000
max	441.000-444.000=-3.000

*mean*	0.574-0.725=-0.151
σ	0.028-0.032=-0.004
min	0.547-0.676=-0.129
max	0.613-0.765=-0.152

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

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

*mean*	0.483-0.625=-0.141
σ	0.024-0.025=-0.001
min	0.461-0.590=-0.129
max	0.520-0.645=-0.126

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*	441.000-444.000=-3.000
σ	0.000
min	441.000-444.000=-3.000
max	441.000-444.000=-3.000

*mean*	2.610-3.505=-0.894
σ	0.092-0.096=-0.003
min	2.436-3.381=-0.945
max	2.977-3.913=-0.936

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

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

*mean*	2.608-3.598=-0.990
σ	0.092-1.087=-0.995
min	2.447-3.360=-0.913
max	2.925-14.316=-11.391

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

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

*mean*	0.304-0.539=-0.235
σ	0.009-0.020=-0.011
min	0.290-0.515=-0.225
max	0.366-0.665=-0.300

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

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

*mean*	0.294-0.510=-0.215
σ	0.012-0.014=-0.002
min	0.276-0.486=-0.210
max	0.375-0.598=-0.223

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.735-298.676=0.059
σ	0.972-0.983=-0.011
min	298.229-298.315=-0.086
max	301.489-301.473=0.017

*mean*	442.800-440.000=2.800
σ	15.375-12.901=2.474
min	417.000
max	468.000-462.000=6.000

*mean*	0.609-0.599=0.010
σ	0.016-0.016=-0.000
min	0.575-0.565=0.010
max	0.638-0.628=0.009

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-236.678=-0.000
max	236.678-236.678=0.000

*mean*	1063.250-924.250=139.000
σ	33.234-10.607=22.627
min	981.000-898.000=83.000
max	1075.000-928.000=147.000

*mean*	204.918-205.536=-0.618
σ	4.169-3.805=0.364
min	200.321-200.740=-0.420
max	210.940-211.028=-0.087

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1063.250-921.375=141.875
σ	33.234-18.738=14.496
min	981.000-875.000=106.000
max	1075.000-928.000=147.000

*mean*	11.205-9.623=1.582
σ	2.107-2.256=-0.149
min	7.552-6.474=1.077
max	13.223-14.170=-0.947

phase=parser

*mean*	1042.366-1042.361=0.005
σ	0.001-0.000=0.001
min	1042.363-1042.361=0.002
max	1042.366-1042.362=0.005

*mean*	1063.250-921.375=141.875
σ	33.234-18.738=14.496
min	981.000-875.000=106.000
max	1075.000-928.000=147.000

*mean*	642.496-572.048=70.448
σ	146.148-112.631=33.518
min	413.312-444.469=-31.157
max	842.494-771.834=70.660

phase=processProdDef

*mean*	4850.765-4850.766=-0.002
σ	0.000-0.000=-0.000
min	4850.764-4850.766=-0.002
max	4850.765-4850.767=-0.003

*mean*	1075.000-928.000=147.000
σ	0.000
min	1075.000-928.000=147.000
max	1075.000-928.000=147.000

*mean*	4986.471-5127.229=-140.758
σ	370.565-520.627=-150.062
min	4532.103-4325.341=206.762
max	5466.147-5881.443=-415.297

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1063.250-921.375=141.875
σ	33.234-18.738=14.496
min	981.000-875.000=106.000
max	1075.000-928.000=147.000

*mean*	42.325-37.364=4.961
σ	8.378-10.645=-2.268
min	26.462-21.278=5.183
max	51.704-55.904=-4.200

phase=type checker

*mean*	990.453-990.454=-0.000
σ	0.072-0.071=0.001
min	990.344-990.348=-0.004
max	990.567-990.567=0.000

*mean*	1063.250-924.125=139.125
σ	33.234-10.960=22.274
min	981.000-897.000=84.000
max	1075.000-928.000=147.000

*mean*	831.217-761.789=69.428
σ	148.623-101.680=46.943
min	652.529-659.483=-6.954
max	1124.511-916.983=207.527

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.037=0.000
min	293.769-293.768=0.001
max	293.861-293.859=0.002

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.392-0.402=-0.010
σ	0.001-0.005=-0.004
min	0.391-0.398=-0.007
max	0.394-0.411=-0.018

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.216-1320.221=-0.005
σ	0.033-0.036=-0.003
min	1320.168-1320.165=0.003
max	1320.256-1320.260=-0.004

*mean*	1092.600-1099.000=-6.400
σ	183.028-190.330=-7.302
min	838.000
max	1309.000-1327.000=-18.000

*mean*	2.285-2.231=0.054
σ	0.185-0.065=0.120
min	2.164-2.172=-0.008
max	2.613-2.337=0.276

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.617-1560.609=0.008
σ	6.226-6.219=0.007
min	1557.617-1557.632=-0.015
max	1571.749-1571.730=0.019

*mean*	617.800-617.200=0.600
σ	82.105-81.729=0.375
min	493.000
max	713.000-712.000=1.000

*mean*	2.302-2.273=0.029
σ	0.183-0.092=0.092
min	2.179-2.192=-0.013
max	2.627-2.431=0.196

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.172-1882.158=0.014
σ	0.053-0.064=-0.011
min	1882.101-1882.070=0.032
max	1882.242-1882.240=0.002

*mean*	1743.000-1737.400=5.600
σ	229.600-176.514=53.085
min	1442.000-1475.000=-33.000
max	1964.000-1889.000=75.000

*mean*	3.015-3.012=0.003
σ	0.160-0.106=0.054
min	2.880-2.888=-0.009
max	3.231-3.163=0.068

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.833-1.777=0.056
σ	0.067-0.138=-0.070
min	1.731-1.600=0.131
max	1.893-1.897=-0.004

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.083-452.081=0.001
σ	582.726-582.722=0.004
min	160.716-160.718=-0.003
max	1326.171-1326.165=0.007

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	0.504-0.543=-0.039
σ	0.470-0.531=-0.061
min	0.266-0.268=-0.003
max	1.209-1.339=-0.130

policies=20

*mean*	1607.522-1607.521=0.001
σ	0.406-0.419=-0.013
min	1607.245-1607.236=0.009
max	1608.122-1608.141=-0.019

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	450.000-445.750=4.250
σ	9.238-7.500=1.738
min	442.000
max	458.000-457.000=1.000

*mean*	2.668-2.698=-0.030
σ	0.014-0.021=-0.006
min	2.649-2.680=-0.031
max	2.679-2.725=-0.045

policies=200

*mean*	16083.389-16083.449=-0.059
σ	0.167-0.082=0.085
min	16083.285-16083.341=-0.056
max	16083.638-16083.520=0.118

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	495.250-495.750=-0.500
σ	4.193-2.872=1.321
min	491.000-492.000=-1.000
max	501.000-499.000=2.000

*mean*	27.083-27.191=-0.108
σ	0.033-0.093=-0.060
min	27.037-27.092=-0.055
max	27.110-27.282=-0.172