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.881-54.881=0.000
σ	0.359-0.357=0.001
min	54.743-54.746=-0.003
max	55.901-55.897=0.004

*mean*	416.000-416.700=-0.700
σ	0.000-0.483=-0.483
min	416.000
max	416.000-417.000=-1.000

*mean*	0.141-0.144=-0.003
σ	0.006-0.010=-0.004
min	0.134-0.137=-0.003
max	0.151-0.171=-0.021

cache=y

dps=1

iters=10

policies=100

*mean*	43.850-43.849=0.001
σ	0.007-0.006=0.001
min	43.838-43.840=-0.002
max	43.858-43.858=0.001

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

*mean*	0.127-0.125=0.001
σ	0.005-0.005=0.001
min	0.122-0.121=0.001
max	0.138-0.135=0.003

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

*mean*	4037.125-4041.500=-4.375
σ	1995.527-2007.528=-12.001
min	1218.000
max	7081.000-7145.000=-64.000

*mean*	13.503-13.073=0.430
σ	1.918-1.717=0.201
min	12.319-11.965=0.354
max	18.197-17.210=0.986

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*	4037.125-4041.500=-4.375
σ	1995.527-2007.528=-12.001
min	1218.000
max	7081.000-7145.000=-64.000

*mean*	13.867-12.841=1.026
σ	1.690-2.063=-0.373
min	13.089-11.490=1.599
max	18.026-17.680=0.346

op=table_records(), no indexes

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

*mean*	7081.000-7145.000=-64.000
σ	0.000
min	7081.000-7145.000=-64.000
max	7081.000-7145.000=-64.000

*mean*	14.919-14.608=0.311
σ	1.345-0.310=1.035
min	11.595-14.251=-2.656
max	15.471-15.134=0.337

op=table_records(), repeat

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

*mean*	4037.125-4041.500=-4.375
σ	1995.527-2007.528=-12.001
min	1218.000
max	7081.000-7145.000=-64.000

*mean*	14.433-14.543=-0.110
σ	1.515-1.794=-0.279
min	11.221-10.745=0.476
max	15.923-16.917=-0.993

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

*mean*	4037.125-4041.500=-4.375
σ	1995.527-2007.528=-12.001
min	1218.000
max	7081.000-7145.000=-64.000

*mean*	9.965-9.318=0.647
σ	1.621-1.306=0.316
min	8.671-8.246=0.425
max	12.620-12.139=0.482

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

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

*mean*	4037.125-4041.500=-4.375
σ	1995.527-2007.528=-12.001
min	1218.000
max	7081.000-7145.000=-64.000

*mean*	7.743-7.109=0.634
σ	1.680-1.170=0.511
min	6.265-6.085=0.180
max	10.425-9.512=0.913

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.666=-0.000
max	25.678-25.678=0.000

*mean*	4037.125-4041.500=-4.375
σ	1995.527-2007.528=-12.001
min	1218.000
max	7081.000-7145.000=-64.000

*mean*	6.251-5.861=0.389
σ	0.485-0.555=-0.070
min	5.997-5.483=0.514
max	7.432-7.194=0.238

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

*mean*	4037.125-4041.500=-4.375
σ	1995.527-2007.528=-12.001
min	1218.000
max	7081.000-7145.000=-64.000

*mean*	6.012-5.561=0.451
σ	0.540-0.485=0.055
min	5.639-5.220=0.419
max	7.325-6.726=0.599

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

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

*mean*	7081.000-7145.000=-64.000
σ	0.000
min	7081.000-7145.000=-64.000
max	7081.000-7145.000=-64.000

*mean*	364.259-387.397=-23.137
σ	42.735-106.599=-63.863
min	345.075-348.003=-2.928
max	469.893-651.190=-181.297

op=load_product(), with indexes

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

*mean*	3277.250-3273.500=3.750
σ	1826.797-1822.925=3.872
min	809.000-810.000=-1.000
max	5626.000-5620.000=6.000

*mean*	3658.894-3610.455=48.439
σ	1060.730-909.710=151.021
min	3050.975-3103.676=-52.702
max	6089.944-5688.912=401.032

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*	4037.125-4041.500=-4.375
σ	1995.527-2007.528=-12.001
min	1218.000
max	7081.000-7145.000=-64.000

*mean*	91.109-85.404=5.705
σ	24.299-17.389=6.910
min	71.336-70.796=0.540
max	126.757-107.536=19.222

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*	7081.000-7145.000=-64.000
σ	0.000
min	7081.000-7145.000=-64.000
max	7081.000-7145.000=-64.000

*mean*	77.899-60.370=17.529
σ	46.206-0.320=45.887
min	60.150-59.825=0.325
max	192.078-60.944=131.134

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

*mean*	7081.000-7145.000=-64.000
σ	0.000
min	7081.000-7145.000=-64.000
max	7081.000-7145.000=-64.000

