Skip to content

mem: Change more call_arenas to local_arenas#3059

Merged
karlseguin merged 1 commit into
mainfrom
call_arena-2-local_arena
Jul 25, 2026
Merged

mem: Change more call_arenas to local_arenas#3059
karlseguin merged 1 commit into
mainfrom
call_arena-2-local_arena

Conversation

@karlseguin

Copy link
Copy Markdown
Collaborator

local_arena should always be used when it's safe. It's released earlier and thus helps reduce peak memory.

local_arena should always be used when it's safe. It's released earlier and thus
helps reduce peak memory.
@karlseguin
karlseguin merged commit a0fba9b into main Jul 25, 2026
26 checks passed
@karlseguin
karlseguin deleted the call_arena-2-local_arena branch July 25, 2026 23:29
@github-actions github-actions Bot locked and limited conversation to collaborators Jul 25, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants