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.082
σ	0.000
min	5.082
max	5.082

AST compact size (parser)

Factor

compact size MiB

phase=parser

*mean*	4.988
σ	0.000
min	4.988
max	4.988

AST compact size (processProdDef Decls)

Factor

compact size MiB

phase=processProdDef Decls

*mean*	4.863
σ	0.000
min	4.863
max	4.863

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.102
σ	0.000
min	446.102
max	446.102

AST compact size (renaming)

Factor

compact size MiB

phase=renaming

*mean*	5.238
σ	0.000
min	5.238
max	5.238

AST compact size (type checker)

Factor

compact size MiB

phase=type checker

*mean*	6.395
σ	0.000
min	6.395
max	6.395

Aggregation: measureAggregations

Factor

allocated MiB

peak allocated MiB

time_s

cache=n

dps=1

iters=10

policies=100

*mean*	54.700-54.697=0.003
σ	0.365-0.362=0.002
min	54.560-54.558=0.002
max	55.737-55.728=0.009

*mean*	417.000-416.900=0.100
σ	0.000-0.316=-0.316
min	417.000-416.000=1.000
max	417.000

*mean*	0.137-0.139=-0.002
σ	0.005-0.005=0.000
min	0.132-0.133=-0.002
max	0.145-0.147=-0.002

cache=y

dps=1

iters=10

policies=100

*mean*	43.779-43.782=-0.003
σ	0.008-0.006=0.002
min	43.768-43.774=-0.006
max	43.798-43.795=0.003

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.124-0.142=-0.019
σ	0.004-0.005=-0.001
min	0.120-0.131=-0.011
max	0.132-0.153=-0.020

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.605-36.605=0.000
σ	0.000-0.000=-0.000
min	36.605
max	36.605-36.606=-0.000

*mean*	4427.750-4224.125=203.625
σ	2225.367-1971.011=254.356
min	1483.000-1482.000=1.000
max	7406.000-7440.000=-34.000

*mean*	13.539-12.296=1.243
σ	3.621-0.401=3.220
min	11.723-12.033=-0.309
max	22.411-13.235=9.176

op=column_set() on indexed, repeat

*mean*	36.605-36.605=-0.000
σ	0.000-0.000=0.000
min	36.605-36.605=0.000
max	36.606-36.606=-0.000

*mean*	4607.500-4450.250=157.250
σ	2256.387-2240.781=15.606
min	1483.000-1482.000=1.000
max	7406.000-7440.000=-34.000

*mean*	180.453-140.186=40.268
σ	471.841-360.364=111.476
min	11.486-12.622=-1.135
max	1348.172-1032.041=316.130

op=table_records(), no indexes

*mean*	41.940-41.940=-0.000
σ	0.002-0.002=-0.000
min	41.938
max	41.942-41.943=-0.001

*mean*	7406.000-7440.000=-34.000
σ	0.000
min	7406.000-7440.000=-34.000
max	7406.000-7440.000=-34.000

*mean*	11.337-11.056=0.280
σ	0.491-0.134=0.358
min	10.890-10.864=0.026
max	12.407-11.285=1.122

op=table_records(), repeat

*mean*	41.925-41.925=-0.000
σ	0.000-0.001=-0.001
min	41.925-41.924=0.000
max	41.926-41.929=-0.003

*mean*	4198.875-4224.125=-25.250
σ	1952.762-1971.011=-18.250
min	1483.000-1482.000=1.000
max	7406.000-7440.000=-34.000

*mean*	11.593-11.644=-0.052
σ	1.747-1.317=0.430
min	10.772-10.789=-0.017
max	15.907-14.828=1.079

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

*mean*	27.634
σ	0.137-0.137=-0.000
min	27.585
max	27.972-27.972=-0.000

*mean*	4198.875-4224.125=-25.250
σ	1952.762-1971.011=-18.250
min	1483.000-1482.000=1.000
max	7406.000-7440.000=-34.000

*mean*	9.038-9.015=0.023
σ	0.997-1.294=-0.297
min	8.054-8.056=-0.002
max	11.401-12.076=-0.674

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

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

