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.887-54.679=0.209
σ	0.356-0.361=-0.005
min	54.754-54.541=0.213
max	55.900-55.706=0.193

*mean*	422.000-420.000=2.000
σ	0.000
min	422.000-420.000=2.000
max	422.000-420.000=2.000

*mean*	0.139-0.146=-0.007
σ	0.007-0.013=-0.006
min	0.131-0.132=-0.001
max	0.151-0.168=-0.017

cache=y

dps=1

iters=10

policies=100

*mean*	43.854-43.704=0.150
σ	0.004-0.006=-0.001
min	43.849-43.694=0.155
max	43.861-43.712=0.149

*mean*	422.000-420.000=2.000
σ	0.000
min	422.000-420.000=2.000
max	422.000-420.000=2.000

*mean*	0.123-0.123=0.000
σ	0.005-0.005=0.001
min	0.116-0.119=-0.003
max	0.132-0.132=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*	4034.750-3870.000=164.750
σ	2005.129-1852.861=152.268
min	1219.000-1279.000=-60.000
max	7134.000-6169.000=965.000

*mean*	12.924-12.204=0.721
σ	0.257-0.288=-0.031
min	12.461-11.889=0.573
max	13.267-12.690=0.577

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*	4034.750-3870.000=164.750
σ	2005.129-1852.861=152.268
min	1219.000-1279.000=-60.000
max	7134.000-6169.000=965.000

*mean*	12.517-12.529=-0.013
σ	0.549-0.336=0.212
min	11.869-11.785=0.084
max	13.657-12.831=0.826

op=table_records(), no indexes

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

*mean*	7134.000-6169.000=965.000
σ	0.000
min	7134.000-6169.000=965.000
max	7134.000-6169.000=965.000

*mean*	15.426-14.711=0.715
σ	0.175-0.336=-0.161
min	15.205-14.171=1.034
max	15.685-15.124=0.561

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.928=0.004

*mean*	4034.750-3870.000=164.750
σ	2005.129-1852.861=152.268
min	1219.000-1279.000=-60.000
max	7134.000-6169.000=965.000

*mean*	13.774-13.083=0.691
σ	1.602-1.625=-0.023
min	11.307-10.528=0.779
max	15.325-15.233=0.093

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

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

*mean*	4034.750-3870.000=164.750
σ	2005.129-1852.861=152.268
min	1219.000-1279.000=-60.000
max	7134.000-6169.000=965.000

*mean*	9.340-8.721=0.619
σ	0.739-0.668=0.072
min	8.628-8.184=0.444
max	10.929-10.309=0.619

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

*mean*	4034.750-3870.000=164.750
σ	2005.129-1852.861=152.268
min	1219.000-1279.000=-60.000
max	7134.000-6169.000=965.000

*mean*	7.021-6.612=0.409
σ	0.883-0.752=0.131
min	5.883-5.949=-0.066
max	8.846-8.340=0.506

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*	4034.750-3870.000=164.750
σ	2005.129-1852.861=152.268
min	1219.000-1279.000=-60.000
max	7134.000-6169.000=965.000

*mean*	5.867-5.506=0.362
σ	0.158-0.154=0.005
min	5.707-5.172=0.536
max	6.176-5.659=0.516

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*	4034.750-3870.000=164.750
σ	2005.129-1852.861=152.268
min	1219.000-1279.000=-60.000
max	7134.000-6169.000=965.000

*mean*	5.662-5.375=0.288
σ	0.104-0.130=-0.026
min	5.450-5.247=0.203
max	5.780-5.666=0.114

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

*mean*	7134.000-6169.000=965.000
σ	0.000
min	7134.000-6169.000=965.000
max	7134.000-6169.000=965.000

*mean*	365.230-1321.822=-956.591
σ	42.705-517.431=-474.726
min	346.253-1036.961=-690.709
max	470.786-2319.293=-1848.507

op=load_product(), with indexes

*mean*	7917.793-7878.102=39.690
σ	0.469-0.469=0.000
min	7917.625-7877.935=39.690
max	7918.954-7879.263=39.691

*mean*	3266.750-3226.875=39.875
σ	1821.992-1841.288=-19.296
min	810.000-814.000=-4.000
max	5614.000-6169.000=-555.000

*mean*	3578.217-3742.225=-164.008
σ	921.143-1170.895=-249.752
min	3104.156-3091.652=12.504
max	5632.063-5718.614=-86.551

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.000
max	62.080-62.081=-0.000

*mean*	4034.750-3870.000=164.750
σ	2005.129-1852.861=152.268
min	1219.000-1279.000=-60.000
max	7134.000-6169.000=965.000

*mean*	84.505-83.894=0.611
σ	13.801-13.784=0.017
min	70.949-70.733=0.217
max	104.278-101.688=2.590

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*	7134.000-6169.000=965.000
σ	0.000
min	7134.000-6169.000=965.000
max	7134.000-6169.000=965.000

*mean*	62.803-62.801=0.003
σ	1.123-3.836=-2.713
min	61.884-60.010=1.874
max	65.320-68.948=-3.628

op=vertical_lookup_row_list() on unindexed small unique Int

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

