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 Decls)

Factor

compact size MiB

phase=processProdDef Decls

*mean*	5.676
σ	0.000
min	5.676
max	5.676

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.883
σ	0.000
min	446.883
max	446.883

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.832-54.860=-0.027
σ	0.366-0.360=0.006
min	54.703-54.721=-0.019
max	55.873-55.884=-0.011

*mean*	415.000-417.700=-2.700
σ	0.000-0.483=-0.483
min	415.000-417.000=-2.000
max	415.000-418.000=-3.000

*mean*	0.136-0.139=-0.002
σ	0.005-0.004=0.001
min	0.131-0.134=-0.003
max	0.146-0.145=0.000

cache=y

dps=1

iters=10

policies=100

*mean*	43.842-43.847=-0.005
σ	0.004-0.006=-0.003
min	43.837-43.839=-0.001
max	43.848-43.858=-0.010

*mean*	415.000-418.000=-3.000
σ	0.000
min	415.000-418.000=-3.000
max	415.000-418.000=-3.000

*mean*	0.120-0.126=-0.007
σ	0.004-0.005=-0.000
min	0.115-0.121=-0.006
max	0.126-0.135=-0.009

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.617-36.617=0.000
σ	0.000-0.000=0.000
min	36.617
max	36.618-36.618=0.000

*mean*	4590.750-4582.125=8.625
σ	2247.585-2255.655=-8.069
min	1486.000-1487.000=-1.000
max	7381.000-7402.000=-21.000

*mean*	150.245-12.452=137.793
σ	390.372-1.945=388.427
min	11.700-11.462=0.238
max	1116.364-17.192=1099.173

op=column_set() on indexed, repeat

*mean*	36.617-36.617=-0.000
σ	0.000-0.000=-0.000
min	36.617
max	36.618-36.618=-0.000

*mean*	4590.750-4582.125=8.625
σ	2247.585-2255.655=-8.069
min	1486.000-1487.000=-1.000
max	7381.000-7402.000=-21.000

*mean*	14.203-12.696=1.508
σ	4.285-2.012=2.272
min	11.712-11.020=0.692
max	24.745-17.433=7.312

op=table_records(), no indexes

*mean*	41.948-41.948=0.000
σ	0.002-0.002=-0.000
min	41.946-41.946=0.000
max	41.951-41.950=0.001

*mean*	7381.000-7402.000=-21.000
σ	0.000
min	7381.000-7402.000=-21.000
max	7381.000-7402.000=-21.000

*mean*	10.873-10.480=0.392
σ	0.130-0.105=0.024
min	10.725-10.352=0.373
max	11.072-10.682=0.390

op=table_records(), repeat

*mean*	41.934-41.933=0.001
σ	0.001-0.001=0.001
min	41.933
max	41.937-41.934=0.003

*mean*	4183.750-4166.625=17.125
σ	1944.505-1947.055=-2.550
min	1486.000-1487.000=-1.000
max	7381.000-7402.000=-21.000

*mean*	11.640-11.277=0.363
σ	1.831-1.900=-0.069
min	10.703-10.358=0.345
max	16.135-15.971=0.164

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

*mean*	27.655-27.655=-0.000
σ	0.137-0.137=0.000
min	27.606
max	27.993

*mean*	4183.750-4166.625=17.125
σ	1944.505-1947.055=-2.550
min	1486.000-1487.000=-1.000
max	7381.000-7402.000=-21.000

*mean*	9.052-8.571=0.481
σ	1.327-1.343=-0.016
min	7.650-7.527=0.123
max	12.179-11.822=0.357

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

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

*mean*	4183.750-4166.625=17.125
σ	1944.505-1947.055=-2.550
min	1486.000-1487.000=-1.000
max	7381.000-7402.000=-21.000

*mean*	6.995-6.225=0.770
σ	0.987-1.101=-0.114
min	6.150-5.697=0.452
max	9.297-8.935=0.362

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.681-25.681=0.000
σ	0.003-0.003=0.000
min	25.680
max	25.688-25.688=0.000

*mean*	4590.750-4582.125=8.625
σ	2247.585-2255.655=-8.069
min	1486.000-1487.000=-1.000
max	7381.000-7402.000=-21.000

*mean*	6.358-5.725=0.633
σ	1.024-0.510=0.514
min	5.831-5.257=0.574
max	8.865-6.940=1.926

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.984-25.984=0.000
σ	0.000-0.000=0.000
min	25.984
max	25.985-25.985=0.000

*mean*	4590.750-4582.125=8.625
σ	2247.585-2255.655=-8.069
min	1486.000-1487.000=-1.000
max	7381.000-7402.000=-21.000

*mean*	6.196-5.571=0.625
σ	1.032-0.496=0.535
min	5.706-5.296=0.410
max	8.733-6.787=1.945

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.627
σ	0.002
min	1021.625
max	1021.629

*mean*	7381.000-7402.000=-21.000
σ	0.000
min	7381.000-7402.000=-21.000
max	7381.000-7402.000=-21.000

*mean*	387.962-359.959=28.003
σ	121.983-42.544=79.439
min	341.607-342.678=-1.071
max	689.806-465.197=224.609

op=load_product(), with indexes

*mean*	3495.878-3495.878=-0.000
σ	0.468-0.469=-0.000
min	3495.713
max	3497.037-3497.038=-0.001

*mean*	3758.125-3746.875=11.250
σ	2299.459-2299.038=0.421
min	720.000
max	7381.000-7402.000=-21.000

*mean*	1737.893-1586.756=151.138
σ	643.659-480.345=163.314
min	1382.774-1384.580=-1.806
max	2787.168-2765.551=21.617

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

*mean*	107.854-107.854=0.000
σ	0.000-0.000=-0.000
min	107.853-107.853=0.000
max	107.855

*mean*	4412.500-4400.875=11.625
σ	2216.888-2226.865=-9.977
min	1486.000-1487.000=-1.000
max	7381.000-7402.000=-21.000

*mean*	219.989-248.003=-28.014
σ	240.755-318.743=-77.988
min	124.263-123.285=0.978
max	813.923-1035.428=-221.506

op=column_set() on unindexed, dense, repeat

*mean*	62.081-62.082=-0.000
σ	0.000-0.000=-0.000
min	62.081
max	62.082-62.082=-0.001

*mean*	4412.500-4582.125=-169.625
σ	2216.888-2255.655=-38.767
min	1486.000-1487.000=-1.000
max	7381.000-7402.000=-21.000

*mean*	44.698-201.061=-156.364
σ	8.011-438.910=-430.899
min	40.466-40.925=-0.459
max	64.193-1287.189=-1222.996

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.948
σ	0.002
min	40.947
max	40.950

*mean*	7381.000-7402.000=-21.000
σ	0.000
min	7381.000-7402.000=-21.000
max	7381.000-7402.000=-21.000

*mean*	22.647-21.540=1.107
σ	1.964-0.944=1.020
min	21.376-20.844=0.532
max	26.093-23.513=2.580

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.308-71.308=-0.000
σ	0.002-0.002=0.000
min	71.307
max	71.311

*mean*	7381.000-7402.000=-21.000
σ	0.000
min	7381.000-7402.000=-21.000
max	7381.000-7402.000=-21.000

*mean*	56.656-263.903=-207.247
σ	2.861-590.000=-587.139
min	55.002-54.449=0.553
max	63.627-1724.074=-1660.447

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.850-4646.851=-0.001
σ	0.014-0.014=-0.000
min	4646.845
max	4646.884-4646.885=-0.001

*mean*	4183.750-4166.625=17.125
σ	1944.505-1947.055=-2.550
min	1486.000-1487.000=-1.000
max	7381.000-7402.000=-21.000

*mean*	3236.250-3193.094=43.156
σ	677.292-866.207=-188.915
min	2500.463-2485.727=14.736
max	4242.470-4842.553=-600.083

op=vertical_lookup_list() on indexed

*mean*	1973.851-1973.851=-0.000
σ	0.002-0.002=-0.000
min	1973.849
max	1973.853-1973.854=-0.000

*mean*	7381.000-7402.000=-21.000
σ	0.000
min	7381.000-7402.000=-21.000
max	7381.000-7402.000=-21.000

