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

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.890-54.889=0.002
σ	0.357-0.359=-0.002
min	54.754-54.753=0.001
max	55.905-55.909=-0.004

*mean*	415.000-417.000=-2.000
σ	0.000
min	415.000-417.000=-2.000
max	415.000-417.000=-2.000

*mean*	0.150-0.141=0.009
σ	0.011-0.005=0.006
min	0.135-0.137=-0.001
max	0.160-0.149=0.011

cache=y

dps=1

iters=10

policies=100

*mean*	43.858-43.856=0.003
σ	0.006-0.006=0.000
min	43.848-43.847=0.002
max	43.866-43.865=0.001

*mean*	415.000-417.000=-2.000
σ	0.000
min	415.000-417.000=-2.000
max	415.000-417.000=-2.000

*mean*	0.133-0.124=0.009
σ	0.009-0.005=0.004
min	0.122-0.117=0.005
max	0.147-0.134=0.013

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

*mean*	4041.625-4042.000=-0.375
σ	2006.816-2008.631=-1.814
min	1219.000-1217.000=2.000
max	7140.000-7147.000=-7.000

*mean*	13.475-13.652=-0.177
σ	1.750-1.900=-0.150
min	12.445-12.822=-0.377
max	17.748-18.334=-0.586

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*	4041.625-4042.000=-0.375
σ	2006.816-2008.631=-1.814
min	1219.000-1217.000=2.000
max	7140.000-7147.000=-7.000

*mean*	13.690-13.668=0.022
σ	1.836-2.017=-0.182
min	12.223-12.102=0.121
max	18.075-18.446=-0.371

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

*mean*	7140.000-7147.000=-7.000
σ	0.000
min	7140.000-7147.000=-7.000
max	7140.000-7147.000=-7.000

*mean*	15.090-15.548=-0.458
σ	0.115-0.277=-0.162
min	14.962-15.065=-0.102
max	15.296-15.914=-0.617

op=table_records(), repeat

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

*mean*	4041.625-4042.000=-0.375
σ	2006.816-2008.631=-1.814
min	1219.000-1217.000=2.000
max	7140.000-7147.000=-7.000

*mean*	14.648-14.481=0.167
σ	1.372-2.109=-0.737
min	11.965-11.103=0.862
max	16.282-16.469=-0.187

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

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

*mean*	4041.625-4042.000=-0.375
σ	2006.816-2008.631=-1.814
min	1219.000-1217.000=2.000
max	7140.000-7147.000=-7.000

*mean*	9.893-9.825=0.068
σ	1.525-1.768=-0.243
min	8.630-8.250=0.380
max	12.544-12.626=-0.082

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

*mean*	4041.625-4042.000=-0.375
σ	2006.816-2008.631=-1.814
min	1219.000-1217.000=2.000
max	7140.000-7147.000=-7.000

*mean*	7.648-7.581=0.067
σ	1.306-1.709=-0.403
min	6.681-6.047=0.634
max	10.506-10.362=0.145

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.668-25.668=0.000
σ	0.004-0.004=-0.000
min	25.665
max	25.678

*mean*	4041.625-4042.000=-0.375
σ	2006.816-2008.631=-1.814
min	1219.000-1217.000=2.000
max	7140.000-7147.000=-7.000

*mean*	6.219-6.227=-0.008
σ	0.570-0.582=-0.012
min	5.652-5.763=-0.111
max	7.576-7.631=-0.055

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

*mean*	4041.625-4042.000=-0.375
σ	2006.816-2008.631=-1.814
min	1219.000-1217.000=2.000
max	7140.000-7147.000=-7.000

*mean*	6.021-5.971=0.050
σ	0.587-0.610=-0.023
min	5.607-5.646=-0.038
max	7.452-7.476=-0.024

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.613
σ	0.002
min	1021.612
max	1021.616

*mean*	7140.000-7147.000=-7.000
σ	0.000
min	7140.000-7147.000=-7.000
max	7140.000-7147.000=-7.000

