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 Decls)

Factor

compact size MiB

phase=processProdDef Decls

*mean*	5.676
σ	0.000
min	5.676
max	5.676

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.883
σ	0.000
min	446.883
max	446.883

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.864-54.860=0.004
σ	0.360-0.360=-0.000
min	54.727-54.723=0.004
max	55.888-55.885=0.003

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

*mean*	0.158-0.139=0.019
σ	0.006-0.004=0.002
min	0.151-0.135=0.015
max	0.168-0.146=0.021

cache=y

dps=1

iters=10

policies=100

*mean*	43.847-43.847=-0.000
σ	0.006-0.006=-0.000
min	43.836-43.836=-0.001
max	43.856-43.856=-0.001

*mean*	418.700-419.000=-0.300
σ	0.483-0.000=0.483
min	418.000-419.000=-1.000
max	419.000

*mean*	0.126-0.125=0.001
σ	0.004-0.005=-0.000
min	0.122-0.121=0.001
max	0.134-0.132=0.002

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.617-36.617=0.000
σ	0.000-0.000=0.000
min	36.617
max	36.618-36.618=0.000

*mean*	4588.125-4432.375=155.750
σ	2246.906-2225.356=21.550
min	1486.000-1483.000=3.000
max	7379.000-7407.000=-28.000

*mean*	129.146-12.294=116.852
σ	330.540-1.892=328.648
min	11.947-11.428=0.519
max	947.190-16.890=930.300

op=column_set() on indexed, repeat

*mean*	36.617-36.618=-0.000
σ	0.000-0.000=-0.000
min	36.617
max	36.618-36.618=-0.001

*mean*	4588.125-4610.625=-22.500
σ	2246.906-2256.582=-9.676
min	1486.000-1483.000=3.000
max	7379.000-7407.000=-28.000

*mean*	13.963-144.483=-130.519
σ	4.554-372.363=-367.809
min	11.498-12.061=-0.563
max	25.112-1066.029=-1040.917

op=table_records(), no indexes

*mean*	41.948-41.948=-0.000
σ	0.002-0.002=-0.000
min	41.946
max	41.950-41.951=-0.000

*mean*	7379.000-7407.000=-28.000
σ	0.000
min	7379.000-7407.000=-28.000
max	7379.000-7407.000=-28.000

*mean*	11.158-10.739=0.419
σ	0.146-0.992=-0.846
min	10.839-10.160=0.678
max	11.281-13.175=-1.893

op=table_records(), repeat

*mean*	41.933-41.933=0.000
σ	0.000-0.000=0.000
min	41.933
max	41.934-41.934=0.000

*mean*	4179.250-4203.750=-24.500
σ	1943.643-1953.436=-9.793
min	1486.000-1483.000=3.000
max	7379.000-7407.000=-28.000

*mean*	11.672-10.818=0.854
σ	1.848-1.412=0.435
min	10.815-10.134=0.680
max	16.233-14.295=1.939

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

*mean*	27.655-27.655=-0.000
σ	0.136-0.136=-0.000
min	27.606
max	27.993-27.993=-0.000

*mean*	4179.250-4203.750=-24.500
σ	1943.643-1953.436=-9.793
min	1486.000-1483.000=3.000
max	7379.000-7407.000=-28.000

*mean*	9.228-8.251=0.977
σ	1.404-0.541=0.863
min	8.025-7.484=0.541
max	12.624-9.414=3.210

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

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

*mean*	4179.250-4203.750=-24.500
σ	1943.643-1953.436=-9.793
min	1486.000-1483.000=3.000
max	7379.000-7407.000=-28.000

*mean*	7.205-6.464=0.741
σ	0.914-0.399=0.514
min	6.638-6.055=0.582
max	9.424-7.388=2.036

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.681-25.681=0.000
σ	0.003-0.003=0.000
min	25.680
max	25.688-25.688=0.000

