-
Notifications
You must be signed in to change notification settings - Fork 11.6k
[1/n][vm-rewrite][Move] Updates to VM: some bugfixes, and query functions on vm instances needed for the adapter. #21065
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.
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
[1/n][vm-rewrite][Move] Updates to VM: some bugfixes, and query functions on vm instances needed for the adapter. #21065
Conversation
The latest updates on your projects. Learn more about Vercel for Git ↗︎
2 Skipped Deployments
|
external-crates/move/crates/move-vm-runtime/src/execution/vm.rs
Outdated
Show resolved
Hide resolved
external-crates/move/crates/move-vm-runtime/src/jit/execution/translate.rs
Show resolved
Hide resolved
external-crates/move/crates/move-vm-runtime/src/natives/functions.rs
Outdated
Show resolved
Hide resolved
pub mod tracing; | ||
pub mod values; | ||
pub mod vm; | ||
pub use crate::jit::execution::ast::Type; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Sensible, I suppose -- where is this used?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is used in parts of the adapter since we need to look at the Type
s in the LoadedFunctionInformation
to determine whether arguments to a function are references or not.
If we add something like TypeTagWithRefs
, we could probably remove this exposure.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
A few small nits, but LGTM.
30e5561
to
dbf5e6d
Compare
…ions on vm instances needed for the adapter. This adds various "query" functions that the Sui adapter will need to the VM (e.g., resolving a typetag to a loaded type, getting type layouts, abilities, etc). As part of this it adds a `LoadedFunctionInformation` struct that allows VM runtime `Type`s to flow out of the VM. The adapter and object runtime will need to (and does) take care to not allow these VM runtime types to flow across VM instance boundaries. The code in the PR may not be working as future PRs will build on top of this.
…y functions on vm instances needed for the adapter.
…nd query functions on vm instances needed for the adapter.
ced69b5
to
ea01d5f
Compare
dbf5e6d
to
65e799e
Compare
This adds various "query" functions that the Sui adapter will need to the VM (e.g., resolving a typetag to a loaded type, getting type layouts, abilities, etc). As part of this it adds a
LoadedFunctionInformation
struct that allows VM runtimeType
s to flow out of the VM. The adapter and object runtime will need to (and does) take care to not allow these VM runtime types to flow across VM instance boundaries.The code in the PR may not be working as future PRs will build on top of this.