You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hi wasmer team! I would like to ask you, whether wasmer guaranties, that store is reverted back to the state right before an instruction which cause a trap during execution?
Additional details
To clarify the question, let's consider some examples.
Here we have OutOfBounds error. During execution a trap is appearing and signal handler stops code execution without any store recovering. So, the question is whether wasmer guaranties, that after execution store will be in state exactly before i32.store execution?
Here we have StackOverflow error. During execution a trap is appearing and signal handler stops code execution without any store recovering. So, the question is whether wasmer guaranties, that after execution store will be the same state as it was before execution of instruction which causes the trap?
In general, the store shall be able to be reused. We need to investigate more from the cases you commented, as if thats not happening, that's not the desired behavior.
Thanks for creating the issue @grishasobol
Summary
Hi wasmer team! I would like to ask you, whether wasmer guaranties, that
store
is reverted back to the state right before an instruction which cause a trap during execution?Additional details
To clarify the question, let's consider some examples.
store
recovering. So, the question is whether wasmer guaranties, that after executionstore
will be in state exactly beforei32.store
execution?store
recovering. So, the question is whether wasmer guaranties, that after executionstore
will be the same state as it was before execution of instruction which causes the trap?The text was updated successfully, but these errors were encountered: