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.880-54.880=0.000
σ	0.357-0.357=0.001
min	54.745-54.747=-0.002
max	55.897-55.894=0.003

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

*mean*	0.140-0.141=-0.000
σ	0.006-0.004=0.002
min	0.133-0.137=-0.004
max	0.151-0.147=0.004

cache=y

dps=1

iters=10

policies=100

*mean*	43.850-43.848=0.002
σ	0.006-0.004=0.002
min	43.840-43.842=-0.002
max	43.859-43.857=0.003

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

*mean*	0.125-0.122=0.003
σ	0.004-0.005=-0.001
min	0.122-0.117=0.005
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
max	36.620-36.620=-0.000

*mean*	4028.000-4042.250=-14.250
σ	1999.585-2008.850=-9.264
min	1216.000-1218.000=-2.000
max	7123.000-7146.000=-23.000

*mean*	12.242-12.851=-0.608
σ	0.326-0.655=-0.329
min	11.790-12.262=-0.472
max	12.652-14.367=-1.714

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

*mean*	4028.000-4042.250=-14.250
σ	1999.585-2008.850=-9.264
min	1216.000-1218.000=-2.000
max	7123.000-7146.000=-23.000

*mean*	11.953-12.985=-1.032
σ	0.630-0.596=0.034
min	11.164-11.646=-0.481
max	12.816-13.513=-0.697

op=table_records(), no indexes

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

*mean*	7123.000-7146.000=-23.000
σ	0.000
min	7123.000-7146.000=-23.000
max	7123.000-7146.000=-23.000

*mean*	14.089-15.171=-1.082
σ	0.981-0.161=0.819
min	11.749-14.933=-3.185
max	14.826-15.399=-0.574

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.931-41.932=-0.001

*mean*	4028.000-4042.250=-14.250
σ	1999.585-2008.850=-9.264
min	1216.000-1218.000=-2.000
max	7123.000-7146.000=-23.000

*mean*	12.320-14.350=-2.030
σ	2.132-1.461=0.671
min	10.184-11.075=-0.891
max	14.922-15.767=-0.845

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
max	27.991

*mean*	4028.000-4042.250=-14.250
σ	1999.585-2008.850=-9.264
min	1216.000-1218.000=-2.000
max	7123.000-7146.000=-23.000

*mean*	8.386-9.636=-1.249
σ	0.287-1.391=-1.104
min	7.908-8.557=-0.649
max	8.733-12.681=-3.948

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
max	26.404

*mean*	4028.000-4042.250=-14.250
σ	1999.585-2008.850=-9.264
min	1216.000-1218.000=-2.000
max	7123.000-7146.000=-23.000

*mean*	6.483-7.433=-0.950
σ	0.167-1.213=-1.046
min	6.138-6.375=-0.237
max	6.656-10.145=-3.489

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

*mean*	4028.000-4042.250=-14.250
σ	1999.585-2008.850=-9.264
min	1216.000-1218.000=-2.000
max	7123.000-7146.000=-23.000

*mean*	5.506-5.989=-0.483
σ	0.116-0.153=-0.037
min	5.347-5.790=-0.442
max	5.632-6.183=-0.551

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-25.972=-0.000

*mean*	4028.000-4042.250=-14.250
σ	1999.585-2008.850=-9.264
min	1216.000-1218.000=-2.000
max	7123.000-7146.000=-23.000

*mean*	5.339-5.804=-0.464
σ	0.084-0.099=-0.015
min	5.179-5.694=-0.515
max	5.437-5.995=-0.558

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*	7123.000-7146.000=-23.000
σ	0.000
min	7123.000-7146.000=-23.000
max	7123.000-7146.000=-23.000

*mean*	346.967-362.994=-16.027
σ	1.871-42.364=-40.492
min	343.202-345.506=-2.304
max	349.722-467.761=-118.038

op=load_product(), with indexes

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

*mean*	3262.625-3273.375=-10.750
σ	1814.514-1825.315=-10.801
min	809.000-810.000=-1.000
max	5599.000-5623.000=-24.000

*mean*	3629.391-3606.845=22.546
σ	1089.341-1032.549=56.791
min	3085.468-3083.371=2.097
max	6144.588-5973.199=171.389

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*	4028.000-4042.250=-14.250
σ	1999.585-2008.850=-9.264
min	1216.000-1218.000=-2.000
max	7123.000-7146.000=-23.000

*mean*	82.899-87.340=-4.440
σ	11.343-19.912=-8.568
min	71.259-71.617=-0.358
max	96.606-127.448=-30.842

op=vertical_lookup_list() on unindexed missing Int

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

*mean*	7123.000-7146.000=-23.000
σ	0.000
min	7123.000-7146.000=-23.000
max	7123.000-7146.000=-23.000

*mean*	174.302-62.125=112.176
σ	316.677-1.258=315.419
min	60.882-60.829=0.053
max	958.023-65.065=892.958

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-66.686=0.000
max	66.691-66.691=-0.000

*mean*	7123.000-7146.000=-23.000
σ	0.000
min	7123.000-7146.000=-23.000
max	7123.000-7146.000=-23.000

*mean*	104.640-257.875=-153.236
σ	11.779-355.505=-343.726
min	98.773-98.700=0.073
max	132.615-1109.245=-976.629

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4028.000-4042.250=-14.250
σ	1999.585-2008.850=-9.264
min	1216.000-1218.000=-2.000
max	7123.000-7146.000=-23.000

*mean*	8093.044-8011.853=81.191
σ	1686.321-1914.002=-227.681
min	5997.212-5952.758=44.454
max	10533.492-10843.400=-309.908

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*	7123.000-7146.000=-23.000
σ	0.000
min	7123.000-7146.000=-23.000
max	7123.000-7146.000=-23.000

*mean*	5283.245-5261.622=21.622
σ	669.370-572.617=96.752
min	5013.717-4985.410=28.307
max	6935.576-6619.549=316.027

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*	388.717-357.327=31.390
σ	12.332-40.660=-28.328
min	358.951-296.401=62.550
max	397.560-394.060=3.500

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	559.875-560.000=-0.125
σ	0.835-0.000=0.835
min	559.000-560.000=-1.000
max	561.000-560.000=1.000

*mean*	744.367-756.781=-12.414
σ	54.855-46.245=8.610
min	662.070-649.121=12.949
max	817.072-789.230=27.842

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

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

*mean*	1043.500-1058.350=-14.850
σ	293.011-314.594=-21.583
min	563.000-564.000=-1.000
max	1430.000-1521.000=-91.000

*mean*	1.538-1.544=-0.006
σ	0.056-0.074=-0.018
min	1.466-1.469=-0.003
max	1.651-1.764=-0.113

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.391-0.396=-0.005
σ	0.507-0.506=0.000
min	0.138-0.143=-0.004
max	1.295-1.299=-0.004

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.545-0.482=0.063
σ	0.322-0.317=0.004
min	0.318-0.328=-0.010
max	1.050-1.049=0.001

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.212-0.216=-0.003
σ	0.022-0.023=-0.001
min	0.199-0.197=0.001
max	0.252-0.256=-0.004

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.327-0.330=-0.003
σ	0.014-0.018=-0.004
min	0.311-0.315=-0.005
max	0.349-0.362=-0.013

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*	433.800-435.600=-1.800
σ	3.033-5.079=-2.046
min	431.000
max	437.000-441.000=-4.000

*mean*	0.595-0.574=0.020
σ	0.014-0.028=-0.014
min	0.579-0.547=0.033
max	0.616-0.613=0.003

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	437.000-441.000=-4.000
σ	0.000
min	437.000-441.000=-4.000
max	437.000-441.000=-4.000

*mean*	0.507-0.483=0.023
σ	0.022-0.024=-0.002
min	0.478-0.461=0.017
max	0.526-0.520=0.006

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*	437.000-441.000=-4.000
σ	0.000
min	437.000-441.000=-4.000
max	437.000-441.000=-4.000

*mean*	2.600-2.610=-0.011
σ	0.087-0.092=-0.005
min	2.480-2.436=0.044
max	3.110-2.977=0.133

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	437.000-441.000=-4.000
σ	0.000
min	437.000-441.000=-4.000
max	437.000-441.000=-4.000

*mean*	2.574-2.608=-0.034
σ	0.071-0.092=-0.021
min	2.423-2.447=-0.024
max	2.862-2.925=-0.063

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	437.000-441.000=-4.000
σ	0.000
min	437.000-441.000=-4.000
max	437.000-441.000=-4.000

*mean*	0.305-0.304=0.001
σ	0.010-0.009=0.001
min	0.290-0.290=0.000
max	0.370-0.366=0.004

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	437.000-441.000=-4.000
σ	0.000
min	437.000-441.000=-4.000
max	437.000-441.000=-4.000

*mean*	0.293-0.294=-0.001
σ	0.009-0.012=-0.002
min	0.275-0.276=-0.000
max	0.347-0.375=-0.028

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.635-298.735=-0.100
σ	0.982-0.972=0.010
min	298.131-298.229=-0.099
max	301.417-301.489=-0.072

*mean*	442.500-442.800=-0.300
σ	14.759-15.375=-0.616
min	417.000
max	467.000-468.000=-1.000

*mean*	0.595-0.609=-0.014
σ	0.032-0.016=0.017
min	0.543-0.575=-0.033
max	0.641-0.638=0.004

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.750-1063.250=2.500
σ	34.648-33.234=1.414
min	980.000-981.000=-1.000
max	1078.000-1075.000=3.000

*mean*	207.836-204.918=2.917
σ	2.235-4.169=-1.934
min	205.661-200.321=5.340
max	212.715-210.940=1.774

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1065.750-1063.250=2.500
σ	34.648-33.234=1.414
min	980.000-981.000=-1.000
max	1078.000-1075.000=3.000

