Skip to content

Feature-complete RR #5

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 47 commits into
base: main
Choose a base branch
from
Open

Feature-complete RR #5

wants to merge 47 commits into from

Conversation

@arjunr2
Copy link
Collaborator

@arjunr2 arjunr2 commented Nov 14, 2025

Notes

  • Support for all entrypoints through Func, TypedFunc, and ComponentFunc
  • Support for all component builtins
  • Support for all instantiation entrypoints
  • Support for both sync and async
  • Fully embedding agnostic replay driver

Structure

  • All core capabilities are feature-gated with the rr feature. The only things exposed without the feature are rr::hooks, which offers convenient methods to hook recording/replaying mechanisms into the rest of the engine.
    As a result, rr without hooks should be able to land with no impact on existing Wasmtime whatsoever.

Observed overheads

Between 4-8%

alexcrichton and others added 30 commits August 6, 2025 13:55
@alexcrichton
Publish dev artifacts from CI
afd4369 
Helps get some binaries to test with
@alexcrichton
Merge pull request #2 from alexcrichton/publish-dev-binaries
0c00fd8 
Publish dev artifacts from CI
@alexcrichton
Test out the merge queue
c106978
@alexcrichton
Merge pull request #3 from alexcrichton/publish-dev-binaries
140afbf 
Test out the merge queue
@arjunr2
Squashed RR rebase changes commit with CI support
71291fe
@arjunr2
Merge pull request #4 from bytecodealliance/rr-merge
e44086b 
Move RR
@arjunr2
Add a sink support in path for recording benchmarking
808d221
@arjunr2
Add builtin record/replay events
d53de4d
@arjunr2
Add support for no-return builtins
1e9f725
@arjunr2
[FIX] Missing lower_store record for call host dynamic + Decouple rr …
78a9553 
…hooks into a separate module
@arjunr2
Factor out common events between core and component wasm
5d4940e
@arjunr2
Switch validation of host functions to use type index
0f4d0b4
@arjunr2
Support wasm function call/return for RR (component; typed)
997406d
@arjunr2
Added component signature for wasm func call recording
4a42d21
@arjunr2
Revamped public API for record; replay still broken
cb8e0fc
@arjunr2
Fix: host func return rr placement for call_host_dynamic
ebd1b38
@arjunr2
Support new recording API on CLI
d6adc43
@arjunr2
Reorganize RR module with hooks
3ba9849
@arjunr2
Temporary patch: Replay API in-store; separate into independent drive…
bc16bc7 
…r in future
@arjunr2
Added flat abi extraction for interface types
1606da1
@arjunr2
Added flat type encoding/decoding for events; reformatted validation …
728769d 
…events
@arjunr2
Refactor event errors into trait object
ccf7d4e
@arjunr2
Fix flat storage computation case limit; change debugs for builtin ev…
742436d 
…ents
@arjunr2
Optimize fast path for recording by avoiding flat type computation
a69d77e
@arjunr2
Fix: Lowering logic rr for overflow of MAX_FLAT_PARAMS
1b94378
@arjunr2
Fix: Bug in flat storage variant computation
b15ae6d
@arjunr2
Initial factoring out of replay driver
952627a 
Things left to complete:
* Core wasm support
* Improved error handling
* Wasmtime CLI integration
@arjunr2
Added temporary CLI support (without async)
c4645ab
@arjunr2
Added support for recording all boundaries of Func and TypedFunc;…
ffe22ff 
… completed core wasm rr
@arjunr2
Clean up of ReplayError messages
99763bb
@arjunr2 arjunr2 mentioned this pull request Nov 14, 2025
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@arjunr2 @alexcrichton