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.699-54.699=-0.001
σ	0.363-0.364=-0.001
min	54.565-54.566=-0.001
max	55.732-55.736=-0.004

*mean*	418.000-419.000=-1.000
σ	0.000
min	418.000-419.000=-1.000
max	418.000-419.000=-1.000

*mean*	0.141-0.138=0.002
σ	0.004-0.005=-0.001
min	0.136-0.131=0.006
max	0.147-0.146=0.001

cache=y

dps=1

iters=10

policies=100

*mean*	43.777-43.778=-0.000
σ	0.006-0.007=-0.000
min	43.769-43.770=-0.001
max	43.788-43.790=-0.003

*mean*	418.000-419.000=-1.000
σ	0.000
min	418.000-419.000=-1.000
max	418.000-419.000=-1.000

*mean*	0.123-0.121=0.002
σ	0.004-0.005=-0.001
min	0.120-0.116=0.004
max	0.130-0.130=0.000

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*	4427.875-4586.000=-158.125
σ	2229.814-2253.586=-23.772
min	1481.000-1486.000=-5.000
max	7411.000-7401.000=10.000

*mean*	12.335-13.524=-1.189
σ	0.474-3.624=-3.150
min	11.998-11.934=0.064
max	13.301-22.457=-9.155

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.606-36.605=0.001

*mean*	4608.250-4586.000=22.250
σ	2261.159-2253.586=7.573
min	1481.000-1486.000=-5.000
max	7411.000-7401.000=10.000

*mean*	146.218-13.396=132.822
σ	378.335-3.312=375.023
min	11.292-11.351=-0.059
max	1082.547-21.407=1061.140

op=table_records(), no indexes

*mean*	41.940-41.940=-0.000
σ	0.002-0.002=0.000
min	41.938
max	41.942-41.942=0.000

*mean*	7411.000-7401.000=10.000
σ	0.000
min	7411.000-7401.000=10.000
max	7411.000-7401.000=10.000

*mean*	11.040-11.301=-0.261
σ	0.184-0.261=-0.077
min	10.838-10.992=-0.154
max	11.376-11.745=-0.369

op=table_records(), repeat

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

*mean*	4199.125-4173.000=26.125
σ	1957.277-1945.724=11.553
min	1481.000-1486.000=-5.000
max	7411.000-7401.000=10.000

*mean*	11.293-11.657=-0.364
σ	0.618-1.751=-1.133
min	10.878-10.682=0.197
max	12.770-15.948=-3.178

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

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

*mean*	4199.125-4173.000=26.125
σ	1957.277-1945.724=11.553
min	1481.000-1486.000=-5.000
max	7411.000-7401.000=10.000

*mean*	8.659-9.052=-0.393
σ	0.514-1.376=-0.862
min	8.026-7.868=0.158
max	9.346-12.371=-3.025

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

*mean*	26.386-26.385=0.000
σ	0.001-0.000=0.001
min	26.385-26.385=0.000
max	26.389-26.385=0.004

*mean*	4199.125-4173.000=26.125
σ	1957.277-1945.724=11.553
min	1481.000-1486.000=-5.000
max	7411.000-7401.000=10.000

*mean*	6.684-7.119=-0.436
σ	0.235-1.004=-0.769
min	6.399-6.508=-0.109
max	7.075-9.572=-2.497

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.663
σ	0.004-0.004=-0.000
min	25.662
max	25.674-25.674=-0.000

*mean*	4608.250-4586.000=22.250
σ	2261.159-2253.586=7.573
min	1481.000-1486.000=-5.000
max	7411.000-7401.000=10.000

*mean*	6.257-6.293=-0.036
σ	0.683-0.821=-0.139
min	5.967-5.749=0.218
max	7.942-8.298=-0.356

op=vertical_lookup_row_list() on 3 (1 unindexed)

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

*mean*	4608.250-4586.000=22.250
σ	2261.159-2253.586=7.573
min	1481.000-1486.000=-5.000
max	7411.000-7401.000=10.000

*mean*	6.081-6.015=0.066
σ	0.577-0.495=0.081
min	5.812-5.663=0.149
max	7.503-7.217=0.286

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.599-1021.599=0.000
σ	0.002-0.002=0.000
min	1021.597
max	1021.602-1021.602=0.000