*mean*	4588.125-4610.625=-22.500
σ	2246.906-2256.582=-9.676
min	1486.000-1483.000=3.000
max	7379.000-7407.000=-28.000

*mean*	6.463-5.871=0.592
σ	1.161-0.751=0.409
min	5.835-5.211=0.625
max	9.324-7.248=2.076

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.984-25.984=0.000
σ	0.000-0.000=-0.000
min	25.984
max	25.985

*mean*	4588.125-4610.625=-22.500
σ	2246.906-2256.582=-9.676
min	1486.000-1483.000=3.000
max	7379.000-7407.000=-28.000

*mean*	6.298-5.752=0.546
σ	1.127-0.699=0.428
min	5.742-5.261=0.481
max	9.074-7.018=2.055

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.627-1021.627=0.000
σ	0.002-0.002=0.000
min	1021.625
max	1021.630-1021.629=0.000

*mean*	7379.000-7407.000=-28.000
σ	0.000
min	7379.000-7407.000=-28.000
max	7379.000-7407.000=-28.000

*mean*	556.096-344.851=211.245
σ	585.706-1.681=584.025
min	344.824-342.282=2.541
max	2005.637-346.698=1658.938

op=load_product(), with indexes

*mean*	3495.878-3495.878=0.000
σ	0.469-0.468=0.000
min	3495.713
max	3497.038-3497.037=0.001

*mean*	3755.750-3774.750=-19.000
σ	2298.159-2310.624=-12.465
min	720.000
max	7379.000-7407.000=-28.000

*mean*	1772.072-1779.498=-7.426
σ	683.498-667.155=16.343
min	1394.521-1384.466=10.055
max	2963.489-2929.761=33.728

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense, minor warmup

*mean*	107.854-107.854=0.000
σ	0.000-0.000=-0.000
min	107.854-107.853=0.000
max	107.854-107.854=-0.000

*mean*	4407.875-4203.750=204.125
σ	2216.352-1953.436=262.916
min	1486.000-1483.000=3.000
max	7379.000-7407.000=-28.000

*mean*	192.128-134.760=57.368
σ	149.606-10.564=139.043
min	126.884-125.097=1.787
max	559.796-156.479=403.316

op=column_set() on unindexed, dense, repeat

*mean*	62.081-62.082=-0.000
σ	0.000-0.000=-0.000
min	62.081
max	62.082-62.082=-0.001

*mean*	4407.875-4432.375=-24.500
σ	2216.352-2225.356=-9.004
min	1486.000-1483.000=3.000
max	7379.000-7407.000=-28.000

*mean*	42.908-168.404=-125.496
σ	1.577-359.733=-358.156
min	40.969-39.558=1.411
max	45.549-1058.692=-1013.143

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948-40.948=-0.000
σ	0.002-0.002=-0.000
min	40.947
max	40.950-40.951=-0.001

*mean*	7379.000-7407.000=-28.000
σ	0.000
min	7379.000-7407.000=-28.000
max	7379.000-7407.000=-28.000

*mean*	22.660-120.219=-97.558
σ	1.866-275.981=-274.115
min	21.435-21.223=0.212
max	26.061-803.206=-777.145

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.308-71.308=-0.000
σ	0.002-0.002=-0.000
min	71.307
max	71.311

*mean*	7379.000-7407.000=-28.000
σ	0.000
min	7379.000-7407.000=-28.000
max	7379.000-7407.000=-28.000

*mean*	57.330-63.777=-6.447
σ	2.593-18.738=-16.144
min	55.877-54.221=1.655
max	63.682-108.300=-44.618

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.850
σ	0.014-0.013=0.000
min	4646.845
max	4646.884-4646.883=0.001

*mean*	4179.250-4203.750=-24.500
σ	1943.643-1953.436=-9.793
min	1486.000-1483.000=3.000
max	7379.000-7407.000=-28.000