*mean*	1007.405-1026.440=-19.036
σ	204.518-183.923=20.595
min	911.686-906.269=5.417
max	1500.833-1423.085=77.748

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

*mean*	905.105-905.105=0.000
σ	0.002-0.002=-0.000
min	905.102
max	905.108

*mean*	7381.000-7402.000=-21.000
σ	0.000
min	7381.000-7402.000=-21.000
max	7381.000-7402.000=-21.000

*mean*	491.770-382.540=109.230
σ	256.766-4.054=252.713
min	374.832-375.742=-0.910
max	1119.217-387.245=731.971

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*	479.000-478.625=0.375
σ	0.000-1.061=-1.061
min	479.000-476.000=3.000
max	479.000

*mean*	379.605-376.362=3.243
σ	16.540-14.415=2.124
min	356.837-358.713=-1.877
max	403.052-396.994=6.059

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	563.000-571.000=-8.000
σ	0.000
min	563.000-571.000=-8.000
max	563.000-571.000=-8.000

*mean*	744.204-765.543=-21.339
σ	34.525-43.674=-9.149
min	681.058-683.827=-2.769
max	804.892-828.946=-24.053

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	963.971-1024.565=-60.594
σ	1.820-0.760=1.060
min	963.263-1024.094=-60.830
max	971.667-1027.708=-56.040

*mean*	1043.050-1044.700=-1.650
σ	306.228-316.373=-10.145
min	585.000-541.000=44.000
max	1491.000-1515.000=-24.000

*mean*	1.231-1.408=-0.177
σ	0.054-0.164=-0.110
min	1.172-1.314=-0.142
max	1.373-2.021=-0.648

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.345-0.297=0.048
σ	0.261-0.284=-0.023
min	0.154-0.139=0.015
max	0.771-0.801=-0.030

name=error_case.art

*mean*	2.340
σ	0.012
min	2.334
max	2.362

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.469-0.479=-0.011
σ	0.302-0.331=-0.029
min	0.323-0.324=-0.001
max	1.009-1.071=-0.062

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.521
max	1.525

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.222-0.216=0.006
σ	0.024-0.019=0.004
min	0.206-0.202=0.004
max	0.264-0.250=0.014

name=nested_use.art

*mean*	2.358
σ	0.002
min	2.357
max	2.361

*mean*	402.000
σ	0.000
min	402.000
max	402.000

*mean*	0.389-0.327=0.062
σ	0.143-0.018=0.125
min	0.312-0.311=0.001
max	0.643-0.356=0.288

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.971
σ	0.011
min	964.965
max	964.989

*mean*	436.000-431.400=4.600
σ	5.612-0.894=4.718
min	431.000
max	442.000-433.000=9.000

*mean*	0.499-0.552=-0.053
σ	0.050-0.031=0.019
min	0.440-0.528=-0.089
max	0.572-0.606=-0.034

name=cdr_enhanced_4k_loc.art

*mean*	885.898
σ	0.002
min	885.897
max	885.901

*mean*	442.000-438.000=4.000
σ	0.000
min	442.000-438.000=4.000
max	442.000-438.000=4.000

*mean*	0.477-0.492=-0.016
σ	0.030-0.044=-0.014
min	0.435-0.417=0.018
max	0.509-0.522=-0.013

Parser: Record Parsing

Factor

allocated MiB

peak allocated MiB

time (ms)

name=record_render_large_success.art

*mean*	7.710
σ	0.002
min	7.709
max	7.713

*mean*	442.000-438.000=4.000
σ	0.000
min	442.000-438.000=4.000
max	442.000-438.000=4.000

*mean*	2.133-2.637=-0.504
σ	0.318-0.092=0.225
min	1.859-2.484=-0.625
max	3.006-2.920=0.087

name=record_render_large_syntax_err.art

*mean*	7.658
σ	0.002
min	7.657
max	7.661

*mean*	442.000-438.000=4.000
σ	0.000
min	442.000-438.000=4.000
max	442.000-438.000=4.000

