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.888-54.677=0.211
σ	0.359-0.359=0.001
min	54.751-54.542=0.209
max	55.910-55.697=0.212

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

*mean*	0.139-0.139=-0.000
σ	0.005-0.006=-0.001
min	0.133-0.130=0.002
max	0.150-0.152=-0.002

cache=y

dps=1

iters=10

policies=100

*mean*	43.856-43.703=0.152
σ	0.006-0.005=0.001
min	43.845-43.695=0.150
max	43.868-43.711=0.157

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

*mean*	0.125-0.123=0.001
σ	0.004-0.004=-0.000
min	0.121-0.120=0.001
max	0.132-0.131=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-36.616=-0.000
max	36.620-36.620=0.000

*mean*	4058.000-3877.375=180.625
σ	2009.113-1849.860=159.253
min	1232.000-1279.000=-47.000
max	7145.000-6166.000=979.000

*mean*	13.894-13.230=0.664
σ	3.104-0.361=2.743
min	12.384-12.807=-0.423
max	21.540-13.683=7.857

op=column_set() on indexed, repeat

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

*mean*	4058.000-3877.375=180.625
σ	2009.113-1849.860=159.253
min	1232.000-1279.000=-47.000
max	7145.000-6166.000=979.000

*mean*	13.800-13.109=0.691
σ	3.232-0.811=2.421
min	11.938-11.688=0.251
max	21.672-14.102=7.570

op=table_records(), no indexes

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

*mean*	7145.000-6166.000=979.000
σ	0.000
min	7145.000-6166.000=979.000
max	7145.000-6166.000=979.000

*mean*	15.119-15.346=-0.227
σ	0.241-0.454=-0.214
min	14.860-14.308=0.552
max	15.589-15.728=-0.139

op=table_records(), repeat

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

*mean*	3902.125-3877.375=24.750
σ	1914.266-1849.860=64.406
min	1232.000-1279.000=-47.000
max	7145.000-6166.000=979.000

*mean*	13.955-13.584=0.371
σ	1.687-1.738=-0.050
min	11.165-11.534=-0.369
max	15.209-15.506=-0.297

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-27.604=0.000
max	27.991-27.991=-0.000

*mean*	3902.125-3877.375=24.750
σ	1914.266-1849.860=64.406
min	1232.000-1279.000=-47.000
max	7145.000-6166.000=979.000

*mean*	9.188-9.266=-0.077
σ	0.705-0.871=-0.166
min	8.210-8.478=-0.268
max	10.698-11.125=-0.427

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

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

*mean*	3902.125-3877.375=24.750
σ	1914.266-1849.860=64.406
min	1232.000-1279.000=-47.000
max	7145.000-6166.000=979.000

*mean*	7.010-7.067=-0.058
σ	0.544-0.867=-0.323
min	6.248-6.253=-0.005
max	8.105-9.111=-1.005

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.668-25.669=-0.001
σ	0.004-0.003=0.002
min	25.665-25.666=-0.000
max	25.678-25.674=0.004

*mean*	4058.000-3877.375=180.625
σ	2009.113-1849.860=159.253
min	1232.000-1279.000=-47.000
max	7145.000-6166.000=979.000

*mean*	6.355-6.139=0.216
σ	1.038-0.092=0.946
min	5.839-6.040=-0.201
max	8.914-6.333=2.582

op=vertical_lookup_row_list() on 3 (1 unindexed)

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

*mean*	4058.000-3877.375=180.625
σ	2009.113-1849.860=159.253
min	1232.000-1279.000=-47.000
max	7145.000-6166.000=979.000

*mean*	6.147-5.873=0.273
σ	1.002-0.122=0.880
min	5.714-5.686=0.028
max	8.622-6.017=2.605

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.613-2524.604=-1502.991
σ	0.002-0.002=-0.000
min	1021.612-2524.602=-1502.990
max	1021.616-2524.606=-1502.991

*mean*	7145.000-6166.000=979.000
σ	0.000
min	7145.000-6166.000=979.000
max	7145.000-6166.000=979.000

*mean*	381.191-1320.734=-939.543
σ	92.509-513.648=-421.139
min	343.961-1031.058=-687.097
max	609.851-2203.198=-1593.347