*mean*	7.938-11.205=-3.268
σ	1.792-2.107=-0.315
min	6.272-7.552=-1.280
max	10.756-13.223=-2.467

phase=parser

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

*mean*	1065.750-1063.250=2.500
σ	34.648-33.234=1.414
min	980.000-981.000=-1.000
max	1078.000-1075.000=3.000

*mean*	490.046-642.496=-152.450
σ	67.169-146.148=-78.979
min	373.946-413.312=-39.365
max	567.115-842.494=-275.379

phase=processProdDef

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

*mean*	1078.000-1075.000=3.000
σ	0.000
min	1078.000-1075.000=3.000
max	1078.000-1075.000=3.000

*mean*	4779.350-4986.471=-207.121
σ	614.008-370.565=243.443
min	3838.276-4532.103=-693.827
max	5496.940-5466.147=30.794

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1065.750-1063.250=2.500
σ	34.648-33.234=1.414
min	980.000-981.000=-1.000
max	1078.000-1075.000=3.000

*mean*	28.050-42.325=-14.275
σ	9.143-8.378=0.765
min	20.337-26.462=-6.124
max	40.674-51.704=-11.030

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.750-1063.250=2.500
σ	34.648-33.234=1.414
min	980.000-981.000=-1.000
max	1078.000-1075.000=3.000

*mean*	693.104-831.217=-138.113
σ	75.886-148.623=-72.737
min	645.895-652.529=-6.634
max	874.943-1124.511=-249.567

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.039-0.038=0.001
min	293.765-293.769=-0.004
max	293.860-293.861=-0.001

*mean*	441.200-443.000=-1.800
σ	1.643-0.000=1.643
min	440.000-443.000=-3.000
max	443.000

*mean*	0.392-0.392=0.000
σ	0.002-0.001=0.001
min	0.391-0.391=-0.000
max	0.394-0.394=0.000

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.220-1320.216=0.004
σ	0.038-0.033=0.005
min	1320.155-1320.168=-0.013
max	1320.249-1320.256=-0.007

*mean*	1086.800-1092.600=-5.800
σ	172.413-183.028=-10.615
min	881.000-838.000=43.000
max	1317.000-1309.000=8.000

*mean*	2.270-2.285=-0.015
σ	0.145-0.185=-0.040
min	2.183-2.164=0.019
max	2.527-2.613=-0.086

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.606-1560.617=-0.011
σ	6.228-6.226=0.003
min	1557.595-1557.617=-0.023
max	1571.742-1571.749=-0.007

*mean*	612.200-617.800=-5.600
σ	94.624-82.105=12.519
min	498.000-493.000=5.000
max	735.000-713.000=22.000

*mean*	2.282-2.302=-0.020
σ	0.191-0.183=0.008
min	2.155-2.179=-0.024
max	2.622-2.627=-0.006

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.174-1882.172=0.001
σ	0.060-0.053=0.007
min	1882.097-1882.101=-0.004
max	1882.254-1882.242=0.012

*mean*	1728.000-1743.000=-15.000
σ	180.358-229.600=-49.242
min	1468.000-1442.000=26.000
max	1891.000-1964.000=-73.000

*mean*	3.124-3.015=0.109
σ	0.277-0.160=0.117
min	2.911-2.880=0.032
max	3.584-3.231=0.353

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.781-1.833=-0.052
σ	0.136-0.067=0.069
min	1.596-1.731=-0.135
max	1.904-1.893=0.010

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.079-452.083=-0.003
σ	582.722-582.726=-0.004
min	160.716-160.716=0.001
max	1326.162-1326.171=-0.009

*mean*	102.250
σ	8.500
min	98.000
max	115.000

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

*mean*	0.533-0.504=0.029
σ	0.519-0.470=0.049
min	0.267-0.266=0.001
max	1.311-1.209=0.102

policies=20

*mean*	1607.505-1607.522=-0.017
σ	0.415-0.406=0.009
min	1607.217-1607.245=-0.028
max	1608.118-1608.122=-0.004

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	449.500-450.000=-0.500
σ	7.506-9.238=-1.732
min	443.000-442.000=1.000
max	456.000-458.000=-2.000

*mean*	2.692-2.668=0.024
σ	0.018-0.014=0.003
min	2.666-2.649=0.016
max	2.705-2.679=0.025

policies=200

*mean*	16083.407-16083.389=0.018
σ	0.153-0.167=-0.014
min	16083.289-16083.285=0.004
max	16083.612-16083.638=-0.027

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	496.750-495.250=1.500
σ	3.202-4.193=-0.992
min	492.000-491.000=1.000
max	499.000-501.000=-2.000

*mean*	27.141-27.083=0.058
σ	0.033-0.033=-0.000
min	27.095-27.037=0.058
max	27.172-27.110=0.062