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.775-54.775=-0.000
σ	0.362-0.363=-0.001
min	54.624-54.629=-0.005
max	55.805-55.807=-0.002

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

*mean*	0.140-0.141=-0.000
σ	0.005-0.004=0.000
min	0.133-0.136=-0.004
max	0.147-0.148=-0.000

cache=y

dps=1

iters=10

policies=100

*mean*	43.774-43.774=0.000
σ	0.005-0.007=-0.002
min	43.768-43.760=0.008
max	43.782-43.788=-0.006

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

*mean*	0.125-0.122=0.003
σ	0.004-0.003=0.001
min	0.122-0.120=0.002
max	0.132-0.130=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*	4426.750-4583.875=-157.125
σ	2229.361-2251.771=-22.410
min	1484.000-1487.000=-3.000
max	7412.000-7400.000=12.000

*mean*	12.858-13.448=-0.590
σ	2.057-3.505=-1.449
min	12.048-11.730=0.318
max	17.945-22.053=-4.108

op=column_set() on indexed, repeat

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

*mean*	4607.125-4583.875=23.250
σ	2260.359-2251.771=8.588
min	1484.000-1487.000=-3.000
max	7412.000-7400.000=12.000

*mean*	172.347-13.537=158.810
σ	451.667-3.133=448.535
min	11.452-11.488=-0.036
max	1290.151-21.149=1269.002

op=table_records(), no indexes

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

*mean*	7412.000-7400.000=12.000
σ	0.000
min	7412.000-7400.000=12.000
max	7412.000-7400.000=12.000

*mean*	10.918-11.178=-0.260
σ	0.161-0.113=0.048
min	10.732-11.019=-0.287
max	11.212-11.333=-0.121

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*	4197.250-4170.625=26.625
σ	1955.872-1943.360=12.512
min	1484.000-1487.000=-3.000
max	7412.000-7400.000=12.000

*mean*	11.635-11.929=-0.294
σ	1.896-1.786=0.110
min	10.573-10.904=-0.332
max	16.293-16.308=-0.015

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

*mean*	4197.250-4170.625=26.625
σ	1955.872-1943.360=12.512
min	1484.000-1487.000=-3.000
max	7412.000-7400.000=12.000

*mean*	9.070-9.193=-0.123
σ	1.246-1.318=-0.072
min	7.941-7.951=-0.011
max	12.047-12.337=-0.290

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
max	26.406

*mean*	4197.250-4170.625=26.625
σ	1955.872-1943.360=12.512
min	1484.000-1487.000=-3.000
max	7412.000-7400.000=12.000

*mean*	7.064-7.017=0.046
σ	0.935-0.942=-0.007
min	6.358-6.044=0.313
max	9.338-9.225=0.113

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*	4607.125-4583.875=23.250
σ	2260.359-2251.771=8.588
min	1484.000-1487.000=-3.000
max	7412.000-7400.000=12.000

*mean*	6.603-6.424=0.179
σ	1.256-0.965=0.292
min	5.829-5.836=-0.006
max	9.281-8.787=0.494

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-25.984=0.000
max	25.985-25.985=-0.000

*mean*	4607.125-4583.875=23.250
σ	2260.359-2251.771=8.588
min	1484.000-1487.000=-3.000
max	7412.000-7400.000=12.000

*mean*	6.440-6.325=0.115
σ	1.113-1.008=0.105
min	5.799-5.741=0.058
max	8.891-8.790=0.101

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*	7412.000-7400.000=12.000
σ	0.000
min	7412.000-7400.000=12.000
max	7412.000-7400.000=12.000

*mean*	344.867-361.803=-16.935
σ	2.709-41.861=-39.152
min	340.599-345.369=-4.769
max	350.007-465.364=-115.357

op=load_product(), with indexes

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

*mean*	3770.625-3749.000=21.625
σ	2311.744-2296.221=15.522
min	720.000-721.000=-1.000
max	7412.000-7400.000=12.000

*mean*	1791.875-1585.960=205.915
σ	676.060-469.423=206.638
min	1393.812-1384.167=9.645
max	2976.511-2737.167=239.344

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.854=0.000
max	107.854-107.855=-0.000

