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.700-54.698=0.003
σ	0.366-0.366=-0.000
min	54.565-54.560=0.005
max	55.741-55.738=0.002

*mean*	414.000-416.000=-2.000
σ	0.000
min	414.000-416.000=-2.000
max	414.000-416.000=-2.000

*mean*	0.140-0.137=0.003
σ	0.005-0.005=-0.000
min	0.133-0.130=0.002
max	0.148-0.145=0.003

cache=y

dps=1

iters=10

policies=100

*mean*	43.776-43.778=-0.001
σ	0.006-0.008=-0.002
min	43.768-43.770=-0.002
max	43.787-43.794=-0.008

*mean*	414.000-416.000=-2.000
σ	0.000
min	414.000-416.000=-2.000
max	414.000-416.000=-2.000

*mean*	0.123-0.122=0.002
σ	0.004-0.005=-0.001
min	0.118-0.116=0.002
max	0.130-0.129=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.605-36.606=-0.000

*mean*	4586.250-4590.125=-3.875
σ	2254.986-2248.430=6.556
min	1485.000-1487.000=-2.000
max	7407.000-7384.000=23.000

*mean*	13.664-149.227=-135.564
σ	3.643-387.452=-383.808
min	11.929-11.819=0.110
max	22.517-1108.121=-1085.604

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*	4586.250-4590.125=-3.875
σ	2254.986-2248.430=6.556
min	1485.000-1487.000=-2.000
max	7407.000-7384.000=23.000

*mean*	13.803-13.864=-0.061
σ	3.237-3.411=-0.174
min	12.169-11.827=0.342
max	21.792-22.252=-0.460

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.943=0.000

*mean*	7407.000-7384.000=23.000
σ	0.000
min	7407.000-7384.000=23.000
max	7407.000-7384.000=23.000

*mean*	11.212-11.553=-0.341
σ	0.364-1.182=-0.818
min	10.775-10.904=-0.129
max	11.841-14.405=-2.564

op=table_records(), repeat

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

*mean*	4171.750-4180.250=-8.500
σ	1946.018-1944.725=1.293
min	1485.000-1487.000=-2.000
max	7407.000-7384.000=23.000

*mean*	11.591-11.724=-0.133
σ	1.815-1.898=-0.083
min	10.701-10.714=-0.013
max	16.073-16.385=-0.311

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

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

*mean*	4171.750-4180.250=-8.500
σ	1946.018-1944.725=1.293
min	1485.000-1487.000=-2.000
max	7407.000-7384.000=23.000

*mean*	9.175-9.168=0.006
σ	1.358-1.391=-0.033
min	8.040-8.061=-0.021
max	12.453-12.551=-0.099

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

*mean*	4171.750-4180.250=-8.500
σ	1946.018-1944.725=1.293
min	1485.000-1487.000=-2.000
max	7407.000-7384.000=23.000

*mean*	7.269-7.002=0.266
σ	0.948-1.147=-0.199
min	6.659-5.860=0.798
max	9.593-9.726=-0.134

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*	4586.250-4590.125=-3.875
σ	2254.986-2248.430=6.556
min	1485.000-1487.000=-2.000
max	7407.000-7384.000=23.000

*mean*	6.429-6.448=-0.019
σ	0.979-0.948=0.031
min	5.921-6.007=-0.086
max	8.837-8.788=0.048

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.962-25.962=0.000
σ	0.001-0.001=0.000
min	25.962
max	25.964-25.964=0.000

*mean*	4586.250-4590.125=-3.875
σ	2254.986-2248.430=6.556
min	1485.000-1487.000=-2.000
max	7407.000-7384.000=23.000

*mean*	6.275-6.129=0.146
σ	1.047-0.912=0.135
min	5.716-5.665=0.051
max	8.845-8.373=0.472

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*	7407.000-7384.000=23.000
σ	0.000
min	7407.000-7384.000=23.000
max	7407.000-7384.000=23.000

*mean*	360.109-346.058=14.051
σ	40.887-1.127=39.761
min	343.032-344.080=-1.048
max	461.220-347.739=113.481

op=load_product(), with indexes

