Sam Parker

I'm not sure for Firefox: here's a lengthy [thread](https://bugzilla.mozilla.org/show_bug.cgi?id=1666747) about the issues they've found and it's not just Arm specific. For V8, though I don't think I've actually enabled it...

Okay, thanks. From bug trackers though, it seems it only became 'a problem' once the necessary tests were added to the wasm spec test-suite. And I'd just like re-iterate that...

I don't have an answer of how else to get around it... Maybe the penalty of explicit checks is worth the absolute determinism? Having to exclude an underlying hardware implementation...

Thank you! I feared blockchain maybe the answer :) So, sorry to get a little side-tracked, but I think I'm getting lost among the jargon... I see you are/were affiliated...

> Would `big.LITTLE` throw a wrench into that perhaps?) Yup! As my alter ego 'grubbymits' accidentally mentioned, I believe almost all configurations of big and small would be incompatible. I...

> @sparker-arm one other thought: is it sufficient, architecturally, to do a load (and throw away the result) to a stored-to address before every store? We would then take the...

Even if this does work, I don't really think we should be coming up with hacks to get WebAssembly to run well on a very prominent architecture. It seems clear...

Well, is there any way that we can implement alignment guarantees in WebAssembly? (I'm not sure I understand the utility of alignment hints.)

> consensus also applies to trapping executions, since they have to materialise as a rejected message at the call site @rossberg I'm still trying to understand the mechanics for consensus,...

Okay, so I'm now trying to reason what is different about this case of non-determinism compared to the existing standard, and incoming extensions. Given that wasm can produce non-deterministic NaN...