bytecodealliance / bytecodealliance/wasmtime

Guest debugging: track precise GC types in metadata

Open
#11,847 1 comment 0 reactions 0 assignees View on GitHub
wasmtime:debugging
Dominant language
Rust
Stars
18.6k
Forks
1.8k
Avg merge
1d 19h
Merged PRs (30d)
121

Description

(Followup from [this discussion](https://github.com/bytecodealliance/wasmtime/pull/11769#discussion_r2426938721))

In the instrumentation-based guest debugging support, we have a separate `FrameValType` at the `environ` level that is used in the metadata to describe types of values. It is a mirror of the runtime-side types, but is simpler as it doesn't track precise GC types. We'll need to plumb through `ModuleInternedTypeIndex`es and then translate those via the type registry at runtime to support:

- Mutation, because we need to check that an updated value for a local/stack slot is of a compatible type
- An API that allows querying the precise type of the slot at runtime

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.