*mean*	4197.250-4405.500=-208.250
σ	1955.872-2223.271=-267.399
min	1484.000-1487.000=-3.000
max	7412.000-7400.000=12.000

*mean*	135.361-269.861=-134.500
σ	18.142-374.543=-356.401
min	126.646-127.112=-0.466
max	179.994-1195.619=-1015.625

op=column_set() on unindexed, dense, repeat

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

*mean*	4426.750-4583.875=-157.125
σ	2229.361-2251.771=-22.410
min	1484.000-1487.000=-3.000
max	7412.000-7400.000=12.000

*mean*	175.303-118.614=56.689
σ	372.240-212.113=160.127
min	42.343-40.254=2.089
max	1096.547-643.527=453.020

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.951-40.950=0.001

*mean*	7412.000-7400.000=12.000
σ	0.000
min	7412.000-7400.000=12.000
max	7412.000-7400.000=12.000

*mean*	85.566-22.280=63.286
σ	180.439-0.971=179.468
min	21.535-21.687=-0.152
max	532.129-24.637=507.492

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-71.307=-0.000
max	71.311

*mean*	7412.000-7400.000=12.000
σ	0.000
min	7412.000-7400.000=12.000
max	7412.000-7400.000=12.000

*mean*	58.456-312.699=-254.243
σ	7.463-725.789=-718.326
min	55.299-55.222=0.077
max	76.897-2108.933=-2032.036

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4197.250-4170.625=26.625
σ	1955.872-1943.360=12.512
min	1484.000-1487.000=-3.000
max	7412.000-7400.000=12.000

*mean*	3291.877-3072.744=219.133
σ	772.359-673.563=98.796
min	2536.392-2505.676=30.717
max	4766.366-4159.327=607.039

op=vertical_lookup_list() on indexed

*mean*	1973.851-1973.851=-0.000
σ	0.002-0.002=-0.000
min	1973.849
max	1973.853-1973.854=-0.000

*mean*	7412.000-7400.000=12.000
σ	0.000
min	7412.000-7400.000=12.000
max	7412.000-7400.000=12.000

*mean*	976.424-1019.997=-43.573
σ	70.880-173.219=-102.339
min	934.328-912.417=21.912
max	1115.353-1408.189=-292.836

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

*mean*	905.105
σ	0.002
min	905.102
max	905.108

*mean*	7412.000-7400.000=12.000
σ	0.000
min	7412.000-7400.000=12.000
max	7412.000-7400.000=12.000

*mean*	389.299-388.508=0.791
σ	4.073-1.775=2.298
min	381.658-384.864=-3.206
max	394.035-390.474=3.560

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.500-477.000=-0.500
σ	0.535-1.069=-0.535
min	476.000
max	477.000-478.000=-1.000

*mean*	370.320-366.819=3.501
σ	42.517-22.224=20.294
min	310.166-317.153=-6.987
max	432.362-393.522=38.839

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	563.000-563.500=-0.500
σ	0.000-0.926=-0.926
min	563.000-562.000=1.000
max	563.000-564.000=-1.000

*mean*	752.255-737.169=15.086
σ	77.115-81.934=-4.819
min	605.470-556.562=48.907
max	827.691-829.973=-2.282

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.971-963.973=-0.002
σ	1.820-1.820=0.000
min	963.263-963.263=-0.000
max	971.667-971.668=-0.001

*mean*	1041.250-1049.800=-8.550
σ	306.388-297.686=8.703
min	583.000-575.000=8.000
max	1490.000-1475.000=15.000

*mean*	1.256-1.327=-0.072
σ	0.086-0.149=-0.063
min	1.177-1.195=-0.018
max	1.500-1.735=-0.235

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.290-0.292=-0.002
σ	0.289-0.282=0.007
min	0.143-0.138=0.005
max	0.805-0.793=0.012

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.479-0.488=-0.009
σ	0.323-0.334=-0.010
min	0.319-0.333=-0.013
max	1.057-1.085=-0.028

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.224-0.219=0.005
σ	0.023-0.029=-0.006
min	0.212-0.198=0.014
max	0.265-0.269=-0.005

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.337-0.336=0.001
σ	0.018-0.013=0.005
min	0.322-0.323=-0.001
max	0.368-0.353=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.400
σ	0.894
min	431.000
max	433.000