*mean*	362.790-382.483=-19.693
σ	42.668-99.619=-56.950
min	345.159-344.281=0.879
max	468.301-628.972=-160.671

op=load_product(), with indexes

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

*mean*	3274.500-3273.625=0.875
σ	1823.440-1823.904=-0.464
min	810.000
max	5622.000-5621.000=1.000

*mean*	3686.639-3706.886=-20.247
σ	1083.458-1064.955=18.503
min	3086.782-3127.582=-40.800
max	6179.639-6170.025=9.613

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

*mean*	4041.625-4042.000=-0.375
σ	2006.816-2008.631=-1.814
min	1219.000-1217.000=2.000
max	7140.000-7147.000=-7.000

*mean*	88.802-87.809=0.994
σ	18.457-20.950=-2.493
min	71.172-71.621=-0.449
max	113.883-126.518=-12.635

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

*mean*	7140.000-7147.000=-7.000
σ	0.000
min	7140.000-7147.000=-7.000
max	7140.000-7147.000=-7.000

*mean*	61.562-61.066=0.497
σ	2.476-0.344=2.132
min	60.314-60.610=-0.297
max	67.633-61.676=5.957

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*	7140.000-7147.000=-7.000
σ	0.000
min	7140.000-7147.000=-7.000
max	7140.000-7147.000=-7.000

*mean*	262.855-100.143=162.712
σ	366.960-0.893=366.066
min	97.886-99.189=-1.303
max	1141.187-101.740=1039.447

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.576
max	14227.820

*mean*	4041.625-4042.000=-0.375
σ	2006.816-2008.631=-1.814
min	1219.000-1217.000=2.000
max	7140.000-7147.000=-7.000

*mean*	7651.513-8028.112=-376.599
σ	1952.033-1837.014=115.019
min	6010.842-6000.789=10.052
max	11234.867-10658.260=576.607

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*	7140.000-7147.000=-7.000
σ	0.000
min	7140.000-7147.000=-7.000
max	7140.000-7147.000=-7.000

*mean*	5425.132-5146.095=279.037
σ	1008.866-203.930=804.936
min	4997.880-5020.787=-22.907
max	7890.995-5538.937=2352.057

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*	390.133-361.717=28.416
σ	5.849-33.912=-28.063
min	380.224-293.975=86.249
max	396.695-394.906=1.789

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	562.000-560.000=2.000
σ	0.000
min	562.000-560.000=2.000
max	562.000-560.000=2.000

*mean*	743.496-748.069=-4.573
σ	66.306-60.346=5.960
min	591.985-647.493=-55.508
max	799.223-800.352=-1.129

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.299-1024.300=-0.001
σ	0.758-0.758=0.000
min	1023.826-1023.826=0.001
max	1027.435-1027.437=-0.001

*mean*	1053.450-1058.750=-5.300
σ	312.440-311.028=1.412
min	570.000-566.000=4.000
max	1511.000-1509.000=2.000

*mean*	1.550-1.576=-0.026
σ	0.060-0.080=-0.020
min	1.480-1.504=-0.024
max	1.733-1.773=-0.039

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*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.326-0.296=0.030
σ	0.342-0.293=0.049
min	0.142-0.139=0.003
max	0.932-0.817=0.114

name=error_case.art

*mean*	2.339
σ	0.012
min	2.333
max	2.361

*mean*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.414-0.481=-0.067
σ	0.190-0.320=-0.130
min	0.319-0.326=-0.007
max	0.754-1.053=-0.299

name=heavy_item.art

*mean*	1.522
σ	0.002
min	1.521
max	1.525

*mean*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.221-0.220=0.001
σ	0.020-0.022=-0.003
min	0.205-0.204=0.002
max	0.255-0.259=-0.004

name=nested_use.art

*mean*	2.357
σ	0.002
min	2.356
max	2.360

