Skip to content

Conversation

majocha
Copy link
Contributor

@majocha majocha commented Sep 22, 2025

Description

When compiling with --times option, print also collected cache metrics in tabular form.
Currently it just prints hit ratio and some raw event counts.

    ...
    |>Writing Image                      | 32.0912|  0.0011|   2444|      0|      0|      0|    510|     50|
    |>Finalize PDB                       | 32.0931|  0.0000|   2444|      0|      0|      0|    509|     50|
    |>Signing Image                      | 32.0949|  0.0000|   2444|      0|      0|      0|    509|     50|
    |>Generate PDB Info                  | 32.0962|  0.0000|   2444|      0|      0|      0|    509|     50|
    |Write .NET Binary                   | 32.0976|  3.8032|   2444|      5|      4|      2|    509|     50|
    --------------------------------------------------------------------------------------------------------
    -------------------------------------------------------------------------------------------------------------
    | Cache name           | hit-ratio |     adds |  updates |     hits |   misses | evictions | eviction-fails |
    |----------------------|-----------|----------|----------|----------|----------|-----------|----------------|
    | typeSubsumptionCache |    69.28% |   129286 |        0 |   291513 |   129286 |         0 |              0 |
    -------------------------------------------------------------------------------------------------------------

Also reenable debug display showing the metrics for individual instances when debugging.

@github-actions
Copy link
Contributor

github-actions bot commented Sep 22, 2025

⚠️ Release notes required, but author opted out

Warning

Author opted out of release notes, check is disabled for this pull request.
cc @dotnet/fsharp-team-msft

@T-Gro T-Gro added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Sep 23, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants