You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm going to assume you're asking for a way to free up memory used by stable structures somehow. I'd recommend to add a few more details to the issue next time so it's easier for us to understand the use cases/what you have in mind.
Assuming I'm right about what you're asking for: we're actually working on a PR along those lines that would allow someone to free a memory id that was used before. Note that this does not really deallocate the underlying stable memory, but basically returns it back to the memory manager so it can be reused as needed.
I mean to delete my data , it sounds like freeing up the memory.On 14 Nov 2024, at 4:22 PM, Dimitris Sarlis ***@***.***> wrote:
I'm going to assume you're asking for a way to free up memory used by stable structures somehow. I'd recommend to add a few more details to the issue next time so it's easier for us to understand the use cases/what you have in mind.
Assuming I'm right about what you're asking for: we're actually working on a PR along those lines that would allow someone to free a memory id used before. Note that this does not really deallocate the underlying stable memory, but basically returns it back to the memory manager so it can be reused as needed.
—Reply to this email directly, view it on GitHub, or unsubscribe.You are receiving this because you authored the thread.Message ID: ***@***.***>
No description provided.
The text was updated successfully, but these errors were encountered: