]> git.ipfire.org Git - thirdparty/qemu.git/commit
rust: vmstate: add new type safe implementation
authorPaolo Bonzini <pbonzini@redhat.com>
Sun, 8 Dec 2024 11:16:56 +0000 (12:16 +0100)
committerPaolo Bonzini <pbonzini@redhat.com>
Thu, 23 Jan 2025 10:50:53 +0000 (11:50 +0100)
commit0d43ddae35a29d1822ec3f35a31bfe7c91618ef4
tree9fc4175e611650c4e41567acf48d3370925ba1bd
parent57f9d9c84a9112d534fa90f2a6dad74bd71150b6
rust: vmstate: add new type safe implementation

The existing translation of the C macros for vmstate does not make
any attempt to type-check vmstate declarations against the struct, so
introduce a new system that computes VMStateField based on the actual
struct declaration.

Macros do not have full access to the type system, therefore a full
implementation of this scheme requires a helper trait to analyze the
type and produce a VMStateField from it; a macro "vmstate_of!" accepts
arguments similar to "offset_of!" and tricks the compiler into looking
up the trait for the right type.

The patch introduces not just vmstate_of!, but also the slightly too
clever enabling macro call_func_with_field!.  The particular trick used
here was proposed on the users.rust-lang.org forum, so I take no merit
and all the blame.

Introduce the trait and some functions to access it; the actual
implementation comes later.

Reviewed-by: Zhao Liu <zhao1.liu@intel.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
rust/qemu-api/src/prelude.rs
rust/qemu-api/src/vmstate.rs