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*	57.822-57.825=-0.003
σ	0.362-0.361=0.001
min	57.674-57.683=-0.009
max	58.850-58.850=-0.001

*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.146-0.146=-0.001
σ	0.006-0.004=0.002
min	0.136-0.143=-0.007
max	0.156-0.153=0.003

cache=y

dps=1

iters=10

policies=100

*mean*	46.899-46.899=0.001
σ	0.006-0.006=0.000
min	46.890-46.888=0.003
max	46.910-46.904=0.005

*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.130-0.131=-0.001
σ	0.004-0.004=-0.000
min	0.127-0.126=0.001
max	0.138-0.137=0.001

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.606-36.606=-0.000
σ	0.000-0.000=0.000
min	36.606
max	36.607-36.606=0.000

*mean*	4082.750-3958.750=124.000
σ	2061.925-1928.615=133.310
min	1336.000-1330.000=6.000
max	7626.000-7208.000=418.000

*mean*	12.038-12.072=-0.035
σ	0.166-0.212=-0.046
min	11.885-11.829=0.056
max	12.376-12.353=0.024

op=column_set() on indexed, repeat

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

*mean*	4082.750-3958.750=124.000
σ	2061.925-1928.615=133.310
min	1336.000-1330.000=6.000
max	7626.000-7208.000=418.000

*mean*	12.937-12.371=0.566
σ	0.222-0.410=-0.188
min	12.611-11.462=1.149
max	13.307-12.706=0.601

op=table_records(), no indexes

*mean*	41.941-41.941=-0.000
σ	0.002-0.002=0.000
min	41.939-41.939=0.000
max	41.943-41.943=0.000

*mean*	7772.500-7273.000=499.500
σ	156.615-69.488=87.127
min	7626.000-7208.000=418.000
max	7919.000-7338.000=581.000

*mean*	11.116-11.335=-0.219
σ	0.251-0.130=0.120
min	10.717-11.036=-0.319
max	11.447-11.452=-0.005

op=table_records(), repeat

*mean*	41.926-41.927=-0.000
σ	0.000-0.001=-0.001
min	41.926
max	41.927-41.930=-0.003

*mean*	4082.750-3958.750=124.000
σ	2061.925-1928.615=133.310
min	1336.000-1330.000=6.000
max	7626.000-7208.000=418.000

*mean*	11.292-11.103=0.189
σ	0.269-0.129=0.139
min	10.809-10.900=-0.090
max	11.669-11.276=0.392

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

*mean*	27.635-27.635=0.000
σ	0.137-0.137=0.000
min	27.586
max	27.973-27.973=0.000

*mean*	4082.750-3958.750=124.000
σ	2061.925-1928.615=133.310
min	1336.000-1330.000=6.000
max	7626.000-7208.000=418.000

*mean*	8.573-8.613=-0.040
σ	0.242-0.231=0.011
min	8.262-8.376=-0.113
max	8.869-8.992=-0.123

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

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

*mean*	4082.750-3958.750=124.000
σ	2061.925-1928.615=133.310
min	1336.000-1330.000=6.000
max	7626.000-7208.000=418.000

*mean*	6.273-6.333=-0.060
σ	0.373-0.345=0.027
min	5.505-5.764=-0.259
max	6.678-6.795=-0.117

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.665-25.665=-0.000
σ	0.004-0.004=-0.000
min	25.663
max	25.675-25.675=-0.000

*mean*	4082.750-3958.750=124.000
σ	2061.925-1928.615=133.310
min	1336.000-1330.000=6.000
max	7626.000-7208.000=418.000

*mean*	5.880-5.882=-0.002
σ	0.257-0.101=0.156
min	5.480-5.727=-0.247
max	6.269-6.039=0.230

op=vertical_lookup_row_list() on 3 (1 unindexed)

*mean*	25.963-25.964=-0.000
σ	0.001-0.001=0.000
min	25.963-25.963=-0.000
max	25.965

*mean*	4082.750-3958.750=124.000
σ	2061.925-1928.615=133.310
min	1336.000-1330.000=6.000
max	7626.000-7208.000=418.000

*mean*	5.615-5.777=-0.163
σ	0.281-0.077=0.204
min	5.091-5.686=-0.595
max	5.899-5.919=-0.020

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.601-1021.601=-0.000
σ	0.002-0.002=-0.000
min	1021.598
max	1021.603-1021.603=-0.000

*mean*	7735.875-7273.000=462.875
σ	151.642-69.488=82.154
min	7626.000-7208.000=418.000
max	7919.000-7338.000=581.000

*mean*	348.995-347.228=1.767
σ	8.939-2.393=6.545
min	344.008-344.125=-0.117
max	370.724-351.592=19.132

op=load_product(), with indexes

