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

AST compact size (processProdDef)

Factor

compact size MiB

phase=processProdDef

*mean*	446.633
σ	0.000
min	446.633
max	446.633

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.715-54.717=-0.002
σ	0.363-0.366=-0.003
min	54.573-54.580=-0.007
max	55.748-55.758=-0.010

*mean*	416.000-420.000=-4.000
σ	0.000
min	416.000-420.000=-4.000
max	416.000-420.000=-4.000

*mean*	0.141-0.141=0.000
σ	0.005-0.003=0.002
min	0.136-0.137=-0.001
max	0.149-0.147=0.002

cache=y

dps=1

iters=10

policies=100

*mean*	43.779-43.777=0.002
σ	0.008-0.009=-0.001
min	43.766-43.767=-0.001
max	43.796-43.791=0.005

*mean*	416.000-420.000=-4.000
σ	0.000
min	416.000-420.000=-4.000
max	416.000-420.000=-4.000

*mean*	0.125-0.124=0.001
σ	0.004-0.003=0.001
min	0.121-0.121=-0.001
max	0.132-0.131=0.001

CSV - indexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

op=column_set() on indexed

*mean*	36.604-36.604=0.000
σ	0.000-0.000=-0.000
min	36.604
max	36.605-36.605=-0.000

*mean*	4425.625-4588.250=-162.625
σ	2227.740-2255.036=-27.296
min	1486.000-1487.000=-1.000
max	7408.000-7405.000=3.000

*mean*	13.270-13.133=0.138
σ	3.750-2.995=0.756
min	11.707-11.881=-0.174
max	22.529-20.530=1.999

op=column_set() on indexed, repeat

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

*mean*	4606.250-4588.250=18.000
σ	2258.894-2255.036=3.858
min	1486.000-1487.000=-1.000
max	7408.000-7405.000=3.000

*mean*	169.779-13.685=156.094
σ	440.307-2.966=437.340
min	12.368-11.746=0.622
max	1259.447-20.963=1238.484

op=table_records(), no indexes

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

*mean*	7408.000-7405.000=3.000
σ	0.000
min	7408.000-7405.000=3.000
max	7408.000-7405.000=3.000

*mean*	11.504-11.081=0.423
σ	0.474-0.146=0.328
min	10.881-10.904=-0.023
max	12.406-11.312=1.094

op=table_records(), repeat

*mean*	41.924-41.924=0.000
σ	0.000-0.000=-0.000
min	41.924
max	41.925-41.925=-0.000

*mean*	4196.750-4174.750=22.000
σ	1954.913-1947.001=7.912
min	1486.000-1487.000=-1.000
max	7408.000-7405.000=3.000

*mean*	11.506-11.725=-0.219
σ	1.805-2.051=-0.245
min	10.603-10.861=-0.258
max	15.963-16.790=-0.827

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

*mean*	27.633-27.633=-0.001
σ	0.137-0.136=0.000
min	27.584
max	27.971-27.971=-0.000

*mean*	4196.750-4174.750=22.000
σ	1954.913-1947.001=7.912
min	1486.000-1487.000=-1.000
max	7408.000-7405.000=3.000

*mean*	9.000-9.154=-0.154
σ	1.396-1.260=0.135
min	7.775-7.989=-0.215
max	12.352-12.178=0.175

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

*mean*	26.384-26.384=0.000
σ	0.001-0.000=0.001
min	26.384
max	26.388-26.384=0.004

*mean*	4196.750-4174.750=22.000
σ	1954.913-1947.001=7.912
min	1486.000-1487.000=-1.000
max	7408.000-7405.000=3.000

*mean*	7.046-7.197=-0.151
σ	0.994-0.890=0.103
min	6.389-6.503=-0.113
max	9.473-9.352=0.121

op=vertical_lookup_row_list() on 2 indexed

*mean*	25.662-25.662=-0.000
σ	0.004-0.004=-0.000
min	25.661
max	25.673-25.673=-0.000