*mean*	3495.846-3495.846=-0.000
σ	0.455-0.455=0.000
min	3495.685-3495.685=-0.000
max	3496.972

*mean*	3750.375-3757.125=-6.750
σ	2298.960-2299.350=-0.391
min	720.000
max	7407.000-7384.000=23.000

*mean*	1600.703-1703.241=-102.538
σ	486.593-550.802=-64.209
min	1396.360-1389.732=6.628
max	2794.624-2620.302=174.323

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense, minor warmup

*mean*	107.842-107.841=0.000
σ	0.000-0.000=0.000
min	107.841-107.841=0.000
max	107.842-107.842=0.001

*mean*	4407.000-4409.250=-2.250
σ	2226.519-2217.994=8.525
min	1485.000-1487.000=-2.000
max	7407.000-7384.000=23.000

*mean*	262.636-203.842=58.795
σ	347.350-179.213=168.137
min	131.019-129.555=1.465
max	1121.355-644.810=476.545

op=column_set() on unindexed, dense, repeat

*mean*	62.069-62.069=0.000
σ	0.001-0.001=0.000
min	62.065
max	62.070-62.069=0.001

*mean*	4586.250-4409.250=177.000
σ	2254.986-2217.994=36.992
min	1485.000-1487.000=-2.000
max	7407.000-7384.000=23.000

*mean*	212.825-43.675=169.149
σ	471.286-1.909=469.378
min	40.945-41.232=-0.287
max	1379.029-46.197=1332.832

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.927-40.927=-0.000
σ	0.002-0.002=0.000
min	40.926
max	40.930

*mean*	7407.000-7384.000=23.000
σ	0.000
min	7407.000-7384.000=23.000
max	7407.000-7384.000=23.000

*mean*	22.222-192.162=-169.939
σ	1.961-480.275=-478.315
min	21.242-21.314=-0.072
max	27.025-1380.771=-1353.745

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

*mean*	7407.000-7384.000=23.000
σ	0.000
min	7407.000-7384.000=23.000
max	7407.000-7384.000=23.000

*mean*	314.030-64.911=249.119
σ	728.274-20.910=707.364
min	55.846-55.688=0.158
max	2116.414-116.026=2000.389

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4171.750-4180.250=-8.500
σ	1946.018-1944.725=1.293
min	1485.000-1487.000=-2.000
max	7407.000-7384.000=23.000

*mean*	3175.532-3240.071=-64.539
σ	826.230-832.435=-6.204
min	2546.762-2507.859=38.903
max	4518.857-4850.811=-331.955

op=vertical_lookup_list() on indexed

*mean*	1973.830
σ	0.002
min	1973.829
max	1973.833

*mean*	7407.000-7384.000=23.000
σ	0.000
min	7407.000-7384.000=23.000
max	7407.000-7384.000=23.000

*mean*	1058.957-1001.254=57.703
σ	248.665-172.421=76.245
min	916.687-909.561=7.125
max	1632.327-1404.128=228.198

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

*mean*	905.084
σ	0.002
min	905.082
max	905.087

*mean*	7407.000-7384.000=23.000
σ	0.000
min	7407.000-7384.000=23.000
max	7407.000-7384.000=23.000

*mean*	412.742-395.576=17.166
σ	39.445-7.880=31.565
min	393.399-381.284=12.115
max	509.887-408.965=100.922

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

*mean*	375.270-369.041=6.228
σ	28.271-31.398=-3.127
min	310.794-314.489=-3.696
max	400.808-421.331=-20.523

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	568.125-563.000=5.125
σ	2.475-0.000=2.475
min	562.000-563.000=-1.000
max	569.000-563.000=6.000

*mean*	731.813-720.457=11.357
σ	48.338-77.628=-29.290
min	630.651-600.940=29.711
max	803.820-818.127=-14.307

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.558-964.556=0.001
σ	1.879-1.879=0.000
min	963.838-963.840=-0.002
max	972.508-972.506=0.003

*mean*	1042.850-1034.400=8.450
σ	317.811-310.466=7.345
min	562.000-542.000=20.000
max	1512.000-1533.000=-21.000

