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.677-54.678=-0.001
σ	0.357-0.357=-0.000
min	54.546-54.540=0.006
max	55.693-55.694=-0.001

*mean*	418.700-419.700=-1.000
σ	0.483
min	418.000-419.000=-1.000
max	419.000-420.000=-1.000

*mean*	0.141-0.141=-0.000
σ	0.004-0.004=-0.000
min	0.137-0.138=-0.001
max	0.148-0.150=-0.002

cache=y

dps=1

iters=10

policies=100

*mean*	43.704-43.704=0.000
σ	0.005-0.005=-0.001
min	43.696-43.697=-0.000
max	43.710-43.712=-0.001

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

*mean*	0.123-0.120=0.003
σ	0.004-0.005=-0.001
min	0.119-0.115=0.005
max	0.131-0.128=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*	3878.875-3888.250=-9.375
σ	1851.217-1859.353=-8.136
min	1280.000-1275.000=5.000
max	6170.000-6184.000=-14.000

*mean*	12.891-12.964=-0.073
σ	0.429-1.683=-1.254
min	12.438-11.996=0.443
max	13.683-17.003=-3.320

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*	3878.875-3888.250=-9.375
σ	1851.217-1859.353=-8.136
min	1280.000-1275.000=5.000
max	6170.000-6184.000=-14.000

*mean*	13.001-12.711=0.290
σ	0.559-1.598=-1.040
min	11.862-11.584=0.278
max	13.609-16.328=-2.719

op=table_records(), no indexes

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

*mean*	6170.000-6184.000=-14.000
σ	0.000
min	6170.000-6184.000=-14.000
max	6170.000-6184.000=-14.000

*mean*	15.214-14.609=0.605
σ	0.415-0.459=-0.044
min	14.258-13.569=0.689
max	15.618-15.019=0.599

op=table_records(), repeat

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

*mean*	3878.875-3740.750=138.125
σ	1851.217-1832.735=18.482
min	1280.000-1275.000=5.000
max	6170.000-6184.000=-14.000

*mean*	13.310-13.182=0.128
σ	1.912-1.891=0.021
min	10.966-10.737=0.229
max	15.532-14.926=0.606

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

*mean*	3878.875-3740.750=138.125
σ	1851.217-1832.735=18.482
min	1280.000-1275.000=5.000
max	6170.000-6184.000=-14.000

*mean*	9.075-9.040=0.034
σ	0.356-0.401=-0.045
min	8.717-8.443=0.274
max	9.789-9.471=0.317

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*	3878.875-3740.750=138.125
σ	1851.217-1832.735=18.482
min	1280.000-1275.000=5.000
max	6170.000-6184.000=-14.000

*mean*	6.720-6.454=0.266
σ	0.274-0.531=-0.257
min	6.196-5.612=0.584
max	7.048-7.345=-0.297

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*	3878.875-3888.250=-9.375
σ	1851.217-1859.353=-8.136
min	1280.000-1275.000=5.000
max	6170.000-6184.000=-14.000

*mean*	6.084-5.811=0.273
σ	0.166-0.513=-0.348
min	5.797-5.550=0.247
max	6.263-7.068=-0.806

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.968=0.000
max	25.974

*mean*	3878.875-3888.250=-9.375
σ	1851.217-1859.353=-8.136
min	1280.000-1275.000=5.000
max	6170.000-6184.000=-14.000

*mean*	5.691-5.690=0.002
σ	0.195-0.557=-0.361
min	5.390-5.399=-0.009
max	5.879-7.058=-1.178

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.606=-0.000

*mean*	6170.000-6184.000=-14.000
σ	0.000
min	6170.000-6184.000=-14.000
max	6170.000-6184.000=-14.000

*mean*	1319.807-1294.855=24.952
σ	502.669-459.751=42.917
min	1042.771-1044.601=-1.831
max	2158.625-2138.295=20.330

op=load_product(), with indexes

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

*mean*	3236.500-3245.500=-9.000
σ	1842.286-1849.392=-7.106
min	809.000-810.000=-1.000
max	6170.000-6184.000=-14.000

*mean*	3722.922-3737.353=-14.432
σ	1204.211-1067.426=136.784
min	3080.728-3076.842=3.885
max	6217.743-5867.247=350.496

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*	3878.875-3888.250=-9.375
σ	1851.217-1859.353=-8.136
min	1280.000-1275.000=5.000
max	6170.000-6184.000=-14.000

*mean*	85.489-168.441=-82.952
σ	13.911-252.228=-238.317
min	70.262-71.503=-1.241
max	104.553-792.251=-687.698

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*	6170.000-6184.000=-14.000
σ	0.000
min	6170.000-6184.000=-14.000
max	6170.000-6184.000=-14.000

*mean*	63.715-63.699=0.017
σ	3.252-4.305=-1.053
min	61.122-59.991=1.131
max	68.949-69.821=-0.873

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*	6170.000-6184.000=-14.000
σ	0.000
min	6170.000-6184.000=-14.000
max	6170.000-6184.000=-14.000

