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

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.678-54.677=0.001
σ	0.359-0.357=0.003
min	54.535-54.539=-0.004
max	55.700-55.692=0.008

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

*mean*	0.141-0.142=-0.001
σ	0.004-0.006=-0.002
min	0.137-0.137=-0.000
max	0.147-0.155=-0.008

cache=y

dps=1

iters=10

policies=100

*mean*	43.706-43.705=0.001
σ	0.005-0.006=-0.001
min	43.700-43.695=0.005
max	43.713-43.711=0.002

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

*mean*	0.125-0.123=0.002
σ	0.005-0.005=0.000
min	0.121-0.119=0.002
max	0.135-0.134=0.001

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

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

*mean*	3876.500-3861.875=14.625
σ	1848.299-1829.827=18.472
min	1279.000
max	6161.000-6109.000=52.000

*mean*	12.233-12.311=-0.078
σ	0.317-0.236=0.081
min	11.806-12.075=-0.268
max	12.785-12.763=0.021

op=column_set() on indexed, repeat

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

*mean*	3876.500-3861.875=14.625
σ	1848.299-1829.827=18.472
min	1279.000
max	6161.000-6109.000=52.000

*mean*	11.911-12.414=-0.503
σ	0.434-0.599=-0.164
min	11.453-11.514=-0.062
max	12.513-12.977=-0.463

op=table_records(), no indexes

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

*mean*	6161.000-6109.000=52.000
σ	0.000
min	6161.000-6109.000=52.000
max	6161.000-6109.000=52.000

*mean*	14.585-14.494=0.090
σ	0.201-0.278=-0.077
min	14.312-13.887=0.425
max	14.980-14.808=0.172

op=table_records(), repeat

*mean*	41.928-41.929=-0.001
σ	0.000-0.002=-0.001
min	41.928
max	41.929-41.932=-0.003

*mean*	3876.500-3861.875=14.625
σ	1848.299-1829.827=18.472
min	1279.000
max	6161.000-6109.000=52.000

*mean*	13.062-12.482=0.580
σ	2.144-1.935=0.208
min	10.205-9.812=0.393
max	15.733-14.662=1.070

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*	3876.500-3861.875=14.625
σ	1848.299-1829.827=18.472
min	1279.000
max	6161.000-6109.000=52.000

*mean*	9.038-8.265=0.772
σ	1.421-0.253=1.168
min	8.282-7.838=0.444
max	12.518-8.576=3.942

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*	3876.500-3861.875=14.625
σ	1848.299-1829.827=18.472
min	1279.000
max	6161.000-6109.000=52.000

*mean*	6.858-6.183=0.676
σ	1.284-0.411=0.874
min	5.734-5.262=0.472
max	9.811-6.592=3.219

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.669-25.669=0.000
σ	0.003-0.003=-0.000
min	25.666-25.666=-0.000
max	25.674-25.674=0.000

*mean*	3876.500-3861.875=14.625
σ	1848.299-1829.827=18.472
min	1279.000
max	6161.000-6109.000=52.000

*mean*	5.621-5.571=0.050
σ	0.069-0.134=-0.065
min	5.526-5.353=0.173
max	5.690-5.794=-0.104

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970-25.971=-0.000
σ	0.002-0.002=0.000
min	25.968
max	25.974-25.974=0.000

*mean*	3876.500-3861.875=14.625
σ	1848.299-1829.827=18.472
min	1279.000
max	6161.000-6109.000=52.000

*mean*	5.198-5.299=-0.101
σ	0.206-0.130=0.076
min	4.841-5.096=-0.255
max	5.395-5.456=-0.061

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	2524.604-2524.604=0.000
σ	0.002-0.002=-0.000
min	2524.602-2524.602=0.000
max	2524.606-2524.607=-0.000

*mean*	6161.000-6109.000=52.000
σ	0.000
min	6161.000-6109.000=52.000
max	6161.000-6109.000=52.000

*mean*	1446.276-1375.097=71.179
σ	749.586-622.354=127.232
min	1040.146-1034.157=5.989
max	2934.970-2427.357=507.612