*mean*	1.282-1.276=0.006
σ	0.154-0.171=-0.018
min	1.165-1.167=-0.002
max	1.694-1.932=-0.238

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.400-0.300=0.101
σ	0.513-0.314=0.198
min	0.144-0.130=0.014
max	1.315-0.856=0.458

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.476-0.480=-0.004
σ	0.320-0.316=0.004
min	0.323-0.328=-0.005
max	1.048-1.046=0.002

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.220-0.216=0.005
σ	0.027-0.024=0.003
min	0.200-0.200=0.000
max	0.267-0.258=0.009

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.336-0.339=-0.003
σ	0.023-0.017=0.006
min	0.319-0.327=-0.008
max	0.375-0.368=0.007

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.521-0.483=0.038
σ	0.049-0.042=0.007
min	0.447-0.435=0.012
max	0.582-0.529=0.053

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.472-0.466=0.006
σ	0.053-0.017=0.036
min	0.388-0.436=-0.048
max	0.522-0.478=0.044

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.637-2.615=0.022
σ	0.113-0.114=-0.002
min	2.448-2.457=-0.010
max	3.243-3.109=0.134

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.592-2.658=-0.067
σ	0.093-0.107=-0.014
min	2.452-2.464=-0.011
max	3.007-3.061=-0.053

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.306-0.302=0.004
σ	0.012-0.008=0.004
min	0.292-0.285=0.007
max	0.378-0.353=0.025

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.302-0.293=0.009
σ	0.096-0.009=0.087
min	0.279-0.278=0.000
max	1.249-0.342=0.908

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.793-11.855=-0.062
σ	11.917-12.582=-0.666
min	0.574-0.574=-0.000
max	98.236-134.638=-36.402

*mean*	463.091-462.309=0.782
σ	17.604-18.372=-0.768
min	410.000-406.000=4.000
max	475.000-478.000=-3.000

*mean*	0.027-0.027=0.000
σ	0.029-0.031=-0.001
min	0.001-0.001=-0.000
max	0.234-0.337=-0.102

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	279.348-279.169=0.180
σ	1.014-1.045=-0.031
min	278.886-278.573=0.313
max	282.221-282.121=0.101

*mean*	442.600-442.900=-0.300
σ	14.615-15.560=-0.945
min	425.000-426.000=-1.000
max	471.000-472.000=-1.000

*mean*	0.559-0.574=-0.014
σ	0.039-0.021=0.018
min	0.500-0.536=-0.036
max	0.624-0.610=0.014

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*	873.000-874.000=-1.000
σ	0.000
min	873.000-874.000=-1.000
max	873.000-874.000=-1.000

*mean*	146.412-148.412=-2.000
σ	12.690-11.947=0.742
min	132.707-135.052=-2.345
max	168.149-163.222=4.928

phase=macro expansion

*mean*	5.894
σ	0.000
min	5.894
max	5.894

*mean*	873.000-874.000=-1.000
σ	0.000
min	873.000-874.000=-1.000
max	873.000-874.000=-1.000

*mean*	8.536-9.653=-1.118
σ	1.090-1.148=-0.058
min	5.852-7.930=-2.079
max	9.161-11.809=-2.648

phase=parser

*mean*	1042.133-1042.136=-0.002
σ	0.000-0.000=-0.000
min	1042.133-1042.135=-0.002
max	1042.134-1042.136=-0.002

*mean*	873.000-874.000=-1.000
σ	0.000
min	873.000-874.000=-1.000
max	873.000-874.000=-1.000

*mean*	595.046-587.276=7.770
σ	32.085-142.998=-110.913
min	516.145-374.944=141.201
max	610.897-727.291=-116.395

phase=processProdDef

*mean*	2241.190-2241.192=-0.002
σ	0.000
min	2241.190-2241.192=-0.002
max	2241.190-2241.192=-0.002

*mean*	873.000-874.000=-1.000
σ	0.000
min	873.000-874.000=-1.000
max	873.000-874.000=-1.000

*mean*	3007.883-2824.499=183.384
σ	243.537-592.224=-348.686
min	2581.214-1922.708=658.506
max	3312.303-3381.495=-69.191