*mean*	7134.000-6169.000=965.000
σ	0.000
min	7134.000-6169.000=965.000
max	7134.000-6169.000=965.000

*mean*	247.006-99.202=147.804
σ	370.564-0.711=369.853
min	98.492-97.736=0.756
max	1158.056-100.177=1057.879

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	14217.171-11849.155=2368.016
σ	4.303-4.304=-0.001
min	14215.575-11847.561=2368.014
max	14227.820-11859.806=2368.014

*mean*	4034.750-3870.000=164.750
σ	2005.129-1852.861=152.268
min	1219.000-1279.000=-60.000
max	7134.000-6169.000=965.000

*mean*	7677.491-6012.756=1664.735
σ	1864.759-1301.283=563.477
min	5971.658-5051.480=920.177
max	10410.661-8256.569=2154.093

op=vertical_lookup_list() on indexed

*mean*	13159.108-10791.094=2368.015
σ	0.002-0.002=-0.000
min	13159.105-10791.092=2368.014
max	13159.110-10791.096=2368.014

*mean*	7134.000-6169.000=965.000
σ	0.000
min	7134.000-6169.000=965.000
max	7134.000-6169.000=965.000

*mean*	5317.673-5072.374=245.299
σ	624.976-1534.846=-909.870
min	5022.889-4049.034=973.855
max	6803.453-7549.223=-745.770

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

*mean*	358.397-384.034=-25.636
σ	33.284-19.018=14.266
min	293.596-337.048=-43.452
max	386.545-392.323=-5.779

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	561.000-559.750=1.250
σ	0.000-0.463=-0.463
min	561.000-559.000=2.000
max	561.000-560.000=1.000

*mean*	740.616-773.331=-32.715
σ	62.395-16.739=45.656
min	594.534-746.145=-151.611
max	781.164-796.881=-15.717

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.300-1024.328=-0.028
σ	0.758-0.759=-0.001
min	1023.826-1023.855=-0.029
max	1027.438-1027.465=-0.027

*mean*	1047.400-1053.050=-5.650
σ	313.997-322.004=-8.007
min	573.000-544.000=29.000
max	1511.000-1571.000=-60.000

*mean*	1.594-1.556=0.038
σ	0.077-0.060=0.017
min	1.523-1.504=0.019
max	1.799-1.747=0.052

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.298-0.472=-0.174
σ	0.292-0.487=-0.195
min	0.137-0.243=-0.105
max	0.813-1.343=-0.530

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.477-0.838=-0.360
σ	0.327-0.528=-0.202
min	0.321-0.569=-0.248
max	1.061-1.781=-0.720

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.222-0.385=-0.163
σ	0.026-0.033=-0.007
min	0.204-0.360=-0.157
max	0.267-0.442=-0.175

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.329-0.603=-0.273
σ	0.018-0.023=-0.006
min	0.311-0.583=-0.272
max	0.356-0.640=-0.284

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*	433.800-436.000=-2.200
σ	3.033-2.236=0.797
min	431.000-432.000=-1.000
max	437.000

*mean*	0.548-0.574=-0.026
σ	0.052-0.079=-0.026
min	0.484-0.470=0.014
max	0.610-0.681=-0.071

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	437.000
σ	0.000
min	437.000
max	437.000

*mean*	0.453-0.495=-0.042
σ	0.035-0.036=-0.001
min	0.397-0.456=-0.058
max	0.492-0.531=-0.039

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

*mean*	2.589-1.976=0.614
σ	0.086-0.068=0.018
min	2.452-1.868=0.584
max	2.831-2.318=0.513

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	437.000
σ	0.000
min	437.000
max	437.000

*mean*	2.589-1.965=0.625
σ	0.079-0.074=0.006
min	2.453-1.861=0.593
max	2.773-2.301=0.473

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	437.000
σ	0.000
min	437.000
max	437.000

*mean*	0.302-0.305=-0.004
σ	0.008-0.009=-0.001
min	0.285-0.292=-0.007
max	0.349-0.361=-0.012

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	437.000
σ	0.000
min	437.000
max	437.000

*mean*	0.295-0.293=0.002
σ	0.010-0.008=0.002
min	0.280-0.274=0.006
max	0.362-0.330=0.032

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.610-298.906=-0.296
σ	0.936-1.005=-0.069
min	298.196-298.491=-0.295
max	301.268-301.764=-0.496

*mean*	445.500-441.700=3.800
σ	16.814-13.242=3.573
min	417.000-425.000=-8.000
max	466.000-462.000=4.000

*mean*	0.615-0.581=0.034
σ	0.014-0.037=-0.022
min	0.595-0.529=0.066
max	0.648-0.645=0.003

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*	955.000-1692.000=-737.000
σ	22.627-0.000=22.627
min	899.000-1692.000=-793.000
max	963.000-1692.000=-729.000

*mean*	210.771-215.309=-4.537
σ	3.180-3.992=-0.813
min	207.009-208.113=-1.105
max	214.599-220.209=-5.610

phase=macro expansion

*mean*	6.130
σ	0.000
min	6.130
max	6.130

