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.698-54.700=-0.003
σ	0.366-0.367=-0.001
min	54.560-54.566=-0.006
max	55.738-55.743=-0.005

*mean*	416.000-417.000=-1.000
σ	0.000
min	416.000-417.000=-1.000
max	416.000-417.000=-1.000

*mean*	0.137-0.141=-0.003
σ	0.005-0.004=0.002
min	0.130-0.137=-0.007
max	0.145-0.147=-0.002

cache=y

dps=1

iters=10

policies=100

*mean*	43.778-43.776=0.002
σ	0.008-0.008=-0.000
min	43.770-43.765=0.005
max	43.794-43.791=0.003

*mean*	416.000-417.000=-1.000
σ	0.000
min	416.000-417.000=-1.000
max	416.000-417.000=-1.000

*mean*	0.122-0.122=-0.001
σ	0.005-0.005=0.000
min	0.116-0.117=-0.001
max	0.129-0.130=-0.001

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.606

*mean*	4590.125-4591.125=-1.000
σ	2248.430-2250.360=-1.930
min	1487.000-1483.000=4.000
max	7384.000-7386.000=-2.000

*mean*	149.227-149.254=-0.027
σ	387.452-385.457=1.995
min	11.819-11.881=-0.061
max	1108.121-1103.198=4.923

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.605-36.605=-0.000

*mean*	4590.125-4591.125=-1.000
σ	2248.430-2250.360=-1.930
min	1487.000-1483.000=4.000
max	7384.000-7386.000=-2.000

*mean*	13.864-14.917=-1.052
σ	3.411-4.647=-1.236
min	11.827-11.482=0.345
max	22.252-25.630=-3.378

op=table_records(), no indexes

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

*mean*	7384.000-7386.000=-2.000
σ	0.000
min	7384.000-7386.000=-2.000
max	7384.000-7386.000=-2.000

*mean*	11.553-11.532=0.021
σ	1.182-1.847=-0.665
min	10.904-10.716=0.188
max	14.405-16.089=-1.684

op=table_records(), repeat

*mean*	41.925-41.925=0.000
σ	0.000-0.000=0.000
min	41.925
max	41.926-41.926=-0.000

*mean*	4180.250-4181.875=-1.625
σ	1944.725-1946.690=-1.964
min	1487.000-1483.000=4.000
max	7384.000-7386.000=-2.000

*mean*	11.724-11.286=0.438
σ	1.898-0.872=1.026
min	10.714-10.859=-0.145
max	16.385-13.435=2.949

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

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

*mean*	4180.250-4181.875=-1.625
σ	1944.725-1946.690=-1.964
min	1487.000-1483.000=4.000
max	7384.000-7386.000=-2.000

*mean*	9.168-8.878=0.290
σ	1.391-0.574=0.817
min	8.061-8.149=-0.088
max	12.551-10.153=2.399

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*	4180.250-4181.875=-1.625
σ	1944.725-1946.690=-1.964
min	1487.000-1483.000=4.000
max	7384.000-7386.000=-2.000

*mean*	7.002-7.052=-0.049
σ	1.147-0.463=0.684
min	5.860-6.769=-0.909
max	9.726-8.157=1.569

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*	4590.125-4591.125=-1.000
σ	2248.430-2250.360=-1.930
min	1487.000-1483.000=4.000
max	7384.000-7386.000=-2.000

*mean*	6.448-6.524=-0.076
σ	0.948-1.037=-0.088
min	6.007-5.943=0.064
max	8.788-8.880=-0.092

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.962-25.963=-0.001
σ	0.001-0.001=-0.001
min	25.962
max	25.964-25.966=-0.002

*mean*	4590.125-4591.125=-1.000
σ	2248.430-2250.360=-1.930
min	1487.000-1483.000=4.000
max	7384.000-7386.000=-2.000

*mean*	6.129-6.429=-0.300
σ	0.912-1.078=-0.166
min	5.665-5.782=-0.116
max	8.373-8.871=-0.497

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.599
σ	0.002
min	1021.597
max	1021.602

*mean*	7384.000-7386.000=-2.000
σ	0.000
min	7384.000-7386.000=-2.000
max	7384.000-7386.000=-2.000

*mean*	346.058-344.932=1.127
σ	1.127-2.266=-1.140
min	344.080-340.354=3.727
max	347.739-346.961=0.777

op=load_product(), with indexes

*mean*	3495.846
σ	0.455
min	3495.685
max	3496.972

*mean*	3757.125-3757.875=-0.750
σ	2299.350-2301.201=-1.851
min	720.000
max	7384.000-7386.000=-2.000

*mean*	1703.241-1799.326=-96.085
σ	550.802-677.750=-126.948
min	1389.732-1401.143=-11.411
max	2620.302-2990.714=-370.412

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.842-107.842=-0.000

*mean*	4409.250-4410.875=-1.625
σ	2217.994-2219.761=-1.767
min	1487.000-1483.000=4.000
max	7384.000-7386.000=-2.000

*mean*	203.842-275.131=-71.289
σ	179.213-400.812=-221.599
min	129.555-122.503=7.052
max	644.810-1266.813=-622.002

op=column_set() on unindexed, dense, repeat

*mean*	62.069
σ	0.001
min	62.065
max	62.069

*mean*	4409.250-4410.875=-1.625
σ	2217.994-2219.761=-1.767
min	1487.000-1483.000=4.000
max	7384.000-7386.000=-2.000

*mean*	43.675-45.243=-1.567
σ	1.909-8.576=-6.667
min	41.232-40.687=0.545
max	46.197-66.337=-20.140

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.927
σ	0.002
min	40.926
max	40.930

*mean*	7384.000-7386.000=-2.000
σ	0.000
min	7384.000-7386.000=-2.000
max	7384.000-7386.000=-2.000

*mean*	192.162-195.678=-3.516
σ	480.275-490.258=-9.983
min	21.314-21.290=0.024
max	1380.771-1408.992=-28.221

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

*mean*	7384.000-7386.000=-2.000
σ	0.000
min	7384.000-7386.000=-2.000
max	7384.000-7386.000=-2.000

*mean*	64.911-65.138=-0.228
σ	20.910-24.968=-4.059
min	55.688-55.219=0.469
max	116.026-126.705=-10.679

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.843-4646.842=0.000
σ	0.014-0.014=-0.000
min	4646.837
max	4646.876

*mean*	4180.250-4181.875=-1.625
σ	1944.725-1946.690=-1.964
min	1487.000-1483.000=4.000
max	7384.000-7386.000=-2.000

*mean*	3240.071-3403.248=-163.177
σ	832.435-883.937=-51.502
min	2507.859-2505.389=2.470
max	4850.811-4902.345=-51.534

op=vertical_lookup_list() on indexed

*mean*	1973.830
σ	0.002
min	1973.829
max	1973.833

*mean*	7384.000-7386.000=-2.000
σ	0.000
min	7384.000-7386.000=-2.000
max	7384.000-7386.000=-2.000

*mean*	1001.254-1023.353=-22.099
σ	172.421-242.609=-70.188
min	909.561-907.404=2.157
max	1404.128-1603.016=-198.888

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

*mean*	905.084
σ	0.002
min	905.082
max	905.087

*mean*	7384.000-7386.000=-2.000
σ	0.000
min	7384.000-7386.000=-2.000
max	7384.000-7386.000=-2.000

*mean*	395.576-412.958=-17.382
σ	7.880-42.332=-34.452
min	381.284-383.142=-1.858
max	408.965-516.573=-107.608

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*	478.000-476.000=2.000
σ	0.000
min	478.000-476.000=2.000
max	478.000-476.000=2.000

*mean*	369.041-364.971=4.070
σ	31.398-17.566=13.832
min	314.489-335.578=-21.088
max	421.331-388.715=32.616

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	563.000-557.000=6.000
σ	0.000
min	563.000-557.000=6.000
max	563.000-557.000=6.000

*mean*	720.457-782.500=-62.043
σ	77.628-31.115=46.513
min	600.940-720.116=-119.176
max	818.127-825.287=-7.160

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.556-964.555=0.001
σ	1.879-1.880=-0.001
min	963.840-963.837=0.003
max	972.506-972.509=-0.004

