Stream: wasmtime

Topic: compontent model wasm -> core wasm

Mirror Mystic (Dec 12 2023 at 12:43):

Silly Q, but my boss made me ask it anyway :)

If i take 2 component models, A and B, A depeneds on B, they don't have any other dependancies, and link them together into module C, where C doesn't have any WIT style exports, just regualar exports, can I convert that wasm into an old Core Wasm, I'm assuming the answer is no here, I think its because:

1. There will be 2 core modules in C, which are A and B
2. A and B inside C have its own memorys
3. Other reasons I'd like to know about

thanks

Alex Crichton (Dec 12 2023 at 15:11):

The terminology you're asking with is somewhat imprecise and it's making it difficult to answer from my perspective, so before I go much further answering this I want to help confirm/clarify some terminology you're using:

• "If i take 2 component models, A and B" - I believe you're referring to components here as opposed to "component models". A component is a *.wasm binary whereas the component model is the name of the whole proposal to WebAssembly.
• "and link them together into module C, where C doesn't have any WIT style exports, just regualar exports" - if C is a core WebAssembly *.wasm then there's no defined way to link a component to a core wasm module. This would require engaging other possible conventions/idioms/tools, so it's not clear to me what this operation would be. I'm also assuming "regular exports" here in this case are exported functions from core wasm using integers and such.
• "can I convert that wasm into an old Core Wasm" - if you set aside the "well core wasm is turing complete" argument then, no, there's no general way to decompile a component into core wasm at this time. That would require a relatively fancy tool which doesn't currently exist.

Alex Crichton (Dec 12 2023 at 15:12):

So I think overall the answer is "no", but moreso because there's a mismatch in what you're trying to do in terms of components and core wasms

Last updated: Nov 22 2024 at 16:03 UTC