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.361-0.357=0.003
min	54.744-54.747=-0.003
max	55.907-55.897=0.009

*mean*	419.000-416.000=3.000
σ	0.000
min	419.000-416.000=3.000
max	419.000-416.000=3.000

*mean*	0.139-0.142=-0.003
σ	0.005-0.005=-0.000
min	0.132-0.138=-0.006
max	0.149-0.150=-0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.848-43.848=0.000
σ	0.006-0.006=0.000
min	43.838-43.838=0.001
max	43.857-43.859=-0.002

*mean*	419.000-416.000=3.000
σ	0.000
min	419.000-416.000=3.000
max	419.000-416.000=3.000

*mean*	0.126-0.123=0.003
σ	0.005-0.005=-0.000
min	0.121-0.118=0.003
max	0.134-0.134=0.001

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.750-4042.625=-0.875
σ	2008.713-2009.034=-0.321
min	1217.000
max	7148.000-7143.000=5.000

*mean*	12.923-13.436=-0.513
σ	0.372-1.727=-1.355
min	12.390-12.249=0.141
max	13.538-17.602=-4.064

op=column_set() on indexed, repeat

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

*mean*	4041.750-4042.625=-0.875
σ	2008.713-2009.034=-0.321
min	1217.000
max	7148.000-7143.000=5.000

*mean*	12.621-13.243=-0.623
σ	0.787-2.055=-1.268
min	11.563-11.701=-0.138
max	13.883-18.171=-4.288

op=table_records(), no indexes

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

*mean*	7148.000-7143.000=5.000
σ	0.000
min	7148.000-7143.000=5.000
max	7148.000-7143.000=5.000

*mean*	14.964-15.226=-0.262
σ	0.302-2.057=-1.755
min	14.619-11.776=2.842
max	15.548-19.420=-3.872

op=table_records(), repeat

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

*mean*	4041.750-4042.625=-0.875
σ	2008.713-2009.034=-0.321
min	1217.000
max	7148.000-7143.000=5.000

*mean*	14.967-15.199=-0.233
σ	1.888-1.152=0.736
min	11.131-12.930=-1.799
max	17.896-16.772=1.124

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

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

*mean*	4041.750-4042.625=-0.875
σ	2008.713-2009.034=-0.321
min	1217.000
max	7148.000-7143.000=5.000

*mean*	9.939-9.946=-0.007
σ	1.686-1.659=0.028
min	8.870-8.564=0.306
max	12.745-12.790=-0.045

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

*mean*	4041.750-4042.625=-0.875
σ	2008.713-2009.034=-0.321
min	1217.000
max	7148.000-7143.000=5.000

*mean*	7.620-7.915=-0.295
σ	1.654-1.599=0.055
min	6.436-6.632=-0.195
max	10.412-10.491=-0.078

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.750-4042.625=-0.875
σ	2008.713-2009.034=-0.321
min	1217.000
max	7148.000-7143.000=5.000

*mean*	6.035-6.125=-0.091
σ	0.125-0.566=-0.441
min	5.812-5.731=0.080
max	6.249-7.465=-1.215

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.750-4042.625=-0.875
σ	2008.713-2009.034=-0.321
min	1217.000
max	7148.000-7143.000=5.000

*mean*	5.832-5.991=-0.158
σ	0.096-0.595=-0.499
min	5.682-5.660=0.022
max	5.953-7.430=-1.477

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-1021.616=0.000

*mean*	7148.000-7143.000=5.000
σ	0.000
min	7148.000-7143.000=5.000
max	7148.000-7143.000=5.000

*mean*	376.757-348.726=28.030
σ	55.882-2.399=53.483
min	342.390-345.767=-3.378
max	468.116-352.630=115.485

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-7918.954=0.000

*mean*	3273.625-3275.125=-1.500
σ	1823.179-1825.422=-2.243
min	809.000-810.000=-1.000
max	5620.000-5626.000=-6.000

*mean*	3608.604-3657.879=-49.275
σ	1109.127-1027.550=81.577
min	3051.392-3088.488=-37.096
max	6150.966-6020.725=130.242

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.750-4042.625=-0.875
σ	2008.713-2009.034=-0.321
min	1217.000
max	7148.000-7143.000=5.000

*mean*	92.894-91.202=1.692
σ	24.912-21.948=2.965
min	69.502-70.652=-1.150
max	125.673-122.570=3.103

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*	7148.000-7143.000=5.000
σ	0.000
min	7148.000-7143.000=5.000
max	7148.000-7143.000=5.000

*mean*	61.424-82.332=-20.908
σ	1.192-54.556=-53.364
min	60.404-61.096=-0.692
max	64.187-217.186=-152.999

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-66.686=0.000
max	66.691

*mean*	7148.000-7143.000=5.000
σ	0.000
min	7148.000-7143.000=5.000
max	7148.000-7143.000=5.000

*mean*	289.880-104.861=185.019
σ	381.681-13.985=367.696
min	97.801-97.374=0.427
max	1131.554-138.626=992.927

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.576-14215.575=0.001
max	14227.820-14227.821=-0.001

*mean*	4041.750-4042.625=-0.875
σ	2008.713-2009.034=-0.321
min	1217.000
max	7148.000-7143.000=5.000

*mean*	7921.736-8036.844=-115.108
σ	1858.373-1940.886=-82.512
min	5989.153-6017.304=-28.151
max	10580.574-11127.465=-546.891

op=vertical_lookup_list() on indexed

*mean*	13159.108-13159.109=-0.000
σ	0.002-0.002=0.000
min	13159.105-13159.106=-0.001
max	13159.110

*mean*	7148.000-7143.000=5.000
σ	0.000
min	7148.000-7143.000=5.000
max	7148.000-7143.000=5.000

*mean*	5356.499-5393.781=-37.282
σ	617.262-1047.946=-430.684
min	4998.673-4999.777=-1.104
max	6791.936-7986.942=-1195.006

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*	367.548-381.807=-14.259
σ	35.083-18.474=16.608
min	294.049-337.081=-43.032
max	391.406-393.066=-1.660

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	562.000-560.625=1.375
σ	0.000-0.518=-0.518
min	562.000-560.000=2.000
max	562.000-561.000=1.000

*mean*	739.748-711.065=28.683
σ	56.994-64.467=-7.473
min	631.386-629.224=2.162
max	788.007-773.316=14.691

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.299-1024.300=-0.001
σ	0.759-0.759=-0.000
min	1023.826-1023.824=0.002
max	1027.437-1027.438=-0.001

*mean*	1040.550-1037.350=3.200
σ	300.677-303.245=-2.568
min	552.000-553.000=-1.000
max	1462.000-1461.000=1.000

*mean*	1.558-1.571=-0.013
σ	0.073-0.091=-0.018
min	1.455-1.491=-0.036
max	1.770-1.878=-0.108

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.292-0.537=-0.246
σ	0.292-0.610=-0.318
min	0.134-0.151=-0.016
max	0.809-1.620=-0.811

name=error_case.art

*mean*	2.339
σ	0.012
min	2.333
max	2.361

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.480-0.845=-0.365
σ	0.315-0.560=-0.245
min	0.330-0.571=-0.241
max	1.043-1.846=-0.804

name=heavy_item.art

*mean*	1.522
σ	0.002
min	1.521
max	1.525

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.218-0.391=-0.173
σ	0.022-0.039=-0.017
min	0.202-0.358=-0.156
max	0.254-0.458=-0.204

name=nested_use.art

*mean*	2.357
σ	0.002
min	2.356
max	2.360

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.330-0.593=-0.263
σ	0.018-0.026=-0.008
min	0.317-0.576=-0.258
max	0.360-0.637=-0.276

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*	436.200-431.800=4.400
σ	1.789
min	433.000-431.000=2.000
max	437.000-435.000=2.000

*mean*	0.564-0.644=-0.081
σ	0.059-0.071=-0.011
min	0.473-0.586=-0.113
max	0.610-0.752=-0.142

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	441.000-443.000=-2.000
σ	0.000
min	441.000-443.000=-2.000
max	441.000-443.000=-2.000

*mean*	0.447-0.444=0.003
σ	0.044-0.026=0.018
min	0.382-0.418=-0.036
max	0.483-0.482=0.001

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*	441.000-443.000=-2.000
σ	0.000
min	441.000-443.000=-2.000
max	441.000-443.000=-2.000

*mean*	1.956-1.969=-0.013
σ	0.067-0.068=-0.001
min	1.845-1.854=-0.009
max	2.221-2.184=0.036

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	441.000-443.000=-2.000
σ	0.000
min	441.000-443.000=-2.000
max	441.000-443.000=-2.000

*mean*	1.953-2.408=-0.455
σ	0.091-0.297=-0.206
min	1.823-1.872=-0.049
max	2.649-2.844=-0.195

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	441.000-443.000=-2.000
σ	0.000
min	441.000-443.000=-2.000
max	441.000-443.000=-2.000

*mean*	0.310-0.308=0.003
σ	0.028-0.010=0.018
min	0.289-0.293=-0.004
max	0.582-0.363=0.219

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	441.000-443.000=-2.000
σ	0.000
min	441.000-443.000=-2.000
max	441.000-443.000=-2.000

*mean*	0.295-0.292=0.003
σ	0.008-0.007=0.000
min	0.282-0.280=0.002
max	0.336-0.332=0.004

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.633-298.694=-0.061
σ	1.001-1.024=-0.024
min	298.259-298.320=-0.061
max	301.480-301.607=-0.127

*mean*	438.700-441.800=-3.100
σ	12.356-16.308=-3.952
min	416.000-417.000=-1.000
max	458.000-467.000=-9.000

*mean*	0.600-0.602=-0.002
σ	0.029-0.027=0.002
min	0.540-0.547=-0.007
max	0.642-0.637=0.005

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.625-1056.500=9.125
σ	35.002-26.870=8.132
min	979.000-990.000=-11.000
max	1078.000-1066.000=12.000

