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.823-57.823=0.000
σ	0.360-0.360=-0.001
min	57.679-57.680=-0.000
max	58.846-58.848=-0.002

*mean*	420.000-417.000=3.000
σ	0.000
min	420.000-417.000=3.000
max	420.000-417.000=3.000

*mean*	0.145-0.147=-0.003
σ	0.005-0.005=0.000
min	0.137-0.142=-0.005
max	0.151-0.157=-0.005

cache=y

dps=1

iters=10

policies=100

*mean*	46.897-46.898=-0.001
σ	0.003-0.004=-0.001
min	46.890-46.890=0.001
max	46.900-46.904=-0.004

*mean*	420.000-417.000=3.000
σ	0.000
min	420.000-417.000=3.000
max	420.000-417.000=3.000

*mean*	0.127-0.126=0.001
σ	0.005-0.005=-0.000
min	0.122-0.122=0.000
max	0.136-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
max	36.605-36.606=-0.000

*mean*	4585.000-4587.625=-2.625
σ	2253.356-2248.227=5.128
min	1487.000
max	7403.000-7379.000=24.000

*mean*	13.357-162.034=-148.677
σ	3.479-421.888=-418.408
min	11.783-11.919=-0.136
max	21.931-1206.141=-1184.210

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

*mean*	4585.000-4587.625=-2.625
σ	2253.356-2248.227=5.128
min	1487.000
max	7403.000-7379.000=24.000

*mean*	13.791-14.503=-0.712
σ	3.029-4.627=-1.598
min	11.953-11.444=0.509
max	21.227-24.599=-3.372

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.943=-0.001

*mean*	7403.000-7379.000=24.000
σ	0.000
min	7403.000-7379.000=24.000
max	7403.000-7379.000=24.000

*mean*	11.149-11.400=-0.251
σ	0.101-1.398=-1.297
min	10.950-10.655=0.295
max	11.251-14.838=-3.587

op=table_records(), repeat

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

*mean*	4170.625-4177.500=-6.875
σ	1944.792-1945.104=-0.312
min	1487.000
max	7403.000-7379.000=24.000

*mean*	11.676-11.577=0.099
σ	1.929-1.769=0.160
min	10.551-10.835=-0.284
max	16.409-15.947=0.462

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

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

*mean*	4170.625-4177.500=-6.875
σ	1944.792-1945.104=-0.312
min	1487.000
max	7403.000-7379.000=24.000

*mean*	9.064-9.101=-0.037
σ	1.125-1.274=-0.149
min	8.057-8.012=0.045
max	11.774-12.168=-0.394

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

*mean*	26.385
σ	0.000
min	26.385
max	26.385

*mean*	4170.625-4177.500=-6.875
σ	1944.792-1945.104=-0.312
min	1487.000
max	7403.000-7379.000=24.000

*mean*	7.112-7.211=-0.099
σ	0.742-1.012=-0.270
min	6.524-6.608=-0.084
max	8.880-9.692=-0.812

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*	4585.000-4587.625=-2.625
σ	2253.356-2248.227=5.128
min	1487.000
max	7403.000-7379.000=24.000

*mean*	6.359-6.563=-0.204
σ	0.867-1.018=-0.151
min	5.801-5.834=-0.033
max	8.474-8.817=-0.343

op=vertical_lookup_row_list() on 3 (1 unindexed)

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

*mean*	4585.000-4587.625=-2.625
σ	2253.356-2248.227=5.128
min	1487.000
max	7403.000-7379.000=24.000

*mean*	6.117-6.383=-0.266
σ	0.467-1.007=-0.540
min	5.742-5.731=0.011
max	7.219-8.623=-1.405

CSV - loading a lazy table

Factor

allocated MiB

peak allocated MiB

time (ms)

op=load_product(), no indexes

*mean*	1021.599
σ	0.002
min	1021.597
max	1021.602

*mean*	7403.000-7379.000=24.000
σ	0.000
min	7403.000-7379.000=24.000
max	7403.000-7379.000=24.000

*mean*	358.937-347.145=11.791
σ	42.466-2.620=39.847
min	341.534-342.639=-1.106
max	463.978-350.504=113.473

op=load_product(), with indexes

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

*mean*	3749.625-3755.250=-5.625
σ	2297.750-2299.244=-1.494
min	720.000
max	7403.000-7379.000=24.000

