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-446.133=-0.031
σ	0.000
min	446.102-446.133=-0.031
max	446.102-446.133=-0.031

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*	57.816-57.818=-0.003
σ	0.362-0.361=0.001
min	57.670-57.677=-0.006
max	58.844-58.844=0.000

*mean*	421.000-420.000=1.000
σ	0.000
min	421.000-420.000=1.000
max	421.000-420.000=1.000

*mean*	0.147-0.147=0.001
σ	0.004-0.005=-0.001
min	0.144-0.137=0.006
max	0.155-0.154=0.001

cache=y

dps=1

iters=10

policies=100

*mean*	46.896-46.899=-0.003
σ	0.007-0.005=0.002
min	46.880-46.890=-0.010
max	46.907-46.909=-0.002

*mean*	421.000-420.200=0.800
σ	0.000-0.422=-0.422
min	421.000-420.000=1.000
max	421.000

*mean*	0.131-0.131=-0.000
σ	0.004-0.005=-0.000
min	0.127-0.125=0.003
max	0.140-0.138=0.002

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-36.605=0.000
max	36.606

*mean*	4590.250-4593.250=-3.000
σ	2247.645-2246.076=1.569
min	1487.000-1484.000=3.000
max	7381.000-7379.000=2.000

*mean*	160.016-128.005=32.012
σ	416.175-326.943=89.232
min	11.820-11.879=-0.059
max	1189.987-937.147=252.840

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.605-36.605=0.000

*mean*	4590.250-4593.250=-3.000
σ	2247.645-2246.076=1.569
min	1487.000-1484.000=3.000
max	7381.000-7379.000=2.000

*mean*	13.733-13.063=0.670
σ	4.647-3.010=1.637
min	11.210-11.301=-0.091
max	24.279-20.380=3.899

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*	7381.000-7379.000=2.000
σ	0.000
min	7381.000-7379.000=2.000
max	7381.000-7379.000=2.000

*mean*	11.141-10.968=0.173
σ	0.239-0.413=-0.175
min	10.794-10.208=0.586
max	11.537-11.514=0.023

op=table_records(), repeat

*mean*	41.925-41.926=-0.000
σ	0.001-0.001=0.000
min	41.924-41.925=-0.000
max	41.929-41.928=0.000

*mean*	4181.750-4186.750=-5.000
σ	1944.510-1943.820=0.691
min	1487.000-1484.000=3.000
max	7381.000-7379.000=2.000

*mean*	11.814-11.471=0.343
σ	1.803-0.922=0.881
min	10.908-10.893=0.015
max	16.224-13.721=2.502

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

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

*mean*	4181.750-4186.750=-5.000
σ	1944.510-1943.820=0.691
min	1487.000-1484.000=3.000
max	7381.000-7379.000=2.000

*mean*	8.843-8.614=0.229
σ	1.356-0.593=0.762
min	7.966-8.239=-0.272
max	12.137-10.041=2.096

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

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

*mean*	4181.750-4186.750=-5.000
σ	1944.510-1943.820=0.691
min	1487.000-1484.000=3.000
max	7381.000-7379.000=2.000

*mean*	6.760-6.628=0.132
σ	1.203-0.623=0.581
min	5.575-5.742=-0.167
max	9.572-7.960=1.612

op=vertical_lookup_row_list() on 2 indexed

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

*mean*	4590.250-4593.250=-3.000
σ	2247.645-2246.076=1.569
min	1487.000-1484.000=3.000
max	7381.000-7379.000=2.000

*mean*	6.385-6.226=0.158
σ	1.081-1.069=0.012
min	5.770-5.562=0.207
max	8.847-8.832=0.015

op=vertical_lookup_row_list() on 3 (1 unindexed)

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

*mean*	4590.250-4593.250=-3.000
σ	2247.645-2246.076=1.569
min	1487.000-1484.000=3.000
max	7381.000-7379.000=2.000

*mean*	6.326-6.197=0.129
σ	1.092-1.071=0.021
min	5.671-5.609=0.062
max	8.751-8.801=-0.050

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-1021.597=0.000
max	1021.602-1021.602=-0.000

*mean*	7381.000-7379.000=2.000
σ	0.000
min	7381.000-7379.000=2.000
max	7381.000-7379.000=2.000

*mean*	362.030-554.301=-192.271
σ	42.868-592.688=-549.819
min	344.828-343.927=0.901
max	468.060-2021.127=-1553.067

