enlightware / enlightware/ferlium

Add allocation domains and Rust destruction on poisoning

Open
#180 0 comments 0 reactions 0 assignees View on GitHub
execution mir
Dominant language
Rust
Stars
14
Forks
2
PR merge metrics
No merged PRs in 30d

Description

The current interpreters reclaim known roots recursively. Opaque native destructor adapters consume their target before invoking Rust destruction, and Rust `Buffer::drop` discards any remaining boxed slot payloads. These mechanisms close specific leaks but do not establish complete ownership of a runtime generation's allocations or external resources.

A proper allocation domain system must be implemented so that no memory is leaked when an execution domain is poisoned, while never double-freeing any resource.

Contributor guide

Open the contributing guide

Research direction

Start by tracing the current recursive root reclamation, opaque native destructor adapters, and Rust Buffer::drop behavior described in the issue. Define the ownership boundaries for a runtime generation and verify that poisoning reclaims every allocation and external resource exactly once, without double-freeing.

Written by the indexing model from the issue text.

Assessment

Tech stack
rust
Domain
compilers
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Active
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.