*mean*	954.250-1692.000=-737.750
σ	24.749-0.000=24.749
min	893.000-1692.000=-799.000
max	963.000-1692.000=-729.000

*mean*	8.749-9.945=-1.195
σ	2.096-2.284=-0.188
min	6.441-6.349=0.092
max	12.617-13.126=-0.509

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*	954.250-1692.000=-737.750
σ	24.749-0.000=24.749
min	893.000-1692.000=-799.000
max	963.000-1692.000=-729.000

*mean*	495.570-638.441=-142.872
σ	104.630-119.822=-15.192
min	405.347-392.197=13.150
max	722.652-737.134=-14.482

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*	963.000-1692.000=-729.000
σ	0.000
min	963.000-1692.000=-729.000
max	963.000-1692.000=-729.000

*mean*	4827.707-4385.101=442.606
σ	510.049-690.005=-179.957
min	3787.479-3301.058=486.421
max	5426.514-5205.866=220.649

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	954.250-1692.000=-737.750
σ	24.749-0.000=24.749
min	893.000-1692.000=-799.000
max	963.000-1692.000=-729.000

*mean*	33.141-36.268=-3.127
σ	10.541-10.651=-0.110
min	20.515-20.293=0.222
max	47.590-50.403=-2.812

phase=type checker

*mean*	990.454
σ	0.071
min	990.348
max	990.567

*mean*	954.750-1692.000=-737.250
σ	23.335-0.000=23.335
min	897.000-1692.000=-795.000
max	963.000-1692.000=-729.000

*mean*	695.992-715.331=-19.338
σ	47.253-52.740=-5.487
min	654.467-668.547=-14.079
max	796.528-804.229=-7.701

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.823-293.916=-0.094
σ	0.038-0.039=-0.001
min	293.769-293.864=-0.095
max	293.861-293.957=-0.095

*mean*	439.200-445.000=-5.800
σ	1.643-0.000=1.643
min	438.000-445.000=-7.000
max	441.000-445.000=-4.000

*mean*	0.392-0.396=-0.004
σ	0.001-0.005=-0.004
min	0.391-0.391=-0.000
max	0.394-0.404=-0.010

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.217-1320.307=-0.090
σ	0.035-0.031=0.004
min	1320.162-1320.266=-0.104
max	1320.249-1320.339=-0.090

*mean*	1083.000-1109.400=-26.400
σ	172.272-183.621=-11.350
min	877.000-889.000=-12.000
max	1314.000-1358.000=-44.000

*mean*	2.284-2.251=0.033
σ	0.153-0.065=0.088
min	2.176-2.176=0.001
max	2.549-2.310=0.240

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.601-1559.482=1.119
σ	6.196-3.402=2.795
min	1557.636-1557.811=-0.174
max	1571.681-1565.562=6.119

*mean*	609.000-628.400=-19.400
σ	94.655-90.049=4.606
min	495.000-505.000=-10.000
max	732.000-727.000=5.000

*mean*	2.236-2.464=-0.228
σ	0.049-0.316=-0.266
min	2.170-2.185=-0.015
max	2.303-2.965=-0.662

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.175-1882.274=-0.099
σ	0.058-0.047=0.011
min	1882.105-1882.207=-0.102
max	1882.256-1882.332=-0.075

*mean*	1726.200-1758.600=-32.400
σ	179.998-215.627=-35.629
min	1467.000-1474.000=-7.000
max	1889.000-1964.000=-75.000

*mean*	3.146-3.287=-0.141
σ	0.282-0.340=-0.058
min	2.942-2.931=0.011
max	3.618-3.696=-0.078

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.710-1.716=-0.005
σ	0.162-0.148=0.015
min	1.461-1.534=-0.073
max	1.854-1.876=-0.022

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.083-452.411=-0.328
σ	582.722-583.278=-0.556
min	160.721-160.770=-0.049
max	1326.167-1327.328=-1.162

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	441.000-444.000=-3.000
σ	0.000
min	441.000-444.000=-3.000
max	441.000-444.000=-3.000

*mean*	0.549-0.543=0.006
σ	0.554-0.550=0.003
min	0.267-0.266=0.001
max	1.380-1.369=0.011

policies=20

*mean*	1607.535-1608.004=-0.470
σ	0.404-0.343=0.061
min	1607.258-1607.756=-0.498
max	1608.133-1608.509=-0.377

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	444.750-447.750=-3.000
σ	7.500-2.500=5.000
min	441.000-444.000=-3.000
max	456.000-449.000=7.000

*mean*	2.681-2.694=-0.013
σ	0.022-0.009=0.013
min	2.663-2.683=-0.021
max	2.709-2.704=0.005

policies=200

*mean*	16083.370-16088.429=-5.059
σ	0.184-0.233=-0.049
min	16083.167-16088.151=-4.984
max	16083.609-16088.721=-5.112

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	494.750-498.000=-3.250
σ	5.377-2.944=2.434
min	488.000-495.000=-7.000
max	501.000

*mean*	27.185-27.176=0.009
σ	0.064-0.064=-0.001
min	27.114-27.102=0.011
max	27.269-27.251=0.017