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.633
σ	0.000
min	558.633
max	558.633

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.889-54.575=0.314
σ	0.360-0.349=0.012
min	54.749-54.443=0.306
max	55.913-55.567=0.347

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.141-0.138=0.003
σ	0.005-0.006=-0.001
min	0.136-0.131=0.005
max	0.149-0.148=0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.854-43.706=0.148
σ	0.007-0.007=0.001
min	43.841-43.695=0.146
max	43.868-43.719=0.149

*mean*	417.000
σ	0.000
min	417.000
max	417.000

*mean*	0.123-0.123=-0.001
σ	0.006-0.005=0.001
min	0.115-0.116=-0.000
max	0.132-0.132=-0.000

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

*mean*	4042.500-4149.625=-107.125
σ	2009.182-1896.697=112.485
min	1218.000-1552.000=-334.000
max	7150.000-7290.000=-140.000

*mean*	12.284-12.732=-0.448
σ	0.269-0.257=0.012
min	11.932-12.316=-0.384
max	12.655-13.045=-0.389

op=column_set() on indexed, repeat

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

*mean*	4042.500-4149.625=-107.125
σ	2009.182-1896.697=112.485
min	1218.000-1552.000=-334.000
max	7150.000-7290.000=-140.000

*mean*	12.395-12.508=-0.112
σ	0.668-0.603=0.065
min	11.239-11.481=-0.242
max	12.863-13.248=-0.385

op=table_records(), no indexes

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

*mean*	7150.000-7290.000=-140.000
σ	0.000
min	7150.000-7290.000=-140.000
max	7150.000-7290.000=-140.000

*mean*	14.712-15.485=-0.773
σ	0.191-0.366=-0.176
min	14.418-14.709=-0.291
max	15.019-15.856=-0.837

op=table_records(), repeat

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

*mean*	4042.500-4149.625=-107.125
σ	2009.182-1896.697=112.485
min	1218.000-1552.000=-334.000
max	7150.000-7290.000=-140.000

*mean*	13.614-13.096=0.518
σ	1.559-1.838=-0.280
min	10.259-11.138=-0.879
max	15.279-15.377=-0.099

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

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

*mean*	4042.500-4149.625=-107.125
σ	2009.182-1896.697=112.485
min	1218.000-1552.000=-334.000
max	7150.000-7290.000=-140.000

*mean*	9.309-9.229=0.081
σ	1.357-0.475=0.881
min	8.292-8.568=-0.275
max	12.373-9.793=2.580

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

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

*mean*	4042.500-4149.625=-107.125
σ	2009.182-1896.697=112.485
min	1218.000-1552.000=-334.000
max	7150.000-7290.000=-140.000

*mean*	7.234-6.554=0.680
σ	1.224-0.334=0.889
min	6.218-5.963=0.255
max	9.914-6.966=2.949

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.668-25.666=0.002
σ	0.004-0.002=0.003
min	25.666-25.665=0.001
max	25.678-25.668=0.009

*mean*	4042.500-4149.625=-107.125
σ	2009.182-1896.697=112.485
min	1218.000-1552.000=-334.000
max	7150.000-7290.000=-140.000

*mean*	5.589-6.069=-0.480
σ	0.093-0.213=-0.120
min	5.388-5.768=-0.379
max	5.682-6.401=-0.719

op=vertical_lookup_row_list() on 3 (1 unindexed)

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

*mean*	4042.500-4149.625=-107.125
σ	2009.182-1896.697=112.485
min	1218.000-1552.000=-334.000
max	7150.000-7290.000=-140.000

*mean*	5.399-5.749=-0.351
σ	0.071-0.226=-0.154
min	5.290-5.438=-0.148
max	5.493-6.012=-0.518

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.613-2524.606=-1502.993
σ	0.002-0.000=0.002
min	1021.612-2524.605=-1502.994
max	1021.616-2524.606=-1502.991

*mean*	7150.000-7290.000=-140.000
σ	0.000
min	7150.000-7290.000=-140.000
max	7150.000-7290.000=-140.000

*mean*	377.478-1335.091=-957.614
σ	84.374-604.639=-520.265
min	343.600-1033.938=-690.338
max	586.202-2791.194=-2204.991

op=load_product(), with indexes

*mean*	7917.793-8744.722=-826.929
σ	0.469-0.469=-0.000
min	7917.625-8744.553=-826.928
max	7918.954-8745.883=-826.930

*mean*	3273.500-3572.625=-299.125
σ	1824.195-1793.779=30.416
min	809.000-1047.000=-238.000
max	5622.000-5791.000=-169.000