*mean*	100.243-99.566=0.677
σ	1.333-1.355=-0.022
min	99.027-98.124=0.903
max	103.119-102.155=0.964

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*	3878.875-3740.750=138.125
σ	1851.217-1832.735=18.482
min	1280.000-1275.000=5.000
max	6170.000-6184.000=-14.000

*mean*	6206.264-6108.118=98.146
σ	1282.928-1279.945=2.983
min	5009.614-5021.330=-11.715
max	8299.052-8119.223=179.829

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.000
max	10791.096-10791.096=0.001

*mean*	6170.000-6184.000=-14.000
σ	0.000
min	6170.000-6184.000=-14.000
max	6170.000-6184.000=-14.000

*mean*	5034.479-5154.926=-120.447
σ	1386.515-1504.153=-117.638
min	4010.645-4070.893=-60.248
max	7097.501-7223.848=-126.347

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*	371.687-384.657=-12.970
σ	22.009-16.644=5.365
min	346.943-346.514=0.429
max	393.628-395.758=-2.130

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	562.000
σ	0.000
min	562.000
max	562.000

*mean*	769.055-765.388=3.668
σ	42.245-27.376=14.869
min	669.159-717.078=-47.919
max	804.091-800.914=3.177

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.326-1024.325=0.001
σ	0.759-0.759=0.001
min	1023.851-1023.850=0.001
max	1027.467-1027.464=0.003

*mean*	1043.650-1049.800=-6.150
σ	309.588-312.114=-2.526
min	583.000-592.000=-9.000
max	1500.000-1511.000=-11.000

*mean*	1.558-1.567=-0.008
σ	0.113-0.080=0.032
min	1.488-1.487=0.001
max	1.993-1.769=0.224

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.309-0.412=-0.103
σ	0.296-0.534=-0.238
min	0.144-0.142=0.002
max	0.834-1.365=-0.531

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.474-0.519=-0.045
σ	0.309-0.409=-0.100
min	0.323-0.323=-0.000
max	1.026-1.251=-0.224

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.221=-0.005
σ	0.022-0.019=0.003
min	0.199-0.207=-0.008
max	0.253-0.254=-0.001

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.331-0.351=-0.019
σ	0.019-0.024=-0.005
min	0.319-0.324=-0.005
max	0.363-0.388=-0.024

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.200-435.600=0.600
σ	1.789-5.079=-3.291
min	433.000-431.000=2.000
max	437.000-441.000=-4.000

*mean*	0.529-0.583=-0.054
σ	0.053-0.039=0.014
min	0.478-0.517=-0.039
max	0.605-0.615=-0.010

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

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

*mean*	0.502-0.448=0.054
σ	0.020-0.043=-0.023
min	0.469-0.391=0.078
max	0.518-0.493=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*	444.000-441.000=3.000
σ	0.000
min	444.000-441.000=3.000
max	444.000-441.000=3.000

*mean*	2.512-1.988=0.523
σ	0.252-0.137=0.115
min	1.837-1.846=-0.009
max	2.861-2.848=0.014

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

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

*mean*	2.604-1.924=0.680
σ	0.082-0.097=-0.015
min	2.494-1.744=0.749
max	3.125-2.214=0.911

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

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

*mean*	0.306-0.308=-0.002
σ	0.007-0.008=-0.001
min	0.294-0.296=-0.002
max	0.358-0.359=-0.001

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

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

*mean*	0.296-0.297=-0.001
σ	0.010-0.016=-0.006
min	0.278-0.281=-0.003
max	0.343-0.418=-0.075

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.785-298.881=-0.097
σ	1.042-0.989=0.054
min	298.403-298.498=-0.095
max	301.750-301.686=0.064

*mean*	442.200-442.900=-0.700
σ	17.618-17.966=-0.348
min	417.000-416.000=1.000
max	464.000-468.000=-4.000

*mean*	0.607-0.592=0.015
σ	0.020-0.029=-0.008
min	0.574-0.554=0.021
max	0.640-0.638=0.002

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*	1685.000-1708.875=-23.875
σ	0.000-6.010=-6.010
min	1685.000-1694.000=-9.000
max	1685.000-1711.000=-26.000

*mean*	213.954-213.642=0.312
σ	3.930-2.278=1.652
min	209.597-209.992=-0.395
max	219.389-216.254=3.136

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1685.000-1708.875=-23.875
σ	0.000-6.010=-6.010
min	1685.000-1694.000=-9.000
max	1685.000-1711.000=-26.000

*mean*	10.906-10.934=-0.028
σ	1.593-1.566=0.026
min	9.416-9.428=-0.012
max	12.786-12.878=-0.092

phase=parser

*mean*	1042.361-1042.368=-0.006
σ	0.000-0.000=-0.000
min	1042.361-1042.367=-0.006
max	1042.361-1042.368=-0.006

