Hi, it's unclear to me what the embedder is allowed to do with the store. For example if a global is const, may 2 successive calls to global.get return different values? I would expect that yes and it would be a property of the embedder, but I can convince myself with the wording of the spec.
Actually, I think the answer is no. It looks like only host function calls may modify the store (in "unexpected" ways). So 2 consecutive global.get to the same imported global cannot return different values (unless there is a host function call in between).
(deleted)
Never mind, I see you are asking a more nuanced question.
Last updated: Dec 23 2024 at 12:05 UTC