*mean*	1034.400-1038.550=-4.150
σ	310.466-308.668=1.797
min	542.000-562.000=-20.000
max	1533.000-1489.000=44.000

*mean*	1.276-1.284=-0.009
σ	0.171-0.143=0.028
min	1.167-1.190=-0.022
max	1.932-1.776=0.157

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.300-0.467=-0.167
σ	0.314-0.664=-0.349
min	0.130-0.140=-0.011
max	0.856-1.652=-0.796

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.480-0.517=-0.037
σ	0.316-0.407=-0.091
min	0.328-0.322=0.006
max	1.046-1.245=-0.199

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.216-0.219=-0.003
σ	0.024-0.026=-0.002
min	0.200-0.201=-0.002
max	0.258-0.264=-0.006

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.333=0.005
σ	0.017-0.018=-0.001
min	0.327-0.318=0.009
max	0.368-0.362=0.005

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

*mean*	0.483-0.585=-0.102
σ	0.042-0.025=0.017
min	0.435-0.545=-0.110
max	0.529-0.609=-0.079

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.466-0.483=-0.017
σ	0.017-0.039=-0.022
min	0.436-0.417=0.019
max	0.478-0.510=-0.032

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

*mean*	2.615-2.673=-0.058
σ	0.114-0.105=0.009
min	2.457-2.462=-0.005
max	3.109-2.977=0.132

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	2.658-2.451=0.207
σ	0.107-0.362=-0.255
min	2.464-1.754=0.710
max	3.061-2.899=0.162

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.302-0.304=-0.002
σ	0.008-0.008=-0.000
min	0.285-0.290=-0.005
max	0.353-0.344=0.009

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.293-0.289=0.004
σ	0.009-0.006=0.003
min	0.278-0.276=0.003
max	0.342-0.321=0.021

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.855-11.962=-0.107
σ	12.582-11.279=1.303
min	0.574-0.574=-0.000
max	134.638-93.455=41.183

*mean*	462.309-467.450=-5.141
σ	18.372-19.228=-0.856
min	406.000
max	478.000-480.000=-2.000

*mean*	0.027-0.027=-0.000
σ	0.031-0.028=0.003
min	0.001-0.001=0.000
max	0.337-0.232=0.105

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	279.169-279.161=0.008
σ	1.045-0.993=0.052
min	278.573-278.771=-0.198
max	282.121-281.984=0.136

*mean*	442.900-446.000=-3.100
σ	15.560-16.627=-1.067
min	426.000
max	472.000-470.000=2.000

*mean*	0.574-0.572=0.002
σ	0.021-0.025=-0.004
min	0.536-0.529=0.007
max	0.610-0.613=-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*	874.000-850.000=24.000
σ	0.000
min	874.000-850.000=24.000
max	874.000-850.000=24.000

*mean*	148.412-149.967=-1.555
σ	11.947-12.665=-0.718
min	135.052-129.467=5.586
max	163.222-162.457=0.765

phase=macro expansion

*mean*	5.894
σ	0.000
min	5.894
max	5.894

*mean*	874.000-850.000=24.000
σ	0.000
min	874.000-850.000=24.000
max	874.000-850.000=24.000

*mean*	9.653-8.280=1.374
σ	1.148-2.102=-0.954
min	7.930-5.990=1.940
max	11.809-11.817=-0.008

phase=parser

*mean*	1042.136-1042.132=0.004
σ	0.000-0.000=-0.000
min	1042.135-1042.132=0.004
max	1042.136-1042.132=0.004

*mean*	874.000-850.000=24.000
σ	0.000
min	874.000-850.000=24.000
max	874.000-850.000=24.000

*mean*	587.276-506.905=80.371
σ	142.998-118.341=24.656
min	374.944-375.877=-0.933
max	727.291-690.919=36.372

phase=processProdDef

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

*mean*	874.000-850.000=24.000
σ	0.000
min	874.000-850.000=24.000
max	874.000-850.000=24.000

*mean*	2824.499-2604.722=219.777
σ	592.224-486.686=105.537
min	1922.708-1976.190=-53.483
max	3381.495-3276.183=105.312

