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.696-54.699=-0.003
σ	0.363-0.366=-0.003
min	54.565-54.566=-0.001
max	55.728-55.740=-0.012

*mean*	416.000-419.000=-3.000
σ	0.000
min	416.000-419.000=-3.000
max	416.000-419.000=-3.000

*mean*	0.138-0.142=-0.003
σ	0.005-0.005=0.000
min	0.131-0.137=-0.007
max	0.148-0.150=-0.002

cache=y

dps=1

iters=10

policies=100

*mean*	43.778-43.778=0.000
σ	0.009-0.008=0.000
min	43.766-43.767=-0.001
max	43.788-43.796=-0.007

*mean*	416.100-419.000=-2.900
σ	0.316-0.000=0.316
min	416.000-419.000=-3.000
max	417.000-419.000=-2.000

*mean*	0.121-0.124=-0.002
σ	0.005-0.005=0.001
min	0.115-0.120=-0.005
max	0.131-0.131=-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.605=-0.000

*mean*	4216.250-4424.500=-208.250
σ	1969.316-2227.318=-258.002
min	1484.000-1482.000=2.000
max	7435.000-7408.000=27.000

*mean*	12.265-13.479=-1.214
σ	0.409-3.636=-3.228
min	11.859-11.714=0.145
max	13.151-22.433=-9.283

op=column_set() on indexed, repeat

*mean*	36.605-36.605=-0.000
σ	0.000-0.000=-0.000
min	36.605
max	36.605-36.606=-0.001

*mean*	4216.250-4605.875=-389.625
σ	1969.316-2258.308=-288.993
min	1484.000-1482.000=2.000
max	7435.000-7408.000=27.000

*mean*	12.729-153.055=-140.327
σ	0.731-392.581=-391.850
min	11.614-11.873=-0.259
max	13.876-1124.606=-1110.730

op=table_records(), no indexes

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

*mean*	7435.000-7408.000=27.000
σ	0.000
min	7435.000-7408.000=27.000
max	7435.000-7408.000=27.000

*mean*	11.248-11.045=0.203
σ	0.208-0.127=0.081
min	11.012-10.904=0.108
max	11.562-11.253=0.309

op=table_records(), repeat

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

*mean*	4216.250-4195.500=20.750
σ	1969.316-1954.181=15.134
min	1484.000-1482.000=2.000
max	7435.000-7408.000=27.000

*mean*	11.429-11.782=-0.352
σ	1.031-1.900=-0.869
min	10.810-10.770=0.040
max	13.924-16.437=-2.514

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

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

*mean*	4216.250-4195.500=20.750
σ	1969.316-1954.181=15.134
min	1484.000-1482.000=2.000
max	7435.000-7408.000=27.000

*mean*	9.131-8.975=0.156
σ	0.694-1.042=-0.348
min	8.434-8.341=0.093
max	10.694-11.411=-0.717

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*	4216.250-4195.500=20.750
σ	1969.316-1954.181=15.134
min	1484.000-1482.000=2.000
max	7435.000-7408.000=27.000

*mean*	6.913-6.680=0.233
σ	0.546-0.569=-0.022
min	6.096-5.811=0.285
max	8.069-7.876=0.194

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*	4442.750-4605.875=-163.125
σ	2239.847-2258.308=-18.461
min	1484.000-1482.000=2.000
max	7435.000-7408.000=27.000

*mean*	6.100-6.661=-0.561
σ	0.080-1.251=-1.171
min	5.972-5.807=0.165
max	6.194-8.943=-2.749

op=vertical_lookup_row_list() on 3 (1 unindexed)

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

*mean*	4442.750-4605.875=-163.125
σ	2239.847-2258.308=-18.461
min	1484.000-1482.000=2.000
max	7435.000-7408.000=27.000

*mean*	5.936-6.373=-0.437
σ	0.143-1.208=-1.065
min	5.749-5.624=0.125
max	6.067-9.084=-3.018

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

