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)

Factor

compact size MiB

phase=processProdDef

*mean*	558.664-558.633=0.031
σ	0.000
min	558.664-558.633=0.031
max	558.664-558.633=0.031

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.881-54.881=0.001
σ	0.358-0.357=0.000
min	54.746-54.747=-0.002
max	55.899-55.897=0.002

*mean*	420.000-416.000=4.000
σ	0.000
min	420.000-416.000=4.000
max	420.000-416.000=4.000

*mean*	0.142-0.142=-0.001
σ	0.005-0.005=-0.001
min	0.137-0.138=-0.001
max	0.149-0.150=-0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.849-43.848=0.000
σ	0.004-0.006=-0.002
min	43.842-43.838=0.004
max	43.853-43.859=-0.006

*mean*	420.000-416.000=4.000
σ	0.000
min	420.000-416.000=4.000
max	420.000-416.000=4.000

*mean*	0.123-0.123=0.001
σ	0.004-0.005=-0.001
min	0.118-0.118=0.000
max	0.131-0.134=-0.003

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.618-36.618=-0.000
σ	0.002-0.002=-0.000
min	36.616
max	36.620

*mean*	4041.625-4042.625=-1.000
σ	2008.529-2009.034=-0.505
min	1217.000
max	7145.000-7143.000=2.000

*mean*	13.491-13.436=0.056
σ	1.748-1.727=0.021
min	12.444-12.249=0.194
max	17.748-17.602=0.146

op=column_set() on indexed, repeat

*mean*	36.618-36.618=0.000
σ	0.002-0.002=-0.000
min	36.616
max	36.620

*mean*	4041.625-4042.625=-1.000
σ	2008.529-2009.034=-0.505
min	1217.000
max	7145.000-7143.000=2.000

*mean*	13.612-13.243=0.368
σ	1.615-2.055=-0.439
min	11.810-11.701=0.109
max	17.365-18.171=-0.806

op=table_records(), no indexes

*mean*	41.930-41.930=0.000
σ	0.002-0.002=-0.000
min	41.929-41.928=0.000
max	41.932-41.933=-0.001

*mean*	7145.000-7143.000=2.000
σ	0.000
min	7145.000-7143.000=2.000
max	7145.000-7143.000=2.000

*mean*	15.391-15.226=0.165
σ	0.282-2.057=-1.776
min	14.971-11.776=3.195
max	15.810-19.420=-3.610

op=table_records(), repeat

*mean*	41.930-41.929=0.000
σ	0.002-0.002=-0.000
min	41.928-41.927=0.000
max	41.932

*mean*	4041.625-4042.625=-1.000
σ	2008.529-2009.034=-0.505
min	1217.000
max	7145.000-7143.000=2.000

*mean*	14.393-15.199=-0.806
σ	1.831-1.152=0.679
min	11.480-12.930=-1.450
max	16.520-16.772=-0.252

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

*mean*	27.653-27.654=-0.000
σ	0.136-0.136=0.000
min	27.604
max	27.991

*mean*	4041.625-4042.625=-1.000
σ	2008.529-2009.034=-0.505
min	1217.000
max	7145.000-7143.000=2.000

*mean*	9.617-9.946=-0.329
σ	1.419-1.659=-0.240
min	8.437-8.564=-0.126
max	12.771-12.790=-0.019

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

*mean*	26.401-26.401=0.000
σ	0.002-0.002=-0.000
min	26.400-26.400=0.000
max	26.404

*mean*	4041.625-4042.625=-1.000
σ	2008.529-2009.034=-0.505
min	1217.000
max	7145.000-7143.000=2.000

*mean*	7.077-7.915=-0.838
σ	1.113-1.599=-0.486
min	5.975-6.632=-0.657
max	9.672-10.491=-0.819

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.668-25.668=0.000
σ	0.004-0.004=0.000
min	25.665-25.665=0.000
max	25.678-25.677=0.000

*mean*	4041.625-4042.625=-1.000
σ	2008.529-2009.034=-0.505
min	1217.000
max	7145.000-7143.000=2.000

*mean*	6.179-6.125=0.054
σ	0.533-0.566=-0.033
min	5.876-5.731=0.144
max	7.483-7.465=0.018

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970-25.970=0.000
σ	0.002-0.002=0.000
min	25.968-25.968=-0.000
max	25.972

*mean*	4041.625-4042.625=-1.000
σ	2008.529-2009.034=-0.505
min	1217.000
max	7145.000-7143.000=2.000

*mean*	5.990-5.991=-0.000
σ	0.539-0.595=-0.056
min	5.572-5.660=-0.089
max	7.299-7.430=-0.130

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.613-1021.613=0.000
σ	0.002-0.002=-0.000
min	1021.612
max	1021.616

*mean*	7145.000-7143.000=2.000
σ	0.000
min	7145.000-7143.000=2.000
max	7145.000-7143.000=2.000

*mean*	367.122-348.726=18.396
σ	53.108-2.399=50.709
min	341.581-345.767=-4.187
max	498.354-352.630=145.724

op=load_product(), with indexes

*mean*	7917.793-7917.793=-0.000
σ	0.469-0.469=0.000
min	7917.624-7917.625=-0.001
max	7918.954

*mean*	3273.625-3275.125=-1.500
σ	1824.072-1825.422=-1.350
min	810.000
max	5623.000-5626.000=-3.000

*mean*	3660.946-3657.879=3.067
σ	1117.333-1027.550=89.782
min	3090.763-3088.488=2.275
max	6214.215-6020.725=193.491

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.077-62.077=0.000
σ	0.002-0.002=-0.000
min	62.076-62.076=0.000
max	62.080

*mean*	4041.625-4042.625=-1.000
σ	2008.529-2009.034=-0.505
min	1217.000
max	7145.000-7143.000=2.000

*mean*	87.442-91.202=-3.760
σ	15.818-21.948=-6.130
min	72.304-70.652=1.652
max	110.112-122.570=-12.458

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946-40.946=0.000
σ	0.002-0.002=-0.000
min	40.945-40.944=0.000
max	40.950

*mean*	7145.000-7143.000=2.000
σ	0.000
min	7145.000-7143.000=2.000
max	7145.000-7143.000=2.000

*mean*	61.516-82.332=-20.816
σ	0.285-54.556=-54.271
min	61.227-61.096=0.131
max	62.052-217.186=-155.134

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	66.688-66.688=-0.000
σ	0.002-0.002=0.000
min	66.686
max	66.691-66.691=0.000

*mean*	7145.000-7143.000=2.000
σ	0.000
min	7145.000-7143.000=2.000
max	7145.000-7143.000=2.000

*mean*	98.465-104.861=-6.396
σ	0.684-13.985=-13.301
min	97.877-97.374=0.503
max	99.889-138.626=-38.737

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	14217.171-14217.171=-0.000
σ	4.303-4.304=-0.000
min	14215.575
max	14227.820-14227.821=-0.001

*mean*	4041.625-4042.625=-1.000
σ	2008.529-2009.034=-0.505
min	1217.000
max	7145.000-7143.000=2.000

*mean*	7779.207-8036.844=-257.637
σ	1759.633-1940.886=-181.252
min	6010.907-6017.304=-6.398
max	10508.654-11127.465=-618.811

op=vertical_lookup_list() on indexed

*mean*	13159.109
σ	0.002
min	13159.106
max	13159.110

*mean*	7145.000-7143.000=2.000
σ	0.000
min	7145.000-7143.000=2.000
max	7145.000-7143.000=2.000

*mean*	5152.789-5393.781=-240.991
σ	282.705-1047.946=-765.241
min	5000.670-4999.777=0.893
max	5799.291-7986.942=-2187.651

CSV internal benchmark: pointedIndexFromKvs

Factor

allocated MiB

peak allocated MiB

time (ms)

op=pointedIndexFromKvs

rows=200000

*mean*	172.559
σ	0.001
min	172.558
max	172.562

*mean*	478.000
σ	0.000
min	478.000
max	478.000

*mean*	385.012-381.807=3.206
σ	11.110-18.474=-7.364
min	358.241-337.081=21.160
max	391.745-393.066=-1.321

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	560.000-560.625=-0.625
σ	0.000-0.518=-0.518
min	560.000
max	560.000-561.000=-1.000

*mean*	758.510-711.065=47.444
σ	56.777-64.467=-7.690
min	628.567-629.224=-0.657
max	815.611-773.316=42.295

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.300-1024.300=-0.001
σ	0.759-0.759=0.000
min	1023.823-1023.824=-0.001
max	1027.438-1027.438=-0.000

*mean*	1045.750-1037.350=8.400
σ	296.068-303.245=-7.177
min	562.000-553.000=9.000
max	1439.000-1461.000=-22.000

*mean*	1.537-1.571=-0.034
σ	0.075-0.091=-0.016
min	1.387-1.491=-0.104
max	1.686-1.878=-0.192

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*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.385-0.537=-0.153
σ	0.476-0.610=-0.134
min	0.143-0.151=-0.008
max	1.233-1.620=-0.387

name=error_case.art

*mean*	2.339
σ	0.012
min	2.333
max	2.361

*mean*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.419-0.845=-0.426
σ	0.199-0.560=-0.361
min	0.316-0.571=-0.255
max	0.775-1.846=-1.072

name=heavy_item.art

*mean*	1.522
σ	0.002
min	1.521
max	1.525

*mean*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.230-0.391=-0.161
σ	0.022-0.039=-0.016
min	0.211-0.358=-0.147
max	0.256-0.458=-0.202

name=nested_use.art

*mean*	2.357
σ	0.002
min	2.356
max	2.360

*mean*	401.000-402.000=-1.000
σ	0.000
min	401.000-402.000=-1.000
max	401.000-402.000=-1.000

*mean*	0.334-0.593=-0.259
σ	0.021-0.026=-0.005
min	0.316-0.576=-0.260
max	0.367-0.637=-0.270

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.840
σ	0.011
min	964.835
max	964.859

*mean*	434.200-431.800=2.400
σ	4.550-1.789=2.761
min	430.000-431.000=-1.000
max	439.000-435.000=4.000

*mean*	0.575-0.644=-0.069
σ	0.021-0.071=-0.050
min	0.550-0.586=-0.037
max	0.599-0.752=-0.154

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	440.000-443.000=-3.000
σ	0.000
min	440.000-443.000=-3.000
max	440.000-443.000=-3.000

*mean*	0.485-0.444=0.040
σ	0.032-0.026=0.006
min	0.449-0.418=0.030
max	0.520-0.482=0.038

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.709
σ	0.002
min	7.708
max	7.712

*mean*	440.000-443.000=-3.000
σ	0.000
min	440.000-443.000=-3.000
max	440.000-443.000=-3.000

*mean*	2.643-1.969=0.675
σ	0.118-0.068=0.050
min	2.453-1.854=0.599
max	2.958-2.184=0.773

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	440.000-443.000=-3.000
σ	0.000
min	440.000-443.000=-3.000
max	440.000-443.000=-3.000

*mean*	2.540-2.408=0.132
σ	0.077-0.297=-0.220
min	2.412-1.872=0.541
max	2.737-2.844=-0.107

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	440.000-443.000=-3.000
σ	0.000
min	440.000-443.000=-3.000
max	440.000-443.000=-3.000

*mean*	0.301-0.308=-0.007
σ	0.008-0.010=-0.002
min	0.288-0.293=-0.005
max	0.361-0.363=-0.003

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	440.000-443.000=-3.000
σ	0.000
min	440.000-443.000=-3.000
max	440.000-443.000=-3.000

*mean*	0.286-0.292=-0.006
σ	0.008-0.007=0.001
min	0.272-0.280=-0.007
max	0.335-0.332=0.003

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.795-298.694=0.101
σ	1.004-1.024=-0.021
min	298.413-298.320=0.093
max	301.649-301.607=0.042

*mean*	444.400-441.800=2.600
σ	19.150-16.308=2.842
min	416.000-417.000=-1.000
max	471.000-467.000=4.000

*mean*	0.593-0.602=-0.009
σ	0.030-0.027=0.003
min	0.543-0.547=-0.004
max	0.639-0.637=0.002

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	1065.000-1056.500=8.500
σ	33.941-26.870=7.071
min	981.000-990.000=-9.000
max	1077.000-1066.000=11.000

*mean*	206.477-212.306=-5.829
σ	4.221-2.368=1.853
min	198.933-209.918=-10.985
max	211.358-216.448=-5.091

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1065.000-1056.500=8.500
σ	33.941-26.870=7.071
min	981.000-990.000=-9.000
max	1077.000-1066.000=11.000

*mean*	9.988-7.781=2.207
σ	2.361-1.558=0.803
min	6.270-6.384=-0.114
max	12.873-9.620=3.253

phase=parser

*mean*	1042.366-1042.361=0.005
σ	0.001-0.000=0.001
min	1042.363-1042.360=0.003
max	1042.366-1042.361=0.006

*mean*	1065.000-1056.500=8.500
σ	33.941-26.870=7.071
min	981.000-990.000=-9.000
max	1077.000-1066.000=11.000

*mean*	538.647-496.799=41.848
σ	136.524-51.061=85.463
min	378.336-405.345=-27.009
max	760.936-555.616=205.320

phase=processProdDef