*mean*	3495.849-3495.849=0.000
σ	0.460-0.460=-0.000
min	3495.686
max	3496.988

*mean*	3406.875-3321.000=85.875
σ	1977.076-1890.247=86.829
min	638.000-640.000=-2.000
max	5488.000-5296.000=192.000

*mean*	1750.166-1880.134=-129.967
σ	650.021-915.455=-265.434
min	1393.970-1398.028=-4.058
max	2905.209-3772.269=-867.060

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

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

*mean*	4082.750-3958.750=124.000
σ	2061.925-1928.615=133.310
min	1336.000-1330.000=6.000
max	7626.000-7208.000=418.000

*mean*	128.803-129.389=-0.586
σ	5.146-10.223=-5.076
min	121.552-121.825=-0.273
max	137.668-151.907=-14.239

op=column_set() on unindexed, dense, repeat

*mean*	62.070-62.070=-0.000
σ	0.001-0.001=-0.000
min	62.067
max	62.070-62.070=-0.000

*mean*	4082.750-3958.750=124.000
σ	2061.925-1928.615=133.310
min	1336.000-1330.000=6.000
max	7626.000-7208.000=418.000

*mean*	43.507-41.922=1.585
σ	1.492-1.584=-0.092
min	41.723-40.319=1.404
max	46.111-44.541=1.570

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.928
σ	0.002
min	40.927
max	40.931

*mean*	7772.500-7273.000=499.500
σ	156.615-69.488=87.127
min	7626.000-7208.000=418.000
max	7919.000-7338.000=581.000

*mean*	22.231-22.252=-0.022
σ	0.959-0.674=0.285
min	21.438-21.476=-0.037
max	24.442-23.584=0.858

op=vertical_lookup_row_list() on unindexed small unique Int

*mean*	71.295-71.295=0.000
σ	0.002-0.002=-0.000
min	71.294-71.294=0.000
max	71.298-71.298=0.000

*mean*	7772.500-7273.000=499.500
σ	156.615-69.488=87.127
min	7626.000-7208.000=418.000
max	7919.000-7338.000=581.000

*mean*	87.577-56.029=31.548
σ	88.858-0.946=87.911
min	54.775-55.021=-0.246
max	307.446-58.086=249.360

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

*mean*	4646.844-4646.843=0.000
σ	0.014-0.014=-0.000
min	4646.838
max	4646.877

*mean*	4082.750-3958.750=124.000
σ	2061.925-1928.615=133.310
min	1336.000-1330.000=6.000
max	7626.000-7208.000=418.000

*mean*	3435.558-3616.603=-181.045
σ	807.268-955.224=-147.956
min	2508.828-2502.540=6.288
max	4859.697-4686.009=173.688

op=vertical_lookup_list() on indexed

*mean*	1973.832-1973.831=0.000
σ	0.002-0.002=-0.000
min	1973.830
max	1973.834

*mean*	7772.500-7273.000=499.500
σ	156.615-69.488=87.127
min	7626.000-7208.000=418.000
max	7919.000-7338.000=581.000

*mean*	991.079-942.992=48.086
σ	181.189-58.198=122.992
min	916.636-916.202=0.434
max	1439.341-1086.375=352.966

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

*mean*	905.085
σ	0.002
min	905.083
max	905.088

*mean*	7772.500-7273.000=499.500
σ	156.615-69.488=87.127
min	7626.000-7208.000=418.000
max	7919.000-7338.000=581.000

*mean*	398.959-394.918=4.041
σ	1.636-4.683=-3.047
min	397.423-385.573=11.850
max	401.668-400.436=1.233

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-475.000=4.000
σ	0.000
min	479.000-475.000=4.000
max	479.000-475.000=4.000

*mean*	366.609-369.526=-2.917
σ	42.443-37.643=4.800
min	311.861-308.653=3.208
max	416.050-408.503=7.547

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	562.000-564.250=-2.250
σ	0.000-1.035=-1.035
min	562.000-563.000=-1.000
max	562.000-565.000=-3.000

*mean*	751.883-770.290=-18.407
σ	58.285-30.411=27.874
min	626.543-727.722=-101.179
max	806.115-809.892=-3.777

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	976.915-976.919=-0.005
σ	2.439-2.438=0.001
min	976.071-976.071=-0.000
max	987.250-987.250=0.001

*mean*	1049.000-1046.800=2.200
σ	318.271-302.736=15.535
min	561.000-573.000=-12.000
max	1523.000-1492.000=31.000