*mean*	3189.521-3153.303=36.219
σ	729.102-542.726=186.376
min	2520.565-2499.061=21.504
max	4366.922-3716.215=650.707

op=vertical_lookup_list() on indexed

*mean*	1973.851
σ	0.002
min	1973.849
max	1973.853

*mean*	7379.000-7407.000=-28.000
σ	0.000
min	7379.000-7407.000=-28.000
max	7379.000-7407.000=-28.000

*mean*	1012.738-1003.196=9.542
σ	203.719-198.834=4.885
min	918.141-909.878=8.264
max	1506.958-1481.265=25.693

op=vertical_lookup_list() on unindexed missing Int, minor warmup

*mean*	905.105-905.105=0.000
σ	0.002-0.002=-0.000
min	905.102
max	905.108-905.108=-0.000

*mean*	7379.000-7407.000=-28.000
σ	0.000
min	7379.000-7407.000=-28.000
max	7379.000-7407.000=-28.000

*mean*	501.983-408.890=93.094
σ	262.520-42.385=220.134
min	377.705-388.843=-11.139
max	1142.949-513.482=629.466

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	148.144
σ	0.001
min	148.144
max	148.148

*mean*	476.000-476.500=-0.500
σ	0.000-0.535=-0.535
min	476.000
max	476.000-477.000=-1.000

*mean*	370.394-379.567=-9.173
σ	40.806-31.251=9.554
min	320.186-323.131=-2.945
max	421.460-426.479=-5.019

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	558.375-565.000=-6.625
σ	0.518-0.000=0.518
min	558.000-565.000=-7.000
max	559.000-565.000=-6.000

*mean*	732.721-760.044=-27.323
σ	52.076-40.788=11.288
min	642.544-714.224=-71.680
max	811.781-827.202=-15.422

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.563-1024.565=-0.002
σ	0.760-0.761=-0.001
min	1024.093-1024.095=-0.001
max	1027.704-1027.709=-0.005

*mean*	1047.650-1038.800=8.850
σ	312.322-307.948=4.373
min	583.000-544.000=39.000
max	1511.000-1525.000=-14.000

*mean*	1.379-1.391=-0.012
σ	0.080-0.130=-0.050
min	1.299-1.217=0.083
max	1.582-1.828=-0.246

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.307-0.420=-0.113
σ	0.289-0.535=-0.246
min	0.147-0.156=-0.009
max	0.821-1.375=-0.554

name=error_case.art

*mean*	2.340
σ	0.012
min	2.334
max	2.362

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.475-0.481=-0.006
σ	0.308-0.318=-0.009
min	0.320-0.321=-0.001
max	1.026-1.049=-0.023

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.521
max	1.525

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.221-0.221=0.000
σ	0.022-0.023=-0.001
min	0.199-0.198=0.001
max	0.255-0.261=-0.006

name=nested_use.art

*mean*	2.358
σ	0.002
min	2.357
max	2.361

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.329-0.339=-0.010
σ	0.016-0.021=-0.004
min	0.316-0.318=-0.002
max	0.357-0.371=-0.015

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.971
σ	0.011
min	964.965
max	964.989

*mean*	431.000-433.800=-2.800
σ	0.000-3.033=-3.033
min	431.000
max	431.000-437.000=-6.000

*mean*	0.565-0.575=-0.010
σ	0.070-0.034=0.036
min	0.484-0.537=-0.053
max	0.622-0.605=0.017

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	431.000-437.000=-6.000
σ	0.000
min	431.000-437.000=-6.000
max	431.000-437.000=-6.000

*mean*	0.457-0.429=0.028
σ	0.043-0.057=-0.013
min	0.410-0.382=0.028
max	0.525-0.521=0.004

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.710
σ	0.002
min	7.709
max	7.713

*mean*	431.000-437.000=-6.000
σ	0.000
min	431.000-437.000=-6.000
max	431.000-437.000=-6.000

*mean*	1.997-2.651=-0.655
σ	0.116-0.104=0.011
min	1.841-2.467=-0.626
max	2.776-3.075=-0.299

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	431.000-437.000=-6.000
σ	0.000
min	431.000-437.000=-6.000
max	431.000-437.000=-6.000

*mean*	1.978-2.143=-0.165
σ	0.076-0.279=-0.203
min	1.823-1.814=0.009
max	2.233-2.669=-0.436

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	431.000-437.000=-6.000
σ	0.000
min	431.000-437.000=-6.000
max	431.000-437.000=-6.000

*mean*	0.307-0.302=0.005
σ	0.015-0.013=0.001
min	0.292-0.284=0.007
max	0.385-0.390=-0.005

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	431.000-437.000=-6.000
σ	0.000
min	431.000-437.000=-6.000
max	431.000-437.000=-6.000

*mean*	0.296-0.290=0.006
σ	0.032-0.010=0.021
min	0.279-0.274=0.006
max	0.600-0.341=0.259

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.795-11.683=0.113
σ	11.799-11.379=0.420
min	0.574-0.716=-0.143
max	101.409-88.586=12.823

*mean*	452.006-461.477=-9.471
σ	16.078-19.158=-3.080
min	406.000-407.000=-1.000
max	465.000-480.000=-15.000

*mean*	0.027-0.027=0.000
σ	0.029-0.028=0.001
min	0.001-0.001=-0.000
max	0.246-0.218=0.028

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.599-298.564=0.035
σ	1.012-0.986=0.026
min	298.229-298.139=0.090
max	301.477-301.360=0.118

*mean*	444.600-442.900=1.700
σ	19.918-18.357=1.560
min	415.000
max	473.000

*mean*	0.572-0.596=-0.024
σ	0.041-0.028=0.013
min	0.523-0.520=0.003
max	0.635-0.626=0.009

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	839.000-843.000=-4.000
σ	0.000
min	839.000-843.000=-4.000
max	839.000-843.000=-4.000

*mean*	249.447-221.448=27.998
σ	5.273-30.555=-25.282
min	239.062-178.108=60.954
max	254.861-257.544=-2.683

phase=macro expansion

*mean*	6.133
σ	0.000
min	6.133
max	6.133

*mean*	839.000-842.375=-3.375
σ	0.000-1.768=-1.768
min	839.000-838.000=1.000
max	839.000-843.000=-4.000

*mean*	7.237-6.436=0.802
σ	1.570-0.095=1.474
min	6.320-6.343=-0.024
max	10.067-6.567=3.500

phase=parser

*mean*	1042.431-1042.431=-0.000
σ	0.000-0.000=0.000
min	1042.431-1042.431=-0.001
max	1042.431

*mean*	839.000-842.375=-3.375
σ	0.000-1.768=-1.768
min	839.000-838.000=1.000
max	839.000-843.000=-4.000

*mean*	595.559-570.604=24.955
σ	82.430-55.906=26.524
min	426.520-453.351=-26.831
max	732.509-607.001=125.508

phase=processProdDef

*mean*	2243.980-2243.980=0.000
σ	0.000-0.000=0.000
min	2243.980
max	2243.981-2243.980=0.001

*mean*	839.000-843.000=-4.000
σ	0.000
min	839.000-843.000=-4.000
max	839.000-843.000=-4.000

*mean*	2905.485-2844.331=61.153
σ	265.803-284.103=-18.300
min	2508.004-2489.386=18.618
max	3297.062-3363.216=-66.154

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	839.000-842.375=-3.375
σ	0.000-1.768=-1.768
min	839.000-838.000=1.000
max	839.000-843.000=-4.000

*mean*	24.580-20.868=3.712
σ	7.649-0.285=7.364
min	19.957-20.438=-0.481
max	40.753-21.223=19.529

phase=type checker