op=load_product(), with indexes

*mean*	7917.793-7878.103=39.690
σ	0.469-0.469=-0.001
min	7917.625-7877.934=39.691
max	7918.952-7879.264=39.689

*mean*	3287.250-3235.875=51.375
σ	1835.830-1840.814=-4.984
min	814.000-809.000=5.000
max	5648.000-6166.000=-518.000

*mean*	3752.123-3816.467=-64.344
σ	1148.169-1318.182=-170.013
min	3079.062-3090.221=-11.160
max	6151.229-6234.716=-83.487

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

*mean*	62.078-62.078=-0.000
σ	0.002-0.002=-0.000
min	62.076-62.076=-0.000
max	62.080-62.081=-0.001

*mean*	4058.000-3877.375=180.625
σ	2009.113-1849.860=159.253
min	1232.000-1279.000=-47.000
max	7145.000-6166.000=979.000

*mean*	207.167-85.248=121.919
σ	361.662-12.970=348.693
min	69.626-71.982=-2.356
max	1101.842-103.790=998.052

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.945=0.000
max	40.950-40.949=0.001

*mean*	7145.000-6166.000=979.000
σ	0.000
min	7145.000-6166.000=979.000
max	7145.000-6166.000=979.000

*mean*	60.805-64.034=-3.230
σ	1.436-2.939=-1.503
min	60.045-61.708=-1.663
max	64.298-68.723=-4.425

op=vertical_lookup_row_list() on unindexed small unique Int

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

*mean*	7145.000-6166.000=979.000
σ	0.000
min	7145.000-6166.000=979.000
max	7145.000-6166.000=979.000

*mean*	98.445-100.081=-1.636
σ	0.857-1.057=-0.200
min	97.311-98.161=-0.849
max	100.075-101.908=-1.833

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	14217.171-11849.156=2368.015
σ	4.303-4.304=-0.000
min	14215.576-11847.562=2368.014
max	14227.820-11859.806=2368.014

*mean*	3902.125-3877.375=24.750
σ	1914.266-1849.860=64.406
min	1232.000-1279.000=-47.000
max	7145.000-6166.000=979.000

*mean*	7725.407-6165.063=1560.344
σ	1881.024-1328.525=552.499
min	5958.037-4994.613=963.424
max	10565.848-8352.834=2213.013

op=vertical_lookup_list() on indexed

*mean*	13159.109-10791.093=2368.015
σ	0.002-0.002=-0.000
min	13159.106-10791.091=2368.015
max	13159.110-10791.096=2368.014

*mean*	7145.000-6166.000=979.000
σ	0.000
min	7145.000-6166.000=979.000
max	7145.000-6166.000=979.000

*mean*	5282.474-5124.827=157.647
σ	660.038-1496.231=-836.193
min	4964.803-4056.712=908.091
max	6863.682-7600.677=-736.995

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*	477.000-478.000=-1.000
σ	0.000
min	477.000-478.000=-1.000
max	477.000-478.000=-1.000

*mean*	376.280-375.938=0.342
σ	35.026-36.993=-1.966
min	289.966-294.922=-4.956
max	392.471-397.485=-5.014

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	554.500-559.250=-4.750
σ	3.742-0.463=3.279
min	551.000-559.000=-8.000
max	558.000-560.000=-2.000

*mean*	758.693-709.707=48.986
σ	49.548-74.399=-24.850
min	683.775-631.444=52.331
max	831.822-802.093=29.729

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.300-1024.327=-0.028
σ	0.758-0.759=-0.001
min	1023.823-1023.854=-0.031
max	1027.436-1027.463=-0.027

*mean*	1050.500-1055.400=-4.900
σ	316.744-321.728=-4.984
min	572.000-546.000=26.000
max	1520.000-1572.000=-52.000