*mean*	1.277-1.293=-0.016
σ	0.092-0.104=-0.012
min	1.128-1.210=-0.082
max	1.470-1.530=-0.060

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.399=-0.108
σ	0.295-0.508=-0.213
min	0.134-0.147=-0.013
max	0.816-1.306=-0.490

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.471-0.475=-0.004
σ	0.323-0.311=0.012
min	0.315-0.318=-0.003
max	1.049-1.030=0.019

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.218-0.213=0.005
σ	0.023-0.028=-0.005
min	0.199-0.193=0.005
max	0.256-0.262=-0.005

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.326-0.333=-0.007
σ	0.011-0.012=-0.001
min	0.316-0.321=-0.005
max	0.341-0.352=-0.011

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-431.600=-0.600
σ	0.000-1.342=-1.342
min	431.000
max	431.000-434.000=-3.000

*mean*	0.548-0.546=0.003
σ	0.031-0.026=0.006
min	0.520-0.511=0.009
max	0.586-0.583=0.003

name=cdr_enhanced_4k_loc.art

*mean*	886.000
σ	0.002
min	885.999
max	886.003

*mean*	431.400-441.000=-9.600
σ	0.548-0.000=0.548
min	431.000-441.000=-10.000
max	432.000-441.000=-9.000

*mean*	0.498-0.484=0.014
σ	0.020-0.030=-0.011
min	0.477-0.445=0.032
max	0.519-0.529=-0.010

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*	432.000-441.000=-9.000
σ	0.000
min	432.000-441.000=-9.000
max	432.000-441.000=-9.000

*mean*	2.797-2.667=0.130
σ	0.213-0.084=0.129
min	1.989-2.457=-0.468
max	3.839-2.876=0.964

name=record_render_large_syntax_err.art

*mean*	7.667
σ	0.002
min	7.666
max	7.670

*mean*	432.000-441.000=-9.000
σ	0.000
min	432.000-441.000=-9.000
max	432.000-441.000=-9.000

*mean*	2.603-2.638=-0.035
σ	0.214-0.088=0.126
min	1.914-2.476=-0.563
max	3.303-2.922=0.380

name=record_render_success.art

*mean*	2.290
σ	0.002
min	2.290
max	2.294

*mean*	432.000-441.000=-9.000
σ	0.000
min	432.000-441.000=-9.000
max	432.000-441.000=-9.000

*mean*	0.302-0.305=-0.003
σ	0.009-0.008=0.001
min	0.291-0.292=-0.001
max	0.356-0.352=0.004

name=record_render_syntax_err.art

*mean*	2.166
σ	0.002
min	2.165
max	2.169

*mean*	432.000-441.000=-9.000
σ	0.000
min	432.000-441.000=-9.000
max	432.000-441.000=-9.000

*mean*	0.291-0.290=0.000
σ	0.008-0.009=-0.001
min	0.278-0.275=0.003
max	0.328-0.333=-0.005

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.550-11.733=-0.184
σ	11.736-11.595=0.141
min	0.574-0.574=-0.000
max	142.675-98.267=44.407

*mean*	459.570-463.347=-3.777
σ	16.699-19.193=-2.494
min	411.000-409.000=2.000
max	477.000-480.000=-3.000

*mean*	0.027-0.027=-0.000
σ	0.029-0.028=0.001
min	0.001-0.001=0.000
max	0.346-0.235=0.111

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	293.925-294.049=-0.125
σ	1.094-1.054=0.040
min	293.496-293.636=-0.140
max	297.035-297.046=-0.011

*mean*	440.200-442.200=-2.000
σ	17.229-17.912=-0.683
min	415.000
max	462.000-467.000=-5.000

*mean*	0.588-0.600=-0.012
σ	0.021-0.013=0.008
min	0.551-0.580=-0.028
max	0.612-0.621=-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

*mean*	847.750-848.000=-0.250
σ	0.463-0.000=0.463
min	847.000-848.000=-1.000
max	848.000

*mean*	140.328-138.291=2.037
σ	13.839-13.756=0.083
min	124.181-111.869=12.312
max	165.858-155.877=9.981

phase=macro expansion

*mean*	5.897
σ	0.000
min	5.897
max	5.897

*mean*	847.625-848.000=-0.375
σ	0.518-0.000=0.518
min	847.000-848.000=-1.000
max	848.000

*mean*	6.383-5.858=0.524
σ	1.084-0.046=1.038
min	5.898-5.802=0.096
max	9.057-5.932=3.125

phase=parser

*mean*	1042.133-1042.133=-0.000
σ	0.000-0.000=0.000
min	1042.132-1042.133=-0.000
max	1042.133

*mean*	847.625-848.000=-0.375
σ	0.518-0.000=0.518
min	847.000-848.000=-1.000
max	848.000

*mean*	419.513-375.031=44.482
σ	86.174-3.086=83.089
min	369.737-369.904=-0.166
max	595.316-378.638=216.677

phase=processProdDef

*mean*	2241.195
σ	0.000
min	2241.195
max	2241.195