*mean*	4850.765-4850.768=-0.003
σ	0.000-0.000=0.000
min	4850.764-4850.768=-0.003
max	4850.765-4850.768=-0.003

*mean*	1077.000-1066.000=11.000
σ	0.000
min	1077.000-1066.000=11.000
max	1077.000-1066.000=11.000

*mean*	4855.319-4850.377=4.942
σ	745.059-474.686=270.373
min	3143.561-4162.371=-1018.810
max	5437.628-5549.210=-111.582

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*	1065.000-1056.500=8.500
σ	33.941-26.870=7.071
min	981.000-990.000=-9.000
max	1077.000-1066.000=11.000

*mean*	37.852-29.561=8.291
σ	10.748-9.298=1.449
min	21.141-19.895=1.246
max	48.243-40.820=7.422

phase=type checker

*mean*	990.453-990.450=0.003
σ	0.072-0.071=0.001
min	990.344
max	990.567-990.563=0.004

*mean*	1065.000-1056.500=8.500
σ	33.941-26.870=7.071
min	981.000-990.000=-9.000
max	1077.000-1066.000=11.000

*mean*	752.749-766.882=-14.133
σ	132.142-105.948=26.194
min	652.036-640.283=11.753
max	1019.387-904.045=115.341

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.818-293.820=-0.002
σ	0.038-0.038=0.000
min	293.767-293.767=0.000
max	293.859-293.860=-0.001

*mean*	442.400-443.000=-0.600
σ	0.548-0.000=0.548
min	442.000-443.000=-1.000
max	443.000

*mean*	0.393-0.392=0.001
σ	0.002-0.001=0.001
min	0.390-0.391=-0.001
max	0.395-0.393=0.002

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.180-1320.213=-0.033
σ	0.103-0.031=0.071
min	1320.052-1320.172=-0.119
max	1320.335-1320.245=0.090

*mean*	1066.800-1094.400=-27.600
σ	164.788-185.924=-21.136
min	844.000-837.000=7.000
max	1268.000-1316.000=-48.000

*mean*	2.094-2.303=-0.210
σ	0.107-0.176=-0.069
min	2.005-2.172=-0.167
max	2.270-2.611=-0.342

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.559-1560.614=-0.056
σ	6.258-6.222=0.036
min	1557.489-1557.623=-0.134
max	1571.746-1571.740=0.006

*mean*	618.800-617.200=1.600
σ	82.421-81.729=0.691
min	494.000-493.000=1.000
max	716.000-712.000=4.000

*mean*	2.265-2.321=-0.056
σ	0.246-0.199=0.048
min	2.057-2.160=-0.102
max	2.691-2.656=0.035

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.178-1882.170=0.008
σ	0.058-0.049=0.009
min	1882.113-1882.116=-0.003
max	1882.249-1882.235=0.014

*mean*	1700.600-1721.200=-20.600
σ	257.743-195.661=62.082
min	1399.000-1454.000=-55.000
max	2057.000-1906.000=151.000

*mean*	2.980-3.034=-0.054
σ	0.111-0.120=-0.010
min	2.831-2.902=-0.071
max	3.097-3.163=-0.066

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.740-1.674=0.066
σ	0.189-0.145=0.044
min	1.449-1.522=-0.072
max	1.941-1.864=0.077

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.079-452.082=-0.002
σ	582.722-582.722=0.000
min	160.717-160.719=-0.002
max	1326.163-1326.165=-0.002

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	443.000
σ	0.000
min	443.000
max	443.000

*mean*	0.546-0.546=-0.001
σ	0.544-0.550=-0.006
min	0.266-0.266=-0.000
max	1.362-1.371=-0.009

policies=20

*mean*	1607.500-1607.522=-0.022
σ	0.406-0.400=0.005
min	1607.220-1607.248=-0.029
max	1608.099-1608.114=-0.015

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	446.750-446.500=0.250
σ	7.500-7.000=0.500
min	443.000
max	458.000-457.000=1.000

*mean*	2.679-2.677=0.002
σ	0.030-0.016=0.014
min	2.634-2.663=-0.029
max	2.695-2.692=0.004

policies=200

*mean*	16083.267-16083.384=-0.117
σ	0.109-0.117=-0.008
min	16083.195-16083.220=-0.025
max	16083.429-16083.470=-0.041

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	496.750-497.750=-1.000
σ	4.856-5.620=-0.764
min	492.000
max	503.000-505.000=-2.000

*mean*	27.050-27.235=-0.185
σ	0.054-0.099=-0.046
min	26.981-27.175=-0.194
max	27.108-27.383=-0.275