summaryrefslogtreecommitdiffstats
path: root/js/src/tests/test262/built-ins/Atomics/waitAsync/no-spurious-wakeup-on-and.js
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-07 19:33:14 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-07 19:33:14 +0000
commit36d22d82aa202bb199967e9512281e9a53db42c9 (patch)
tree105e8c98ddea1c1e4784a60a5a6410fa416be2de /js/src/tests/test262/built-ins/Atomics/waitAsync/no-spurious-wakeup-on-and.js
parentInitial commit. (diff)
downloadfirefox-esr-upstream.tar.xz
firefox-esr-upstream.zip
Adding upstream version 115.7.0esr.upstream/115.7.0esrupstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'js/src/tests/test262/built-ins/Atomics/waitAsync/no-spurious-wakeup-on-and.js')
-rw-r--r--js/src/tests/test262/built-ins/Atomics/waitAsync/no-spurious-wakeup-on-and.js74
1 files changed, 74 insertions, 0 deletions
diff --git a/js/src/tests/test262/built-ins/Atomics/waitAsync/no-spurious-wakeup-on-and.js b/js/src/tests/test262/built-ins/Atomics/waitAsync/no-spurious-wakeup-on-and.js
new file mode 100644
index 0000000000..339ab3a329
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/waitAsync/no-spurious-wakeup-on-and.js
@@ -0,0 +1,74 @@
+// |reftest| skip async -- Atomics.waitAsync is not supported
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-atomics.waitasync
+description: >
+ Waiter does not spuriously notify on index which is subject to And operation
+info: |
+ AddWaiter ( WL, waiterRecord )
+
+ 5. Append waiterRecord as the last element of WL.[[Waiters]]
+ 6. If waiterRecord.[[Timeout]] is finite, then in parallel,
+ a. Wait waiterRecord.[[Timeout]] milliseconds.
+ b. Perform TriggerTimeout(WL, waiterRecord).
+
+ TriggerTimeout( WL, waiterRecord )
+
+ 3. If waiterRecord is in WL.[[Waiters]], then
+ a. Set waiterRecord.[[Result]] to "timed-out".
+ b. Perform RemoveWaiter(WL, waiterRecord).
+ c. Perform NotifyWaiter(WL, waiterRecord).
+ 4. Perform LeaveCriticalSection(WL).
+
+flags: [async]
+includes: [atomicsHelper.js]
+features: [Atomics.waitAsync, SharedArrayBuffer, TypedArray, Atomics, arrow-function, async-functions]
+---*/
+assert.sameValue(typeof Atomics.waitAsync, 'function', 'The value of `typeof Atomics.waitAsync` is "function"');
+
+const RUNNING = 1;
+const TIMEOUT = $262.agent.timeouts.small;
+
+const i32a = new Int32Array(
+ new SharedArrayBuffer(Int32Array.BYTES_PER_ELEMENT * 4)
+);
+
+$262.agent.start(`
+ $262.agent.receiveBroadcast(async (sab) => {
+ const i32a = new Int32Array(sab);
+ Atomics.add(i32a, ${RUNNING}, 1);
+
+ const before = $262.agent.monotonicNow();
+ const unpark = await Atomics.waitAsync(i32a, 0, 0, ${TIMEOUT}).value;
+ const duration = $262.agent.monotonicNow() - before;
+
+ $262.agent.report(duration);
+ $262.agent.report(unpark);
+ $262.agent.leaving();
+ });
+`);
+
+$262.agent.safeBroadcastAsync(i32a, RUNNING, 1).then(async (agentCount) => {
+
+ assert.sameValue(agentCount, 1, 'The value of `agentCount` is 1');
+
+ Atomics.and(i32a, 0, 1);
+
+ const lapse = await $262.agent.getReportAsync();
+
+ assert(
+ lapse >= TIMEOUT,
+ 'The result of evaluating `(lapse >= TIMEOUT)` is true'
+ );
+
+ const result = await $262.agent.getReportAsync();
+
+ assert.sameValue(
+ result,
+ 'timed-out',
+ 'The value of `result` is "timed-out"'
+ );
+ assert.sameValue(Atomics.notify(i32a, 0), 0, 'Atomics.notify(new Int32Array(new SharedArrayBuffer(Int32Array.BYTES_PER_ELEMENT * 4)), 0) must return 0');
+}).then($DONE, $DONE);