*mean*	4198.875-4224.125=-25.250
σ	1952.762-1971.011=-18.250
min	1483.000-1482.000=1.000
max	7406.000-7440.000=-34.000

*mean*	6.980-6.935=0.045
σ	0.483-1.069=-0.586
min	6.327-6.028=0.299
max	7.996-9.500=-1.504

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.663-25.663=0.000
σ	0.004-0.004=-0.000
min	25.662
max	25.674-25.674=-0.000

*mean*	4607.500-4450.250=157.250
σ	2256.387-2240.781=15.606
min	1483.000-1482.000=1.000
max	7406.000-7440.000=-34.000

*mean*	6.771-6.298=0.473
σ	1.333-0.636=0.697
min	5.841-5.781=0.061
max	9.159-7.698=1.461

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.962-25.962=-0.000
σ	0.001-0.001=0.000
min	25.962-25.962=-0.000
max	25.964

*mean*	4607.500-4450.250=157.250
σ	2256.387-2240.781=15.606
min	1483.000-1482.000=1.000
max	7406.000-7440.000=-34.000

*mean*	6.520-5.987=0.533
σ	1.286-0.510=0.776
min	5.690-5.593=0.097
max	8.795-7.204=1.591

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.599-1021.599=0.000
σ	0.002-0.002=0.000
min	1021.597
max	1021.602

*mean*	7406.000-7440.000=-34.000
σ	0.000
min	7406.000-7440.000=-34.000
max	7406.000-7440.000=-34.000

*mean*	346.918-350.182=-3.264
σ	1.934-2.832=-0.898
min	344.069-346.961=-2.892
max	350.886-355.885=-5.000

op=load_product(), with indexes

*mean*	3495.846-3495.846=0.000
σ	0.455-0.455=0.000
min	3495.685
max	3496.972-3496.971=0.001

*mean*	3771.750-3794.250=-22.500
σ	2309.366-2329.428=-20.061
min	720.000-721.000=-1.000
max	7406.000-7440.000=-34.000

*mean*	1786.441-2074.253=-287.812
σ	664.597-983.512=-318.915
min	1395.126-1390.213=4.913
max	2947.162-3887.437=-940.275

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

*mean*	107.841-107.841=-0.000
σ	0.000-0.000=-0.000
min	107.841-107.841=0.000
max	107.841-107.842=-0.001

*mean*	4198.875-4224.125=-25.250
σ	1952.762-1971.011=-18.250
min	1483.000-1482.000=1.000
max	7406.000-7440.000=-34.000

*mean*	137.659-133.361=4.298
σ	12.075-12.969=-0.894
min	129.255-124.166=5.089
max	164.826-163.772=1.054

op=column_set() on unindexed, dense, repeat

*mean*	62.069-62.069=0.000
σ	0.001-0.001=0.000
min	62.065-62.065=0.000
max	62.070-62.069=0.001

*mean*	4427.750-4224.125=203.625
σ	2225.367-1971.011=254.356
min	1483.000-1482.000=1.000
max	7406.000-7440.000=-34.000

*mean*	152.868-42.694=110.173
σ	310.171-1.230=308.941
min	40.673-41.012=-0.339
max	920.494-44.248=876.246

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.927-40.927=0.000
σ	0.002-0.002=0.000
min	40.926
max	40.930-40.930=0.001

*mean*	7406.000-7440.000=-34.000
σ	0.000
min	7406.000-7440.000=-34.000
max	7406.000-7440.000=-34.000

*mean*	124.228-22.281=101.947
σ	286.560-1.225=285.334
min	21.581-21.452=0.129
max	833.402-25.079=808.322

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.294-71.294=-0.000
σ	0.002-0.002=-0.000
min	71.293-71.293=0.000
max	71.297-71.297=-0.000

*mean*	7406.000-7440.000=-34.000
σ	0.000
min	7406.000-7440.000=-34.000
max	7406.000-7440.000=-34.000