*mean*	1629.071-1789.384=-160.312
σ	554.957-672.894=-117.937
min	1395.828-1394.184=1.644
max	2995.343-2968.086=27.257

CSV - unindexed operations

Factor

allocated MiB

peak allocated MiB

time (ms)

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

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

*mean*	4405.375-4405.500=-0.125
σ	2224.814-2217.471=7.343
min	1487.000
max	7403.000-7379.000=24.000

*mean*	191.950-235.758=-43.808
σ	149.781-270.378=-120.597
min	125.747-130.391=-4.644
max	559.985-903.612=-343.628

op=column_set() on unindexed, dense, repeat

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

*mean*	4585.000-4405.500=179.500
σ	2253.356-2217.471=35.885
min	1487.000
max	7403.000-7379.000=24.000

*mean*	199.242-45.064=154.179
σ	441.668-8.602=433.066
min	40.436-40.136=0.300
max	1292.307-65.895=1226.412

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

*mean*	7403.000-7379.000=24.000
σ	0.000
min	7403.000-7379.000=24.000
max	7403.000-7379.000=24.000

*mean*	21.971-203.475=-181.505
σ	0.870-514.102=-513.232
min	21.531-21.203=0.327
max	24.112-1475.813=-1451.700

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*	7403.000-7379.000=24.000
σ	0.000
min	7403.000-7379.000=24.000
max	7403.000-7379.000=24.000

*mean*	256.484-62.172=194.312
σ	567.066-16.990=550.076
min	54.819-55.263=-0.444
max	1659.898-104.142=1555.755

CSV - warmup

Factor

allocated MiB

peak allocated MiB

time (ms)

op=table_records()

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

*mean*	4170.625-4177.500=-6.875
σ	1944.792-1945.104=-0.312
min	1487.000
max	7403.000-7379.000=24.000

*mean*	3137.073-3306.271=-169.197
σ	866.663-750.625=116.038
min	2499.310-2491.077=8.233
max	4649.434-4363.713=285.720

op=vertical_lookup_list() on indexed

*mean*	1973.830
σ	0.002
min	1973.829
max	1973.833

*mean*	7403.000-7379.000=24.000
σ	0.000
min	7403.000-7379.000=24.000
max	7403.000-7379.000=24.000

*mean*	1038.864-1045.082=-6.218
σ	179.154-292.225=-113.072
min	921.308-909.980=11.328
max	1425.097-1750.428=-325.331

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

*mean*	905.084
σ	0.002
min	905.082
max	905.087

*mean*	7403.000-7379.000=24.000
σ	0.000
min	7403.000-7379.000=24.000
max	7403.000-7379.000=24.000

*mean*	391.008-389.183=1.826
σ	3.056-4.174=-1.118
min	385.832-381.546=4.286
max	395.259-393.983=1.276

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.250-476.000=0.250
σ	0.707-0.000=0.707
min	476.000
max	478.000-476.000=2.000

*mean*	392.362-378.656=13.706
σ	37.781-34.762=3.019
min	321.491-305.791=15.700
max	445.785-418.889=26.895

op=pointedIndexFromKvs

rows=400000

*mean*	308.493
σ	0.001
min	308.493
max	308.497

*mean*	562.000-559.000=3.000
σ	0.000
min	562.000-559.000=3.000
max	562.000-559.000=3.000

*mean*	737.089-730.205=6.884
σ	52.314-63.075=-10.760
min	632.334-646.050=-13.716
max	784.998-814.393=-29.395

Marine Hull: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

datapoints=1

iterations=20

*mean*	976.914-976.919=-0.004
σ	2.439-2.437=0.002
min	976.070-976.070=0.000
max	987.250-987.244=0.006

*mean*	1042.450-1050.050=-7.600
σ	319.636-314.977=4.658
min	562.000-568.000=-6.000
max	1529.000-1511.000=18.000

