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*	57.822-57.824=-0.001
σ	0.361-0.361=0.000
min	57.678-57.678=-0.000
max	58.848-58.849=-0.001

*mean*	420.000-417.000=3.000
σ	0.000
min	420.000-417.000=3.000
max	420.000-417.000=3.000

*mean*	0.144-0.145=-0.001
σ	0.006-0.007=-0.001
min	0.137-0.130=0.007
max	0.154-0.154=0.000

cache=y

dps=1

iters=10

policies=100

*mean*	46.899-46.898=0.001
σ	0.006-0.005=0.000
min	46.891-46.890=0.002
max	46.909-46.903=0.006

*mean*	420.000-417.000=3.000
σ	0.000
min	420.000-417.000=3.000
max	420.000-417.000=3.000

*mean*	0.131-0.131=0.000
σ	0.003-0.005=-0.001
min	0.127-0.126=0.001
max	0.136-0.138=-0.002

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

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

*mean*	4099.125-4232.125=-133.000
σ	1946.343-2154.246=-207.903
min	1249.000-1233.000=16.000
max	7144.000-6999.000=145.000

*mean*	13.219-11.996=1.223
σ	3.588-0.211=3.378
min	11.766-11.773=-0.007
max	22.093-12.376=9.717

op=column_set() on indexed, repeat

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

*mean*	4099.125-4232.125=-133.000
σ	1946.343-2154.246=-207.903
min	1249.000-1233.000=16.000
max	7144.000-6999.000=145.000

*mean*	13.189-12.190=0.999
σ	3.210-0.559=2.651
min	11.402-11.216=0.186
max	21.038-12.675=8.363

op=table_records(), no indexes

*mean*	41.940-41.941=-0.000
σ	0.002-0.002=-0.000
min	41.939-41.939=-0.000
max	41.943-41.943=-0.000

*mean*	7291.500-6999.000=292.500
σ	122.142-0.000=122.142
min	7144.000-6999.000=145.000
max	7380.000-6999.000=381.000

*mean*	10.981-10.975=0.006
σ	0.146-0.159=-0.013
min	10.780-10.789=-0.009
max	11.198-11.231=-0.033

op=table_records(), repeat

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

*mean*	3920.875-4232.125=-311.250
σ	1895.008-2154.246=-259.238
min	1249.000-1233.000=16.000
max	7144.000-6999.000=145.000

*mean*	11.083-10.887=0.196
σ	0.218-0.182=0.036
min	10.865-10.630=0.235
max	11.539-11.153=0.386

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

*mean*	27.634-27.634=-0.000
σ	0.137-0.137=0.000
min	27.586
max	27.973

*mean*	3920.875-4232.125=-311.250
σ	1895.008-2154.246=-259.238
min	1249.000-1233.000=16.000
max	7144.000-6999.000=145.000

*mean*	8.773-8.536=0.238
σ	0.161-0.311=-0.150
min	8.462-7.915=0.548
max	9.013-8.884=0.129

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

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

*mean*	3920.875-4232.125=-311.250
σ	1895.008-2154.246=-259.238
min	1249.000-1233.000=16.000
max	7144.000-6999.000=145.000

*mean*	6.864-6.644=0.221
σ	0.148-0.155=-0.008
min	6.507-6.334=0.173
max	6.963-6.853=0.110

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.664-25.664=-0.000
σ	0.004-0.004=0.000
min	25.662
max	25.675-25.674=0.000

*mean*	4099.125-4232.125=-133.000
σ	1946.343-2154.246=-207.903
min	1249.000-1233.000=16.000
max	7144.000-6999.000=145.000

*mean*	6.081-5.882=0.199
σ	0.875-0.116=0.759
min	5.619-5.673=-0.054
max	8.228-6.035=2.194

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.963-25.963=0.000
σ	0.001-0.001=0.001
min	25.963-25.963=-0.000
max	25.967-25.964=0.002

*mean*	4099.125-4232.125=-133.000
σ	1946.343-2154.246=-207.903
min	1249.000-1233.000=16.000
max	7144.000-6999.000=145.000

*mean*	5.886-5.757=0.129
σ	0.360-0.069=0.291
min	5.695-5.659=0.037
max	6.768-5.875=0.893

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.600
σ	0.002
min	1021.598
max	1021.602

*mean*	7262.000-6999.000=263.000
σ	126.147-0.000=126.147
min	7144.000-6999.000=145.000
max	7380.000-6999.000=381.000

*mean*	346.075-345.695=0.380
σ	0.924-2.039=-1.115
min	344.740-342.046=2.694
max	347.602-348.274=-0.672

op=load_product(), with indexes

*mean*	3495.849-3495.849=0.000
σ	0.460-0.460=-0.000
min	3495.686
max	3496.988

*mean*	3572.000-3479.250=92.750
σ	2176.387-2114.319=62.068
min	642.000
max	7144.000-6999.000=145.000

*mean*	1923.584-1726.187=197.397
σ	733.628-601.171=132.457
min	1403.841-1406.278=-2.438
max	3401.291-2952.669=448.622

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

*mean*	107.842-107.842=0.000
σ	0.000-0.000=-0.000
min	107.842-107.842=0.000
max	107.843

*mean*	3920.875-4232.125=-311.250
σ	1895.008-2154.246=-259.238
min	1249.000-1233.000=16.000
max	7144.000-6999.000=145.000

*mean*	132.202-130.470=1.732
σ	10.086-11.736=-1.650
min	123.500-119.366=4.134
max	156.116-152.139=3.977

op=column_set() on unindexed, dense, repeat

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

*mean*	4099.125-4232.125=-133.000
σ	1946.343-2154.246=-207.903
min	1249.000-1233.000=16.000
max	7144.000-6999.000=145.000

*mean*	160.708-42.763=117.945
σ	334.676-1.587=333.089
min	40.336-41.078=-0.742
max	988.979-45.481=943.498

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.928
σ	0.002
min	40.926
max	40.930

*mean*	7291.500-6999.000=292.500
σ	122.142-0.000=122.142
min	7144.000-6999.000=145.000
max	7380.000-6999.000=381.000

*mean*	22.561-21.654=0.907
σ	1.695-0.240=1.455
min	21.504-21.222=0.282
max	25.393-22.064=3.329

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.295-71.295=-0.000
σ	0.002-0.002=0.000
min	71.294-71.294=-0.000
max	71.298-71.298=0.000

*mean*	7291.500-6999.000=292.500
σ	122.142-0.000=122.142
min	7144.000-6999.000=145.000
max	7380.000-6999.000=381.000

*mean*	56.607-55.574=1.033
σ	2.356-0.695=1.661
min	54.966-54.210=0.756
max	62.279-56.514=5.765

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.843-4646.843=-0.000
σ	0.014-0.014=0.000
min	4646.838
max	4646.878-4646.877=0.001

*mean*	3920.875-4232.125=-311.250
σ	1895.008-2154.246=-259.238
min	1249.000-1233.000=16.000
max	7144.000-6999.000=145.000

*mean*	3445.560-3655.215=-209.656
σ	1011.783-904.244=107.539
min	2526.749-2511.339=15.410
max	5298.452-5219.815=78.637

op=vertical_lookup_list() on indexed

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

*mean*	7291.500-6999.000=292.500
σ	122.142-0.000=122.142
min	7144.000-6999.000=145.000
max	7380.000-6999.000=381.000

*mean*	983.352-1080.838=-97.487
σ	144.813-389.704=-244.891
min	926.093-917.035=9.058
max	1341.628-2036.655=-695.027

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

*mean*	905.084-905.084=0.000
σ	0.002-0.002=0.000
min	905.082
max	905.088

*mean*	7291.500-6999.000=292.500
σ	122.142-0.000=122.142
min	7144.000-6999.000=145.000
max	7380.000-6999.000=381.000

*mean*	409.475-394.828=14.648
σ	42.296-4.668=37.628
min	391.157-385.929=5.228
max	513.473-400.226=113.248

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*	477.000-477.250=-0.250
σ	0.000-1.389=-1.389
min	477.000-475.000=2.000
max	477.000-478.000=-1.000

*mean*	393.490-364.253=29.238
σ	18.546-36.367=-17.821
min	366.297-307.115=59.182
max	425.499-423.468=2.031

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	559.000-566.625=-7.625
σ	0.000-1.061=-1.061
min	559.000-564.000=-5.000
max	559.000-567.000=-8.000

*mean*	800.920-783.927=16.993
σ	24.804-50.941=-26.137
min	766.482-723.078=43.404
max	833.190-847.918=-14.729

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	976.920-976.918=0.002
σ	2.438-2.438=-0.000
min	976.071-976.071=0.000
max	987.249-987.249=-0.000

*mean*	1031.450-1050.100=-18.650
σ	307.215-317.138=-9.923
min	557.000-566.000=-9.000
max	1553.000-1517.000=36.000

*mean*	1.302-1.287=0.016
σ	0.147-0.119=0.028
min	1.204-1.200=0.004
max	1.797-1.721=0.076

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.389-0.396=-0.008
σ	0.485-0.499=-0.014
min	0.144-0.145=-0.001
max	1.253-1.286=-0.033

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.490-0.478=0.012
σ	0.319-0.324=-0.005
min	0.325-0.320=0.005
max	1.059-1.056=0.003

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.221-0.217=0.004
σ	0.024-0.020=0.004
min	0.200-0.195=0.004
max	0.261-0.251=0.011

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.326-0.318=0.009
σ	0.016-0.021=-0.004
min	0.315-0.301=0.014
max	0.355-0.354=0.001

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-436.600=-5.600
σ	0.000-6.066=-6.066
min	431.000
max	431.000-443.000=-12.000

*mean*	0.559-0.569=-0.011
σ	0.061-0.047=0.014
min	0.451-0.505=-0.054
max	0.600-0.629=-0.028

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

*mean*	431.000-443.000=-12.000
σ	0.000
min	431.000-443.000=-12.000
max	431.000-443.000=-12.000

*mean*	0.471-0.444=0.027
σ	0.060-0.050=0.010
min	0.381-0.370=0.011
max	0.528-0.488=0.040

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-443.000=-12.000
σ	0.000
min	431.000-443.000=-12.000
max	431.000-443.000=-12.000

*mean*	2.625-1.952=0.673
σ	0.113-0.065=0.048
min	2.466-1.841=0.625
max	3.267-2.154=1.113

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	431.000-443.000=-12.000
σ	0.000
min	431.000-443.000=-12.000
max	431.000-443.000=-12.000

*mean*	2.601-1.955=0.646
σ	0.087-0.093=-0.006
min	2.406-1.820=0.586
max	2.838-2.418=0.420

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	431.000-443.000=-12.000
σ	0.000
min	431.000-443.000=-12.000
max	431.000-443.000=-12.000

*mean*	0.301-0.302=-0.000
σ	0.008-0.010=-0.002
min	0.288-0.286=0.003
max	0.345-0.349=-0.004

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	431.000-443.000=-12.000
σ	0.000
min	431.000-443.000=-12.000
max	431.000-443.000=-12.000

*mean*	0.285-0.289=-0.004
σ	0.007-0.008=-0.001
min	0.273-0.277=-0.004
max	0.327-0.322=0.005

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.113-11.859=-0.746
σ	11.756-11.638=0.118
min	0.574-0.574=0.000
max	91.857-148.959=-57.102

*mean*	457.824-457.310=0.514
σ	16.723-20.425=-3.702
min	406.000-407.000=-1.000
max	474.000-477.000=-3.000

*mean*	0.026-0.027=-0.001
σ	0.029-0.028=0.001
min	0.001-0.001=-0.000
max	0.240-0.360=-0.120

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	293.800-293.710=0.090
σ	1.131-1.048=0.083
min	293.350-293.283=0.067
max	297.014-296.687=0.327

*mean*	442.300-443.500=-1.200
σ	18.136-19.010=-0.875
min	415.000-416.000=-1.000
max	467.000-477.000=-10.000

*mean*	0.593-0.599=-0.005
σ	0.015-0.013=0.002
min	0.565-0.565=0.000
max	0.615-0.612=0.003

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

*mean*	873.000-847.000=26.000
σ	0.000
min	873.000-847.000=26.000
max	873.000-847.000=26.000

*mean*	151.792-133.578=18.215
σ	9.044-14.299=-5.254
min	135.549-118.914=16.634
max	161.721-162.372=-0.651

phase=macro expansion

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

*mean*	873.000-847.000=26.000
σ	0.000
min	873.000-847.000=26.000
max	873.000-847.000=26.000

*mean*	7.478-5.920=1.558
σ	1.172-0.092=1.080
min	5.881-5.849=0.032
max	8.862-6.129=2.733

phase=parser

*mean*	1042.131-1042.133=-0.002
σ	0.000-0.000=-0.000
min	1042.130-1042.132=-0.002
max	1042.131-1042.133=-0.002

*mean*	873.000-847.000=26.000
σ	0.000
min	873.000-847.000=26.000
max	873.000-847.000=26.000

*mean*	507.709-379.698=128.012
σ	83.906-14.485=69.422
min	418.449-372.724=45.725
max	611.805-415.284=196.521

phase=processProdDef

*mean*	2241.196-2241.194=0.002
σ	0.000
min	2241.196-2241.194=0.002
max	2241.196-2241.194=0.002

*mean*	873.000-847.000=26.000
σ	0.000
min	873.000-847.000=26.000
max	873.000-847.000=26.000