*mean*	4606.250-4588.250=18.000
σ	2258.894-2255.036=3.858
min	1486.000-1487.000=-1.000
max	7408.000-7405.000=3.000

*mean*	6.637-6.208=0.429
σ	1.288-0.519=0.769
min	5.824-5.799=0.025
max	8.987-7.452=1.535

op=vertical_lookup_row_list() on 3 (1 unindexed)

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

*mean*	4606.250-4588.250=18.000
σ	2258.894-2255.036=3.858
min	1486.000-1487.000=-1.000
max	7408.000-7405.000=3.000

*mean*	6.360-6.028=0.332
σ	1.061-0.573=0.488
min	5.751-5.645=0.107
max	8.776-7.418=1.358

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.608-1021.608=0.000
σ	0.002-0.002=0.000
min	1021.606
max	1021.611-1021.611=0.000

*mean*	7408.000-7405.000=3.000
σ	0.000
min	7408.000-7405.000=3.000
max	7408.000-7405.000=3.000

*mean*	346.636-362.917=-16.281
σ	1.372-42.014=-40.643
min	345.004-345.810=-0.806
max	348.668-466.828=-118.161

op=load_product(), with indexes

*mean*	3495.855-3495.854=0.000
σ	0.454-0.454=0.000
min	3495.694-3495.694=0.000
max	3496.978-3496.977=0.001

*mean*	3770.375-3752.625=17.750
σ	2310.661-2300.293=10.368
min	721.000-720.000=1.000
max	7408.000-7405.000=3.000

*mean*	1736.134-1732.554=3.581
σ	600.156-610.358=-10.203
min	1383.755-1398.917=-15.161
max	2951.006-2766.359=184.647

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.841-107.842=-0.001

*mean*	4196.750-4408.750=-212.000
σ	1954.913-2226.057=-271.144
min	1486.000-1487.000=-1.000
max	7408.000-7405.000=3.000

*mean*	137.436-245.361=-107.925
σ	17.599-310.235=-292.636
min	129.170-124.595=4.575
max	180.886-1011.896=-831.010

op=column_set() on unindexed, dense, repeat

*mean*	62.068
σ	0.001
min	62.065
max	62.069

*mean*	4425.625-4588.250=-162.625
σ	2227.740-2255.036=-27.296
min	1486.000-1487.000=-1.000
max	7408.000-7405.000=3.000

*mean*	153.933-208.837=-54.904
σ	317.310-468.482=-151.173
min	40.231-40.794=-0.563
max	939.226-1368.262=-429.035

op=vertical_lookup_list() repeated on unindexed missing Int

*mean*	40.926-40.926=0.000
σ	0.002-0.002=0.000
min	40.925
max	40.929-40.928=0.001

*mean*	7408.000-7405.000=3.000
σ	0.000
min	7408.000-7405.000=3.000
max	7408.000-7405.000=3.000

*mean*	68.311-22.276=46.035
σ	127.735-1.449=126.286
min	21.543-21.619=-0.076
max	384.374-25.852=358.522

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.292-71.292=-0.000
max	71.296-71.296=-0.000

*mean*	7408.000-7405.000=3.000
σ	0.000
min	7408.000-7405.000=3.000
max	7408.000-7405.000=3.000

*mean*	58.481-272.504=-214.023
σ	5.808-611.022=-605.215
min	55.728-54.886=0.842
max	72.653-1784.696=-1712.043

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*	4196.750-4174.750=22.000
σ	1954.913-1947.001=7.912
min	1486.000-1487.000=-1.000
max	7408.000-7405.000=3.000

*mean*	3181.744-3191.155=-9.411
σ	694.098-627.516=66.583
min	2501.647-2483.965=17.682
max	4498.812-3981.691=517.121

op=vertical_lookup_list() on indexed

*mean*	1973.829-1973.829=-0.000
σ	0.002-0.002=-0.000
min	1973.827
max	1973.831-1973.832=-0.000