*mean*	1.591-1.568=0.023
σ	0.099-0.075=0.024
min	1.503-1.493=0.009
max	1.808-1.775=0.033

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.494-0.295=0.199
σ	0.454-0.282=0.173
min	0.254-0.144=0.110
max	1.301-0.795=0.505

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.735-0.477=0.258
σ	0.297-0.322=-0.024
min	0.583-0.326=0.256
max	1.266-1.052=0.214

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.382-0.222=0.160
σ	0.043-0.017=0.026
min	0.357-0.207=0.150
max	0.459-0.250=0.209

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.587-0.336=0.251
σ	0.027-0.020=0.008
min	0.569-0.315=0.254
max	0.634-0.368=0.266

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*	430.400-431.600=-1.200
σ	0.894-1.342=-0.447
min	430.000-431.000=-1.000
max	432.000-434.000=-2.000

*mean*	0.606-0.547=0.059
σ	0.083-0.028=0.055
min	0.540-0.524=0.017
max	0.745-0.596=0.149

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	436.000-441.000=-5.000
σ	0.000
min	436.000-441.000=-5.000
max	436.000-441.000=-5.000

*mean*	0.482-0.492=-0.011
σ	0.028-0.061=-0.033
min	0.454-0.384=0.071
max	0.525-0.529=-0.004

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*	436.000-441.000=-5.000
σ	0.000
min	436.000-441.000=-5.000
max	436.000-441.000=-5.000

*mean*	1.988-2.632=-0.644
σ	0.094-0.106=-0.012
min	1.835-2.486=-0.651
max	2.521-3.107=-0.586

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	436.000-441.000=-5.000
σ	0.000
min	436.000-441.000=-5.000
max	436.000-441.000=-5.000

*mean*	1.967-2.600=-0.633
σ	0.062-0.072=-0.010
min	1.850-2.450=-0.600
max	2.205-2.833=-0.628

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	436.000-441.000=-5.000
σ	0.000
min	436.000-441.000=-5.000
max	436.000-441.000=-5.000

*mean*	0.304-0.318=-0.013
σ	0.009-0.016=-0.007
min	0.287-0.300=-0.013
max	0.355-0.400=-0.045

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	436.000-441.000=-5.000
σ	0.000
min	436.000-441.000=-5.000
max	436.000-441.000=-5.000

*mean*	0.289-0.302=-0.013
σ	0.008-0.012=-0.004
min	0.275-0.283=-0.008
max	0.329-0.343=-0.014

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.688-298.877=-0.189
σ	1.020-1.030=-0.009
min	298.280-298.432=-0.153
max	301.589-301.803=-0.214

*mean*	439.500-441.700=-2.200
σ	13.485-14.561=-1.076
min	416.000-420.000=-4.000
max	461.000-463.000=-2.000

*mean*	0.608-0.584=0.024
σ	0.008-0.035=-0.027
min	0.592-0.528=0.064
max	0.620-0.647=-0.027

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

*mean*	942.625-1722.875=-780.250
σ	18.031-11.667=6.364
min	898.000-1694.000=-796.000
max	949.000-1727.000=-778.000

*mean*	209.406-216.552=-7.146
σ	4.513-4.917=-0.404
min	203.923-211.321=-7.398
max	218.917-224.496=-5.579

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	941.125-1722.875=-781.750
σ	22.274-11.667=10.607
min	886.000-1694.000=-808.000
max	949.000-1727.000=-778.000

*mean*	9.373-10.566=-1.194
σ	0.850-1.864=-1.014
min	7.298-7.996=-0.698
max	9.957-12.766=-2.810

phase=parser

*mean*	1042.363-1042.367=-0.004
σ	0.000-0.000=0.000
min	1042.363-1042.367=-0.004
max	1042.364-1042.367=-0.004

*mean*	941.125-1722.875=-781.750
σ	22.274-11.667=10.607
min	886.000-1694.000=-808.000
max	949.000-1727.000=-778.000

*mean*	510.580-616.879=-106.298
σ	83.241-138.993=-55.751
min	409.435-378.342=31.092
max	620.843-732.337=-111.494

phase=processProdDef

*mean*	4850.767-4753.276=97.492
σ	0.000-0.000=-0.000
min	4850.767-4753.276=97.492
max	4850.767-4753.276=97.491

*mean*	949.000-1727.000=-778.000
σ	0.000
min	949.000-1727.000=-778.000
max	949.000-1727.000=-778.000