*mean*	7435.000-7408.000=27.000
σ	0.000
min	7435.000-7408.000=27.000
max	7435.000-7408.000=27.000

*mean*	361.994-344.184=17.811
σ	42.525-1.203=41.322
min	344.244-342.544=1.699
max	467.115-345.827=121.287

op=load_product(), with indexes

*mean*	3495.846-3495.846=-0.000
σ	0.455-0.455=-0.000
min	3495.685
max	3496.971-3496.972=-0.001

*mean*	3788.125-3769.875=18.250
σ	2326.855-2310.122=16.733
min	720.000
max	7435.000-7408.000=27.000

*mean*	1943.607-1777.486=166.121
σ	760.571-617.512=143.060
min	1405.322-1411.246=-5.924
max	3133.878-2781.028=352.850

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*	4216.250-4195.500=20.750
σ	1969.316-1954.181=15.134
min	1484.000-1482.000=2.000
max	7435.000-7408.000=27.000

*mean*	134.047-132.472=1.575
σ	9.534-11.022=-1.488
min	126.100-123.870=2.230
max	156.377-156.600=-0.224

op=column_set() on unindexed, dense, repeat

*mean*	62.069-62.069=-0.000
σ	0.001-0.001=-0.000
min	62.065-62.065=-0.000
max	62.069-62.070=-0.001

*mean*	4216.250-4424.500=-208.250
σ	1969.316-2227.318=-258.002
min	1484.000-1482.000=2.000
max	7435.000-7408.000=27.000

*mean*	42.856-138.259=-95.403
σ	1.311-269.301=-267.990
min	41.449-41.566=-0.117
max	44.536-804.738=-760.202

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.927-40.927=-0.000
σ	0.002-0.002=-0.000
min	40.926
max	40.930-40.930=-0.001

*mean*	7435.000-7408.000=27.000
σ	0.000
min	7435.000-7408.000=27.000
max	7435.000-7408.000=27.000

*mean*	22.140-101.925=-79.785
σ	1.344-227.293=-225.950
min	21.477-21.192=0.285
max	25.416-664.447=-639.031

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*	7435.000-7408.000=27.000
σ	0.000
min	7435.000-7408.000=27.000
max	7435.000-7408.000=27.000

*mean*	162.528-58.698=103.830
σ	301.585-9.245=292.340
min	55.033-54.761=0.272
max	908.912-81.518=827.394

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4216.250-4195.500=20.750
σ	1969.316-1954.181=15.134
min	1484.000-1482.000=2.000
max	7435.000-7408.000=27.000

*mean*	3328.098-3264.233=63.864
σ	638.294-752.532=-114.238
min	2522.090-2485.220=36.869
max	4254.242-4402.071=-147.830

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

*mean*	7435.000-7408.000=27.000
σ	0.000
min	7435.000-7408.000=27.000
max	7435.000-7408.000=27.000

*mean*	1231.844-1009.430=222.414
σ	766.042-201.648=564.394
min	905.553-915.875=-10.321
max	3119.951-1494.831=1625.120

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

*mean*	905.084
σ	0.002
min	905.082
max	905.087

*mean*	7435.000-7408.000=27.000
σ	0.000
min	7435.000-7408.000=27.000
max	7435.000-7408.000=27.000

*mean*	407.908-391.929=15.979
σ	43.359-3.300=40.059
min	377.359-385.821=-8.463
max	513.967-397.074=116.893

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*	477.750-475.000=2.750
σ	0.886-0.000=0.886
min	477.000-475.000=2.000
max	479.000-475.000=4.000

*mean*	383.867-372.955=10.912
σ	40.682-39.740=0.941
min	303.385-317.670=-14.285
max	430.408-435.497=-5.089

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	562.375-561.000=1.375
σ	1.768-0.000=1.768
min	558.000-561.000=-3.000
max	563.000-561.000=2.000

