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.890-54.887=0.004
σ	0.358-0.357=0.001
min	54.755-54.754=0.001
max	55.908-55.900=0.008

*mean*	419.000-415.000=4.000
σ	0.000
min	419.000-415.000=4.000
max	419.000-415.000=4.000

*mean*	0.146-0.137=0.009
σ	0.009-0.006=0.003
min	0.133-0.131=0.002
max	0.159-0.147=0.011

cache=y

dps=1

iters=10

policies=100

*mean*	43.854-43.856=-0.001
σ	0.004-0.006=-0.002
min	43.849-43.844=0.005
max	43.861-43.864=-0.003

*mean*	419.000-415.000=4.000
σ	0.000
min	419.000-415.000=4.000
max	419.000-415.000=4.000

*mean*	0.126-0.123=0.003
σ	0.006-0.004=0.001
min	0.120-0.116=0.004
max	0.135-0.131=0.004

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*	4044.250-4040.125=4.125
σ	2011.085-2011.467=-0.382
min	1216.000-1215.000=1.000
max	7154.000-7150.000=4.000

*mean*	12.812-13.168=-0.357
σ	0.362-0.346=0.016
min	12.390-12.588=-0.198
max	13.459-13.621=-0.162

op=column_set() on indexed, repeat

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

*mean*	4044.250-4040.125=4.125
σ	2011.085-2011.467=-0.382
min	1216.000-1215.000=1.000
max	7154.000-7150.000=4.000

*mean*	12.600-13.500=-0.900
σ	0.529-0.311=0.218
min	12.015-12.995=-0.979
max	13.320-14.003=-0.683

op=table_records(), no indexes

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

*mean*	7154.000-7150.000=4.000
σ	0.000
min	7154.000-7150.000=4.000
max	7154.000-7150.000=4.000

*mean*	15.466-15.313=0.154
σ	0.311-0.197=0.114
min	15.069-15.046=0.023
max	15.964-15.603=0.361

op=table_records(), repeat

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

*mean*	4044.250-4040.125=4.125
σ	2011.085-2011.467=-0.382
min	1216.000-1215.000=1.000
max	7154.000-7150.000=4.000

*mean*	14.191-14.000=0.191
σ	1.655-1.852=-0.197
min	11.560-11.131=0.430
max	15.566-16.093=-0.528

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

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

*mean*	4044.250-4040.125=4.125
σ	2011.085-2011.467=-0.382
min	1216.000-1215.000=1.000
max	7154.000-7150.000=4.000

*mean*	9.507-9.443=0.064
σ	0.917-1.337=-0.420
min	8.458-8.323=0.135
max	11.230-12.611=-1.380

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*	4044.250-4040.125=4.125
σ	2011.085-2011.467=-0.382
min	1216.000-1215.000=1.000
max	7154.000-7150.000=4.000

*mean*	6.706-7.573=-0.867
σ	0.765-0.960=-0.194
min	5.845-6.671=-0.826
max	8.289-9.741=-1.452

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.668-25.668=0.000
σ	0.004-0.004=-0.000
min	25.665
max	25.678-25.678=0.000

*mean*	4044.250-4040.125=4.125
σ	2011.085-2011.467=-0.382
min	1216.000-1215.000=1.000
max	7154.000-7150.000=4.000

*mean*	6.065-6.078=-0.013
σ	0.126-0.084=0.042
min	5.931-5.976=-0.045
max	6.294-6.237=0.057

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.970-25.970=-0.000
σ	0.002-0.003=-0.001
min	25.969-25.968=0.000
max	25.972-25.976=-0.004

*mean*	4044.250-4040.125=4.125
σ	2011.085-2011.467=-0.382
min	1216.000-1215.000=1.000
max	7154.000-7150.000=4.000

*mean*	5.781-5.884=-0.103
σ	0.198-0.111=0.087
min	5.420-5.719=-0.299
max	6.041-6.087=-0.047

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.613-1021.613=0.000
σ	0.002-0.002=0.000
min	1021.612
max	1021.616-1021.615=0.000

*mean*	7154.000-7150.000=4.000
σ	0.000
min	7154.000-7150.000=4.000
max	7154.000-7150.000=4.000

*mean*	362.853-378.856=-16.003
σ	40.993-84.649=-43.657
min	346.011-346.939=-0.927
max	464.265-588.326=-124.061