op=load_product(), with indexes

*mean*	7878.102-7878.102=0.000
σ	0.469-0.469=-0.000
min	7877.935
max	7879.264-7879.264=-0.000

*mean*	3235.375-3227.250=8.125
σ	1840.195-1827.673=12.522
min	811.000-810.000=1.000
max	6161.000-6109.000=52.000

*mean*	3759.138-3942.376=-183.238
σ	1201.172-1248.832=-47.660
min	3118.869-3112.515=6.354
max	6222.265-6147.287=74.978

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.078-62.078=-0.000
σ	0.002-0.002=-0.000
min	62.076-62.076=-0.000
max	62.081

*mean*	3876.500-3861.875=14.625
σ	1848.299-1829.827=18.472
min	1279.000
max	6161.000-6109.000=52.000

*mean*	86.148-83.962=2.185
σ	17.921-12.505=5.416
min	70.663-71.381=-0.718
max	125.239-100.488=24.751

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

*mean*	6161.000-6109.000=52.000
σ	0.000
min	6161.000-6109.000=52.000
max	6161.000-6109.000=52.000

*mean*	62.299-63.010=-0.711
σ	1.714-3.899=-2.185
min	60.798-60.278=0.519
max	65.122-70.117=-4.994

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.687-66.687=-0.000
σ	0.002-0.002=0.000
min	66.686
max	66.690-66.690=0.000

*mean*	6161.000-6109.000=52.000
σ	0.000
min	6161.000-6109.000=52.000
max	6161.000-6109.000=52.000

*mean*	99.312-99.873=-0.561
σ	0.316-0.617=-0.301
min	98.826-99.479=-0.653
max	99.891-101.380=-1.489

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	11849.156-11849.155=0.001
σ	4.304-4.304=-0.000
min	11847.561
max	11859.806

*mean*	3876.500-3861.875=14.625
σ	1848.299-1829.827=18.472
min	1279.000
max	6161.000-6109.000=52.000

*mean*	6108.627-6197.972=-89.345
σ	1114.160-1351.796=-237.636
min	5070.205-5012.470=57.734
max	7982.510-8300.298=-317.788

op=vertical_lookup_list() on indexed

*mean*	10791.094-10791.094=-0.000
σ	0.002-0.002=-0.000
min	10791.092-10791.091=0.001
max	10791.096-10791.097=-0.001

*mean*	6161.000-6109.000=52.000
σ	0.000
min	6161.000-6109.000=52.000
max	6161.000-6109.000=52.000

*mean*	4960.025-4916.432=43.592
σ	1228.978-1541.698=-312.719
min	4071.847-4062.543=9.303
max	7061.384-7427.098=-365.714

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

*mean*	378.709-386.664=-7.954
σ	21.942-14.212=7.729
min	339.762-354.081=-14.318
max	397.158-399.149=-1.991

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

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

*mean*	743.730-710.799=32.931
σ	53.178-68.204=-15.026
min	630.627-626.899=3.729
max	799.986-785.057=14.929

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.327-1024.327=-0.000
σ	0.759-0.758=0.001
min	1023.851-1023.855=-0.004
max	1027.465-1027.466=-0.001

*mean*	1049.300-1054.450=-5.150
σ	318.996-317.974=1.022
min	544.000-592.000=-48.000
max	1562.000-1528.000=34.000

*mean*	1.565-1.576=-0.011
σ	0.076-0.091=-0.015
min	1.430-1.430=-0.000
max	1.758-1.770=-0.012

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.422-0.401=0.021
σ	0.510-0.508=0.002
min	0.145-0.148=-0.003
max	1.323-1.308=0.015

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.479-0.480=-0.001
σ	0.319-0.309=0.010
min	0.318-0.330=-0.013
max	1.049-1.032=0.017

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.221-0.222=-0.000
σ	0.027-0.024=0.003
min	0.202-0.203=-0.001
max	0.269-0.262=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.330-0.332=-0.001
σ	0.017-0.017=-0.000
min	0.318-0.320=-0.003
max	0.360-0.362=-0.001

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*	436.600-436.000=0.600
σ	6.066-2.236=3.830
min	431.000-432.000=-1.000
max	443.000-437.000=6.000