phase=renaming

*mean*	21.430
σ	0.000
min	21.430
max	21.430

*mean*	873.000-874.000=-1.000
σ	0.000
min	873.000-874.000=-1.000
max	873.000-874.000=-1.000

*mean*	44.703-36.737=7.966
σ	5.295-7.282=-1.988
min	33.702-26.401=7.301
max	49.309-47.137=2.172

phase=type checker

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

*mean*	873.000-874.000=-1.000
σ	0.000
min	873.000-874.000=-1.000
max	873.000-874.000=-1.000

*mean*	665.089-730.877=-65.788
σ	18.420-86.514=-68.094
min	637.028-617.096=19.932
max	682.463-852.054=-169.591

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.855-282.855=-0.001
σ	0.037-0.039=-0.002
min	282.801-282.801=-0.000
max	282.890-282.895=-0.005

*mean*	444.000
σ	0.000
min	444.000
max	444.000

*mean*	0.380-0.383=-0.003
σ	0.003-0.013=-0.010
min	0.375-0.373=0.002
max	0.382-0.397=-0.015

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.055-1268.049=0.006
σ	0.106-0.109=-0.003
min	1267.957-1267.951=0.006
max	1268.233-1268.231=0.003

*mean*	1092.000-1086.800=5.200
σ	169.518-163.385=6.133
min	892.000
max	1326.000-1309.000=17.000

*mean*	2.034-2.052=-0.018
σ	0.224-0.134=0.089
min	1.782-1.867=-0.084
max	2.376-2.233=0.144

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.018-1507.015=0.003
σ	2.943-2.982=-0.039
min	1505.475-1505.447=0.028
max	1512.269-1512.337=-0.068

*mean*	626.000-625.000=1.000
σ	87.164-87.316=-0.152
min	496.000-495.000=1.000
max	728.000-727.000=1.000

*mean*	2.171-2.221=-0.050
σ	0.087-0.216=-0.129
min	2.102-2.089=0.013
max	2.318-2.599=-0.281

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.065-1830.052=0.013
σ	0.038-0.047=-0.008
min	1830.002-1829.983=0.019
max	1830.102-1830.104=-0.002

*mean*	1723.600-1730.200=-6.600
σ	184.982-180.205=4.777
min	1465.000-1475.000=-10.000
max	1892.000-1897.000=-5.000

*mean*	2.950-3.016=-0.066
σ	0.177-0.311=-0.133
min	2.818-2.812=0.006
max	3.262-3.567=-0.305

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.737-1.652=0.085
σ	0.087-0.107=-0.020
min	1.622-1.530=0.092
max	1.843-1.821=0.022

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	405.945-405.944=0.001
σ	509.285-509.286=-0.001
min	151.297-151.296=0.000
max	1169.872-1169.872=0.000

*mean*	101.750
σ	7.500
min	98.000
max	113.000

*mean*	444.000
σ	0.000
min	444.000
max	444.000

*mean*	0.496-0.503=-0.007
σ	0.487-0.498=-0.011
min	0.248-0.251=-0.003
max	1.226-1.249=-0.023

policies=20

*mean*	1513.158-1513.143=0.015
σ	0.268-0.261=0.007
min	1512.985-1512.976=0.009
max	1513.555-1513.529=0.026

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	451.000-451.250=-0.250
σ	10.100-11.871=-1.771
min	444.000
max	466.000-469.000=-3.000

*mean*	2.494-2.487=0.007
σ	0.022-0.007=0.015
min	2.467-2.478=-0.012
max	2.519-2.493=0.027

policies=200

*mean*	15140.092-15140.019=0.074
σ	0.094-0.093=0.001
min	15139.958-15139.947=0.011
max	15140.164-15140.153=0.011

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	497.250-498.500=-1.250
σ	4.113-4.203=-0.090
min	492.000-494.000=-2.000
max	502.000-504.000=-2.000

*mean*	24.971-25.090=-0.120
σ	0.141-0.055=0.086
min	24.849-25.045=-0.196
max	25.164-25.170=-0.007