*mean*	7411.000-7401.000=10.000
σ	0.000
min	7411.000-7401.000=10.000
max	7411.000-7401.000=10.000

*mean*	348.184-364.496=-16.312
σ	1.426-42.926=-41.500
min	345.383-345.807=-0.424
max	349.559-470.547=-120.989

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*	3771.875-3751.000=20.875
σ	2313.216-2298.656=14.560
min	720.000-721.000=-1.000
max	7411.000-7401.000=10.000

*mean*	1732.267-1634.560=97.707
σ	619.052-560.652=58.400
min	1399.675-1399.375=0.300
max	2998.460-3013.847=-15.387

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

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

*mean*	4199.125-4407.000=-207.875
σ	1957.277-2224.670=-267.393
min	1481.000-1486.000=-5.000
max	7411.000-7401.000=10.000

*mean*	134.336-196.191=-61.855
σ	5.096-168.599=-163.503
min	129.845-124.468=5.377
max	143.617-610.675=-467.058

op=column_set() on unindexed, dense, repeat

*mean*	62.069
σ	0.001
min	62.065
max	62.070

*mean*	4427.875-4586.000=-158.125
σ	2229.814-2253.586=-23.772
min	1481.000-1486.000=-5.000
max	7411.000-7401.000=10.000

*mean*	241.871-204.008=37.863
σ	562.875-456.727=106.148
min	41.218-40.866=0.352
max	1634.913-1334.344=300.569

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.927
σ	0.002
min	40.926
max	40.930

*mean*	7411.000-7401.000=10.000
σ	0.000
min	7411.000-7401.000=10.000
max	7411.000-7401.000=10.000

*mean*	59.939-22.134=37.805
σ	108.774-1.336=107.438
min	21.177-21.259=-0.082
max	329.141-25.399=303.741

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

*mean*	7411.000-7401.000=10.000
σ	0.000
min	7411.000-7401.000=10.000
max	7411.000-7401.000=10.000

*mean*	58.896-314.590=-255.695
σ	8.673-729.171=-720.498
min	54.987-55.265=-0.278
max	80.327-2119.191=-2038.863

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.842-4646.842=-0.000
σ	0.013-0.014=-0.001
min	4646.837
max	4646.875-4646.877=-0.002

*mean*	4199.125-4173.000=26.125
σ	1957.277-1945.724=11.553
min	1481.000-1486.000=-5.000
max	7411.000-7401.000=10.000

*mean*	3235.563-3194.765=40.799
σ	695.089-934.261=-239.172
min	2526.592-2502.404=24.188
max	4118.223-4990.200=-871.976

op=vertical_lookup_list() on indexed

*mean*	1973.830-1973.830=-0.000
σ	0.002-0.002=-0.000
min	1973.829
max	1973.833-1973.833=-0.000

*mean*	7411.000-7401.000=10.000
σ	0.000
min	7411.000-7401.000=10.000
max	7411.000-7401.000=10.000

*mean*	1016.659-1042.582=-25.923
σ	202.385-200.915=1.470
min	922.761-916.520=6.241
max	1505.034-1499.607=5.427

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

*mean*	905.084
σ	0.002
min	905.082
max	905.087

*mean*	7411.000-7401.000=10.000
σ	0.000
min	7411.000-7401.000=10.000
max	7411.000-7401.000=10.000

*mean*	404.746-394.326=10.420
σ	5.170-4.158=1.012
min	392.897-386.437=6.460
max	409.195-398.209=10.986

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*	475.625-477.000=-1.375
σ	1.506-0.000=1.506
min	474.000-477.000=-3.000
max	477.000

*mean*	391.028-375.968=15.060
σ	24.440-22.066=2.374
min	352.806-346.961=5.845
max	424.002-421.279=2.723

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	564.000-563.375=0.625
σ	0.000-1.768=-1.768
min	564.000-559.000=5.000
max	564.000

*mean*	769.154-763.696=5.457
σ	48.836-40.622=8.214
min	688.429-717.663=-29.235
max	827.241-816.647=10.594

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.557-964.559=-0.002
σ	1.880-1.880=-0.001
min	963.837-963.837=-0.001
max	972.508-972.513=-0.005

*mean*	1041.350-1041.800=-0.450
σ	306.531-308.466=-1.934
min	562.000-565.000=-3.000
max	1489.000-1493.000=-4.000