*mean*	217.048-212.306=4.742
σ	8.623-2.368=6.255
min	206.083-209.918=-3.834
max	234.947-216.448=18.499

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	1065.625-1056.500=9.125
σ	35.002-26.870=8.132
min	979.000-990.000=-11.000
max	1078.000-1066.000=12.000

*mean*	7.320-7.781=-0.461
σ	1.328-1.558=-0.230
min	6.233-6.384=-0.152
max	9.390-9.620=-0.230

phase=parser

*mean*	1042.363-1042.361=0.002
σ	0.000-0.000=0.000
min	1042.362-1042.360=0.002
max	1042.363-1042.361=0.002

*mean*	1065.625-1056.500=9.125
σ	35.002-26.870=8.132
min	979.000-990.000=-11.000
max	1078.000-1066.000=12.000

*mean*	531.701-496.799=34.903
σ	43.521-51.061=-7.540
min	480.198-405.345=74.853
max	602.418-555.616=46.802

phase=processProdDef

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

*mean*	1078.000-1066.000=12.000
σ	0.000
min	1078.000-1066.000=12.000
max	1078.000-1066.000=12.000

*mean*	4805.660-4850.377=-44.717
σ	622.284-474.686=147.598
min	3698.760-4162.371=-463.611
max	5581.946-5549.210=32.735

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.625-1056.500=9.125
σ	35.002-26.870=8.132
min	979.000-990.000=-11.000
max	1078.000-1066.000=12.000

*mean*	26.297-29.561=-3.264
σ	8.400-9.298=-0.898
min	20.665-19.895=0.769
max	39.795-40.820=-1.025

phase=type checker

*mean*	990.450
σ	0.071
min	990.344
max	990.563

*mean*	1065.625-1056.500=9.125
σ	35.002-26.870=8.132
min	979.000-990.000=-11.000
max	1078.000-1066.000=12.000

*mean*	700.134-766.882=-66.748
σ	60.792-105.948=-45.155
min	645.943-640.283=5.660
max	807.624-904.045=-96.422

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

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

*mean*	444.400-443.000=1.400
σ	0.548-0.000=0.548
min	444.000-443.000=1.000
max	445.000-443.000=2.000

*mean*	0.400-0.392=0.008
σ	0.007-0.001=0.007
min	0.394-0.391=0.003
max	0.410-0.393=0.017

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.201-1320.213=-0.012
σ	0.043-0.031=0.012
min	1320.143-1320.172=-0.028
max	1320.240-1320.245=-0.005

*mean*	1113.800-1094.400=19.400
σ	181.911-185.924=-4.013
min	895.000-837.000=58.000
max	1358.000-1316.000=42.000

*mean*	2.250-2.303=-0.053
σ	0.076-0.176=-0.101
min	2.135-2.172=-0.037
max	2.319-2.611=-0.292

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.644-1560.614=0.030
σ	6.235-6.222=0.013
min	1557.708-1557.623=0.085
max	1571.795-1571.740=0.055

*mean*	632.600-617.200=15.400
σ	85.891-81.729=4.162
min	502.000-493.000=9.000
max	725.000-712.000=13.000

*mean*	2.424-2.321=0.103
σ	0.317-0.199=0.119
min	2.180-2.160=0.021
max	2.816-2.656=0.159

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.174-1882.170=0.004
σ	0.061-0.049=0.012
min	1882.093-1882.116=-0.023
max	1882.250-1882.235=0.015

*mean*	1745.400-1721.200=24.200
σ	219.882-195.661=24.222
min	1454.000
max	1953.000-1906.000=47.000

*mean*	3.221-3.034=0.187
σ	0.319-0.120=0.199
min	2.909-2.902=0.007
max	3.713-3.163=0.550

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.747-1.674=0.073
σ	0.095-0.145=-0.050
min	1.638-1.522=0.116
max	1.858-1.864=-0.007

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.081-452.082=-0.001
σ	582.723-582.722=0.001
min	160.716-160.719=-0.003
max	1326.166-1326.165=0.001

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	442.000-443.000=-1.000
σ	0.000
min	442.000-443.000=-1.000
max	442.000-443.000=-1.000

*mean*	0.547-0.546=0.001
σ	0.550-0.550=0.000
min	0.266-0.266=-0.000
max	1.372-1.371=0.001

policies=20

*mean*	1607.530-1607.522=0.009
σ	0.419-0.400=0.018
min	1607.249-1607.248=0.000
max	1608.151-1608.114=0.037

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	449.500-446.500=3.000
σ	8.660-7.000=1.660
min	442.000-443.000=-1.000
max	457.000

*mean*	2.693-2.677=0.016
σ	0.017-0.016=0.001
min	2.674-2.663=0.011
max	2.715-2.692=0.023

policies=200

*mean*	16083.392-16083.384=0.008
σ	0.077-0.117=-0.040
min	16083.302-16083.220=0.081
max	16083.460-16083.470=-0.010

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	498.500-497.750=0.750
σ	3.697-5.620=-1.923
min	494.000-492.000=2.000
max	503.000-505.000=-2.000

*mean*	27.229-27.235=-0.006
σ	0.070-0.099=-0.029
min	27.140-27.175=-0.036
max	27.288-27.383=-0.095