op=load_product(), with indexes

*mean*	7917.793-7917.793=-0.000
σ	0.469-0.469=-0.000
min	7917.625-7917.624=0.001
max	7918.954-7918.954=-0.001

*mean*	3275.500-3272.000=3.500
σ	1824.967-1824.503=0.464
min	810.000-809.000=1.000
max	5625.000-5621.000=4.000

*mean*	3771.008-3653.758=117.250
σ	1250.969-1116.818=134.151
min	3100.186-3112.527=-12.341
max	6215.143-6226.683=-11.540

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on unindexed, dense

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

*mean*	4044.250-4040.125=4.125
σ	2011.085-2011.467=-0.382
min	1216.000-1215.000=1.000
max	7154.000-7150.000=4.000

*mean*	84.020-89.439=-5.418
σ	14.990-19.250=-4.260
min	71.829-71.526=0.303
max	108.268-120.718=-12.450

op=vertical_lookup_list() on unindexed missing Int

*mean*	40.946-40.946=0.000
σ	0.002-0.002=0.001
min	40.945-40.945=0.000
max	40.950-40.948=0.001

*mean*	7154.000-7150.000=4.000
σ	0.000
min	7154.000-7150.000=4.000
max	7154.000-7150.000=4.000

*mean*	61.701-61.076=0.625
σ	1.238-0.434=0.804
min	60.882-60.408=0.473
max	64.694-61.604=3.090

op=vertical_lookup_row_list() on unindexed small unique Int

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

*mean*	7154.000-7150.000=4.000
σ	0.000
min	7154.000-7150.000=4.000
max	7154.000-7150.000=4.000

*mean*	278.019-99.973=178.045
σ	379.178-1.027=378.151
min	98.229-98.360=-0.131
max	1161.044-101.377=1059.666

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	14217.171-14217.171=0.000
σ	4.303-4.305=-0.002
min	14215.575-14215.575=0.000
max	14227.820-14227.825=-0.004

*mean*	4044.250-4040.125=4.125
σ	2011.085-2011.467=-0.382
min	1216.000-1215.000=1.000
max	7154.000-7150.000=4.000

*mean*	8126.663-7876.383=250.280
σ	2007.704-1987.515=20.190
min	5981.000-6041.476=-60.476
max	11142.531-11158.969=-16.438

op=vertical_lookup_list() on indexed

*mean*	13159.109-13159.109=0.000
σ	0.002-0.002=-0.000
min	13159.106
max	13159.110-13159.111=-0.001

*mean*	7154.000-7150.000=4.000
σ	0.000
min	7154.000-7150.000=4.000
max	7154.000-7150.000=4.000

*mean*	5313.571-5156.804=156.768
σ	583.133-177.479=405.654
min	5036.314-5043.717=-7.404
max	6705.192-5468.662=1236.530

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-476.000=2.000
σ	0.000
min	478.000-476.000=2.000
max	478.000-476.000=2.000

*mean*	374.659-374.734=-0.075
σ	23.400-24.017=-0.616
min	346.184-339.030=7.154
max	394.417-394.956=-0.539

op=pointedIndexFromKvs

rows=400000

*mean*	357.322
σ	0.001
min	357.321
max	357.325

*mean*	562.000-561.000=1.000
σ	0.000
min	562.000-561.000=1.000
max	562.000-561.000=1.000

*mean*	742.792-717.529=25.263
σ	62.320-63.846=-1.527
min	631.526-634.400=-2.874
max	801.578-787.220=14.357

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	1024.299-1024.299=0.000
σ	0.759-0.759=-0.000
min	1023.825-1023.827=-0.002
max	1027.436-1027.438=-0.002

*mean*	1040.450-1057.000=-16.550
σ	299.936-311.367=-11.431
min	554.000-562.000=-8.000
max	1461.000-1512.000=-51.000