*mean*	1.285-1.269=0.016
σ	0.144-0.102=0.042
min	1.171-1.171=0.001
max	1.781-1.471=0.311

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.476-0.352=0.124
σ	0.490-0.277=0.212
min	0.156-0.146=0.011
max	1.342-0.808=0.534

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.809-0.485=0.324
σ	0.502-0.315=0.188
min	0.562-0.329=0.233
max	1.707-1.047=0.659

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.385-0.218=0.167
σ	0.034-0.022=0.012
min	0.361-0.197=0.164
max	0.444-0.254=0.189

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.591-0.336=0.254
σ	0.025-0.019=0.006
min	0.568-0.319=0.250
max	0.631-0.367=0.264

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*	436.200-431.000=5.200
σ	5.541-0.000=5.541
min	431.000
max	442.000-431.000=11.000

*mean*	0.731-0.516=0.215
σ	0.016-0.065=-0.049
min	0.711-0.426=0.284
max	0.753-0.586=0.167

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

*mean*	442.000-431.000=11.000
σ	0.000
min	442.000-431.000=11.000
max	442.000-431.000=11.000

*mean*	0.589-0.474=0.115
σ	0.034-0.048=-0.014
min	0.545-0.409=0.136
max	0.638-0.523=0.115

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*	442.000-431.000=11.000
σ	0.000
min	442.000-431.000=11.000
max	442.000-431.000=11.000

*mean*	3.518-1.946=1.572
σ	0.089-0.065=0.024
min	3.361-1.823=1.538
max	3.859-2.257=1.602

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	442.000-431.000=11.000
σ	0.000
min	442.000-431.000=11.000
max	442.000-431.000=11.000

*mean*	3.502-2.642=0.860
σ	0.083-0.211=-0.127
min	3.367-1.869=1.498
max	3.846-3.101=0.745

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	442.000-431.000=11.000
σ	0.000
min	442.000-431.000=11.000
max	442.000-431.000=11.000

*mean*	0.539-0.304=0.235
σ	0.014-0.008=0.006
min	0.511-0.291=0.220
max	0.632-0.347=0.286

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	442.000-431.000=11.000
σ	0.000
min	442.000-431.000=11.000
max	442.000-431.000=11.000

*mean*	0.512-0.292=0.220
σ	0.013-0.009=0.004
min	0.491-0.280=0.211
max	0.590-0.342=0.249

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.794-11.525=0.269
σ	11.826-11.276=0.550
min	0.578-0.574=0.004
max	112.552-103.022=9.530

*mean*	462.195-458.579=3.616
σ	18.649-20.783=-2.134
min	408.000-406.000=2.000
max	478.000

*mean*	0.027-0.026=0.000
σ	0.029-0.027=0.001
min	0.001-0.001=0.000
max	0.270-0.250=0.020

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	279.148-278.975=0.173
σ	1.032-1.070=-0.038
min	278.743-278.589=0.154
max	282.080-282.020=0.060

*mean*	442.000-445.200=-3.200
σ	17.049-17.035=0.014
min	414.000-421.000=-7.000
max	472.000-476.000=-4.000

*mean*	0.586-0.577=0.009
σ	0.012-0.016=-0.003
min	0.570-0.537=0.033
max	0.616-0.591=0.025

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

*mean*	152.579-149.230=3.349
σ	11.925-8.080=3.845
min	133.398-138.088=-4.690
max	164.358-160.784=3.573

phase=macro expansion

*mean*	5.894
σ	0.000
min	5.894
max	5.894

*mean*	850.000
σ	0.000
min	850.000
max	850.000

*mean*	8.440-7.834=0.606
σ	2.764-2.226=0.538
min	5.856-5.813=0.043
max	11.949-11.827=0.121

phase=parser

*mean*	1042.131-1042.131=-0.000
σ	0.000-0.000=0.000
min	1042.130
max	1042.131

*mean*	850.000
σ	0.000
min	850.000
max	850.000

*mean*	539.943-523.786=16.158
σ	147.231-151.627=-4.396
min	374.252-376.417=-2.165
max	726.699-721.066=5.633

phase=processProdDef

*mean*	2241.194
σ	0.000
min	2241.194
max	2241.194