*mean*	59.738-105.392=-45.654
σ	10.013-140.721=-130.709
min	55.409-54.895=0.514
max	84.488-453.655=-369.167

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.843-4646.842=0.000
σ	0.013-0.013=-0.000
min	4646.837
max	4646.875

*mean*	4198.875-4224.125=-25.250
σ	1952.762-1971.011=-18.250
min	1483.000-1482.000=1.000
max	7406.000-7440.000=-34.000

*mean*	3310.515-3433.684=-123.169
σ	763.191-615.672=147.519
min	2501.587-2513.022=-11.434
max	4479.649-4190.805=288.844

op=vertical_lookup_list() on indexed

*mean*	1973.830-1973.830=-0.000
σ	0.002-0.002=0.000
min	1973.829
max	1973.833

*mean*	7406.000-7440.000=-34.000
σ	0.000
min	7406.000-7440.000=-34.000
max	7406.000-7440.000=-34.000

*mean*	1003.549-1243.099=-239.550
σ	199.128-855.182=-656.054
min	909.439-905.994=3.445
max	1482.928-3355.814=-1872.886

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

*mean*	905.084
σ	0.002
min	905.082
max	905.087

*mean*	7406.000-7440.000=-34.000
σ	0.000
min	7406.000-7440.000=-34.000
max	7406.000-7440.000=-34.000

*mean*	407.921-409.418=-1.497
σ	40.375-42.381=-2.006
min	390.711-391.235=-0.524
max	507.697-514.156=-6.458

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*	479.000-476.000=3.000
σ	0.000
min	479.000-476.000=3.000
max	479.000-476.000=3.000

*mean*	367.356-354.991=12.365
σ	46.698-18.661=28.037
min	315.179-328.502=-13.323
max	435.067-382.274=52.793

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	565.750-562.875=2.875
σ	2.315-0.354=1.961
min	562.000
max	567.000-563.000=4.000

*mean*	768.626-730.687=37.939
σ	61.524-53.828=7.696
min	672.432-618.838=53.594
max	855.743-802.723=53.020

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.527-964.558=-0.030
σ	1.881-1.880=0.001
min	963.806-963.837=-0.031
max	972.484-972.509=-0.024

*mean*	1052.400-1056.550=-4.150
σ	305.358-308.669=-3.311
min	566.000-558.000=8.000
max	1553.000-1512.000=41.000

*mean*	1.279-1.288=-0.009
σ	0.144-0.153=-0.009
min	1.179-1.184=-0.005
max	1.839-1.797=0.041

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.303-0.392=-0.089
σ	0.291-0.503=-0.212
min	0.142-0.136=0.007
max	0.819-1.289=-0.470

name=error_case.art

*mean*	2.346
σ	0.012
min	2.340
max	2.368

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.478-0.477=0.001
σ	0.322-0.322=-0.001
min	0.322-0.323=-0.001
max	1.053-1.054=-0.001

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.522
max	1.526

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.217-0.220=-0.003
σ	0.022-0.020=0.002
min	0.196-0.193=0.003
max	0.254-0.250=0.004

name=nested_use.art

*mean*	2.364
σ	0.002
min	2.363
max	2.367

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.339-0.352=-0.013
σ	0.018-0.013=0.005
min	0.323-0.338=-0.015
max	0.366-0.368=-0.002

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.978
σ	0.009
min	964.973
max	964.995

*mean*	431.000-435.800=-4.800
σ	0.000-6.017=-6.017
min	431.000-430.000=1.000
max	431.000-442.000=-11.000

*mean*	0.575-0.646=-0.072
σ	0.033-0.054=-0.022
min	0.533-0.592=-0.059
max	0.607-0.721=-0.114

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

*mean*	431.000-442.000=-11.000
σ	0.000
min	431.000-442.000=-11.000
max	431.000-442.000=-11.000

*mean*	0.476-0.622=-0.146
σ	0.034-0.019=0.015
min	0.433-0.598=-0.165
max	0.517-0.642=-0.125

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.719
σ	0.002
min	7.718
max	7.722

*mean*	431.000-442.000=-11.000
σ	0.000
min	431.000-442.000=-11.000
max	431.000-442.000=-11.000