*mean*	2.637-2.574=0.063
σ	0.091-0.130=-0.040
min	2.488-2.432=0.056
max	2.831-3.550=-0.719

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.289
max	2.293

*mean*	442.000-438.000=4.000
σ	0.000
min	442.000-438.000=4.000
max	442.000-438.000=4.000

*mean*	0.308-0.306=0.002
σ	0.016-0.010=0.006
min	0.284-0.291=-0.007
max	0.383-0.352=0.031

name=record_render_syntax_err.art

*mean*	2.165
σ	0.002
min	2.164
max	2.168

*mean*	442.000-438.000=4.000
σ	0.000
min	442.000-438.000=4.000
max	442.000-438.000=4.000

*mean*	0.294-0.291=0.004
σ	0.011-0.007=0.004
min	0.281-0.278=0.003
max	0.342-0.328=0.014

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	12.326-11.697=0.629
σ	12.102-11.241=0.861
min	0.573-0.574=-0.000
max	120.424-82.395=38.029

*mean*	461.673-461.210=0.463
σ	20.486-18.837=1.649
min	406.000-408.000=-2.000
max	481.000-476.000=5.000

*mean*	0.028-0.027=0.001
σ	0.030-0.027=0.002
min	0.001-0.001=0.000
max	0.288-0.195=0.092

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.662-298.592=-19.929
σ	1.058-1.012=0.047
min	278.236-298.198=-19.962
max	281.667-301.469=-19.802

*mean*	446.900-443.500=3.400
σ	20.442-19.404=1.038
min	418.000-413.000=5.000
max	476.000-467.000=9.000

*mean*	0.583-0.604=-0.022
σ	0.013-0.018=-0.005
min	0.555-0.567=-0.012
max	0.606-0.638=-0.032

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	842.875-840.000=2.875
σ	0.354-0.000=0.354
min	842.000-840.000=2.000
max	843.000-840.000=3.000

*mean*	209.613-232.301=-22.688
σ	22.189-19.631=2.558
min	185.701-199.053=-13.352
max	246.464-253.162=-6.697

phase=macro expansion

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

*mean*	842.750-840.000=2.750
σ	0.463-0.000=0.463
min	842.000-840.000=2.000
max	843.000-840.000=3.000

*mean*	8.857-9.161=-0.304
σ	1.215-0.745=0.469
min	6.430-7.322=-0.892
max	9.657-9.483=0.174

phase=parser

*mean*	1042.432-1042.434=-0.002
σ	0.000-0.000=-0.000
min	1042.431-1042.433=-0.002
max	1042.432-1042.434=-0.002

*mean*	842.750-840.000=2.750
σ	0.463-0.000=0.463
min	842.000-840.000=2.000
max	843.000-840.000=3.000

*mean*	556.044-567.715=-11.671
σ	75.399-58.911=16.488
min	429.515-422.131=7.384
max	609.112-593.527=15.585

phase=processProdDef

*mean*	2243.979-2243.974=0.005
σ	0.000
min	2243.979-2243.974=0.005
max	2243.979-2243.974=0.005

*mean*	842.875-840.000=2.875
σ	0.354-0.000=0.354
min	842.000-840.000=2.000
max	843.000-840.000=3.000

*mean*	2794.899-2835.327=-40.428
σ	366.724-201.503=165.220
min	2204.737-2416.804=-212.067
max	3222.145-3012.619=209.525

phase=renaming

*mean*	21.671
σ	0.000
min	21.671
max	21.671

*mean*	842.750-840.000=2.750
σ	0.463-0.000=0.463
min	842.000-840.000=2.000
max	843.000-840.000=3.000

*mean*	35.832-38.198=-2.365
σ	7.683-4.852=2.831
min	20.429-26.196=-5.767
max	40.387-40.059=0.328

phase=type checker

*mean*	989.752
σ	0.066
min	989.654
max	989.841

*mean*	842.750-840.000=2.750
σ	0.463-0.000=0.463
min	842.000-840.000=2.000
max	843.000-840.000=3.000

*mean*	689.352-670.257=19.095
σ	25.774-12.039=13.735
min	641.571-644.677=-3.106
max	720.638-680.797=39.841

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.395-293.821=-11.426
σ	0.036-0.037=-0.002
min	282.339-293.768=-11.429
max	282.427-293.859=-11.432