*mean*	0.567-0.543=0.025
σ	0.032-0.026=0.007
min	0.535-0.521=0.014
max	0.611-0.587=0.023

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	438.000-437.000=1.000
σ	0.000
min	438.000-437.000=1.000
max	438.000-437.000=1.000

*mean*	0.491-0.488=0.004
σ	0.037-0.032=0.006
min	0.439-0.454=-0.015
max	0.525-0.522=0.002

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*	438.000-437.000=1.000
σ	0.000
min	438.000-437.000=1.000
max	438.000-437.000=1.000

*mean*	2.539-2.411=0.128
σ	0.098-0.269=-0.171
min	2.404-1.886=0.518
max	3.003-2.805=0.198

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	438.000-437.000=1.000
σ	0.000
min	438.000-437.000=1.000
max	438.000-437.000=1.000

*mean*	2.561-2.593=-0.032
σ	0.075-0.068=0.007
min	2.421-2.468=-0.047
max	2.812-2.807=0.005

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	438.000-437.000=1.000
σ	0.000
min	438.000-437.000=1.000
max	438.000-437.000=1.000

*mean*	0.319-0.307=0.011
σ	0.063-0.008=0.054
min	0.293-0.292=0.000
max	0.859-0.358=0.501

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	438.000-437.000=1.000
σ	0.000
min	438.000-437.000=1.000
max	438.000-437.000=1.000

*mean*	0.296-0.291=0.005
σ	0.030-0.007=0.023
min	0.282-0.277=0.006
max	0.583-0.330=0.253

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.277-12.186=-0.909
σ	11.250-11.290=-0.039
min	0.574-0.574=-0.000
max	87.117-76.030=11.087

*mean*	463.153-467.033=-3.880
σ	19.657-18.557=1.100
min	407.000-408.000=-1.000
max	481.000-482.000=-1.000

*mean*	0.026-0.028=-0.001
σ	0.028-0.028=0.000
min	0.001-0.001=0.000
max	0.215-0.174=0.041

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.696-278.672=0.023
σ	1.026-1.063=-0.036
min	278.276-278.231=0.046
max	281.613-281.691=-0.078

*mean*	447.900-446.400=1.500
σ	18.526-17.044=1.482
min	427.000-425.000=2.000
max	474.000-470.000=4.000

*mean*	0.574-0.582=-0.008
σ	0.021-0.016=0.005
min	0.538-0.559=-0.020
max	0.618-0.618=-0.000

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

*mean*	843.000-844.000=-1.000
σ	0.000
min	843.000-844.000=-1.000
max	843.000-844.000=-1.000

*mean*	238.469-226.124=12.345
σ	17.911-18.984=-1.074
min	201.816-197.634=4.182
max	255.304-251.885=3.419

phase=macro expansion

*mean*	6.133-6.130=0.004
σ	0.000
min	6.133-6.130=0.004
max	6.133-6.130=0.004

*mean*	842.375-843.375=-1.000
σ	1.768
min	838.000-839.000=-1.000
max	843.000-844.000=-1.000

*mean*	9.505-9.040=0.465
σ	0.922-1.013=-0.090
min	7.467-7.384=0.084
max	10.769-9.713=1.057

phase=parser

*mean*	1042.432-1042.434=-0.002
σ	0.000-0.000=0.000
min	1042.431-1042.433=-0.002
max	1042.432-1042.434=-0.002

*mean*	842.375-843.375=-1.000
σ	1.768
min	838.000-839.000=-1.000
max	843.000-844.000=-1.000

*mean*	582.195-559.822=22.374
σ	44.156-84.493=-40.337
min	475.461-420.767=54.695
max	612.229-617.145=-4.915

phase=processProdDef

*mean*	2243.979-2243.976=0.003
σ	0.000
min	2243.979-2243.976=0.003
max	2243.979-2243.976=0.003

*mean*	843.000-844.000=-1.000
σ	0.000
min	843.000-844.000=-1.000
max	843.000-844.000=-1.000

*mean*	3021.548-2737.248=284.300
σ	273.924-410.145=-136.221
min	2540.386-2215.616=324.771
max	3432.652-3407.289=25.363

phase=renaming

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

*mean*	842.375-843.375=-1.000
σ	1.768
min	838.000-839.000=-1.000
max	843.000-844.000=-1.000

*mean*	38.001-37.153=0.848
σ	4.755-6.726=-1.971
min	26.482-26.156=0.326
max	40.560-41.125=-0.565

phase=type checker

*mean*	989.752
σ	0.066
min	989.654
max	989.841

*mean*	842.375-843.375=-1.000
σ	1.768
min	838.000-839.000=-1.000
max	843.000-844.000=-1.000

*mean*	738.642-715.675=22.967
σ	92.270-75.495=16.775
min	673.731-646.115=27.616
max	902.726-868.831=33.896

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.393-282.386=0.007
σ	0.036-0.037=-0.001
min	282.337-282.337=0.000
max	282.424-282.428=-0.004

*mean*	444.400-444.800=-0.400
σ	0.548-1.095=-0.548
min	444.000
max	445.000-446.000=-1.000

*mean*	0.383-0.378=0.005
σ	0.006-0.001=0.006
min	0.378-0.377=0.000
max	0.393-0.379=0.014

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.095-1267.110=-0.015
σ	0.091-0.104=-0.012
min	1266.995-1266.999=-0.004
max	1267.243-1267.275=-0.032

*mean*	1114.800-1105.600=9.200
σ	171.647-191.087=-19.440
min	899.000-844.000=55.000
max	1338.000-1335.000=3.000

*mean*	1.998-1.929=0.069
σ	0.119-0.166=-0.046
min	1.864-1.799=0.065
max	2.111-2.134=-0.023

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.139-1506.087=0.051
σ	2.961-2.947=0.014
min	1504.648-1504.556=0.092
max	1511.426-1511.348=0.078

*mean*	630.000-622.600=7.400
σ	90.777-81.402=9.375
min	505.000-497.000=8.000
max	730.000-714.000=16.000

*mean*	2.375-2.224=0.151
σ	0.352-0.196=0.157
min	2.058-2.088=-0.030
max	2.870-2.569=0.301

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.112-1829.099=0.013
σ	0.074-0.046=0.028
min	1829.033-1829.033=-0.000
max	1829.220-1829.145=0.075

*mean*	1762.800-1742.400=20.400
σ	213.393-173.684=39.709
min	1490.000-1484.000=6.000
max	1967.000-1891.000=76.000

*mean*	3.193-3.011=0.183
σ	0.329-0.221=0.107
min	2.830-2.822=0.008
max	3.639-3.394=0.245

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.682-1.711=-0.029
σ	0.192-0.064=0.129
min	1.414-1.654=-0.240
max	1.875-1.807=0.069

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.698-397.697=0.001
σ	518.051-518.051=-0.001
min	138.670-138.670=-0.000
max	1174.774-1174.774=-0.000

*mean*	97.750
σ	7.500
min	94.000
max	109.000

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

*mean*	0.489-0.501=-0.012
σ	0.491-0.523=-0.032
min	0.241-0.236=0.004
max	1.226-1.285=-0.059

policies=20

*mean*	1386.838-1386.837=0.001
σ	0.164-0.163=0.001
min	1386.725-1386.725=-0.000
max	1387.082-1387.079=0.003

*mean*	940.000
σ	0.000
min	940.000
max	940.000

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

*mean*	2.332-2.334=-0.002
σ	0.015-0.010=0.005
min	2.316-2.321=-0.005
max	2.352-2.344=0.008

policies=200

*mean*	13876.855-13876.894=-0.039
σ	0.096-0.126=-0.031
min	13876.779-13876.757=0.022
max	13876.994-13877.062=-0.068

*mean*	9400.000
σ	0.000
min	9400.000
max	9400.000

*mean*	493.750-496.250=-2.500
σ	5.679-3.500=2.179
min	488.000-492.000=-4.000
max	500.000

*mean*	23.589-23.582=0.007
σ	0.254-0.128=0.127
min	23.322-23.463=-0.141
max	23.916-23.713=0.203