*mean*	1.270-1.300=-0.030
σ	0.107-0.096=0.011
min	1.071-1.205=-0.134
max	1.603-1.518=0.085

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.396-0.306=0.091
σ	0.514-0.284=0.230
min	0.140-0.141=-0.001
max	1.314-0.808=0.506

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.630-0.471=0.160
σ	0.255-0.321=-0.066
min	0.349-0.313=0.036
max	1.047-1.045=0.002

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.378-0.217=0.161
σ	0.047-0.021=0.026
min	0.346-0.201=0.145
max	0.456-0.252=0.204

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.597-0.332=0.265
σ	0.028-0.023=0.004
min	0.569-0.312=0.257
max	0.639-0.371=0.268

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.691-0.568=0.123
σ	0.049-0.042=0.008
min	0.628-0.504=0.125
max	0.755-0.603=0.152

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.501-0.474=0.027
σ	0.036-0.043=-0.007
min	0.437-0.424=0.014
max	0.522-0.520=0.001

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.997-1.965=0.031
σ	0.080-0.072=0.008
min	1.877-1.813=0.064
max	2.260-2.231=0.029

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.970-1.914=0.057
σ	0.075-0.090=-0.015
min	1.803-1.728=0.075
max	2.199-2.262=-0.062

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.303-0.302=0.000
σ	0.008-0.009=-0.001
min	0.290-0.290=0.000
max	0.344-0.361=-0.017

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.295-0.291=0.004
σ	0.021-0.010=0.011
min	0.275-0.276=-0.001
max	0.451-0.340=0.112

Revision Creation

Factor

allocated MiB

peak allocated MiB

time_s

number of threads=8

revision count=1000

*mean*	11.790-11.574=0.217
σ	11.842-11.630=0.213
min	0.574-0.573=0.000
max	96.659-115.675=-19.015

*mean*	464.957-465.343=-0.386
σ	18.277-18.831=-0.555
min	408.000-407.000=1.000
max	479.000-480.000=-1.000

*mean*	0.027-0.026=0.000
σ	0.029-0.028=0.001
min	0.001-0.001=0.000
max	0.232-0.268=-0.036

SoV import

Factor

allocated MiB

peak allocated MiB

time_s

iters=10

rows=1000

*mean*	293.710-293.621=0.089
σ	1.057-0.962=0.095
min	293.237-293.129=0.109
max	296.709-296.351=0.358

*mean*	444.800-442.400=2.400
σ	15.505-18.506=-3.002
min	425.000-416.000=9.000
max	464.000

*mean*	0.588-0.590=-0.003
σ	0.012-0.019=-0.007
min	0.567-0.548=0.019
max	0.601-0.619=-0.018

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*	847.000-874.000=-27.000
σ	0.000
min	847.000-874.000=-27.000
max	847.000-874.000=-27.000

*mean*	150.368-156.320=-5.952
σ	8.637-9.020=-0.383
min	139.240-134.839=4.401
max	161.584-163.312=-1.728

phase=macro expansion

*mean*	5.894
σ	0.000
min	5.894
max	5.894

*mean*	847.000-874.000=-27.000
σ	0.000
min	847.000-874.000=-27.000
max	847.000-874.000=-27.000

*mean*	6.867-11.053=-4.186
σ	1.687-1.380=0.307
min	5.887-7.945=-2.058
max	10.037-12.151=-2.114

phase=parser

*mean*	1042.134-1042.130=0.003
σ	0.001-0.000=0.001
min	1042.131-1042.130=0.001
max	1042.134-1042.131=0.004

*mean*	847.000-874.000=-27.000
σ	0.000
min	847.000-874.000=-27.000
max	847.000-874.000=-27.000

*mean*	427.810-579.842=-152.032
σ	95.549-171.477=-75.929
min	375.481-376.231=-0.750
max	598.516-735.971=-137.455

phase=processProdDef

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

*mean*	847.000-874.000=-27.000
σ	0.000
min	847.000-874.000=-27.000
max	847.000-874.000=-27.000

*mean*	2798.595-2870.702=-72.108
σ	366.778-471.977=-105.199
min	2343.910-1865.429=478.481
max	3276.034-3318.377=-42.343

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*	847.000-874.000=-27.000
σ	0.000
min	847.000-874.000=-27.000
max	847.000-874.000=-27.000

*mean*	38.168-41.205=-3.037
σ	4.022-9.198=-5.176
min	30.770-19.853=10.917
max	42.246-47.766=-5.519

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*	847.000-874.000=-27.000
σ	0.000
min	847.000-874.000=-27.000
max	847.000-874.000=-27.000

*mean*	693.129-787.899=-94.770
σ	56.378-56.680=-0.302
min	642.772-673.688=-30.916
max	822.610-842.430=-19.820