*mean*	3612.105-5040.409=-1428.304
σ	1033.662-1665.686=-632.023
min	3102.533-3506.098=-403.565
max	5982.640-7261.491=-1278.851

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

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

*mean*	4042.500-4149.625=-107.125
σ	2009.182-1896.697=112.485
min	1218.000-1552.000=-334.000
max	7150.000-7290.000=-140.000

*mean*	88.697-84.111=4.586
σ	21.347-10.578=10.770
min	69.828-70.799=-0.971
max	121.334-99.314=22.020

op=vertical_lookup_list() on unindexed missing Int

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

*mean*	7150.000-7290.000=-140.000
σ	0.000
min	7150.000-7290.000=-140.000
max	7150.000-7290.000=-140.000

*mean*	60.479-107.285=-46.806
σ	0.293-4.086=-3.793
min	60.006-98.112=-38.107
max	60.814-109.992=-49.178

op=vertical_lookup_row_list() on unindexed small unique Int

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

*mean*	7150.000-7290.000=-140.000
σ	0.000
min	7150.000-7290.000=-140.000
max	7150.000-7290.000=-140.000

*mean*	99.679-164.229=-64.550
σ	0.685-8.864=-8.180
min	98.209-143.849=-45.640
max	100.543-170.260=-69.717

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	14217.171-11656.836=2560.335
σ	4.304-4.324=-0.020
min	14215.576-11655.305=2560.271
max	14227.821-11667.537=2560.283

*mean*	4042.500-4149.625=-107.125
σ	2009.182-1896.697=112.485
min	1218.000-1552.000=-334.000
max	7150.000-7290.000=-140.000

*mean*	7827.543-6325.082=1502.461
σ	1871.453-1177.293=694.160
min	6012.739-4881.249=1131.489
max	10683.885-7900.242=2783.643

op=vertical_lookup_list() on indexed

*mean*	13159.109-11560.065=1599.044
σ	0.002-0.001=0.001
min	13159.106-11560.064=1599.042
max	13159.110-11560.066=1599.044

*mean*	7150.000-7290.000=-140.000
σ	0.000
min	7150.000-7290.000=-140.000
max	7150.000-7290.000=-140.000

*mean*	5121.913-5118.083=3.830
σ	191.316-1213.303=-1021.987
min	5004.673-4399.571=605.102
max	5502.942-7567.563=-2064.621

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

*mean*	371.718-377.757=-6.039
σ	25.232-18.256=6.976
min	331.123-347.410=-16.286
max	392.931-392.502=0.428

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	562.000-560.000=2.000
σ	0.000
min	562.000-560.000=2.000
max	562.000-560.000=2.000

*mean*	763.882-760.213=3.669
σ	27.820-43.946=-16.126
min	716.173-660.788=55.385
max	783.360-801.183=-17.824

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.299-1008.502=15.798
σ	0.759-0.760=-0.001
min	1023.827-1008.025=15.802
max	1027.438-1011.641=15.797

*mean*	1053.600-1054.650=-1.050
σ	312.486-309.709=2.777
min	569.000-561.000=8.000
max	1511.000-1467.000=44.000

*mean*	1.548-1.515=0.033
σ	0.047-0.063=-0.017
min	1.486-1.463=0.022
max	1.645-1.733=-0.088

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.285-0.457=-0.172
σ	0.263-0.487=-0.224
min	0.141-0.154=-0.013
max	0.751-1.306=-0.556

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.471-0.474=-0.003
σ	0.321-0.322=-0.001
min	0.316-0.317=-0.001
max	1.045-1.050=-0.005

name=heavy_item.art

*mean*	1.522-1.522=0.000
σ	0.002
min	1.521-1.521=0.000
max	1.525-1.525=0.000

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.219-0.221=-0.001
σ	0.021-0.019=0.002
min	0.201-0.205=-0.004
max	0.255-0.253=0.002

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.328-0.336=-0.008
σ	0.018-0.018=-0.000
min	0.314-0.319=-0.005
max	0.357-0.365=-0.007

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.840-964.741=0.099
σ	0.011
min	964.835-964.736=0.099
max	964.859-964.760=0.099

*mean*	431.000-436.600=-5.600
σ	0.000-6.066=-6.066
min	431.000
max	431.000-443.000=-12.000

*mean*	0.531-0.526=0.004
σ	0.051-0.050=0.002
min	0.484-0.479=0.005
max	0.609-0.607=0.002

