[mono][interp] Fix various leaks, primarily around dynamic methods #119176
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
For dynamic methods, imethod_alloc0 allocates from the dynamic method's mempool which is freed when the method is collected. We were previously allocating only from the global memory manager.
BrzVlad
requested review from
kotlarmilos,
steveisok and
vitek-karas
as code owners
|
Tagging subscribers to this area: @BrzVlad, @kotlarmilos |
There was a problem hiding this comment.
Pull Request Overview
This PR addresses memory leaks in the Mono interpreter, particularly for dynamic methods. The main focus is on properly freeing method headers created during inlining operations and making various data structures associated with dynamic methods freeable.
Key changes:
- Tracks and frees method headers created during inlining to prevent memory leaks
- Changes memory allocation strategy for offset arrays to use freeable memory
- Implements cleanup of tiering data and patch sites when dynamic methods are freed
Reviewed Changes
Copilot reviewed 6 out of 6 changed files in this pull request and generated 3 comments.
Show a summary per file
| File | Description |
|---|---|
| src/mono/mono/mini/interp/transform.h | Adds headers_to_free field to track method headers for cleanup |
| src/mono/mono/mini/interp/transform.c | Implements header tracking and changes allocation strategy for offset arrays |
| src/mono/mono/mini/interp/tiering.h | Adds function declaration for clearing data items patch sites |
| src/mono/mono/mini/interp/tiering.c | Implements cleanup logic for patch sites when dynamic methods are freed |
| src/mono/mono/mini/interp/interp.c | Integrates patch site cleanup into method freeing process |
| src/mono/mono/mini/interp/interp-internals.h | Adds n_data_items field to track data item count for cleanup |
Previously we were registering imethod locations from these data items in order for them to be patched once a method is tiered up. Because of this registering, the data item had to always be around. We now free the data item for dynamic methods and also we deregister the patch locations when freeing such a method.
We add them to a list for later freeing. This uses the same pattern as jit.
BrzVlad
force-pushed
the
fix-interp-leaks2-main
branch
from
1d27a95 to
6004983
Compare
3 tasks
kotlarmilos
approved these changes
Aug 29, 2025
|
can you backport to release/9.0 and release/10.0 branch |
BrzVlad
added a commit
to BrzVlad/runtime
that referenced
this pull request
Sep 11, 2025
…otnet#119176) * [mono][interp] Fix leaking of compilation data For dynamic methods, imethod_alloc0 allocates from the dynamic method's mempool which is freed when the method is collected. We were previously allocating only from the global memory manager. * [mono][interp] Stop leaking data items Previously we were registering imethod locations from these data items in order for them to be patched once a method is tiered up. Because of this registering, the data item had to always be around. We now free the data item for dynamic methods and also we deregister the patch locations when freeing such a method. * [mono][interp] Free headers allocated for inlined methods We add them to a list for later freeing. This uses the same pattern as jit. * [mono][interp] Skip interp free for methods not yet compiled
BrzVlad
added a commit
to BrzVlad/runtime
that referenced
this pull request
Sep 12, 2025
…otnet#119176) * [mono][interp] Fix leaking of compilation data For dynamic methods, imethod_alloc0 allocates from the dynamic method's mempool which is freed when the method is collected. We were previously allocating only from the global memory manager. * [mono][interp] Stop leaking data items Previously we were registering imethod locations from these data items in order for them to be patched once a method is tiered up. Because of this registering, the data item had to always be around. We now free the data item for dynamic methods and also we deregister the patch locations when freeing such a method. * [mono][interp] Free headers allocated for inlined methods We add them to a list for later freeing. This uses the same pattern as jit. * [mono][interp] Skip interp free for methods not yet compiled Fix attempt to free tiering data when tiering is disabled (dotnet#119294)
BrzVlad
added a commit
to BrzVlad/runtime
that referenced
this pull request
Sep 23, 2025
…otnet#119176) * [mono][interp] Fix leaking of compilation data For dynamic methods, imethod_alloc0 allocates from the dynamic method's mempool which is freed when the method is collected. We were previously allocating only from the global memory manager. * [mono][interp] Stop leaking data items Previously we were registering imethod locations from these data items in order for them to be patched once a method is tiered up. Because of this registering, the data item had to always be around. We now free the data item for dynamic methods and also we deregister the patch locations when freeing such a method. * [mono][interp] Free headers allocated for inlined methods We add them to a list for later freeing. This uses the same pattern as jit. * [mono][interp] Skip interp free for methods not yet compiled Fix attempt to free tiering data when tiering is disabled (dotnet#119294)
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
3 participants
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Free method headers created for inlining. Make some offsets arrays used by dynamic interp methods freeable. Make tiering data and the data items for dynamic methods freeable.