*mean*	989.752
σ	0.066
min	989.654
max	989.841

*mean*	839.000-842.375=-3.375
σ	0.000-1.768=-1.768
min	839.000-838.000=1.000
max	839.000-843.000=-4.000

*mean*	659.118-698.782=-39.665
σ	13.541-81.154=-67.613
min	645.131-640.004=5.128
max	683.199-889.037=-205.838

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.821-293.819=0.002
σ	0.037-0.041=-0.004
min	293.768-293.762=0.006
max	293.859-293.859=0.000

*mean*	442.000-444.000=-2.000
σ	0.000
min	442.000-444.000=-2.000
max	442.000-444.000=-2.000

*mean*	0.390-0.390=0.000
σ	0.003-0.005=-0.003
min	0.388-0.386=0.002
max	0.395-0.399=-0.004

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.287-1320.288=-0.001
σ	0.133-0.119=0.014
min	1320.169-1320.158=0.011
max	1320.504-1320.482=0.022

*mean*	1089.200-1091.200=-2.000
σ	168.207-167.770=0.438
min	892.000-893.000=-1.000
max	1320.000

*mean*	1.952-2.016=-0.064
σ	0.163-0.263=-0.100
min	1.855-1.852=0.002
max	2.239-2.479=-0.240

iters=5

new-facts=6402

prior-facts=1

*mean*	1559.282-1559.282=-0.000
σ	2.951-2.983=-0.032
min	1557.722-1557.657=0.065
max	1564.548-1564.602=-0.054

*mean*	624.600-625.400=-0.800
σ	87.751-87.395=0.357
min	494.000-495.000=-1.000
max	727.000-728.000=-1.000

*mean*	2.188-2.201=-0.013
σ	0.117-0.207=-0.090
min	2.078-2.056=0.022
max	2.373-2.558=-0.185

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.348-1882.337=0.011
σ	0.054-0.061=-0.008
min	1882.281-1882.254=0.027
max	1882.427-1882.425=0.002

*mean*	1727.200-1729.800=-2.600
σ	174.840-173.644=1.197
min	1472.000-1473.000=-1.000
max	1884.000-1882.000=2.000

*mean*	3.048-3.049=-0.001
σ	0.331-0.250=0.081
min	2.819-2.883=-0.064
max	3.632-3.493=0.138

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.743-1.611=0.132
σ	0.104-0.071=0.033
min	1.603-1.538=0.064
max	1.848-1.726=0.122

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.944-419.944=-0.000
σ	518.105-518.104=0.000
min	160.887-160.887=0.000
max	1197.101-1197.101=0.000

*mean*	101.750
σ	7.500
min	98.000
max	113.000

*mean*	447.000-445.000=2.000
σ	0.000
min	447.000-445.000=2.000
max	447.000-445.000=2.000

*mean*	0.510-0.531=-0.021
σ	0.502-0.545=-0.043
min	0.258-0.257=0.000
max	1.263-1.349=-0.086

policies=20

*mean*	1609.195-1609.171=0.024
σ	0.342-0.345=-0.003
min	1608.961-1608.944=0.017
max	1609.703-1609.684=0.019

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	451.500-446.500=5.000
σ	9.000-1.000=8.000
min	447.000-445.000=2.000
max	465.000-447.000=18.000

*mean*	2.580-2.576=0.004
σ	0.018-0.020=-0.002
min	2.565-2.553=0.012
max	2.606-2.602=0.004

policies=200

*mean*	16100.554-16100.582=-0.028
σ	0.100-0.163=-0.062
min	16100.458-16100.442=0.017
max	16100.691-16100.788=-0.098

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	497.000-498.750=-1.750
σ	5.598-4.573=1.024
min	492.000-493.000=-1.000
max	504.000

*mean*	26.056-25.957=0.098
σ	0.171-0.076=0.095
min	25.866-25.890=-0.024
max	26.264-26.066=0.198