*mean*	2.632-3.601=-0.970
σ	0.099-0.095=0.004
min	2.493-3.434=-0.941
max	3.013-3.982=-0.969

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	431.000-442.000=-11.000
σ	0.000
min	431.000-442.000=-11.000
max	431.000-442.000=-11.000

*mean*	2.605-3.573=-0.968
σ	0.086-0.082=0.003
min	2.463-3.430=-0.967
max	2.930-3.813=-0.883

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	431.000-442.000=-11.000
σ	0.000
min	431.000-442.000=-11.000
max	431.000-442.000=-11.000

*mean*	0.305-0.542=-0.237
σ	0.009-0.016=-0.007
min	0.291-0.516=-0.225
max	0.356-0.641=-0.286

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	431.000-442.000=-11.000
σ	0.000
min	431.000-442.000=-11.000
max	431.000-442.000=-11.000

*mean*	0.291-0.520=-0.229
σ	0.007-0.012=-0.005
min	0.279-0.499=-0.220
max	0.335-0.593=-0.258

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.424-11.122=0.302
σ	11.240-11.054=0.186
min	0.574-0.573=0.000
max	104.579-93.458=11.121

*mean*	465.869-462.096=3.773
σ	19.897-18.068=1.829
min	408.000-407.000=1.000
max	482.000-474.000=8.000

*mean*	0.026-0.026=0.000
σ	0.028-0.027=0.000
min	0.001-0.001=0.000
max	0.260-0.228=0.031

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	279.148-279.115=0.033
σ	1.044-1.061=-0.016
min	278.745-278.668=0.077
max	282.117-282.126=-0.009

*mean*	443.200-441.000=2.200
σ	17.549-15.839=1.709
min	417.000
max	467.000-469.000=-2.000

*mean*	0.561-0.574=-0.013
σ	0.020-0.017=0.003
min	0.525-0.550=-0.024
max	0.596-0.609=-0.013

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	851.000-822.625=28.375
σ	0.000-49.627=-49.627
min	851.000-727.000=124.000
max	851.000-849.000=2.000

*mean*	142.137-147.454=-5.317
σ	5.458-8.855=-3.397
min	137.704-136.383=1.321
max	152.996-159.536=-6.540

phase=macro expansion

*mean*	5.897-5.894=0.003
σ	0.000-0.001=-0.001
min	5.897-5.894=0.004
max	5.897-5.897=0.000

*mean*	851.000-809.250=41.750
σ	0.000-58.717=-58.717
min	851.000-702.000=149.000
max	851.000-849.000=2.000

*mean*	8.118-8.114=0.004
σ	0.974-1.272=-0.297
min	6.894-6.007=0.887
max	8.839-9.189=-0.350

phase=parser

*mean*	1042.133-1042.132=0.000
σ	0.000-0.000=-0.000
min	1042.133-1042.132=0.001
max	1042.133-1042.133=0.000

*mean*	851.000-809.250=41.750
σ	0.000-58.717=-58.717
min	851.000-702.000=149.000
max	851.000-849.000=2.000

*mean*	548.409-543.920=4.489
σ	85.423-85.614=-0.191
min	442.206-438.604=3.602
max	614.319-619.291=-4.972

phase=processProdDef

*mean*	2241.194-2241.192=0.002
σ	0.000-0.001=-0.001
min	2241.194-2241.192=0.002
max	2241.194-2241.194=0.000

*mean*	851.000-822.625=28.375
σ	0.000-49.627=-49.627
min	851.000-727.000=124.000
max	851.000-849.000=2.000

*mean*	2840.550-2832.647=7.903
σ	222.223-271.527=-49.304
min	2536.176-2484.471=51.705
max	3123.791-3215.030=-91.239

phase=renaming

*mean*	21.430
σ	0.000
min	21.430
max	21.430

*mean*	851.000-809.250=41.750
σ	0.000-58.717=-58.717
min	851.000-702.000=149.000
max	851.000-849.000=2.000

