Wasmtime GitHub notifications bot (Jun 23 2022 at 21:57): Wasmtime GitHub notifications bot (Jun 23 2022 at 21:57):alexcrichton opened issue #4311:
I'm going to split this work item from https://github.com/bytecodealliance/wasmtime/issues/4185 since I suspect it's going to be somewhat significant. The intention here is to track issues related to the memory64 proposal for WebAssembly and the component model. At the time of this writing neither of these proposals are "stable". Additionally the component model does not actually define what the canonical ABI is with respect to the memory64 proposal. Fully implementing this item will be a blend of "do the obvious thing" where possible such as making pointers 64-bits large, while at the same time also identifying question that don't have "obvious" answers such as "what's the maximum length of a string or list?"
Currently there are a lot of TODO items sprinkled throughout
typed.rswhich note various places that I suspect will need memory64 treatment. Fully implementing this issue, however, will likely require fuzzer integration because otherwise it'll be difficult to ensure that we've covered all cases.Some examples of things that need updating are:
- Need to call
reallocwith a different signature- All reads/writes of pointers to linear memory need to have a 32/64 bit switch
- Reading and writing pointers to
ValRawneeds to be audited- Size and alignment calculations all need to be duplicated or have a parameter for 64 bit
- Somehow should probably confirm that this doesn't vastly affect performance for 32-bit
The last point here is an open question I don't know how best to answer.
Wasmtime GitHub notifications bot (Jun 23 2022 at 21:57):alexcrichton labeled issue #4311:
I'm going to split this work item from https://github.com/bytecodealliance/wasmtime/issues/4185 since I suspect it's going to be somewhat significant. The intention here is to track issues related to the memory64 proposal for WebAssembly and the component model. At the time of this writing neither of these proposals are "stable". Additionally the component model does not actually define what the canonical ABI is with respect to the memory64 proposal. Fully implementing this item will be a blend of "do the obvious thing" where possible such as making pointers 64-bits large, while at the same time also identifying question that don't have "obvious" answers such as "what's the maximum length of a string or list?"
Currently there are a lot of TODO items sprinkled throughout
typed.rswhich note various places that I suspect will need memory64 treatment. Fully implementing this issue, however, will likely require fuzzer integration because otherwise it'll be difficult to ensure that we've covered all cases.Some examples of things that need updating are:
- Need to call
reallocwith a different signature- All reads/writes of pointers to linear memory need to have a 32/64 bit switch
- Reading and writing pointers to
ValRawneeds to be audited- Size and alignment calculations all need to be duplicated or have a parameter for 64 bit
- Somehow should probably confirm that this doesn't vastly affect performance for 32-bit
The last point here is an open question I don't know how best to answer.
Wasmtime GitHub notifications bot (Jun 23 2022 at 21:57):alexcrichton labeled issue #4311:
I'm going to split this work item from https://github.com/bytecodealliance/wasmtime/issues/4185 since I suspect it's going to be somewhat significant. The intention here is to track issues related to the memory64 proposal for WebAssembly and the component model. At the time of this writing neither of these proposals are "stable". Additionally the component model does not actually define what the canonical ABI is with respect to the memory64 proposal. Fully implementing this item will be a blend of "do the obvious thing" where possible such as making pointers 64-bits large, while at the same time also identifying question that don't have "obvious" answers such as "what's the maximum length of a string or list?"
Currently there are a lot of TODO items sprinkled throughout
typed.rswhich note various places that I suspect will need memory64 treatment. Fully implementing this issue, however, will likely require fuzzer integration because otherwise it'll be difficult to ensure that we've covered all cases.Some examples of things that need updating are:
- Need to call
reallocwith a different signature- All reads/writes of pointers to linear memory need to have a 32/64 bit switch
- Reading and writing pointers to
ValRawneeds to be audited- Size and alignment calculations all need to be duplicated or have a parameter for 64 bit
- Somehow should probably confirm that this doesn't vastly affect performance for 32-bit
The last point here is an open question I don't know how best to answer.
Wasmtime GitHub notifications bot (Jun 23 2022 at 21:58):alexcrichton commented on issue #4311:
The upstream issue for the component model repository and the spec defining what to do with the memory64 proposal is https://github.com/WebAssembly/component-model/issues/22
Last updated: Dec 23 2024 at 12:05 UTC