*mean*	769.447-766.378=3.069
σ	40.998-36.069=4.929
min	711.648-699.575=12.073
max	832.652-817.736=14.916

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.557-964.558=-0.001
σ	1.879-1.881=-0.002
min	963.837-963.837=-0.000
max	972.505-972.513=-0.008

*mean*	1041.700-1040.200=1.500
σ	291.274-316.026=-24.752
min	577.000-564.000=13.000
max	1431.000-1501.000=-70.000

*mean*	1.275-1.275=0.001
σ	0.139-0.109=0.030
min	1.158-1.183=-0.024
max	1.704-1.498=0.206

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.307-0.300=0.007
σ	0.307-0.293=0.015
min	0.145-0.142=0.003
max	0.853-0.820=0.033

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.481-0.475=0.006
σ	0.318-0.318=-0.001
min	0.324-0.314=0.010
max	1.049-1.044=0.005

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.222-0.220=0.002
σ	0.023-0.032=-0.009
min	0.204-0.199=0.005
max	0.262-0.277=-0.015

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.340-0.334=0.006
σ	0.030-0.019=0.011
min	0.320-0.323=-0.003
max	0.393-0.368=0.026

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.540-0.558=-0.018
σ	0.026-0.039=-0.013
min	0.508-0.528=-0.020
max	0.577-0.605=-0.028

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.442-0.459=-0.017
σ	0.037-0.042=-0.005
min	0.389-0.422=-0.033
max	0.476-0.525=-0.049

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.963-1.946=0.017
σ	0.090-0.073=0.017
min	1.823-1.860=-0.038
max	2.356-2.434=-0.078

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.934-1.942=-0.008
σ	0.074-0.063=0.011
min	1.794-1.839=-0.044
max	2.218-2.226=-0.008

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.309-0.302=0.008
σ	0.040-0.008=0.031
min	0.290-0.289=0.000
max	0.689-0.353=0.337

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.290-0.291=-0.001
σ	0.008-0.019=-0.011
min	0.275-0.275=-0.000
max	0.324-0.459=-0.135

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.730-11.495=0.235
σ	11.592-12.864=-1.272
min	0.574-0.574=0.000
max	83.954-120.237=-36.284

*mean*	465.173-457.133=8.040
σ	20.783-19.317=1.466
min	408.000
max	480.000-475.000=5.000

*mean*	0.027-0.026=0.001
σ	0.029-0.031=-0.003
min	0.001-0.001=0.000
max	0.226-0.291=-0.064

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	279.007-279.022=-0.015
σ	1.040-1.020=0.020
min	278.497-278.554=-0.056
max	281.952-281.913=0.039

*mean*	442.400-445.300=-2.900
σ	15.665-20.011=-4.347
min	417.000-414.000=3.000
max	468.000-478.000=-10.000

*mean*	0.576-0.583=-0.007
σ	0.022-0.015=0.007
min	0.523-0.562=-0.039
max	0.609-0.618=-0.009

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

*mean*	156.065-150.187=5.878
σ	10.275-9.514=0.761
min	137.981-137.674=0.308
max	166.366-161.052=5.315

phase=macro expansion

*mean*	5.894
σ	0.000
min	5.894
max	5.894

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

*mean*	8.389-7.999=0.390
σ	2.573-1.116=1.456
min	5.798-6.882=-1.084
max	11.826-9.265=2.560

phase=parser

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

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

*mean*	556.154-526.677=29.477
σ	155.627-92.011=63.616
min	376.626-436.181=-59.554
max	727.661-616.882=110.779

phase=processProdDef

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

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

*mean*	2773.934-2904.931=-130.997
σ	160.723-268.364=-107.640
min	2450.063-2534.391=-84.327
max	3016.708-3248.412=-231.704

phase=renaming

*mean*	21.434-21.433=0.000
σ	0.000
min	21.434-21.433=0.000
max	21.434-21.433=0.000

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