*mean*	1.545-1.552=-0.007
σ	0.071-0.071=0.000
min	1.478-1.477=0.000
max	1.769-1.764=0.005

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.291-0.301=-0.010
σ	0.286-0.295=-0.009
min	0.141-0.146=-0.005
max	0.800-0.826=-0.026

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.478-0.475=0.003
σ	0.323-0.325=-0.003
min	0.326-0.317=0.009
max	1.055-1.057=-0.001

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.221-0.210=0.011
σ	0.020-0.030=-0.010
min	0.202-0.187=0.015
max	0.253-0.260=-0.008

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.330-0.327=0.003
σ	0.019-0.019=0.000
min	0.315-0.312=0.003
max	0.363-0.360=0.003

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*	436.200-431.800=4.400
σ	5.541-1.789=3.752
min	431.000
max	442.000-435.000=7.000

*mean*	0.533-0.571=-0.037
σ	0.022-0.055=-0.033
min	0.497-0.483=0.014
max	0.555-0.610=-0.055

name=cdr_enhanced_4k_loc.art

*mean*	885.820
σ	0.002
min	885.819
max	885.823

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	0.475-0.485=-0.010
σ	0.053-0.026=0.026
min	0.390-0.452=-0.062
max	0.522-0.518=0.005

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

*mean*	2.675-2.579=0.097
σ	0.090-0.207=-0.117
min	2.505-1.973=0.532
max	2.919-2.890=0.029

name=record_render_large_syntax_err.art

*mean*	7.657
σ	0.002
min	7.656
max	7.660

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	2.618-2.689=-0.070
σ	0.094-0.067=0.028
min	2.484-2.589=-0.105
max	3.084-2.915=0.168

name=record_render_success.art

*mean*	2.289
σ	0.002
min	2.289
max	2.293

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	0.306-0.304=0.002
σ	0.019-0.008=0.010
min	0.289-0.291=-0.002
max	0.465-0.358=0.106

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	442.000
σ	0.000
min	442.000
max	442.000

*mean*	0.291-0.293=-0.003
σ	0.007-0.009=-0.001
min	0.277-0.278=-0.001
max	0.336-0.332=0.005

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	298.742-298.860=-0.119
σ	1.019-0.987=0.033
min	298.302-298.474=-0.172
max	301.635-301.665=-0.030

*mean*	438.700-441.900=-3.200
σ	13.598-14.977=-1.380
min	415.000-417.000=-2.000
max	461.000-468.000=-7.000

*mean*	0.597-0.597=-0.000
σ	0.024-0.024=0.000
min	0.546-0.561=-0.014
max	0.634-0.635=-0.001

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

*mean*	236.681-236.681=0.000
σ	0.000
min	236.681-236.681=0.000
max	236.681-236.681=0.000

*mean*	1064.125-1065.000=-0.875
σ	33.588-33.941=-0.354
min	981.000
max	1076.000-1077.000=-1.000

*mean*	206.635-204.663=1.971
σ	3.712-3.330=0.383
min	201.109-199.044=2.064
max	211.349-209.551=1.797

phase=macro expansion

*mean*	6.133-6.133=-0.000
σ	0.000
min	6.133-6.133=-0.000
max	6.133-6.133=-0.000

*mean*	1064.125-1065.000=-0.875
σ	33.588-33.941=-0.354
min	981.000
max	1076.000-1077.000=-1.000

*mean*	8.631-9.460=-0.829
σ	2.879-2.925=-0.045
min	6.370-6.519=-0.149
max	13.044-15.718=-2.675

phase=parser

*mean*	1042.359-1042.362=-0.003
σ	0.000-0.000=-0.000
min	1042.359-1042.361=-0.003
max	1042.360-1042.362=-0.003

*mean*	1064.125-1065.000=-0.875
σ	33.588-33.941=-0.354
min	981.000
max	1076.000-1077.000=-1.000

*mean*	538.012-568.552=-30.539
σ	119.425-122.143=-2.718
min	376.660-413.541=-36.880
max	721.858-833.386=-111.528

phase=processProdDef

*mean*	4850.767-4850.764=0.003
σ	0.000
min	4850.767-4850.764=0.003
max	4850.767-4850.764=0.003

*mean*	1076.000-1077.000=-1.000
σ	0.000
min	1076.000-1077.000=-1.000
max	1076.000-1077.000=-1.000

*mean*	5042.242-4658.289=383.953
σ	428.210-415.690=12.520
min	4397.127-3819.511=577.615
max	5495.544-5185.127=310.417

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	1064.125-1065.000=-0.875
σ	33.588-33.941=-0.354
min	981.000
max	1076.000-1077.000=-1.000