*mean*	209.457-99.005=110.452
σ	307.178-0.826=306.352
min	97.558-97.991=-0.433
max	969.549-100.302=869.247

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4037.125-4041.500=-4.375
σ	1995.527-2007.528=-12.001
min	1218.000
max	7081.000-7145.000=-64.000

*mean*	8244.230-8096.494=147.736
σ	1947.814-1891.690=56.124
min	6017.145-6036.253=-19.108
max	11118.174-10934.792=183.382

op=vertical_lookup_list() on indexed

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

*mean*	7081.000-7145.000=-64.000
σ	0.000
min	7081.000-7145.000=-64.000
max	7081.000-7145.000=-64.000

*mean*	5486.036-5156.206=329.830
σ	1086.616-206.566=880.049
min	5032.236-5025.558=6.678
max	8147.107-5504.536=2642.571

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*	478.000-477.000=1.000
σ	0.000
min	478.000-477.000=1.000
max	478.000-477.000=1.000

*mean*	384.089-384.945=-0.855
σ	16.127-15.270=0.857
min	346.253-347.413=-1.161
max	395.956-393.606=2.350

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	558.500-562.000=-3.500
σ	2.070-0.000=2.070
min	556.000-562.000=-6.000
max	560.000-562.000=-2.000

*mean*	730.099-776.631=-46.533
σ	76.262-20.945=55.317
min	582.114-748.087=-165.972
max	795.421-803.615=-8.194

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.301-1024.299=0.002
σ	0.759-0.760=-0.000
min	1023.824-1023.824=0.000
max	1027.440-1027.440=0.000

*mean*	1036.150-1046.950=-10.800
σ	301.005-314.089=-13.084
min	561.000-573.000=-12.000
max	1458.000-1511.000=-53.000

*mean*	1.524-1.541=-0.016
σ	0.056-0.065=-0.010
min	1.463-1.475=-0.012
max	1.641-1.740=-0.099

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.305-0.303=0.003
σ	0.290-0.292=-0.001
min	0.150-0.142=0.008
max	0.820-0.821=-0.001

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.477-0.473=0.004
σ	0.316-0.323=-0.007
min	0.319-0.313=0.006
max	1.042-1.051=-0.009

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.217-0.218=-0.001
σ	0.021-0.024=-0.003
min	0.200-0.197=0.003
max	0.253-0.260=-0.007

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.326-0.330=-0.003
σ	0.016-0.012=0.003
min	0.315-0.319=-0.004
max	0.353-0.350=0.003

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*	431.000-435.600=-4.600
σ	0.000-5.079=-5.079
min	431.000
max	431.000-441.000=-10.000

*mean*	0.540-0.588=-0.048
σ	0.045-0.027=0.018
min	0.480-0.544=-0.065
max	0.587-0.610=-0.024

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	431.000-441.000=-10.000
σ	0.000
min	431.000-441.000=-10.000
max	431.000-441.000=-10.000

*mean*	0.469-0.505=-0.036
σ	0.034-0.040=-0.006
min	0.414-0.434=-0.020
max	0.503-0.530=-0.026

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

*mean*	1.958-2.585=-0.626
σ	0.072-0.092=-0.020
min	1.829-2.422=-0.593
max	2.228-2.845=-0.617

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	431.000-441.000=-10.000
σ	0.000
min	431.000-441.000=-10.000
max	431.000-441.000=-10.000

*mean*	1.918-2.670=-0.752
σ	0.057-0.083=-0.026
min	1.807-2.509=-0.702
max	2.181-2.964=-0.783

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	431.000-441.000=-10.000
σ	0.000
min	431.000-441.000=-10.000
max	431.000-441.000=-10.000

*mean*	0.304-0.302=0.002
σ	0.011-0.008=0.003
min	0.292-0.290=0.002
max	0.380-0.355=0.026

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	431.000-441.000=-10.000
σ	0.000
min	431.000-441.000=-10.000
max	431.000-441.000=-10.000

*mean*	0.293-0.296=-0.003
σ	0.031-0.034=-0.003
min	0.278-0.279=-0.001
max	0.592-0.614=-0.022

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.718-298.781=-0.063
σ	0.980-0.990=-0.009
min	298.355-298.419=-0.064
max	301.505-301.597=-0.092

*mean*	439.200-442.500=-3.300
σ	14.695-17.927=-3.232
min	417.000-415.000=2.000
max	463.000-469.000=-6.000

*mean*	0.592-0.611=-0.020
σ	0.029-0.019=0.010
min	0.529-0.571=-0.042
max	0.619-0.643=-0.025

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*	1064.875-1067.750=-2.875
σ	34.295-26.163=8.132
min	980.000-1003.000=-23.000
max	1077.000

*mean*	203.444-201.800=1.644
σ	1.644-2.906=-1.261
min	201.258-197.942=3.316
max	206.466-206.277=0.189

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1064.875-1067.750=-2.875
σ	34.295-26.163=8.132
min	980.000-1003.000=-23.000
max	1077.000

*mean*	8.202-9.208=-1.007
σ	1.589-2.599=-1.010
min	6.335-6.363=-0.028
max	9.675-14.077=-4.402

