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.000
σ	0.359-0.356=0.002
min	54.538-54.545=-0.007
max	55.698-55.691=0.007

*mean*	418.000-421.000=-3.000
σ	0.000
min	418.000-421.000=-3.000
max	418.000-421.000=-3.000

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

cache=y

dps=1

iters=10

policies=100

*mean*	43.704-43.704=0.001
σ	0.006-0.005=0.002
min	43.694-43.697=-0.003
max	43.713-43.710=0.002

*mean*	418.000-421.000=-3.000
σ	0.000
min	418.000-421.000=-3.000
max	418.000-421.000=-3.000

*mean*	0.124-0.123=0.002
σ	0.005-0.005=-0.001
min	0.120-0.116=0.004
max	0.132-0.132=-0.000

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

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

*mean*	3869.375-3876.500=-7.125
σ	1851.968-1849.170=2.799
min	1275.000-1279.000=-4.000
max	6164.000-6165.000=-1.000

*mean*	12.701-13.537=-0.836
σ	0.199-1.855=-1.656
min	12.393-12.601=-0.209
max	12.955-18.096=-5.141

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*	3869.375-3876.500=-7.125
σ	1851.968-1849.170=2.799
min	1275.000-1279.000=-4.000
max	6164.000-6165.000=-1.000

*mean*	12.737-13.793=-1.056
σ	0.673-1.387=-0.714
min	11.675-12.904=-1.229
max	13.456-17.183=-3.728

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-41.933=-0.001

*mean*	6164.000-6165.000=-1.000
σ	0.000
min	6164.000-6165.000=-1.000
max	6164.000-6165.000=-1.000

*mean*	15.309-15.242=0.067
σ	0.201-0.401=-0.200
min	14.887-14.454=0.432
max	15.541-15.705=-0.164

op=table_records(), repeat

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

*mean*	3869.375-3876.500=-7.125
σ	1851.968-1849.170=2.799
min	1275.000-1279.000=-4.000
max	6164.000-6165.000=-1.000

*mean*	14.054-13.678=0.376
σ	2.578-1.968=0.610
min	11.037-11.290=-0.254
max	18.110-16.056=2.054

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

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

*mean*	3869.375-3876.500=-7.125
σ	1851.968-1849.170=2.799
min	1275.000-1279.000=-4.000
max	6164.000-6165.000=-1.000

*mean*	9.492-9.587=-0.095
σ	1.505-1.242=0.263
min	8.327-8.849=-0.522
max	13.048-12.612=0.436

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

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

*mean*	3869.375-3876.500=-7.125
σ	1851.968-1849.170=2.799
min	1275.000-1279.000=-4.000
max	6164.000-6165.000=-1.000

*mean*	7.138-7.144=-0.006
σ	1.377-1.262=0.115
min	6.258-6.350=-0.092
max	10.493-10.211=0.283

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.665=0.000
max	25.674

*mean*	3869.375-3876.500=-7.125
σ	1851.968-1849.170=2.799
min	1275.000-1279.000=-4.000
max	6164.000-6165.000=-1.000

*mean*	6.010-6.160=-0.150
σ	0.071-0.471=-0.400
min	5.897-5.842=0.055
max	6.103-7.273=-1.170

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*	3869.375-3876.500=-7.125
σ	1851.968-1849.170=2.799
min	1275.000-1279.000=-4.000
max	6164.000-6165.000=-1.000

*mean*	5.797-5.947=-0.150
σ	0.157-0.545=-0.387
min	5.464-5.651=-0.187
max	6.011-7.276=-1.265

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

*mean*	6164.000-6165.000=-1.000
σ	0.000
min	6164.000-6165.000=-1.000
max	6164.000-6165.000=-1.000

*mean*	1342.649-1472.459=-129.810
σ	529.980-798.983=-269.003
min	1054.001-1044.178=9.824
max	2250.791-3064.954=-814.163

op=load_product(), with indexes

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

*mean*	3227.125-3235.250=-8.125
σ	1841.156-1839.811=1.345
min	810.000
max	6164.000-6165.000=-1.000

*mean*	3840.885-3615.540=225.345
σ	1297.962-1083.289=214.673
min	3128.450-3121.053=7.397
max	6258.201-6221.574=36.626

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*	3869.375-3876.500=-7.125
σ	1851.968-1849.170=2.799
min	1275.000-1279.000=-4.000
max	6164.000-6165.000=-1.000

*mean*	87.143-84.259=2.884
σ	18.140-12.531=5.609
min	70.439-71.411=-0.973
max	122.924-103.229=19.695

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.944=0.000
max	40.949

*mean*	6164.000-6165.000=-1.000
σ	0.000
min	6164.000-6165.000=-1.000
max	6164.000-6165.000=-1.000

*mean*	65.210-62.813=2.397
σ	4.119-3.741=0.377
min	61.090-59.853=1.237
max	70.388-68.410=1.978

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

*mean*	6164.000-6165.000=-1.000
σ	0.000
min	6164.000-6165.000=-1.000
max	6164.000-6165.000=-1.000