*mean*	847.750-848.000=-0.250
σ	0.463-0.000=0.463
min	847.000-848.000=-1.000
max	848.000

*mean*	2825.931-2724.197=101.734
σ	377.569-242.979=134.590
min	2155.740-2386.395=-230.655
max	3241.156-3130.403=110.754

phase=renaming

*mean*	21.430
σ	0.000
min	21.430
max	21.430

*mean*	847.625-848.000=-0.375
σ	0.518-0.000=0.518
min	847.000-848.000=-1.000
max	848.000

*mean*	37.102-37.997=-0.895
σ	7.157-2.432=4.725
min	20.313-34.778=-14.465
max	43.564-41.063=2.501

phase=type checker

*mean*	958.462
σ	0.047
min	958.439
max	958.564

*mean*	847.625-848.000=-0.375
σ	0.518-0.000=0.518
min	847.000-848.000=-1.000
max	848.000

*mean*	675.973-669.220=6.753
σ	41.196-17.020=24.176
min	615.430-642.057=-26.627
max	758.625-688.082=70.543

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	327.854-327.854=0.000
σ	0.036-0.036=-0.001
min	327.804-327.803=0.000
max	327.889-327.890=-0.001

*mean*	439.200-441.000=-1.800
σ	3.701-4.301=-0.600
min	433.000-434.000=-1.000
max	442.000-445.000=-3.000

*mean*	0.434-0.434=-0.001
σ	0.008-0.005=0.003
min	0.424-0.430=-0.006
max	0.442-0.440=0.001

iters=5

new-facts=1

prior-facts=6402

*mean*	1313.061-1313.072=-0.011
σ	0.122-0.144=-0.022
min	1312.968-1312.964=0.004
max	1313.271-1313.321=-0.050

*mean*	1084.800-1088.200=-3.400
σ	173.102-173.598=-0.496
min	881.000-884.000=-3.000
max	1300.000-1304.000=-4.000

*mean*	1.895-1.877=0.018
σ	0.092-0.090=0.002
min	1.761-1.762=-0.000
max	2.001-2.003=-0.002

iters=5

new-facts=6402

prior-facts=1

*mean*	1552.102-1552.107=-0.005
σ	3.010-3.029=-0.018
min	1550.613-1550.563=0.050
max	1557.482-1557.518=-0.035

*mean*	617.800-614.800=3.000
σ	85.219-93.213=-7.995
min	518.000-494.000=24.000
max	732.000-734.000=-2.000

*mean*	2.378-2.443=-0.065
σ	0.229-0.261=-0.032
min	2.115-2.155=-0.040
max	2.679-2.719=-0.040

iters=5

new-facts=6402

prior-facts=6402

*mean*	1875.071-1875.065=0.006
σ	0.056-0.045=0.011
min	1875.016-1875.012=0.003
max	1875.165-1875.134=0.030

*mean*	1729.600-1736.000=-6.400
σ	214.912-215.073=-0.161
min	1437.000-1447.000=-10.000
max	1930.000-1938.000=-8.000

*mean*	3.084-2.988=0.096
σ	0.255-0.156=0.099
min	2.708-2.861=-0.153
max	3.305-3.244=0.061

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.524-1.562=-0.039
σ	0.097-0.104=-0.007
min	1.419-1.428=-0.009
max	1.666-1.692=-0.026

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.414-419.412=0.001
σ	508.909-508.910=-0.000
min	164.957-164.955=0.002
max	1182.777-1182.777=0.001

*mean*	101.250
σ	6.500
min	98.000
max	111.000

*mean*	432.000-433.000=-1.000
σ	0.000
min	432.000-433.000=-1.000
max	432.000-433.000=-1.000

*mean*	0.531-0.524=0.007
σ	0.518-0.508=0.010
min	0.271-0.263=0.008
max	1.308-1.287=0.022

policies=20

*mean*	1649.817-1649.812=0.005
σ	0.360-0.379=-0.019
min	1649.610-1649.598=0.012
max	1650.356-1650.379=-0.024

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	449.250-446.750=2.500
σ	11.057-11.295=-0.239
min	435.000-433.000=2.000
max	458.000-456.000=2.000

*mean*	2.632-2.660=-0.028
σ	0.008-0.009=-0.001
min	2.622-2.653=-0.031
max	2.640-2.672=-0.032

policies=200

*mean*	16506.111-16506.092=0.019
σ	0.026-0.027=-0.001
min	16506.085-16506.066=0.019
max	16506.139-16506.130=0.009

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	497.000-496.250=0.750
σ	4.397-6.397=-2.000
min	492.000-489.000=3.000
max	502.000-503.000=-1.000

*mean*	26.724-26.736=-0.012
σ	0.176-0.106=0.070
min	26.566-26.619=-0.054
max	26.882-26.834=0.049