phase=parser

*mean*	1042.366-1042.360=0.005
σ	0.001-0.000=0.001
min	1042.363-1042.360=0.003
max	1042.366-1042.361=0.006

*mean*	1064.875-1067.750=-2.875
σ	34.295-26.163=8.132
min	980.000-1003.000=-23.000
max	1077.000

*mean*	497.379-559.036=-61.657
σ	81.979-130.226=-48.247
min	375.342-381.196=-5.855
max	615.720-825.953=-210.234

phase=processProdDef

*mean*	4850.765-4850.768=-0.003
σ	0.000-0.000=-0.000
min	4850.765-4850.768=-0.003
max	4850.765-4850.769=-0.003

*mean*	1077.000
σ	0.000
min	1077.000
max	1077.000

*mean*	4569.607-4763.562=-193.955
σ	407.901-551.718=-143.817
min	3940.863-3865.392=75.471
max	5196.542-5414.457=-217.915

phase=renaming

*mean*	21.671-21.675=-0.004
σ	0.000
min	21.671-21.675=-0.004
max	21.671-21.675=-0.004

*mean*	1064.875-1067.750=-2.875
σ	34.295-26.163=8.132
min	980.000-1003.000=-23.000
max	1077.000

*mean*	31.271-34.820=-3.549
σ	9.880-11.400=-1.520
min	20.537-20.453=0.084
max	40.766-51.553=-10.788

phase=type checker

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

*mean*	1064.875-1067.750=-2.875
σ	34.295-26.163=8.132
min	980.000-1003.000=-23.000
max	1077.000

*mean*	674.904-712.265=-37.361
σ	30.760-91.800=-61.040
min	637.737-641.518=-3.781
max	738.391-914.042=-175.651

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.767-293.768=-0.000
max	293.861-293.860=0.001

*mean*	441.000-444.000=-3.000
σ	2.739-0.000=2.739
min	439.000-444.000=-5.000
max	444.000

*mean*	0.397-0.393=0.004
σ	0.007-0.001=0.006
min	0.391-0.392=-0.000
max	0.406-0.394=0.012

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.196-1320.217=-0.021
σ	0.084-0.030=0.054
min	1320.089-1320.170=-0.081
max	1320.323-1320.245=0.078

*mean*	1071.600-1093.000=-21.400
σ	168.028-182.923=-14.896
min	844.000-838.000=6.000
max	1276.000-1309.000=-33.000

*mean*	2.123-2.263=-0.141
σ	0.131-0.099=0.032
min	2.023-2.159=-0.136
max	2.336-2.424=-0.089

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.561-1560.615=-0.054
σ	6.230-6.225=0.005
min	1557.537-1557.615=-0.079
max	1571.700-1571.746=-0.047

*mean*	619.200-618.400=0.800
σ	82.687-82.197=0.491
min	494.000-493.000=1.000
max	716.000-713.000=3.000

*mean*	2.231-2.307=-0.076
σ	0.090-0.183=-0.093
min	2.166-2.204=-0.039
max	2.389-2.631=-0.242

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.176-1882.148=0.028
σ	0.059-0.049=0.010
min	1882.115-1882.101=0.014
max	1882.253-1882.228=0.025

*mean*	1700.000-1737.800=-37.800
σ	246.629-231.885=14.744
min	1406.000-1431.000=-25.000
max	2032.000-1957.000=75.000

*mean*	2.970-3.099=-0.130
σ	0.117-0.209=-0.092
min	2.813-2.901=-0.088
max	3.132-3.388=-0.256

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.695-1.796=-0.101
σ	0.090-0.050=0.040
min	1.565-1.716=-0.150
max	1.813-1.838=-0.025

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.081-452.080=0.001
σ	582.722-582.720=0.002
min	160.717-160.716=0.001
max	1326.164-1326.160=0.005

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	439.000
σ	0.000
min	439.000
max	439.000

*mean*	0.540-0.539=0.001
σ	0.536-0.532=0.004
min	0.268-0.271=-0.003
max	1.345-1.338=0.007

policies=20

*mean*	1607.521-1607.528=-0.007
σ	0.409-0.414=-0.005
min	1607.237-1607.247=-0.010
max	1608.126-1608.142=-0.016

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	446.000-443.500=2.500
σ	8.083-5.196=2.887
min	439.000
max	453.000-448.000=5.000

*mean*	2.679-2.697=-0.018
σ	0.011-0.035=-0.024
min	2.666-2.672=-0.006
max	2.691-2.748=-0.057

policies=200

*mean*	16083.476-16083.433=0.043
σ	0.084-0.085=-0.000
min	16083.420-16083.377=0.043
max	16083.602-16083.559=0.043

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	492.750-495.500=-2.750
σ	3.304-3.873=-0.569
min	489.000-491.000=-2.000
max	496.000-500.000=-4.000

*mean*	27.085-27.119=-0.034
σ	0.043-0.066=-0.022
min	27.035-27.029=0.007
max	27.141-27.172=-0.030