*mean*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.332-0.338=-0.006
σ	0.022-0.017=0.005
min	0.314-0.324=-0.010
max	0.369-0.367=0.002

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.600-431.000=2.600
σ	4.099-0.000=4.099
min	430.000-431.000=-1.000
max	438.000-431.000=7.000

*mean*	0.530-0.537=-0.007
σ	0.065-0.064=0.001
min	0.442-0.474=-0.033
max	0.602-0.612=-0.011

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	440.000-431.000=9.000
σ	0.000
min	440.000-431.000=9.000
max	440.000-431.000=9.000

*mean*	0.514-0.452=0.062
σ	0.022-0.058=-0.036
min	0.477-0.380=0.098
max	0.528-0.516=0.013

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*	440.000-431.000=9.000
σ	0.000
min	440.000-431.000=9.000
max	440.000-431.000=9.000

*mean*	2.620-1.969=0.652
σ	0.117-0.069=0.049
min	2.487-1.836=0.651
max	3.399-2.262=1.137

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	440.000-431.000=9.000
σ	0.000
min	440.000-431.000=9.000
max	440.000-431.000=9.000

*mean*	2.598-1.974=0.624
σ	0.102-0.074=0.028
min	2.450-1.812=0.638
max	2.996-2.293=0.704

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	440.000-431.000=9.000
σ	0.000
min	440.000-431.000=9.000
max	440.000-431.000=9.000

*mean*	0.303-0.311=-0.008
σ	0.012-0.051=-0.039
min	0.289-0.294=-0.006
max	0.368-0.808=-0.441

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	440.000-431.000=9.000
σ	0.000
min	440.000-431.000=9.000
max	440.000-431.000=9.000

*mean*	0.292-0.297=-0.004
σ	0.008-0.030=-0.021
min	0.279-0.277=0.002
max	0.341-0.578=-0.237

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.730-299.032=-0.301
σ	1.035-0.986=0.048
min	298.299-298.607=-0.309
max	301.666-301.832=-0.166

*mean*	445.800-443.000=2.800
σ	17.850-15.499=2.351
min	417.000
max	469.000

*mean*	0.601-0.608=-0.007
σ	0.025-0.019=0.007
min	0.553-0.561=-0.008
max	0.639-0.629=0.010

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	1067.625-942.750=124.875
σ	26.517-17.678=8.839
min	1002.000-899.000=103.000
max	1077.000-949.000=128.000

*mean*	201.791-203.875=-2.084
σ	4.104-3.848=0.256
min	197.078-200.107=-3.029
max	206.945-210.522=-3.577

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1067.625-941.125=126.500
σ	26.517-22.274=4.243
min	1002.000-886.000=116.000
max	1077.000-949.000=128.000

*mean*	8.459-9.004=-0.545
σ	2.138-2.708=-0.570
min	6.411-6.395=0.015
max	12.875-12.870=0.006

phase=parser

*mean*	1042.361-1042.361=-0.000
σ	0.000-0.000=-0.000
min	1042.360-1042.360=-0.000
max	1042.361-1042.361=-0.001

*mean*	1067.625-941.125=126.500
σ	26.517-22.274=4.243
min	1002.000-886.000=116.000
max	1077.000-949.000=128.000

*mean*	509.787-541.286=-31.499
σ	107.912-140.390=-32.477
min	413.877-375.459=38.418
max	755.118-725.322=29.796

phase=processProdDef

*mean*	4850.768-4850.768=0.000
σ	0.000
min	4850.768-4850.768=0.000
max	4850.768-4850.768=0.000

*mean*	1077.000-949.000=128.000
σ	0.000
min	1077.000-949.000=128.000
max	1077.000-949.000=128.000

*mean*	4702.815-4976.311=-273.496
σ	683.401-578.483=104.918
min	3517.916-3750.251=-232.335
max	5496.386-5488.381=8.005

phase=renaming

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

*mean*	1067.625-941.125=126.500
σ	26.517-22.274=4.243
min	1002.000-886.000=116.000
max	1077.000-949.000=128.000