*mean*	7408.000-7405.000=3.000
σ	0.000
min	7408.000-7405.000=3.000
max	7408.000-7405.000=3.000

*mean*	1012.006-1057.820=-45.814
σ	201.658-256.888=-55.230
min	912.911-923.119=-10.209
max	1487.859-1666.553=-178.694

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

*mean*	905.083-905.083=0.000
σ	0.002-0.002=-0.000
min	905.080
max	905.086

*mean*	7408.000-7405.000=3.000
σ	0.000
min	7408.000-7405.000=3.000
max	7408.000-7405.000=3.000

*mean*	404.622-394.142=10.480
σ	41.934-4.218=37.716
min	384.239-388.864=-4.625
max	508.211-402.747=105.464

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.375-475.625=0.750
σ	0.916-0.518=0.399
min	475.000
max	477.000-476.000=1.000

*mean*	359.372-360.668=-1.296
σ	36.099-28.352=7.747
min	303.540-309.114=-5.574
max	414.179-389.046=25.133

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	563.750-558.625=5.125
σ	0.707-3.462=-2.754
min	562.000-554.000=8.000
max	564.000-563.000=1.000

*mean*	718.189-726.475=-8.286
σ	66.437-76.577=-10.140
min	608.083-625.487=-17.404
max	811.135-836.006=-24.871

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	964.562-964.563=-0.001
σ	1.880-1.880=0.000
min	963.842-963.842=-0.000
max	972.515-972.514=0.001

*mean*	1040.300-1036.100=4.200
σ	293.228-307.633=-14.405
min	547.000-538.000=9.000
max	1429.000-1531.000=-102.000

*mean*	1.292-1.273=0.019
σ	0.173-0.145=0.028
min	1.171-1.173=-0.002
max	1.758-1.774=-0.016

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*	403.000-402.000=1.000
σ	0.000
min	403.000-402.000=1.000
max	403.000-402.000=1.000

*mean*	0.335-0.310=0.025
σ	0.382-0.267=0.115
min	0.134-0.145=-0.010
max	1.014-0.780=0.234

name=error_case.art

*mean*	2.346
σ	0.012
min	2.340
max	2.368

*mean*	403.000-402.000=1.000
σ	0.000
min	403.000-402.000=1.000
max	403.000-402.000=1.000

*mean*	0.475-0.470=0.005
σ	0.323-0.319=0.005
min	0.320-0.317=0.003
max	1.053-1.040=0.014

name=heavy_item.art

*mean*	1.523
σ	0.002
min	1.522
max	1.526

*mean*	403.000-402.000=1.000
σ	0.000
min	403.000-402.000=1.000
max	403.000-402.000=1.000

*mean*	0.207-0.216=-0.009
σ	0.022-0.022=0.001
min	0.187-0.198=-0.011
max	0.245-0.254=-0.008

name=nested_use.art

*mean*	2.364
σ	0.002
min	2.363
max	2.367

*mean*	403.000-402.000=1.000
σ	0.000
min	403.000-402.000=1.000
max	403.000-402.000=1.000

*mean*	0.319-0.341=-0.022
σ	0.022-0.018=0.004
min	0.302-0.324=-0.022
max	0.356-0.367=-0.011

Parser: Real World

Factor

allocated MiB

peak allocated MiB

time (sec)

name=aon_gpf25_7k_loc.art

*mean*	964.979
σ	0.009
min	964.974
max	964.996

*mean*	430.600-431.000=-0.400
σ	0.548-0.000=0.548
min	430.000-431.000=-1.000
max	431.000

*mean*	0.535-0.581=-0.046
σ	0.043-0.029=0.013
min	0.484-0.541=-0.057
max	0.586-0.607=-0.021

name=cdr_enhanced_4k_loc.art

*mean*	886.001
σ	0.002
min	886.000
max	886.004

*mean*	431.000
σ	0.000
min	431.000
max	431.000