*mean*	2823.934-2809.172=14.763
σ	427.537-298.176=129.360
min	1989.184-2172.533=-183.349
max	3241.487-3060.925=180.562

phase=renaming

*mean*	21.430
σ	0.000
min	21.430
max	21.430

*mean*	873.000-847.000=26.000
σ	0.000
min	873.000-847.000=26.000
max	873.000-847.000=26.000

*mean*	40.714-36.668=4.046
σ	5.036-7.220=-2.184
min	35.701-19.936=15.765
max	49.890-41.814=8.077

phase=type checker

*mean*	958.462
σ	0.047
min	958.439
max	958.564

*mean*	873.000-847.000=26.000
σ	0.000
min	873.000-847.000=26.000
max	873.000-847.000=26.000

*mean*	660.223-673.503=-13.280
σ	19.225-32.752=-13.527
min	642.848-615.542=27.306
max	689.210-725.769=-36.560

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	327.855-327.855=-0.000
σ	0.037-0.037=0.000
min	327.804-327.804=-0.001
max	327.892-327.892=-0.001

*mean*	441.200-440.400=0.800
σ	4.147-5.771=-1.623
min	434.000-432.000=2.000
max	444.000-447.000=-3.000

*mean*	0.440-0.431=0.010
σ	0.008-0.006=0.002
min	0.428-0.423=0.006
max	0.447-0.437=0.010

iters=5

new-facts=1

prior-facts=6402

*mean*	1313.066-1313.070=-0.004
σ	0.134-0.131=0.003
min	1312.963-1312.968=-0.005
max	1313.300-1313.295=0.005

*mean*	1089.400-1084.600=4.800
σ	174.388-175.826=-1.438
min	884.000-881.000=3.000
max	1306.000-1303.000=3.000

*mean*	1.896-1.895=0.001
σ	0.064-0.060=0.003
min	1.827-1.824=0.003
max	1.999-1.950=0.049

iters=5

new-facts=6402

prior-facts=1

*mean*	1552.087-1552.055=0.032
σ	3.037-3.051=-0.014
min	1550.554-1550.492=0.062
max	1557.513-1557.503=0.010

*mean*	620.600-620.400=0.200
σ	84.533-89.198=-4.665
min	522.000
max	734.000-739.000=-5.000

*mean*	2.297-2.271=0.025
σ	0.194-0.200=-0.006
min	2.107-2.115=-0.008
max	2.545-2.577=-0.032

iters=5

new-facts=6402

prior-facts=6402

*mean*	1875.076-1875.061=0.015
σ	0.068-0.037=0.030
min	1875.015-1875.011=0.004
max	1875.187-1875.109=0.078

*mean*	1723.000-1736.600=-13.600
σ	205.462-214.415=-8.953
min	1447.000-1448.000=-1.000
max	1915.000-1938.000=-23.000

*mean*	2.990-2.950=0.040
σ	0.143-0.195=-0.052
min	2.838-2.748=0.090
max	3.177-3.263=-0.086

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.608-1.606=0.002
σ	0.068-0.074=-0.005
min	1.538-1.499=0.039
max	1.706-1.700=0.006

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.409-419.412=-0.002
σ	508.904-508.904=0.001
min	164.954-164.955=-0.001
max	1182.766-1182.767=-0.001

*mean*	101.250
σ	6.500
min	98.000
max	111.000

*mean*	430.000
σ	0.000
min	430.000
max	430.000

*mean*	0.503-0.519=-0.017
σ	0.468-0.493=-0.024
min	0.262-0.270=-0.008
max	1.205-1.259=-0.053

policies=20

*mean*	1649.814-1649.815=-0.001
σ	0.368-0.363=0.005
min	1649.593-1649.594=-0.001
max	1650.363-1650.356=0.008

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	450.500-448.250=2.250
σ	17.311-16.978=0.333
min	431.000-430.000=1.000
max	471.000-469.000=2.000

*mean*	2.657-2.650=0.007
σ	0.015-0.011=0.004
min	2.643-2.642=0.000
max	2.677-2.666=0.011

policies=200

*mean*	16506.011-16506.125=-0.114
σ	0.103-0.134=-0.032
min	16505.892-16505.965=-0.073
max	16506.143-16506.250=-0.107

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	499.500-497.250=2.250
σ	4.203-5.560=-1.357
min	494.000-491.000=3.000
max	504.000

*mean*	26.719-26.727=-0.008
σ	0.105-0.117=-0.012
min	26.606-26.605=0.002
max	26.847-26.860=-0.013