Workflow: transactPolicy

Factor

allocated MiB

peak allocated MiB

time

iters=5

new-facts=1

prior-facts=1

*mean*	327.854-327.855=-0.000
σ	0.037-0.037=-0.001
min	327.803-327.803=-0.000
max	327.891-327.892=-0.001

*mean*	442.200-439.200=3.000
σ	4.919-4.266=0.653
min	434.000-432.000=2.000
max	447.000-443.000=4.000

*mean*	0.431-0.432=-0.001
σ	0.008-0.010=-0.002
min	0.424-0.424=0.000
max	0.445-0.449=-0.004

iters=5

new-facts=1

prior-facts=6402

*mean*	1313.071-1313.071=0.001
σ	0.128-0.137=-0.009
min	1312.963-1312.954=0.009
max	1313.289-1313.303=-0.014

*mean*	1095.200-1086.600=8.600
σ	196.449-171.353=25.096
min	857.000-890.000=-33.000
max	1351.000-1310.000=41.000

*mean*	1.882-1.996=-0.114
σ	0.037-0.198=-0.161
min	1.824-1.844=-0.020
max	1.916-2.337=-0.421

iters=5

new-facts=6402

prior-facts=1

*mean*	1552.057-1552.068=-0.011
σ	3.069-3.031=0.039
min	1550.515-1550.543=-0.029
max	1557.541-1557.483=0.058

*mean*	617.400-618.000=-0.600
σ	88.856-90.799=-1.944
min	495.000-516.000=-21.000
max	735.000-738.000=-3.000

*mean*	2.290-2.294=-0.004
σ	0.274-0.184=0.090
min	2.086-2.070=0.016
max	2.760-2.514=0.245

iters=5

new-facts=6402

prior-facts=6402

*mean*	1875.077-1875.064=0.013
σ	0.066-0.056=0.010
min	1875.023-1874.998=0.025
max	1875.186-1875.150=0.036

*mean*	1755.800-1745.000=10.800
σ	198.114-223.611=-25.497
min	1509.000-1452.000=57.000
max	1947.000-1960.000=-13.000

*mean*	3.271-3.101=0.170
σ	0.347-0.172=0.175
min	2.869-2.856=0.013
max	3.773-3.280=0.493

newProductH/cdr_auton/broker

Factor

time_s

iterations=5

*mean*	1.556-1.581=-0.024
σ	0.125-0.145=-0.021
min	1.350-1.392=-0.042
max	1.649-1.777=-0.128

policy addition benchmark

Factor

allocated MiB

db queries

peak allocated MiB

time

policies=2

*mean*	419.404-419.405=-0.001
σ	508.891-508.893=-0.002
min	164.955-164.955=-0.001
max	1182.741-1182.744=-0.003

*mean*	101.250
σ	6.500
min	98.000
max	111.000

*mean*	431.000-433.000=-2.000
σ	0.000
min	431.000-433.000=-2.000
max	431.000-433.000=-2.000

*mean*	0.512-0.532=-0.020
σ	0.475-0.511=-0.036
min	0.268-0.268=-0.001
max	1.224-1.298=-0.074

policies=20

*mean*	1649.818-1649.811=0.007
σ	0.369-0.370=-0.001
min	1649.593-1649.597=-0.004
max	1650.369-1650.365=0.003

*mean*	980.000
σ	0.000
min	980.000
max	980.000

*mean*	446.750-448.750=-2.000
σ	11.057-10.243=0.814
min	434.000-437.000=-3.000
max	461.000-462.000=-1.000

*mean*	2.653-2.650=0.003
σ	0.010-0.017=-0.008
min	2.642-2.624=0.018
max	2.665-2.660=0.005

policies=200

*mean*	16506.047-16506.036=0.011
σ	0.080-0.079=0.001
min	16505.999-16505.933=0.067
max	16506.167-16506.123=0.043

*mean*	9800.000
σ	0.000
min	9800.000
max	9800.000

*mean*	495.250-497.000=-1.750
σ	5.560-4.967=0.594
min	489.000-491.000=-2.000
max	502.000

*mean*	26.750-26.802=-0.052
σ	0.095-0.093=0.002
min	26.647-26.688=-0.041
max	26.856-26.904=-0.049