*mean*	0.469-0.458=0.010
σ	0.035-0.044=-0.009
min	0.425-0.414=0.011
max	0.510-0.515=-0.005

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*	2.640-1.975=0.664
σ	0.101-0.075=0.026
min	2.471-1.844=0.627
max	2.906-2.351=0.555

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*	2.608-1.971=0.637
σ	0.081-0.070=0.011
min	2.445-1.788=0.657
max	2.789-2.144=0.644

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.306-0.306=-0.000
σ	0.010-0.010=0.001
min	0.292-0.289=0.003
max	0.373-0.371=0.002

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.295=-0.001
σ	0.008-0.009=-0.001
min	0.276-0.282=-0.006
max	0.336-0.339=-0.002

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.617-11.690=-0.072
σ	11.396-11.297=0.099
min	0.574-0.573=0.000
max	99.852-82.410=17.442

*mean*	461.492-452.409=9.083
σ	19.111-15.404=3.707
min	408.000
max	479.000-474.000=5.000

*mean*	0.027-0.027=-0.000
σ	0.028-0.028=0.000
min	0.001-0.001=0.000
max	0.238-0.197=0.041

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	278.884-278.952=-0.068
σ	1.012-1.056=-0.044
min	278.484-278.497=-0.013
max	281.760-281.950=-0.189

*mean*	441.600-440.300=1.300
σ	16.595-15.521=1.074
min	416.000-417.000=-1.000
max	462.000-469.000=-7.000

*mean*	0.576-0.575=0.001
σ	0.020-0.026=-0.006
min	0.533-0.512=0.021
max	0.617-0.619=-0.003

Timed compile per phase

Factor

allocated MiB

peak allocated MiB

time (ms)

phase=buildDeclTree

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

*mean*	848.000-874.000=-26.000
σ	0.000
min	848.000-874.000=-26.000
max	848.000-874.000=-26.000

*mean*	219.226-234.177=-14.950
σ	21.634-19.254=2.380
min	193.867-195.034=-1.167
max	244.643-250.487=-5.844

phase=macro expansion

*mean*	5.896-5.900=-0.004
σ	0.000
min	5.896-5.900=-0.004
max	5.896-5.900=-0.004

*mean*	848.000-874.000=-26.000
σ	0.000
min	848.000-874.000=-26.000
max	848.000-874.000=-26.000

*mean*	5.940-7.723=-1.783
σ	0.367-2.280=-1.913
min	5.764-5.705=0.058
max	6.846-11.764=-4.919

phase=parser

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

*mean*	848.000-874.000=-26.000
σ	0.000
min	848.000-874.000=-26.000
max	848.000-874.000=-26.000

*mean*	385.558-524.352=-138.794
σ	24.007-126.371=-102.364
min	373.882-376.364=-2.482
max	444.784-698.069=-253.285

phase=processProdDef

*mean*	2243.717-2243.717=0.001
σ	0.000
min	2243.717-2243.717=0.001
max	2243.717-2243.717=0.001

*mean*	848.000-874.000=-26.000
σ	0.000
min	848.000-874.000=-26.000
max	848.000-874.000=-26.000

*mean*	2777.840-2776.562=1.278
σ	383.507-524.431=-140.924
min	2148.251-1724.057=424.193
max	3219.592-3344.904=-125.312

phase=renaming

*mean*	21.436
σ	0.000
min	21.436
max	21.436

*mean*	848.000-874.000=-26.000
σ	0.000
min	848.000-874.000=-26.000
max	848.000-874.000=-26.000

*mean*	35.244-35.508=-0.264
σ	2.022-6.278=-4.256
min	33.175-29.785=3.390
max	39.272-46.009=-6.737

phase=type checker

*mean*	958.600-958.596=0.004
σ	0.047
min	958.576-958.573=0.004
max	958.701-958.698=0.004

*mean*	848.000-874.000=-26.000
σ	0.000
min	848.000-874.000=-26.000
max	848.000-874.000=-26.000