*mean*	850.000
σ	0.000
min	850.000
max	850.000

*mean*	2723.388-2892.480=-169.092
σ	478.765-410.860=67.905
min	1879.720-2289.456=-409.736
max	3367.894-3385.886=-17.991

phase=renaming

*mean*	21.430
σ	0.000
min	21.430
max	21.430

*mean*	850.000
σ	0.000
min	850.000
max	850.000

*mean*	37.952-35.943=2.009
σ	9.446-9.065=0.381
min	19.950-25.678=-5.727
max	47.557-47.864=-0.306

phase=type checker

*mean*	958.462
σ	0.047
min	958.439
max	958.564

*mean*	850.000
σ	0.000
min	850.000
max	850.000

*mean*	723.497-706.548=16.949
σ	62.764-83.104=-20.340
min	642.953-612.841=30.112
max	828.106-837.257=-9.152

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.039-0.036=0.003
min	282.801-282.804=-0.003
max	282.894-282.891=0.002

*mean*	442.000-444.000=-2.000
σ	0.000
min	442.000-444.000=-2.000
max	442.000-444.000=-2.000

*mean*	0.374-0.385=-0.011
σ	0.002-0.004=-0.002
min	0.372-0.379=-0.006
max	0.377-0.388=-0.011

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.046-1268.054=-0.008
σ	0.112-0.110=0.002
min	1267.948-1267.954=-0.007
max	1268.232-1268.234=-0.002

*mean*	1089.600-1091.200=-1.600
σ	168.199-169.224=-1.025
min	890.000-892.000=-2.000
max	1319.000-1325.000=-6.000

*mean*	2.014-2.044=-0.030
σ	0.105-0.129=-0.024
min	1.899-1.826=0.073
max	2.131-2.158=-0.027

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.022-1507.011=0.011
σ	2.952-2.976=-0.024
min	1505.477-1505.459=0.019
max	1512.290-1512.322=-0.032

*mean*	623.000-625.200=-2.200
σ	87.684-87.311=0.373
min	492.000-495.000=-3.000
max	725.000-727.000=-2.000

*mean*	2.232-2.195=0.037
σ	0.186-0.171=0.015
min	2.116-2.085=0.031
max	2.559-2.499=0.060

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.055-1830.060=-0.005
σ	0.046-0.040=0.005
min	1829.987-1829.994=-0.007
max	1830.101-1830.099=0.001

*mean*	1717.400-1723.000=-5.600
σ	189.189-185.631=3.557
min	1452.000-1464.000=-12.000
max	1891.000-1892.000=-1.000

*mean*	3.012-2.962=0.049
σ	0.276-0.311=-0.035
min	2.835-2.733=0.101
max	3.501-3.508=-0.007

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.751-1.697=0.054
σ	0.111-0.097=0.014
min	1.620-1.598=0.022
max	1.865-1.834=0.031

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	405.941-405.943=-0.001
σ	509.286-509.284=0.002
min	151.291-151.296=-0.005
max	1169.871-1169.869=0.002

*mean*	101.750
σ	7.500
min	98.000
max	113.000

*mean*	444.000-442.000=2.000
σ	0.000
min	444.000-442.000=2.000
max	444.000-442.000=2.000

*mean*	0.509-0.491=0.017
σ	0.502-0.470=0.032
min	0.247-0.255=-0.008
max	1.262-1.197=0.065

policies=20

*mean*	1513.131-1513.135=-0.004
σ	0.265-0.268=-0.003
min	1512.959-1512.960=-0.000
max	1513.524-1513.533=-0.008

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	451.250-449.250=2.000
σ	10.595
min	444.000-442.000=2.000
max	467.000-465.000=2.000

*mean*	2.492-2.507=-0.015
σ	0.019-0.040=-0.021
min	2.464-2.473=-0.008
max	2.506-2.564=-0.058

policies=200

*mean*	15139.987-15140.032=-0.045
σ	0.099-0.112=-0.013
min	15139.895-15139.936=-0.040
max	15140.120-15140.194=-0.074

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	498.000-493.500=4.500
σ	3.266-3.317=-0.051
min	494.000-491.000=3.000
max	502.000-498.000=4.000

*mean*	25.059-25.021=0.037
σ	0.104-0.086=0.018
min	24.998-24.932=0.067
max	25.213-25.108=0.106