op=load_product(), with indexes

*mean*	3495.848-3495.846=0.002
σ	0.460-0.455=0.005
min	3495.685-3495.685=0.000
max	3496.986-3496.971=0.015

*mean*	3757.625-3760.875=-3.250
σ	2299.310-2299.468=-0.158
min	720.000
max	7381.000-7379.000=2.000

*mean*	1801.185-1741.231=59.954
σ	676.767-630.810=45.957
min	1404.695-1392.503=12.193
max	2986.480-2769.218=217.262

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

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

*mean*	4410.250-4414.625=-4.375
σ	2216.981-2215.183=1.798
min	1487.000-1484.000=3.000
max	7381.000-7379.000=2.000

*mean*	251.479-183.194=68.286
σ	325.933-139.876=186.057
min	125.745-126.131=-0.386
max	1057.018-528.513=528.506

op=column_set() on unindexed, dense, repeat

*mean*	62.069
σ	0.001
min	62.065
max	62.069

*mean*	4410.250-4414.625=-4.375
σ	2216.981-2215.183=1.798
min	1487.000-1484.000=3.000
max	7381.000-7379.000=2.000

*mean*	46.611-42.789=3.821
σ	9.338-1.236=8.102
min	40.938-41.334=-0.396
max	69.335-44.645=24.689

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.927
σ	0.002
min	40.926
max	40.930

*mean*	7381.000-7379.000=2.000
σ	0.000
min	7381.000-7379.000=2.000
max	7381.000-7379.000=2.000

*mean*	21.998-22.417=-0.418
σ	1.207-1.021=0.185
min	21.263-21.629=-0.366
max	24.913-24.795=0.118

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

*mean*	7381.000-7379.000=2.000
σ	0.000
min	7381.000-7379.000=2.000
max	7381.000-7379.000=2.000

*mean*	258.039-56.179=201.860
σ	569.946-2.215=567.732
min	55.235-54.791=0.444
max	1668.577-61.502=1607.075

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4181.750-4186.750=-5.000
σ	1944.510-1943.820=0.691
min	1487.000-1484.000=3.000
max	7381.000-7379.000=2.000

*mean*	3249.459-3304.299=-54.840
σ	764.158-757.609=6.549
min	2510.355-2523.193=-12.838
max	4613.620-4492.406=121.214

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*	7381.000-7379.000=2.000
σ	0.000
min	7381.000-7379.000=2.000
max	7381.000-7379.000=2.000

*mean*	1035.248-982.754=52.493
σ	202.858-88.110=114.749
min	919.550-927.148=-7.598
max	1505.243-1130.334=374.910

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

*mean*	905.084-905.084=-0.000
σ	0.002-0.002=0.000
min	905.082
max	905.087

*mean*	7381.000-7379.000=2.000
σ	0.000
min	7381.000-7379.000=2.000
max	7381.000-7379.000=2.000

*mean*	395.875-469.035=-73.160
σ	5.994-210.280=-204.287
min	383.269-382.235=1.034
max	405.067-989.272=-584.205

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*	476.125-475.375=0.750
σ	0.354-0.518=-0.164
min	476.000-475.000=1.000
max	477.000-476.000=1.000

*mean*	379.976-371.167=8.810
σ	37.909-29.425=8.484
min	299.375-307.238=-7.863
max	418.058-398.696=19.362

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	563.000-558.000=5.000
σ	0.000
min	563.000-558.000=5.000
max	563.000-558.000=5.000

*mean*	725.287-759.204=-33.917
σ	59.072-49.154=9.917
min	612.827-671.763=-58.937
max	782.409-825.934=-43.525

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	976.918-977.274=-0.356
σ	2.438-2.441=-0.003
min	976.071-976.427=-0.357
max	987.249-987.616=-0.367

*mean*	1050.350-1042.000=8.350
σ	314.792-308.634=6.158
min	575.000-568.000=7.000
max	1508.000-1493.000=15.000

*mean*	1.320-1.289=0.030
σ	0.140-0.136=0.004
min	1.207-1.200=0.006
max	1.755-1.770=-0.015

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.318-0.453=-0.135
σ	0.292-0.473=-0.181
min	0.143-0.218=-0.075
max	0.835-1.299=-0.464

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.473-0.829=-0.355
σ	0.310-0.515=-0.206
min	0.328-0.581=-0.253
max	1.027-1.750=-0.723

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.219-0.384=-0.164
σ	0.023-0.040=-0.018
min	0.205-0.353=-0.147
max	0.260-0.450=-0.190

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.334-0.594=-0.260
σ	0.018-0.020=-0.002
min	0.322-0.574=-0.252
max	0.365-0.623=-0.258

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