name=cdr_enhanced_4k_loc.art

*mean*	885.820-885.814=0.007
σ	0.002
min	885.819-885.812=0.007
max	885.823-885.816=0.007

*mean*	431.000-443.000=-12.000
σ	0.000
min	431.000-443.000=-12.000
max	431.000-443.000=-12.000

*mean*	0.497-0.462=0.035
σ	0.029-0.047=-0.018
min	0.446-0.394=0.052
max	0.518-0.524=-0.005

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.709-7.708=0.001
σ	0.002
min	7.708-7.707=0.001
max	7.712-7.711=0.001

*mean*	431.000-443.000=-12.000
σ	0.000
min	431.000-443.000=-12.000
max	431.000-443.000=-12.000

*mean*	2.590-2.605=-0.015
σ	0.089-0.082=0.007
min	2.452-2.462=-0.010
max	2.868-2.893=-0.025

name=record_render_large_syntax_err.art

*mean*	7.657-7.656=0.001
σ	0.002
min	7.656-7.655=0.001
max	7.660-7.659=0.001

*mean*	431.000-443.000=-12.000
σ	0.000
min	431.000-443.000=-12.000
max	431.000-443.000=-12.000

*mean*	2.590-2.583=0.007
σ	0.097-0.086=0.011
min	2.453-2.461=-0.007
max	2.895-3.069=-0.174

name=record_render_success.art

*mean*	2.289-2.289=0.000
σ	0.002
min	2.289-2.288=0.000
max	2.293-2.292=0.000

*mean*	431.000-443.000=-12.000
σ	0.000
min	431.000-443.000=-12.000
max	431.000-443.000=-12.000

*mean*	0.310-0.303=0.007
σ	0.024-0.010=0.014
min	0.290-0.288=0.002
max	0.519-0.373=0.146

name=record_render_syntax_err.art

*mean*	2.165-2.165=0.000
σ	0.002
min	2.164-2.164=0.000
max	2.168-2.168=0.000

*mean*	431.000-443.000=-12.000
σ	0.000
min	431.000-443.000=-12.000
max	431.000-443.000=-12.000

*mean*	0.296-0.295=0.001
σ	0.013-0.047=-0.034
min	0.280-0.273=0.007
max	0.385-0.753=-0.368

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.462-297.956=0.505
σ	1.011-1.000=0.010
min	298.056-297.583=0.473
max	301.336-300.799=0.536

*mean*	441.200-442.900=-1.700
σ	13.497-18.640=-5.142
min	420.000-416.000=4.000
max	461.000-467.000=-6.000

*mean*	0.590-0.617=-0.027
σ	0.032-0.012=0.020
min	0.529-0.600=-0.071
max	0.643-0.636=0.007

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	954.000-1744.000=-790.000
σ	22.627-0.000=22.627
min	898.000-1744.000=-846.000
max	962.000-1744.000=-782.000

*mean*	209.425-215.517=-6.092
σ	3.552-22.520=-18.968
min	203.721-205.092=-1.371
max	213.507-270.978=-57.471

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	953.250-1744.000=-790.750
σ	24.749-0.000=24.749
min	892.000-1744.000=-852.000
max	962.000-1744.000=-782.000

*mean*	9.290-10.732=-1.442
σ	2.033-1.539=0.495
min	6.389-9.362=-2.974
max	12.718-12.609=0.109

phase=parser

*mean*	1042.363-1042.099=0.264
σ	0.000-0.000=0.000
min	1042.363-1042.098=0.265
max	1042.364-1042.099=0.265

*mean*	953.250-1744.000=-790.750
σ	24.749-0.000=24.749
min	892.000-1744.000=-852.000
max	962.000-1744.000=-782.000

*mean*	492.159-660.536=-168.377
σ	76.861-63.350=13.511
min	383.675-572.848=-189.173
max	634.035-728.305=-94.270

phase=processProdDef

*mean*	4850.767-6169.656=-1318.888
σ	0.000-0.001=-0.001
min	4850.767-6169.655=-1318.888
max	4850.767-6169.657=-1318.889

*mean*	962.000-1744.000=-782.000
σ	0.000
min	962.000-1744.000=-782.000
max	962.000-1744.000=-782.000

*mean*	4945.396-5593.148=-647.752
σ	395.300-1484.733=-1089.434
min	4412.889-3461.004=951.885
max	5408.975-7323.249=-1914.274

phase=renaming

*mean*	21.671-21.667=0.004
σ	0.000
min	21.671-21.667=0.004
max	21.671-21.667=0.004