*mean*	31.199-34.272=-3.074
σ	10.319-13.047=-2.728
min	20.735-20.819=-0.084
max	48.841-48.337=0.503

phase=type checker

*mean*	990.450
σ	0.071
min	990.344
max	990.563

*mean*	1067.625-942.500=125.125
σ	26.517-18.385=8.132
min	1002.000-897.000=105.000
max	1077.000-949.000=128.000

*mean*	710.609-748.147=-37.537
σ	105.444-80.726=24.719
min	638.885-643.034=-4.149
max	906.354-889.987=16.367

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.822-293.821=0.001
σ	0.038-0.039=-0.001
min	293.770-293.769=0.001
max	293.862-293.862=-0.000

*mean*	439.800-443.000=-3.200
σ	1.095-0.000=1.095
min	439.000-443.000=-4.000
max	441.000-443.000=-2.000

*mean*	0.393-0.396=-0.003
σ	0.001-0.008=-0.007
min	0.391-0.390=0.001
max	0.394-0.410=-0.016

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.222-1320.092=0.131
σ	0.034-0.089=-0.055
min	1320.166-1320.000=0.166
max	1320.254-1320.223=0.031

*mean*	1081.400-1066.800=14.600
σ	170.866-165.406=5.460
min	877.000-843.000=34.000
max	1311.000-1268.000=43.000

*mean*	2.255-1.947=0.309
σ	0.097-0.165=-0.069
min	2.158-1.839=0.319
max	2.413-2.236=0.177

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.592-1560.607=-0.015
σ	6.213-6.225=-0.012
min	1557.611-1557.605=0.006
max	1571.701-1571.738=-0.037

*mean*	609.000-618.800=-9.800
σ	93.995-82.739=11.256
min	496.000-494.000=2.000
max	732.000-716.000=16.000

*mean*	2.225-2.278=-0.053
σ	0.125-0.178=-0.053
min	2.023-2.171=-0.148
max	2.353-2.595=-0.242

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.171-1882.177=-0.006
σ	0.059-0.053=0.006
min	1882.097-1882.110=-0.013
max	1882.248-1882.248=-0.000

*mean*	1722.000-1707.600=14.400
σ	174.452-243.436=-68.984
min	1464.000-1396.000=68.000
max	1875.000-2018.000=-143.000

*mean*	3.096-2.937=0.159
σ	0.254-0.042=0.212
min	2.890-2.894=-0.005
max	3.491-2.987=0.504

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.805-1.735=0.071
σ	0.106-0.189=-0.083
min	1.632-1.449=0.183
max	1.920-1.884=0.036

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.082-452.082=-0.000
σ	582.723-582.723=-0.001
min	160.719-160.716=0.003
max	1326.166-1326.167=-0.002

*mean*	102.250
σ	8.500
min	98.000
max	115.000

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

*mean*	0.550-0.535=0.014
σ	0.546-0.525=0.021
min	0.273-0.268=0.006
max	1.368-1.323=0.045

policies=20

*mean*	1607.534-1607.539=-0.006
σ	0.428-0.423=0.005
min	1607.242-1607.255=-0.013
max	1608.168-1608.167=0.001

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	450.500-447.500=3.000
σ	9.815-7.506=2.309
min	442.000-441.000=1.000
max	459.000-454.000=5.000

*mean*	2.705-2.706=-0.001
σ	0.017-0.011=0.005
min	2.691-2.697=-0.006
max	2.723-2.722=0.001

policies=200

*mean*	16083.545-16083.456=0.088
σ	0.079-0.178=-0.099
min	16083.497-16083.347=0.149
max	16083.663-16083.721=-0.058

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	500.000-496.750=3.250
σ	4.690-5.315=-0.625
min	495.000-491.000=4.000
max	506.000-503.000=3.000

*mean*	27.226-27.302=-0.076
σ	0.074-0.085=-0.011
min	27.158-27.176=-0.018
max	27.302-27.357=-0.056