*mean*	0.559-0.552=0.007
σ	0.054-0.045=0.008
min	0.493-0.496=-0.003
max	0.624-0.599=0.024

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	443.000-441.000=2.000
σ	0.000
min	443.000-441.000=2.000
max	443.000-441.000=2.000

*mean*	0.420-0.469=-0.049
σ	0.039-0.052=-0.013
min	0.378-0.392=-0.014
max	0.462-0.513=-0.051

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*	443.000-441.000=2.000
σ	0.000
min	443.000-441.000=2.000
max	443.000-441.000=2.000

*mean*	1.964-1.975=-0.011
σ	0.067-0.083=-0.016
min	1.855-1.854=0.002
max	2.165-2.319=-0.155

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	443.000-441.000=2.000
σ	0.000
min	443.000-441.000=2.000
max	443.000-441.000=2.000

*mean*	1.973-1.953=0.019
σ	0.067-0.095=-0.028
min	1.857-1.764=0.093
max	2.211-2.248=-0.037

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	443.000-441.000=2.000
σ	0.000
min	443.000-441.000=2.000
max	443.000-441.000=2.000

*mean*	0.305-0.309=-0.004
σ	0.009-0.010=-0.001
min	0.293-0.293=-0.000
max	0.357-0.371=-0.014

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	443.000-441.000=2.000
σ	0.000
min	443.000-441.000=2.000
max	443.000-441.000=2.000

*mean*	0.292-0.302=-0.010
σ	0.007-0.018=-0.010
min	0.277-0.285=-0.009
max	0.330-0.427=-0.097

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.726-298.682=0.044
σ	1.046-1.040=0.006
min	298.333-298.264=0.068
max	301.699-301.640=0.059

*mean*	440.200-443.300=-3.100
σ	17.974-19.754=-1.780
min	415.000-417.000=-2.000
max	469.000-472.000=-3.000

*mean*	0.597-0.607=-0.010
σ	0.025-0.014=0.011
min	0.544-0.589=-0.045
max	0.636-0.636=-0.000

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	1711.625-1006.000=705.625
σ	3.889-1.852=2.037
min	1702.000-1004.000=698.000
max	1713.000-1008.000=705.000

*mean*	213.048-224.220=-11.172
σ	2.945-1.908=1.037
min	209.038-221.547=-12.508
max	218.747-226.827=-8.080

phase=macro expansion

*mean*	6.130-6.133=-0.004
σ	0.000
min	6.130-6.133=-0.004
max	6.130-6.133=-0.004

*mean*	1711.625-1006.000=705.625
σ	3.889-1.852=2.037
min	1702.000-1004.000=698.000
max	1713.000-1008.000=705.000

*mean*	11.153-11.077=0.075
σ	1.348-1.628=-0.280
min	9.464-9.340=0.124
max	12.731-12.703=0.028

phase=parser

*mean*	1042.367-1042.363=0.004
σ	0.000-0.000=0.000
min	1042.367-1042.363=0.004
max	1042.367-1042.363=0.004

*mean*	1711.625-1006.000=705.625
σ	3.889-1.852=2.037
min	1702.000-1004.000=698.000
max	1713.000-1008.000=705.000

*mean*	636.438-649.267=-12.829
σ	163.485-64.992=98.492
min	384.566-590.887=-206.321
max	831.585-730.864=100.721

phase=processProdDef

*mean*	4753.276-4753.369=-0.093
σ	0.000
min	4753.276-4753.369=-0.093
max	4753.276-4753.370=-0.093

*mean*	1713.000-1006.500=706.500
σ	0.000-1.773=-1.773
min	1713.000-1004.000=709.000
max	1713.000-1008.000=705.000

*mean*	4329.425-4542.225=-212.800
σ	596.028-831.593=-235.565
min	3594.440-2834.827=759.613
max	5401.349-5359.157=42.192

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1711.625-1006.000=705.625
σ	3.889-1.852=2.037
min	1702.000-1004.000=698.000
max	1713.000-1008.000=705.000