*mean*	0.520-0.717=-0.198
σ	0.048-0.029=0.019
min	0.440-0.670=-0.230
max	0.569-0.748=-0.179

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.456-0.604=-0.148
σ	0.070-0.028=0.042
min	0.372-0.578=-0.207
max	0.530-0.648=-0.118

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

*mean*	1.870-3.555=-1.685
σ	0.107-0.099=0.009
min	1.684-3.401=-1.717
max	2.435-3.948=-1.513

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	1.939-3.562=-1.623
σ	0.053-0.090=-0.037
min	1.825-3.416=-1.591
max	2.074-3.815=-1.741

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.305-0.539=-0.233
σ	0.010-0.014=-0.004
min	0.290-0.515=-0.225
max	0.370-0.635=-0.265

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.294-0.511=-0.217
σ	0.035-0.013=0.022
min	0.277-0.488=-0.211
max	0.628-0.564=0.063

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.546-11.944=-0.398
σ	11.482-12.465=-0.983
min	0.574-0.574=0.000
max	95.061-88.735=6.326

*mean*	463.135-455.064=8.071
σ	16.593-18.519=-1.925
min	408.000-406.000=2.000
max	476.000-474.000=2.000

*mean*	0.026-0.027=-0.001
σ	0.028-0.031=-0.003
min	0.001-0.001=-0.000
max	0.225-0.215=0.010

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	293.887-294.156=-0.269
σ	1.029-1.042=-0.013
min	293.384-293.654=-0.270
max	296.795-297.107=-0.311

*mean*	443.200-442.900=0.300
σ	18.855-19.157=-0.302
min	415.000
max	464.000-469.000=-5.000

*mean*	0.589-0.583=0.006
σ	0.030-0.023=0.007
min	0.534-0.533=0.002
max	0.627-0.616=0.011

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-851.000=-1.000
σ	0.000
min	850.000-851.000=-1.000
max	850.000-851.000=-1.000

*mean*	153.922-150.857=3.065
σ	12.849-9.280=3.569
min	136.160-138.283=-2.123
max	166.925-160.633=6.293

phase=macro expansion

*mean*	5.894-5.897=-0.004
σ	0.000
min	5.894-5.897=-0.004
max	5.894-5.897=-0.004

*mean*	849.625-842.125=7.500
σ	1.061-25.102=-24.042
min	847.000-780.000=67.000
max	850.000-851.000=-1.000

*mean*	7.426-7.719=-0.294
σ	2.242-1.363=0.878
min	5.840-6.023=-0.182
max	11.862-9.139=2.724

phase=parser

*mean*	1042.134-1042.133=0.001
σ	0.001-0.000=0.001
min	1042.131-1042.132=-0.001
max	1042.134-1042.133=0.001

*mean*	849.625-842.125=7.500
σ	1.061-25.102=-24.042
min	847.000-780.000=67.000
max	850.000-851.000=-1.000

*mean*	470.259-516.160=-45.901
σ	138.317-94.072=44.245
min	373.210-402.264=-29.055
max	730.794-610.273=120.521

phase=processProdDef

*mean*	2241.193-2241.194=-0.001
σ	0.000-0.000=0.000
min	2241.193-2241.194=-0.001
max	2241.194-2241.194=0.000

*mean*	850.000-851.000=-1.000
σ	0.000
min	850.000-851.000=-1.000
max	850.000-851.000=-1.000

*mean*	3000.318-2846.032=154.287
σ	324.102-381.013=-56.911
min	2324.812-2009.288=315.524
max	3341.672-3157.416=184.256

phase=renaming

*mean*	21.430-21.430=0.000
σ	0.001-0.000=0.001
min	21.430
max	21.433-21.430=0.004

*mean*	849.625-842.125=7.500
σ	1.061-25.102=-24.042
min	847.000-780.000=67.000
max	850.000-851.000=-1.000

*mean*	39.988-41.292=-1.304
σ	6.241-7.031=-0.790
min	25.678-33.308=-7.630
max	47.407-50.786=-3.379

phase=type checker

*mean*	958.466-958.462=0.003
σ	0.047-0.047=0.000
min	958.439
max	958.568-958.564=0.004