*mean*	443.800-444.000=-0.200
σ	1.095-0.000=1.095
min	443.000-444.000=-1.000
max	445.000-444.000=1.000

*mean*	0.379-0.398=-0.019
σ	0.004-0.005=-0.002
min	0.376-0.393=-0.017
max	0.385-0.403=-0.019

iters=5

new-facts=1

prior-facts=6402

*mean*	1267.092-1320.280=-53.188
σ	0.116-0.124=-0.008
min	1267.006-1320.155=-53.149
max	1267.292-1320.476=-53.185

*mean*	1102.600-1104.800=-2.200
σ	190.872-179.404=11.469
min	842.000-892.000=-50.000
max	1333.000-1353.000=-20.000

*mean*	1.878-1.976=-0.098
σ	0.112-0.050=0.062
min	1.797-1.901=-0.104
max	2.060-2.016=0.044

iters=5

new-facts=6402

prior-facts=1

*mean*	1506.077-1559.289=-53.213
σ	2.931-2.993=-0.062
min	1504.556-1557.677=-53.121
max	1511.308-1564.630=-53.322

*mean*	621.800-626.200=-4.400
σ	80.872-88.423=-7.552
min	497.000-495.000=2.000
max	712.000-731.000=-19.000

*mean*	2.183-2.222=-0.039
σ	0.125-0.214=-0.089
min	2.060-2.066=-0.006
max	2.386-2.598=-0.212

iters=5

new-facts=6402

prior-facts=6402

*mean*	1829.106-1882.341=-53.235
σ	0.038-0.056=-0.018
min	1829.042-1882.269=-53.227
max	1829.144-1882.422=-53.278

*mean*	1738.000-1730.200=7.800
σ	173.065-187.970=-14.905
min	1480.000-1485.000=-5.000
max	1886.000-1909.000=-23.000

*mean*	2.941-2.906=0.035
σ	0.100-0.055=0.045
min	2.840-2.822=0.017
max	3.109-2.951=0.158

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.678-1.718=-0.040
σ	0.247-0.076=0.171
min	1.261-1.626=-0.365
max	1.849-1.805=0.044

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	397.698-419.945=-22.247
σ	518.052-518.108=-0.056
min	138.669-160.887=-22.218
max	1174.775-1197.106=-22.331

*mean*	97.750-101.750=-4.000
σ	7.500
min	94.000-98.000=-4.000
max	109.000-113.000=-4.000

*mean*	443.000-444.000=-1.000
σ	0.000
min	443.000-444.000=-1.000
max	443.000-444.000=-1.000

*mean*	0.500-0.520=-0.020
σ	0.528-0.506=0.022
min	0.232-0.262=-0.030
max	1.292-1.279=0.013

policies=20

*mean*	1386.831-1609.212=-222.381
σ	0.166-0.360=-0.193
min	1386.717-1608.958=-222.241
max	1387.078-1609.743=-222.664

*mean*	940.000-980.000=-40.000
σ	0.000
min	940.000-980.000=-40.000
max	940.000-980.000=-40.000

*mean*	447.500
σ	5.196-7.000=-1.804
min	443.000-444.000=-1.000
max	452.000-458.000=-6.000

*mean*	2.325-2.594=-0.268
σ	0.014-0.021=-0.008
min	2.309-2.568=-0.259
max	2.338-2.618=-0.279

policies=200

*mean*	13876.917-16100.684=-2223.767
σ	0.086-0.067=0.019
min	13876.836-16100.627=-2223.791
max	13877.030-16100.776=-2223.747

*mean*	9400.000-9800.000=-400.000
σ	0.000
min	9400.000-9800.000=-400.000
max	9400.000-9800.000=-400.000

*mean*	494.000-496.500=-2.500
σ	3.367-5.508=-2.141
min	490.000
max	498.000-502.000=-4.000

*mean*	23.566-26.036=-2.470
σ	0.166-0.030=0.136
min	23.392-25.993=-2.601
max	23.791-26.059=-2.268