*mean*	99.556-99.674=-0.118
σ	0.747-1.230=-0.483
min	98.687-97.864=0.824
max	100.889-101.719=-0.830

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	3869.375-3876.500=-7.125
σ	1851.968-1849.170=2.799
min	1275.000-1279.000=-4.000
max	6164.000-6165.000=-1.000

*mean*	6532.505-6121.084=411.421
σ	1317.675-1058.153=259.523
min	5050.994-5069.241=-18.247
max	8180.172-8126.318=53.854

op=vertical_lookup_list() on indexed

*mean*	10791.093-10791.094=-0.000
σ	0.002-0.002=0.000
min	10791.091-10791.091=-0.000
max	10791.096

*mean*	6164.000-6165.000=-1.000
σ	0.000
min	6164.000-6165.000=-1.000
max	6164.000-6165.000=-1.000

*mean*	5583.101-5205.969=377.131
σ	1644.747-1543.849=100.898
min	4071.755-4094.412=-22.657
max	7710.158-7543.786=166.372

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

*mean*	377.017-383.400=-6.383
σ	19.160-14.110=5.050
min	350.242-348.705=1.537
max	397.277-390.315=6.962

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

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

*mean*	775.844-721.152=54.692
σ	23.442-80.973=-57.531
min	729.609-589.343=140.266
max	800.790-798.852=1.938

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.329-1024.328=0.001
σ	0.758-0.759=-0.000
min	1023.854-1023.853=0.002
max	1027.465-1027.466=-0.001

*mean*	1041.900-1043.200=-1.300
σ	309.636-317.179=-7.543
min	544.000-547.000=-3.000
max	1533.000-1516.000=17.000

*mean*	1.586-1.568=0.018
σ	0.085-0.096=-0.011
min	1.502-1.486=0.015
max	1.792-1.911=-0.119

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.474-0.431=0.043
σ	0.479-0.510=-0.031
min	0.248-0.144=0.104
max	1.331-1.325=0.006

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.825-0.494=0.331
σ	0.521-0.325=0.197
min	0.562-0.330=0.232
max	1.757-1.074=0.683

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.390-0.208=0.181
σ	0.043-0.027=0.017
min	0.359-0.190=0.169
max	0.465-0.255=0.210

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.595-0.334=0.261
σ	0.027-0.015=0.012
min	0.570-0.324=0.247
max	0.639-0.360=0.279

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.400-436.200=-4.800
σ	0.894-1.789=-0.894
min	431.000-433.000=-2.000
max	433.000-437.000=-4.000

*mean*	0.651-0.522=0.129
σ	0.064-0.085=-0.020
min	0.578-0.440=0.138
max	0.736-0.619=0.117

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	439.000-437.000=2.000
σ	0.000
min	439.000-437.000=2.000
max	439.000-437.000=2.000

*mean*	0.435-0.463=-0.029
σ	0.042-0.026=0.017
min	0.390-0.433=-0.043
max	0.499-0.500=-0.001

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*	439.000-437.000=2.000
σ	0.000
min	439.000-437.000=2.000
max	439.000-437.000=2.000

*mean*	2.682-2.659=0.023
σ	0.086-0.118=-0.032
min	2.506-2.451=0.055
max	2.926-3.016=-0.090

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	439.000-437.000=2.000
σ	0.000
min	439.000-437.000=2.000
max	439.000-437.000=2.000

*mean*	2.685-2.629=0.056
σ	0.126-0.090=0.036
min	2.494-2.475=0.019
max	3.305-2.928=0.377

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	439.000-437.000=2.000
σ	0.000
min	439.000-437.000=2.000
max	439.000-437.000=2.000

*mean*	0.309-0.311=-0.002
σ	0.011-0.009=0.002
min	0.294-0.294=-0.001
max	0.385-0.356=0.029

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	439.000-437.000=2.000
σ	0.000
min	439.000-437.000=2.000
max	439.000-437.000=2.000

*mean*	0.293-0.303=-0.010
σ	0.008-0.041=-0.034
min	0.278-0.278=-0.000
max	0.336-0.699=-0.364

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.860-298.902=-0.041
σ	1.009-1.064=-0.055
min	298.478-298.496=-0.018
max	301.728-301.924=-0.196

*mean*	442.300-443.700=-1.400
σ	14.659-16.118=-1.458
min	418.000-420.000=-2.000
max	467.000-470.000=-3.000

*mean*	0.609-0.588=0.022
σ	0.017-0.032=-0.015
min	0.591-0.546=0.045
max	0.641-0.644=-0.004

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	236.678
σ	0.000
min	236.678
max	236.678

*mean*	1682.000-1680.625=1.375
σ	0.000-3.889=-3.889
min	1682.000-1671.000=11.000
max	1682.000

*mean*	211.708-213.945=-2.237
σ	2.506-4.153=-1.647
min	207.456-209.617=-2.161
max	214.057-219.930=-5.873

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1682.000-1680.625=1.375
σ	0.000-3.889=-3.889
min	1682.000-1671.000=11.000
max	1682.000