*mean*	849.625-842.125=7.500
σ	1.061-25.102=-24.042
min	847.000-780.000=67.000
max	850.000-851.000=-1.000

*mean*	695.883-664.394=31.489
σ	60.321-17.477=42.843
min	648.019-636.123=11.897
max	839.124-685.849=153.274

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	327.855-328.220=-0.365
σ	0.037-0.041=-0.004
min	327.803-328.161=-0.358
max	327.891-328.262=-0.371

*mean*	441.400-441.200=0.200
σ	3.847-4.494=-0.647
min	435.000
max	445.000

*mean*	0.436-0.429=0.007
σ	0.010-0.003=0.008
min	0.428-0.426=0.002
max	0.454-0.432=0.022

iters=5

new-facts=1

prior-facts=6402

*mean*	1313.073-1313.429=-0.356
σ	0.146-0.126=0.020
min	1312.967-1313.327=-0.359
max	1313.327-1313.642=-0.314

*mean*	1088.600-1056.600=32.000
σ	164.410-161.964=2.447
min	897.000-849.000=48.000
max	1311.000-1266.000=45.000

*mean*	1.890-1.868=0.022
σ	0.064-0.048=0.016
min	1.826-1.830=-0.004
max	1.984-1.945=0.039

iters=5

new-facts=6402

prior-facts=1

*mean*	1552.096-1552.389=-0.293
σ	3.061-3.064=-0.003
min	1550.554-1550.807=-0.253
max	1557.566-1557.859=-0.293

*mean*	620.000-617.400=2.600
σ	90.371-64.825=25.546
min	519.000-543.000=-24.000
max	739.000-700.000=39.000

*mean*	2.374-2.197=0.177
σ	0.247-0.156=0.091
min	2.110-2.083=0.027
max	2.722-2.471=0.252

iters=5

new-facts=6402

prior-facts=6402

*mean*	1875.059-1875.429=-0.371
σ	0.043-0.070=-0.027
min	1875.004-1875.350=-0.347
max	1875.113-1875.528=-0.415

*mean*	1721.400-1709.600=11.800
σ	205.583-181.193=24.390
min	1450.000-1545.000=-95.000
max	1917.000-1970.000=-53.000

*mean*	2.943-2.926=0.017
σ	0.085-0.068=0.017
min	2.849-2.878=-0.029
max	3.032-3.039=-0.006

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.457-1.494=-0.037
σ	0.198-0.130=0.068
min	1.265-1.330=-0.065
max	1.708-1.664=0.044

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.407-420.296=-0.888
σ	508.894-509.311=-0.418
min	164.957-165.637=-0.680
max	1182.748-1184.263=-1.515

*mean*	101.250-103.750=-2.500
σ	6.500-7.500=-1.000
min	98.000-100.000=-2.000
max	111.000-115.000=-4.000

*mean*	430.000-431.000=-1.000
σ	0.000
min	430.000-431.000=-1.000
max	430.000-431.000=-1.000

*mean*	0.517-0.533=-0.016
σ	0.496-0.518=-0.021
min	0.266-0.271=-0.005
max	1.261-1.309=-0.048

policies=20

*mean*	1649.816-1656.575=-6.759
σ	0.367-0.384=-0.018
min	1649.591-1656.349=-6.758
max	1650.363-1657.151=-6.788

*mean*	980.000-1000.000=-20.000
σ	0.000
min	980.000-1000.000=-20.000
max	980.000-1000.000=-20.000

*mean*	444.500-446.000=-1.500
σ	10.630-11.165=-0.535
min	431.000-432.000=-1.000
max	453.000-455.000=-2.000

*mean*	2.654-2.671=-0.017
σ	0.006-0.019=-0.013
min	2.648-2.658=-0.011
max	2.662-2.699=-0.037

policies=200

*mean*	16505.947-16573.671=-67.724
σ	0.122-0.186=-0.065
min	16505.785-16573.399=-67.613
max	16506.063-16573.815=-67.752

*mean*	9800.000-10000.000=-200.000
σ	0.000
min	9800.000-10000.000=-200.000
max	9800.000-10000.000=-200.000

*mean*	501.750-496.500=5.250
σ	6.021-4.203=1.818
min	494.000-491.000=3.000
max	507.000-501.000=6.000

*mean*	26.758-26.964=-0.207
σ	0.095-0.162=-0.067
min	26.631-26.795=-0.164
max	26.836-27.137=-0.301