phase=renaming

*mean*	21.430-21.434=-0.004
σ	0.000
min	21.430-21.434=-0.004
max	21.430-21.434=-0.004

*mean*	874.000-850.000=24.000
σ	0.000
min	874.000-850.000=24.000
max	874.000-850.000=24.000

*mean*	36.737-35.454=1.283
σ	7.282-8.819=-1.537
min	26.401-24.997=1.404
max	47.137-46.313=0.823

phase=type checker

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

*mean*	874.000-850.000=24.000
σ	0.000
min	874.000-850.000=24.000
max	874.000-850.000=24.000

*mean*	730.877-687.350=43.527
σ	86.514-70.154=16.360
min	617.096-616.996=0.101
max	852.054-841.211=10.844

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.855-282.855=0.000
σ	0.039-0.037=0.002
min	282.801-282.800=0.001
max	282.895-282.891=0.004

*mean*	444.000-442.400=1.600
σ	0.000-0.548=-0.548
min	444.000-442.000=2.000
max	444.000-443.000=1.000

*mean*	0.383-0.389=-0.006
σ	0.013-0.009=0.004
min	0.373-0.385=-0.012
max	0.397-0.405=-0.007

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.049-1268.055=-0.006
σ	0.109-0.124=-0.016
min	1267.951-1267.956=-0.005
max	1268.231-1268.263=-0.032

*mean*	1086.800-1086.200=0.600
σ	163.385-162.910=0.475
min	892.000-891.000=1.000
max	1309.000-1308.000=1.000

*mean*	2.052-2.013=0.040
σ	0.134-0.151=-0.016
min	1.867-1.797=0.070
max	2.233-2.169=0.063

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.015-1507.029=-0.014
σ	2.982-2.991=-0.009
min	1505.447-1505.466=-0.019
max	1512.337-1512.368=-0.031

*mean*	625.000-623.800=1.200
σ	87.316-86.872=0.444
min	495.000-494.000=1.000
max	727.000-725.000=2.000

*mean*	2.221-2.209=0.012
σ	0.216-0.231=-0.015
min	2.089-2.064=0.024
max	2.599-2.617=-0.018

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.052-1830.058=-0.006
σ	0.047-0.046=0.001
min	1829.983-1829.993=-0.010
max	1830.104-1830.105=-0.001

*mean*	1730.200-1723.400=6.800
σ	180.205-170.698=9.507
min	1475.000-1478.000=-3.000
max	1897.000-1882.000=15.000

*mean*	3.016-2.988=0.028
σ	0.311-0.269=0.041
min	2.812-2.799=0.013
max	3.567-3.464=0.103

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.652-1.715=-0.063
σ	0.107-0.141=-0.034
min	1.530-1.578=-0.047
max	1.821-1.894=-0.074

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	405.944-405.941=0.003
σ	509.286-509.285=0.001
min	151.296-151.293=0.003
max	1169.872-1169.868=0.004

*mean*	101.750
σ	7.500
min	98.000
max	113.000

*mean*	444.000
σ	0.000
min	444.000
max	444.000

*mean*	0.503-0.504=-0.001
σ	0.498-0.499=-0.001
min	0.251-0.251=0.001
max	1.249-1.252=-0.003

policies=20

*mean*	1513.143-1513.116=0.027
σ	0.261-0.255=0.005
min	1512.976-1512.949=0.027
max	1513.529-1513.494=0.036

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	451.250-452.500=-1.250
σ	11.871-10.599=1.272
min	444.000
max	469.000-468.000=1.000

*mean*	2.487-2.484=0.003
σ	0.007-0.012=-0.005
min	2.478-2.467=0.012
max	2.493-2.494=-0.001

policies=200

*mean*	15140.019-15139.952=0.066
σ	0.093-0.187=-0.094
min	15139.947-15139.779=0.168
max	15140.153-15140.206=-0.053

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	498.500-499.250=-0.750
σ	4.203-4.113=0.090
min	494.000
max	504.000

*mean*	25.090-25.038=0.052
σ	0.055-0.155=-0.100
min	25.045-24.904=0.140
max	25.170-25.251=-0.081