*mean*	4742.331-4462.991=279.340
σ	378.461-712.564=-334.103
min	4277.327-3416.204=861.123
max	5190.900-5512.233=-321.333

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	941.125-1722.875=-781.750
σ	22.274-11.667=10.607
min	886.000-1694.000=-808.000
max	949.000-1727.000=-778.000

*mean*	36.164-38.834=-2.671
σ	7.964-9.688=-1.724
min	20.858-25.845=-4.987
max	41.083-48.753=-7.670

phase=type checker

*mean*	990.454
σ	0.071
min	990.348
max	990.567

*mean*	942.500-1722.875=-780.375
σ	18.385-11.667=6.718
min	897.000-1694.000=-797.000
max	949.000-1727.000=-778.000

*mean*	768.040-800.070=-32.030
σ	117.706-77.514=40.192
min	646.884-695.720=-48.836
max	916.736-901.295=15.441

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.822-293.918=-0.096
σ	0.038-0.038=0.000
min	293.768-293.864=-0.096
max	293.862-293.957=-0.095

*mean*	443.400-445.200=-1.800
σ	0.548-0.447=0.101
min	443.000-445.000=-2.000
max	444.000-446.000=-2.000

*mean*	0.392-0.395=-0.002
σ	0.001-0.005=-0.004
min	0.392-0.392=-0.000
max	0.393-0.404=-0.011

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.217-1320.293=-0.076
σ	0.031-0.032=-0.001
min	1320.170-1320.246=-0.076
max	1320.246-1320.323=-0.078

*mean*	1066.000-1083.600=-17.600
σ	164.641-163.401=1.240
min	843.000-889.000=-46.000
max	1266.000-1306.000=-40.000

*mean*	2.230-2.338=-0.109
σ	0.092-0.199=-0.107
min	2.119-2.133=-0.014
max	2.327-2.582=-0.255

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.620-1559.439=1.181
σ	6.211-3.332=2.879
min	1557.649-1557.779=-0.130
max	1571.726-1565.391=6.335

*mean*	619.000-626.400=-7.400
σ	82.553-74.285=8.268
min	494.000-537.000=-43.000
max	716.000-724.000=-8.000

*mean*	2.316-2.306=0.010
σ	0.140-0.176=-0.036
min	2.223-2.183=0.039
max	2.551-2.605=-0.055

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.173-1882.264=-0.091
σ	0.057-0.064=-0.006
min	1882.107-1882.181=-0.074
max	1882.246-1882.348=-0.102

*mean*	1713.800-1721.800=-8.000
σ	261.987-174.012=87.975
min	1396.000-1472.000=-76.000
max	2064.000-1882.000=182.000

*mean*	2.950-3.114=-0.164
σ	0.041-0.238=-0.197
min	2.907-2.903=0.004
max	3.010-3.510=-0.500

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.772-1.744=0.028
σ	0.058-0.178=-0.120
min	1.686-1.521=0.165
max	1.842-1.953=-0.111

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.081-452.409=-0.328
σ	582.723-583.277=-0.554
min	160.717-160.769=-0.052
max	1326.166-1327.325=-1.159

*mean*	102.250
σ	8.500
min	98.000
max	115.000

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

*mean*	0.537-0.547=-0.010
σ	0.528-0.559=-0.031
min	0.267-0.266=0.001
max	1.328-1.385=-0.058

policies=20

*mean*	1607.527-1608.042=-0.514
σ	0.417-0.436=-0.019
min	1607.242-1607.747=-0.504
max	1608.145-1608.688=-0.543

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	450.000-444.250=5.750
σ	8.083-1.500=6.583
min	443.000-442.000=1.000
max	457.000-445.000=12.000

*mean*	2.690-2.727=-0.036
σ	0.014-0.068=-0.054
min	2.676-2.666=0.010
max	2.710-2.815=-0.106

policies=200

*mean*	16083.542-16088.474=-4.932
σ	0.127-0.321=-0.193
min	16083.465-16088.017=-4.551
max	16083.733-16088.768=-5.035

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	494.250-495.500=-1.250
σ	2.986-3.416=-0.430
min	490.000-491.000=-1.000
max	497.000-499.000=-2.000

*mean*	27.125-27.192=-0.067
σ	0.074-0.115=-0.041
min	27.048-27.093=-0.046
max	27.224-27.357=-0.132