*mean*	11.091-10.686=0.405
σ	1.554-1.885=-0.331
min	9.431-7.593=1.837
max	12.934-12.745=0.188

phase=parser

*mean*	1042.363-1042.364=-0.000
σ	0.000-0.000=0.000
min	1042.363-1042.364=-0.001
max	1042.364

*mean*	1682.000-1680.625=1.375
σ	0.000-3.889=-3.889
min	1682.000-1671.000=11.000
max	1682.000

*mean*	641.716-601.701=40.015
σ	74.494-137.618=-63.124
min	575.187-381.607=193.580
max	735.636-739.354=-3.718

phase=processProdDef

*mean*	4753.280-4753.279=0.000
σ	0.000-0.000=0.000
min	4753.279
max	4753.280

*mean*	1682.000
σ	0.000
min	1682.000
max	1682.000

*mean*	4459.984-4460.491=-0.506
σ	592.942-656.914=-63.972
min	3650.841-3308.240=342.601
max	5379.731-5405.056=-25.326

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1682.000-1680.625=1.375
σ	0.000-3.889=-3.889
min	1682.000-1671.000=11.000
max	1682.000

*mean*	41.983-41.801=0.182
σ	5.686-7.147=-1.461
min	34.793-26.386=8.407
max	48.532-48.424=0.108

phase=type checker

*mean*	990.454
σ	0.071
min	990.348
max	990.567

*mean*	1682.000-1680.625=1.375
σ	0.000-3.889=-3.889
min	1682.000-1671.000=11.000
max	1682.000

*mean*	784.766-797.227=-12.461
σ	65.654-103.369=-37.715
min	687.613-657.802=29.811
max	884.654-933.922=-49.268

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.917-293.919=-0.001
σ	0.038-0.038=-0.000
min	293.864-293.865=-0.001
max	293.956-293.958=-0.002

*mean*	445.000
σ	0.000
min	445.000
max	445.000

*mean*	0.399-0.400=-0.001
σ	0.006-0.009=-0.003
min	0.393-0.393=-0.000
max	0.406-0.413=-0.007

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.290-1320.170=0.120
σ	0.046-0.073=-0.027
min	1320.237-1320.090=0.146
max	1320.341-1320.278=0.063

*mean*	1085.800-1111.200=-25.400
σ	168.667-188.376=-19.709
min	886.000-891.000=-5.000
max	1318.000-1374.000=-56.000

*mean*	2.373-1.929=0.444
σ	0.233-0.042=0.191
min	2.160-1.873=0.287
max	2.728-1.979=0.749

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.483-1559.481=0.002
σ	3.337-3.362=-0.026
min	1557.865-1557.849=0.016
max	1565.447-1565.490=-0.044

*mean*	635.200-624.400=10.800
σ	74.375-90.996=-16.621
min	537.000-508.000=29.000
max	726.000-729.000=-3.000

*mean*	2.416-2.429=-0.013
σ	0.255-0.272=-0.017
min	2.150-2.116=0.033
max	2.749-2.722=0.027

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.271-1882.280=-0.010
σ	0.060-0.086=-0.026
min	1882.201-1882.186=0.016
max	1882.357-1882.394=-0.036

*mean*	1716.600-1726.600=-10.000
σ	176.930-179.238=-2.308
min	1466.000-1505.000=-39.000
max	1881.000-1971.000=-90.000

*mean*	3.084-3.126=-0.042
σ	0.399-0.240=0.159
min	2.884-2.892=-0.008
max	3.796-3.463=0.333

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.767-1.847=-0.081
σ	0.185-0.091=0.094
min	1.506-1.727=-0.221
max	1.920-1.939=-0.019

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.410-452.411=-0.001
σ	583.278-583.278=-0.000
min	160.769-160.770=-0.001
max	1327.327-1327.329=-0.001

*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.552-0.555=-0.003
σ	0.562-0.570=-0.008
min	0.269-0.268=0.001
max	1.394-1.410=-0.016

policies=20

*mean*	1608.030-1608.041=-0.010
σ	0.410-0.417=-0.007
min	1607.748-1607.752=-0.003
max	1608.636-1608.657=-0.022

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	449.250-449.500=-0.250
σ	3.500-7.506=-4.006
min	444.000-443.000=1.000
max	451.000-456.000=-5.000

*mean*	2.690-2.701=-0.011
σ	0.016-0.010=0.006
min	2.667-2.693=-0.026
max	2.703-2.715=-0.012

policies=200

*mean*	16088.606-16088.496=0.110
σ	0.095-0.169=-0.074
min	16088.489-16088.405=0.084
max	16088.717-16088.750=-0.033

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	502.250-497.000=5.250
σ	5.737-3.162=2.575
min	494.000-493.000=1.000
max	507.000-500.000=7.000

*mean*	27.272-27.296=-0.024
σ	0.080-0.058=0.021
min	27.183-27.243=-0.059
max	27.366-27.358=0.008