*mean*	39.576-43.858=-4.281
σ	7.012-4.166=2.846
min	25.775-39.509=-13.734
max	46.743-49.946=-3.203

phase=type checker

*mean*	958.462
σ	0.047
min	958.439
max	958.564

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

*mean*	747.226-675.633=71.593
σ	80.721-12.730=67.991
min	641.500-653.806=-12.306
max	848.194-685.059=163.135

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.856-282.856=-0.000
σ	0.036-0.036=0.000
min	282.803-282.804=-0.001
max	282.891-282.891=-0.000

*mean*	444.000-444.400=-0.400
σ	0.000-0.548=-0.548
min	444.000
max	444.000-445.000=-1.000

*mean*	0.389-0.376=0.013
σ	0.011-0.008=0.003
min	0.380-0.372=0.009
max	0.407-0.390=0.017

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.054-1268.048=0.006
σ	0.106-0.115=-0.008
min	1267.955-1267.940=0.015
max	1268.227-1268.236=-0.009

*mean*	1091.000-1087.000=4.000
σ	167.738-185.296=-17.558
min	892.000-869.000=23.000
max	1320.000-1326.000=-6.000

*mean*	1.985-1.849=0.136
σ	0.123-0.146=-0.023
min	1.857-1.761=0.096
max	2.131-2.105=0.026

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.022-1507.030=-0.009
σ	2.982-2.974=0.008
min	1505.468-1505.479=-0.010
max	1512.344-1512.336=0.008

*mean*	625.200-629.400=-4.200
σ	87.102-81.479=5.623
min	495.000-505.000=-10.000
max	727.000-719.000=8.000

*mean*	2.210-2.262=-0.052
σ	0.147-0.260=-0.113
min	2.107-2.074=0.033
max	2.467-2.705=-0.238

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.058-1830.055=0.003
σ	0.049-0.053=-0.004
min	1829.993-1829.991=0.002
max	1830.108-1830.105=0.003

*mean*	1722.000-1737.200=-15.200
σ	190.091-182.552=7.539
min	1454.000-1471.000=-17.000
max	1894.000-1897.000=-3.000

*mean*	3.001-2.972=0.030
σ	0.319-0.301=0.018
min	2.829-2.728=0.101
max	3.570-3.496=0.075

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.596-1.738=-0.143
σ	0.186-0.131=0.055
min	1.364-1.520=-0.157
max	1.777-1.868=-0.091

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	405.944-405.941=0.003
σ	509.285-509.286=-0.000
min	151.299-151.294=0.005
max	1169.872-1169.869=0.002

*mean*	101.750
σ	7.500
min	98.000
max	113.000

*mean*	444.000
σ	0.000
min	444.000
max	444.000

*mean*	0.513-0.502=0.010
σ	0.515-0.499=0.016
min	0.255-0.248=0.007
max	1.286-1.251=0.035

policies=20

*mean*	1513.135-1513.132=0.003
σ	0.246-0.272=-0.025
min	1512.974-1512.959=0.015
max	1513.500-1513.535=-0.035

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	446.250-453.000=-6.750
σ	1.500-10.392=-8.892
min	444.000
max	447.000-468.000=-21.000

*mean*	2.468-2.507=-0.039
σ	0.016-0.045=-0.029
min	2.446-2.475=-0.029
max	2.484-2.573=-0.090

policies=200

*mean*	15140.036-15139.971=0.065
σ	0.150-0.142=0.008
min	15139.869-15139.839=0.030
max	15140.229-15140.147=0.082

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	496.000-498.250=-2.250
σ	5.354-4.573=0.781
min	490.000-493.000=-3.000
max	501.000-503.000=-2.000

*mean*	25.085-24.984=0.101
σ	0.272-0.127=0.145
min	24.872-24.882=-0.010
max	25.457-25.154=0.303