*mean*	656.663-676.811=-20.149
σ	16.546-68.107=-51.561
min	635.429-631.901=3.527
max	679.674-840.359=-160.685

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	282.855-282.855=-0.000
σ	0.037-0.038=-0.001
min	282.800-282.801=-0.001
max	282.891-282.893=-0.002

*mean*	441.200-442.800=-1.600
σ	4.382-3.834=0.548
min	438.000-440.000=-2.000
max	446.000-447.000=-1.000

*mean*	0.374-0.377=-0.003
σ	0.001-0.003=-0.002
min	0.372-0.374=-0.002
max	0.375-0.383=-0.008

iters=5

new-facts=1

prior-facts=6402

*mean*	1268.070-1268.059=0.011
σ	0.117-0.111=0.006
min	1267.963-1267.963=-0.000
max	1268.263-1268.245=0.018

*mean*	1090.200-1093.800=-3.600
σ	168.288-169.274=-0.986
min	891.000-893.000=-2.000
max	1321.000-1324.000=-3.000

*mean*	2.067-2.009=0.058
σ	0.147-0.127=0.020
min	1.871-1.838=0.033
max	2.282-2.112=0.171

iters=5

new-facts=6402

prior-facts=1

*mean*	1507.004-1507.028=-0.024
σ	2.927-2.974=-0.047
min	1505.472-1505.463=0.008
max	1512.226-1512.335=-0.109

*mean*	625.000-626.000=-1.000
σ	87.164-86.957=0.207
min	495.000-496.000=-1.000
max	727.000-728.000=-1.000

*mean*	2.127-2.226=-0.099
σ	0.039-0.204=-0.165
min	2.100-2.087=0.014
max	2.196-2.588=-0.392

iters=5

new-facts=6402

prior-facts=6402

*mean*	1830.081-1830.068=0.012
σ	0.054-0.041=0.013
min	1830.008-1830.008=-0.001
max	1830.142-1830.111=0.031

*mean*	1719.800-1717.400=2.400
σ	175.329-187.128=-11.799
min	1467.000-1453.000=14.000
max	1882.000-1886.000=-4.000

*mean*	2.959-2.900=0.059
σ	0.238-0.235=0.003
min	2.791-2.617=0.174
max	3.379-3.270=0.109

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.572-1.755=-0.183
σ	0.135-0.129=0.006
min	1.346-1.560=-0.214
max	1.699-1.862=-0.163

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	406.197-406.199=-0.001
σ	509.795-509.796=-0.001
min	151.294-151.295=-0.001
max	1170.890-1170.893=-0.002

*mean*	101.750
σ	7.500
min	98.000
max	113.000

*mean*	440.000-447.000=-7.000
σ	0.000
min	440.000-447.000=-7.000
max	440.000-447.000=-7.000

*mean*	0.505-0.475=0.030
σ	0.495-0.436=0.058
min	0.252-0.254=-0.002
max	1.247-1.130=0.117

policies=20

*mean*	1513.132-1513.141=-0.009
σ	0.278-0.267=0.011
min	1512.960-1512.970=-0.010
max	1513.545-1513.537=0.008

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	443.750-449.250=-5.500
σ	2.500-1.500=1.000
min	440.000-447.000=-7.000
max	445.000-450.000=-5.000

*mean*	2.513-2.510=0.004
σ	0.011-0.025=-0.014
min	2.502-2.477=0.025
max	2.523-2.538=-0.016

policies=200

*mean*	15139.898-15140.042=-0.144
σ	0.128-0.113=0.015
min	15139.744-15139.977=-0.233
max	15140.051-15140.211=-0.160

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	493.500-499.000=-5.500
σ	5.686-3.367=2.320
min	487.000-495.000=-8.000
max	500.000-503.000=-3.000

*mean*	25.351-25.299=0.052
σ	0.285-0.085=0.200
min	25.172-25.245=-0.073
max	25.771-25.423=0.347