*mean*	43.259-39.555=3.704
σ	4.503-8.904=-4.402
min	36.793-19.814=16.980
max	47.339-47.772=-0.433

phase=type checker

*mean*	958.462-958.466=-0.003
σ	0.047-0.047=-0.000
min	958.439
max	958.564-958.568=-0.004

*mean*	851.000-809.250=41.750
σ	0.000-58.717=-58.717
min	851.000-702.000=149.000
max	851.000-849.000=2.000

*mean*	647.573-658.988=-11.416
σ	14.643-15.184=-0.541
min	636.158-633.058=3.100
max	677.925-673.435=4.490

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.828-282.856=-0.027
σ	0.039-0.035=0.004
min	282.775-282.804=-0.030
max	282.867-282.890=-0.022

*mean*	439.600-444.800=-5.200
σ	5.367-1.095=4.271
min	434.000-444.000=-10.000
max	446.000

*mean*	0.375-0.383=-0.008
σ	0.002-0.009=-0.007
min	0.372-0.373=-0.001
max	0.377-0.397=-0.021

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.030-1268.047=-0.017
σ	0.112-0.113=-0.001
min	1267.932-1267.948=-0.016
max	1268.214-1268.235=-0.021

*mean*	1086.200-1094.000=-7.800
σ	185.470-169.951=15.519
min	868.000-892.000=-24.000
max	1325.000-1326.000=-1.000

*mean*	1.911-2.004=-0.093
σ	0.138-0.096=0.042
min	1.781-1.886=-0.105
max	2.106-2.108=-0.002

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.988-1507.022=-0.034
σ	2.919-2.957=-0.038
min	1505.466-1505.478=-0.012
max	1512.196-1512.299=-0.104

*mean*	634.400-626.000=8.400
σ	69.161-87.164=-18.002
min	540.000-496.000=44.000
max	719.000-728.000=-9.000

*mean*	2.199-2.198=0.001
σ	0.131-0.110=0.021
min	2.060-2.118=-0.057
max	2.383-2.392=-0.009

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.033-1830.056=-0.023
σ	0.051-0.048=0.003
min	1829.961-1829.984=-0.022
max	1830.077-1830.109=-0.031

*mean*	1737.400-1722.200=15.200
σ	183.124-191.061=-7.937
min	1471.000-1458.000=13.000
max	1898.000-1896.000=2.000

*mean*	3.105-3.025=0.080
σ	0.313-0.344=-0.031
min	2.842-2.814=0.028
max	3.554-3.638=-0.084

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.456-1.773=-0.317
σ	0.227-0.091=0.136
min	1.122-1.623=-0.500
max	1.652-1.862=-0.210

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	405.895-405.942=-0.047
σ	509.285-509.285=0.000
min	151.247-151.295=-0.048
max	1169.823-1169.870=-0.046

*mean*	101.750
σ	7.500
min	98.000
max	113.000

*mean*	434.000-444.000=-10.000
σ	0.000
min	434.000-444.000=-10.000
max	434.000-444.000=-10.000

*mean*	0.515-0.498=0.017
σ	0.519-0.482=0.037
min	0.248-0.254=-0.007
max	1.294-1.221=0.073

policies=20

*mean*	1512.664-1513.143=-0.479
σ	0.257-0.274=-0.017
min	1512.489-1512.962=-0.473
max	1513.047-1513.548=-0.501

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	449.250-450.500=-1.250
σ	14.523-10.376=4.147
min	434.000-444.000=-10.000
max	469.000-466.000=3.000

*mean*	2.482-2.498=-0.016
σ	0.018-0.010=0.008
min	2.459-2.485=-0.026
max	2.504-2.510=-0.006

policies=200

*mean*	15135.307-15140.022=-4.715
σ	0.147-0.122=0.025
min	15135.131-15139.867=-4.735
max	15135.485-15140.161=-4.677

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	497.500-495.250=2.250
σ	5.802-4.272=1.530
min	490.000
max	504.000-500.000=4.000

*mean*	25.151-25.160=-0.009
σ	0.139-0.093=0.046
min	25.071-25.091=-0.020
max	25.360-25.289=0.071