*mean*	953.250-1744.000=-790.750
σ	24.749-0.000=24.749
min	892.000-1744.000=-852.000
max	962.000-1744.000=-782.000

*mean*	36.401-43.382=-6.981
σ	9.817-5.415=4.402
min	20.874-34.184=-13.309
max	47.294-49.716=-2.422

phase=type checker

*mean*	990.454-958.457=31.997
σ	0.071-0.066=0.005
min	990.348-958.360=31.989
max	990.567-958.547=32.020

*mean*	953.875-1744.000=-790.125
σ	22.981-0.000=22.981
min	897.000-1744.000=-847.000
max	962.000-1744.000=-782.000

*mean*	688.169-795.471=-107.303
σ	30.834-85.665=-54.832
min	643.360-660.556=-17.196
max	754.954-881.200=-126.246

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.820-293.689=0.131
σ	0.038-0.041=-0.003
min	293.767-293.631=0.136
max	293.859-293.732=0.127

*mean*	442.400-445.000=-2.600
σ	0.548-0.000=0.548
min	442.000-445.000=-3.000
max	443.000-445.000=-2.000

*mean*	0.393-0.404=-0.010
σ	0.001-0.009=-0.007
min	0.392-0.397=-0.005
max	0.395-0.419=-0.024

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.199-1303.777=16.422
σ	0.091-0.085=0.006
min	1320.084-1303.648=16.435
max	1320.338-1303.856=16.482

*mean*	1065.400-1099.200=-33.800
σ	165.364-190.985=-25.621
min	842.000-837.000=5.000
max	1267.000-1329.000=-62.000

*mean*	2.145-2.124=0.021
σ	0.205-0.334=-0.129
min	2.020-1.813=0.207
max	2.505-2.613=-0.108

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.617-1546.814=13.803
σ	6.232-4.045=2.187
min	1557.616-1544.806=12.811
max	1571.759-1554.044=17.715

*mean*	618.200-618.000=0.200
σ	82.309-80.215=2.093
min	494.000-497.000=-3.000
max	715.000-712.000=3.000

*mean*	2.383-2.282=0.101
σ	0.252-0.209=0.043
min	2.086-2.143=-0.057
max	2.717-2.644=0.072

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.184-1865.781=16.403
σ	0.069-0.068=0.001
min	1882.102-1865.723=16.379
max	1882.274-1865.892=16.383

*mean*	1708.600-1729.400=-20.800
σ	257.757-176.452=81.305
min	1393.000-1479.000=-86.000
max	2051.000-1891.000=160.000

*mean*	2.955-3.097=-0.141
σ	0.097-0.353=-0.256
min	2.832-2.892=-0.061
max	3.079-3.725=-0.646

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.738-1.583=0.154
σ	0.168-0.110=0.058
min	1.463-1.388=0.075
max	1.910-1.650=0.260

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.082-447.981=4.101
σ	582.722-579.242=3.481
min	160.720-158.357=2.363
max	1326.166-1316.844=9.322

*mean*	102.250-96.250=6.000
σ	8.500
min	98.000-92.000=6.000
max	115.000-109.000=6.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.536-0.543=-0.007
σ	0.535-0.547=-0.012
min	0.266-0.268=-0.002
max	1.339-1.363=-0.024

policies=20

*mean*	1607.506-1583.923=23.583
σ	0.412-0.360=0.052
min	1607.228-1583.674=23.555
max	1608.116-1584.455=23.661

*mean*	980.000-920.000=60.000
σ	0.000
min	980.000-920.000=60.000
max	980.000-920.000=60.000

*mean*	449.000-444.500=4.500
σ	8.083-1.000=7.083
min	442.000-443.000=-1.000
max	456.000-445.000=11.000

*mean*	2.688-2.654=0.033
σ	0.011-0.007=0.004
min	2.674-2.647=0.027
max	2.697-2.664=0.033

policies=200

*mean*	16083.472-15847.071=236.401
σ	0.173-0.187=-0.014
min	16083.295-15846.965=236.330
max	16083.692-15847.351=236.341

*mean*	9800.000-9200.000=600.000
σ	0.000
min	9800.000-9200.000=600.000
max	9800.000-9200.000=600.000

*mean*	496.500-496.000=0.500
σ	3.317-5.292=-1.975
min	492.000-491.000=1.000
max	500.000-503.000=-3.000

*mean*	27.154-26.631=0.523
σ	0.062-0.193=-0.132
min	27.098-26.441=0.656
max	27.233-26.848=0.385