summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorAlon Zakai <azakai@google.com>2024-03-19 12:34:35 -0700
committerGitHub <noreply@github.com>2024-03-19 12:34:35 -0700
commit4ce9fb460b6a1161209904264bafec96abe911ac (patch)
tree24043d7baa00165c920fd6180d3b447f6ba2e738 /src
parent70f860e7b11b013efd5af4bb5c14b72d2183a45a (diff)
downloadbinaryen-4ce9fb460b6a1161209904264bafec96abe911ac.tar.gz
binaryen-4ce9fb460b6a1161209904264bafec96abe911ac.tar.bz2
binaryen-4ce9fb460b6a1161209904264bafec96abe911ac.zip
Atomics: Handle timeouts in waits in the (single-threaded) interpreter (#6408)
The interpreter does not run multiple threads, and it was returning 0 from atomic.wait, which means it was woken up. But it is more correct for it to return 2, which means it timed out - which is actually the case, as no other thread exists that can wake it up. However, even that is not good for fuzzing as the timeout may be infinite or large, so just emit a host limit error on any timeout for now, until we actually implement threads.
Diffstat (limited to 'src')
-rw-r--r--src/wasm-interpreter.h12
1 files changed, 9 insertions, 3 deletions
diff --git a/src/wasm-interpreter.h b/src/wasm-interpreter.h
index 0dedfeb58..af01865f4 100644
--- a/src/wasm-interpreter.h
+++ b/src/wasm-interpreter.h
@@ -3461,9 +3461,15 @@ public:
if (loaded != expected.getSingleValue()) {
return Literal(int32_t(1)); // not equal
}
- // TODO: add threads support!
- // for now, just assume we are woken up
- return Literal(int32_t(0)); // woken up
+ // TODO: Add threads support. For now, report a host limit here, as there
+ // are no other threads that can wake us up. Without such threads,
+ // we'd hang if there is no timeout, and even if there is a timeout
+ // then we can hang for a long time if it is in a loop. The only
+ // timeout value we allow here for now is 0.
+ if (timeout.getSingleValue().getInteger() != 0) {
+ hostLimit("threads support");
+ }
+ return Literal(int32_t(0)); // equal
}
Flow visitAtomicNotify(AtomicNotify* curr) {
NOTE_ENTER("AtomicNotify");