*mean*	1685.000-1708.875=-23.875
σ	0.000-6.010=-6.010
min	1685.000-1694.000=-9.000
max	1685.000-1711.000=-26.000

*mean*	603.479-648.884=-45.405
σ	108.331-66.400=41.931
min	383.089-574.465=-191.376
max	733.523-730.800=2.723

phase=processProdDef

*mean*	4753.280-4753.275=0.005
σ	0.000-0.000=0.000
min	4753.280-4753.275=0.005
max	4753.280-4753.276=0.005

*mean*	1685.000-1711.000=-26.000
σ	0.000
min	1685.000-1711.000=-26.000
max	1685.000-1711.000=-26.000

*mean*	4236.337-4345.510=-109.173
σ	746.361-774.319=-27.958
min	2971.416-2985.050=-13.634
max	5185.655-5525.498=-339.843

phase=renaming

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

*mean*	1685.000-1708.875=-23.875
σ	0.000-6.010=-6.010
min	1685.000-1694.000=-9.000
max	1685.000-1711.000=-26.000

*mean*	42.787-43.627=-0.841
σ	3.922-5.325=-1.403
min	39.047-34.986=4.061
max	47.571-50.165=-2.594

phase=type checker

*mean*	990.450-990.453=-0.004
σ	0.071
min	990.344-990.348=-0.004
max	990.563-990.567=-0.004

*mean*	1685.000-1708.875=-23.875
σ	0.000-6.010=-6.010
min	1685.000-1694.000=-9.000
max	1685.000-1711.000=-26.000

*mean*	781.487-795.044=-13.557
σ	79.085-75.125=3.959
min	682.567-688.621=-6.053
max	904.141-898.546=5.595

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.918-293.917=0.001
σ	0.038-0.038=-0.000
min	293.864-293.863=0.001
max	293.957-293.957=0.000

*mean*	445.000
σ	0.000
min	445.000
max	445.000

*mean*	0.395-0.396=-0.001
σ	0.007-0.005=0.001
min	0.389-0.392=-0.003
max	0.406-0.405=0.001

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.300-1320.296=0.003
σ	0.030-0.030=0.000
min	1320.264-1320.266=-0.002
max	1320.331-1320.330=0.001

*mean*	1085.000-1110.200=-25.200
σ	163.646-187.716=-24.070
min	888.000-890.000=-2.000
max	1307.000-1372.000=-65.000

*mean*	2.304-2.276=0.028
σ	0.151-0.117=0.033
min	2.153-2.163=-0.010
max	2.493-2.442=0.051

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.477-1559.466=0.011
σ	3.390-3.357=0.033
min	1557.811-1557.816=-0.004
max	1565.535-1565.465=0.070

*mean*	628.800-629.400=-0.600
σ	90.599-92.738=-2.139
min	505.000-504.000=1.000
max	729.000-735.000=-6.000

*mean*	2.460-2.383=0.078
σ	0.294-0.181=0.114
min	2.191-2.179=0.012
max	2.886-2.547=0.339

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.264-1882.262=0.003
σ	0.061-0.058=0.002
min	1882.187-1882.182=0.005
max	1882.343-1882.337=0.006

*mean*	1722.000-1760.400=-38.400
σ	170.855-208.064=-37.209
min	1476.000-1505.000=-29.000
max	1880.000-1963.000=-83.000

*mean*	3.083-3.121=-0.037
σ	0.209-0.228=-0.020
min	2.899-2.872=0.027
max	3.423-3.464=-0.041

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.800-1.833=-0.033
σ	0.120-0.139=-0.019
min	1.677-1.620=0.057
max	1.930-1.987=-0.058

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.410-452.410=0.001
σ	583.278-583.278=0.000
min	160.769-160.769=0.000
max	1327.327-1327.326=0.001

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	444.000
σ	0.000
min	444.000
max	444.000

*mean*	0.536-0.543=-0.007
σ	0.533-0.546=-0.012
min	0.268-0.269=-0.001
max	1.336-1.362=-0.026

policies=20

*mean*	1608.036-1608.031=0.006
σ	0.419-0.418=0.000
min	1607.746-1607.742=0.003
max	1608.655-1608.650=0.005

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	452.000
σ	10.832
min	444.000
max	468.000

*mean*	2.695-2.703=-0.008
σ	0.008-0.013=-0.005
min	2.687-2.691=-0.004
max	2.706-2.721=-0.015

policies=200

*mean*	16088.592-16088.586=0.005
σ	0.100-0.074=0.026
min	16088.505-16088.512=-0.008
max	16088.735-16088.685=0.050

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	497.750-497.250=0.500
σ	5.123-4.573=0.550
min	492.000
max	503.000

*mean*	27.229-27.315=-0.087
σ	0.046-0.141=-0.096
min	27.167-27.194=-0.027
max	27.278-27.514=-0.237