*mean*	32.152-36.119=-3.967
σ	12.071-12.195=-0.124
min	20.594-20.922=-0.328
max	48.932-56.001=-7.069

phase=type checker

*mean*	990.450
σ	0.071
min	990.344
max	990.563

*mean*	1064.125-1065.000=-0.875
σ	33.588-33.941=-0.354
min	981.000
max	1076.000-1077.000=-1.000

*mean*	747.580-765.657=-18.077
σ	90.263-108.637=-18.374
min	650.819-641.521=9.297
max	895.926-924.588=-28.661

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	293.821-293.819=0.002
σ	0.037-0.038=-0.001
min	293.768-293.768=0.001
max	293.859-293.859=0.000

*mean*	443.000-441.200=1.800
σ	0.000-3.493=-3.493
min	443.000-438.000=5.000
max	443.000-445.000=-2.000

*mean*	0.392-0.392=-0.001
σ	0.001-0.001=-0.000
min	0.390-0.391=-0.001
max	0.393-0.394=-0.001

iters=5

new-facts=1

prior-facts=6402

*mean*	1320.218-1320.225=-0.007
σ	0.032-0.026=0.006
min	1320.173-1320.195=-0.023
max	1320.250-1320.255=-0.006

*mean*	1067.600-1094.400=-26.800
σ	165.770-184.493=-18.723
min	843.000-839.000=4.000
max	1270.000-1315.000=-45.000

*mean*	2.244-2.300=-0.056
σ	0.083-0.186=-0.103
min	2.148-2.180=-0.032
max	2.370-2.628=-0.258

iters=5

new-facts=6402

prior-facts=1

*mean*	1560.614-1560.623=-0.009
σ	6.217-6.219=-0.002
min	1557.646-1557.633=0.013
max	1571.731-1571.743=-0.013

*mean*	619.000-619.200=-0.200
σ	82.553-81.543=1.010
min	494.000-495.000=-1.000
max	716.000-714.000=2.000

*mean*	2.322-2.331=-0.008
σ	0.174-0.169=0.005
min	2.180-2.200=-0.020
max	2.614-2.612=0.002

iters=5

new-facts=6402

prior-facts=6402

*mean*	1882.174-1882.175=-0.001
σ	0.056-0.056=0.000
min	1882.118-1882.110=0.008
max	1882.253-1882.240=0.013

*mean*	1701.400-1716.200=-14.800
σ	256.354-198.716=57.637
min	1400.000-1449.000=-49.000
max	2055.000-1906.000=149.000

*mean*	2.939-3.035=-0.096
σ	0.091-0.092=-0.001
min	2.858-2.929=-0.071
max	3.048-3.150=-0.102

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.887-1.722=0.165
σ	0.027-0.268=-0.241
min	1.849-1.255=0.595
max	1.920-1.913=0.007

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	452.079-452.082=-0.003
σ	582.722-582.723=-0.001
min	160.715-160.719=-0.004
max	1326.162-1326.167=-0.005

*mean*	102.250
σ	8.500
min	98.000
max	115.000

*mean*	441.000-443.000=-2.000
σ	0.000
min	441.000-443.000=-2.000
max	441.000-443.000=-2.000

*mean*	0.540-0.544=-0.003
σ	0.542-0.536=0.006
min	0.267-0.270=-0.003
max	1.353-1.348=0.006

policies=20

*mean*	1607.524-1607.535=-0.011
σ	0.418-0.411=0.007
min	1607.239-1607.257=-0.018
max	1608.143-1608.143=-0.001

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	447.750-450.000=-2.250
σ	4.500-8.083=-3.583
min	441.000-443.000=-2.000
max	450.000-457.000=-7.000

*mean*	2.696-2.686=0.010
σ	0.020-0.009=0.012
min	2.674-2.679=-0.005
max	2.714-2.698=0.016

policies=200

*mean*	16083.554-16083.494=0.061
σ	0.105-0.052=0.054
min	16083.470-16083.431=0.039
max	16083.707-16083.557=0.150

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	500.000-498.000=2.000
σ	4.546-3.559=0.987
min	494.000-495.000=-1.000
max	505.000-503.000=2.000

*mean*	27.248-27.232=0.015
σ	0.111-0.110=0.002
min	27.096-27.088=0.009
max	27.348-27.352=-0.004