*mean*	37.966-43.998=-6.032
σ	9.155-3.937=5.218
min	27.123-39.678=-12.555
max	48.459-47.959=0.500

phase=type checker

*mean*	990.454-990.442=0.012
σ	0.071-0.066=0.005
min	990.348-990.344=0.004
max	990.567-990.532=0.035

*mean*	1711.625-1006.000=705.625
σ	3.889-1.852=2.037
min	1702.000-1004.000=698.000
max	1713.000-1008.000=705.000

*mean*	808.703-809.290=-0.588
σ	99.072-85.449=13.623
min	655.930-693.133=-37.203
max	899.619-907.447=-7.828

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.917-293.919=-0.002
σ	0.039-0.038=0.001
min	293.865-293.865=-0.000
max	293.957-293.957=-0.000

*mean*	442.200-446.000=-3.800
σ	1.643-0.000=1.643
min	441.000-446.000=-5.000
max	444.000-446.000=-2.000

*mean*	0.393-0.407=-0.014
σ	0.016-0.009=0.007
min	0.369-0.400=-0.031
max	0.414-0.419=-0.005

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.289-1320.278=0.011
σ	0.042-0.039=0.003
min	1320.237-1320.249=-0.012
max	1320.335-1320.345=-0.010

*mean*	1111.200-1089.200=22.000
σ	187.716-168.488=19.228
min	891.000-889.000=2.000
max	1373.000-1321.000=52.000

*mean*	2.241-2.278=-0.037
σ	0.058-0.322=-0.263
min	2.162-1.854=0.308
max	2.318-2.705=-0.386

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.454-1559.500=-0.045
σ	3.344-3.401=-0.057
min	1557.821-1557.850=-0.030
max	1565.433-1565.578=-0.146

*mean*	619.000-629.200=-10.200
σ	93.723-90.957=2.766
min	496.000-505.000=-9.000
max	730.000-729.000=1.000

*mean*	2.337-2.480=-0.143
σ	0.273-0.321=-0.048
min	2.105-2.156=-0.051
max	2.789-2.873=-0.084

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.265-1882.265=-0.000
σ	0.067-0.062=0.006
min	1882.175-1882.175=-0.001
max	1882.353-1882.345=0.008

*mean*	1761.000-1724.400=36.600
σ	208.825-169.946=38.879
min	1505.000-1479.000=26.000
max	1965.000-1881.000=84.000

*mean*	3.074-2.978=0.096
σ	0.139-0.116=0.023
min	2.886-2.831=0.055
max	3.241-3.145=0.096

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.822-1.742=0.080
σ	0.099-0.245=-0.147
min	1.721-1.340=0.380
max	1.961-1.922=0.039

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.409-452.965=-0.556
σ	583.279-584.387=-1.108
min	160.766-160.770=-0.004
max	1327.327-1329.545=-2.218

*mean*	102.250
σ	8.500
min	98.000
max	115.000

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

*mean*	0.506-0.547=-0.041
σ	0.471-0.556=-0.085
min	0.269-0.268=0.001
max	1.212-1.381=-0.169

policies=20

*mean*	1608.021-1608.046=-0.024
σ	0.424-0.425=-0.001
min	1607.747-1607.758=-0.012
max	1608.653-1608.675=-0.022

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	452.500-453.750=-1.250
σ	11.818-11.471=0.347
min	444.000-443.000=1.000
max	470.000

*mean*	2.708-2.723=-0.015
σ	0.007-0.024=-0.017
min	2.701-2.700=0.001
max	2.714-2.751=-0.037

policies=200

*mean*	16088.513-16088.594=-0.081
σ	0.107-0.092=0.015
min	16088.423-16088.517=-0.095
max	16088.663-16088.724=-0.061

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	500.250-498.250=2.000
σ	4.573-3.500=1.073
min	495.000-494.000=1.000
max	505.000-502.000=3.000

*mean*	27.210-27.291=-0.080
σ	0.046-0.125=-0.080
min	27.179-27.120=0.059
max	27.277-27.402=-0.125