tyler.durden
/
test262
mirror of https://github.com/tc39/test262.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

fixup! Atomics.waitAsync: no spurious wakeup on [operation]

This commit is contained in:
Rick Waldron 2020-04-08 16:02:24 -04:00
parent e9ee3dcd62
commit f03c0c2de3
9 changed files with 189 additions and 171 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

40
test/built-ins/Atomics/waitAsync/no-spurious-wakeup-no-operation.js
View File

@ -22,6 +22,7 @@ info: |
c. Perform NotifyWaiter(WL, waiterRecord).
4. Perform LeaveCriticalSection(WL).
flags: [async]
includes: [atomicsHelper.js]
features: [Atomics.waitAsync, SharedArrayBuffer, TypedArray, Atomics]
---*/
@ -34,38 +35,39 @@ const i32a = new Int32Array(
);
$262.agent.start(`
$262.agent.receiveBroadcast(async function(sab) => {
$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.safeBroadcast(i32a);
$262.agent.waitUntil(i32a, RUNNING, 1);
$262.agent.tryYield();
$262.agent.safeBroadcastAsync(i32a, RUNNING, 1).then(async (agentCount) => {
// NO OPERATION OCCURS HERE!
Atomics.add(i32a, 0, 1);
assert(
$262.agent.getReport() >= TIMEOUT,
'The result of `(lapse >= TIMEOUT)` is true'
);
assert.sameValue(agentCount, 1);
assert.sameValue(
$262.agent.getReport(),
'timed-out',
'await Atomics.wait(i32a, 0, 0, ${TIMEOUT}).value resolves to "timed-out"'
);
const lapse = await $262.agent.getReportAsync();
assert.sameValue(
Atomics.notify(i32a, 0),
0,
'Atomics.notify(i32a, 0) returns 0'
);
assert(
lapse >= TIMEOUT,
'The result of `(lapse >= TIMEOUT)` is true'
);
const result = await $262.agent.getReportAsync();
assert.sameValue(
result,
'timed-out',
'await Atomics.waitAsync(i32a, 0, 0, ${TIMEOUT}).value resolves to "timed-out"'
);
assert.sameValue(Atomics.notify(i32a, 0), 0, 'Atomics.notify(i32a, 0) returns 0');
}).then($DONE, $DONE);

40
test/built-ins/Atomics/waitAsync/no-spurious-wakeup-on-add.js
View File

@ -21,6 +21,7 @@ info: |
c. Perform NotifyWaiter(WL, waiterRecord).
4. Perform LeaveCriticalSection(WL).
flags: [async]
includes: [atomicsHelper.js]
features: [Atomics.waitAsync, SharedArrayBuffer, TypedArray, Atomics]
---*/
@ -33,38 +34,39 @@ const i32a = new Int32Array(
);
$262.agent.start(`
$262.agent.receiveBroadcast(async function(sab) => {
$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.safeBroadcast(i32a);
$262.agent.waitUntil(i32a, RUNNING, 1);
$262.agent.tryYield();
$262.agent.safeBroadcastAsync(i32a, RUNNING, 1).then(async (agentCount) => {
Atomics.add(i32a, 0, 1);
assert.sameValue(agentCount, 1);
assert(
$262.agent.getReport() >= TIMEOUT,
'The result of `(lapse >= TIMEOUT)` is true'
);
Atomics.add(i32a, 0, 1);
assert.sameValue(
$262.agent.getReport(),
'timed-out',
'await Atomics.wait(i32a, 0, 0, ${TIMEOUT}).value resolves to "timed-out"'
);
const lapse = await $262.agent.getReportAsync();
assert.sameValue(
Atomics.notify(i32a, 0),
0,
'Atomics.notify(i32a, 0) returns 0'
);
assert(
lapse >= TIMEOUT,
'The result of `(lapse >= TIMEOUT)` is true'
);
const result = await $262.agent.getReportAsync();
assert.sameValue(
result,
'timed-out',
'await Atomics.waitAsync(i32a, 0, 0, ${TIMEOUT}).value resolves to "timed-out"'
);
assert.sameValue(Atomics.notify(i32a, 0), 0, 'Atomics.notify(i32a, 0) returns 0');
}).then($DONE, $DONE);

40
test/built-ins/Atomics/waitAsync/no-spurious-wakeup-on-and.js
View File

@ -21,6 +21,7 @@ info: |
c. Perform NotifyWaiter(WL, waiterRecord).
4. Perform LeaveCriticalSection(WL).
flags: [async]
includes: [atomicsHelper.js]
features: [Atomics.waitAsync, SharedArrayBuffer, TypedArray, Atomics]
---*/
@ -33,38 +34,39 @@ const i32a = new Int32Array(
);
$262.agent.start(`
$262.agent.receiveBroadcast(async function(sab) => {
$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.safeBroadcast(i32a);
$262.agent.waitUntil(i32a, RUNNING, 1);
$262.agent.tryYield();
$262.agent.safeBroadcastAsync(i32a, RUNNING, 1).then(async (agentCount) => {
Atomics.and(i32a, 0, 1);
assert.sameValue(agentCount, 1);
assert(
$262.agent.getReport() >= TIMEOUT,
'The result of `(lapse >= TIMEOUT)` is true'
);
Atomics.and(i32a, 0, 1);
assert.sameValue(
$262.agent.getReport(),
'timed-out',
'await Atomics.wait(i32a, 0, 0, ${TIMEOUT}).value resolves to "timed-out"'
);
const lapse = await $262.agent.getReportAsync();
assert.sameValue(
Atomics.notify(i32a, 0),
0,
'Atomics.notify(i32a, 0) returns 0'
);
assert(
lapse >= TIMEOUT,
'The result of `(lapse >= TIMEOUT)` is true'
);
const result = await $262.agent.getReportAsync();
assert.sameValue(
result,
'timed-out',
'await Atomics.waitAsync(i32a, 0, 0, ${TIMEOUT}).value resolves to "timed-out"'
);
assert.sameValue(Atomics.notify(i32a, 0), 0, 'Atomics.notify(i32a, 0) returns 0');
}).then($DONE, $DONE);

40
test/built-ins/Atomics/waitAsync/no-spurious-wakeup-on-compareExchange.js
View File

@ -21,6 +21,7 @@ info: |
c. Perform NotifyWaiter(WL, waiterRecord).
4. Perform LeaveCriticalSection(WL).
flags: [async]
includes: [atomicsHelper.js]
features: [Atomics.waitAsync, SharedArrayBuffer, TypedArray, Atomics]
---*/
@ -33,38 +34,39 @@ const i32a = new Int32Array(
);
$262.agent.start(`
$262.agent.receiveBroadcast(async function(sab) => {
$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.safeBroadcast(i32a);
$262.agent.waitUntil(i32a, RUNNING, 1);
$262.agent.tryYield();
$262.agent.safeBroadcastAsync(i32a, RUNNING, 1).then(async (agentCount) => {
Atomics.compareExchange(i32a, 0, 0, 1);
assert.sameValue(agentCount, 1);
assert(
$262.agent.getReport() >= TIMEOUT,
'The result of `(lapse >= TIMEOUT)` is true'
);
Atomics.compareExchange(i32a, 0, 0, 1);
assert.sameValue(
$262.agent.getReport(),
'timed-out',
'await Atomics.wait(i32a, 0, 0, ${TIMEOUT}).value resolves to "timed-out"'
);
const lapse = await $262.agent.getReportAsync();
assert.sameValue(
Atomics.notify(i32a, 0),
0,
'Atomics.notify(i32a, 0) returns 0'
);
assert(
lapse >= TIMEOUT,
'The result of `(lapse >= TIMEOUT)` is true'
);
const result = await $262.agent.getReportAsync();
assert.sameValue(
result,
'timed-out',
'await Atomics.waitAsync(i32a, 0, 0, ${TIMEOUT}).value resolves to "timed-out"'
);
assert.sameValue(Atomics.notify(i32a, 0), 0, 'Atomics.notify(i32a, 0) returns 0');
}).then($DONE, $DONE);

40
test/built-ins/Atomics/waitAsync/no-spurious-wakeup-on-exchange.js
View File

@ -21,6 +21,7 @@ info: |
c. Perform NotifyWaiter(WL, waiterRecord).
4. Perform LeaveCriticalSection(WL).
flags: [async]
includes: [atomicsHelper.js]
features: [Atomics.waitAsync, SharedArrayBuffer, TypedArray, Atomics]
---*/
@ -33,38 +34,39 @@ const i32a = new Int32Array(
);
$262.agent.start(`
$262.agent.receiveBroadcast(async function(sab) => {
$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.safeBroadcast(i32a);
$262.agent.waitUntil(i32a, RUNNING, 1);
$262.agent.tryYield();
$262.agent.safeBroadcastAsync(i32a, RUNNING, 1).then(async (agentCount) => {
Atomics.exchange(i32a, 0, 1);
assert.sameValue(agentCount, 1);
assert(
$262.agent.getReport() >= TIMEOUT,
'The result of `(lapse >= TIMEOUT)` is true'
);
Atomics.exchange(i32a, 0, 1);
assert.sameValue(
$262.agent.getReport(),
'timed-out',
'await Atomics.wait(i32a, 0, 0, ${TIMEOUT}).value resolves to "timed-out"'
);
const lapse = await $262.agent.getReportAsync();
assert.sameValue(
Atomics.notify(i32a, 0),
0,
'Atomics.notify(i32a, 0) returns 0'
);
assert(
lapse >= TIMEOUT,
'The result of `(lapse >= TIMEOUT)` is true'
);
const result = await $262.agent.getReportAsync();
assert.sameValue(
result,
'timed-out',
'await Atomics.waitAsync(i32a, 0, 0, ${TIMEOUT}).value resolves to "timed-out"'
);
assert.sameValue(Atomics.notify(i32a, 0), 0, 'Atomics.notify(i32a, 0) returns 0');
}).then($DONE, $DONE);

40
test/built-ins/Atomics/waitAsync/no-spurious-wakeup-on-or.js
View File

@ -21,6 +21,7 @@ info: |
c. Perform NotifyWaiter(WL, waiterRecord).
4. Perform LeaveCriticalSection(WL).
flags: [async]
includes: [atomicsHelper.js]
features: [Atomics.waitAsync, SharedArrayBuffer, TypedArray, Atomics]
---*/
@ -33,38 +34,39 @@ const i32a = new Int32Array(
);
$262.agent.start(`
$262.agent.receiveBroadcast(async function(sab) => {
$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.safeBroadcast(i32a);
$262.agent.waitUntil(i32a, RUNNING, 1);
$262.agent.tryYield();
$262.agent.safeBroadcastAsync(i32a, RUNNING, 1).then(async (agentCount) => {
Atomics.or(i32a, 0, 1);
assert.sameValue(agentCount, 1);
assert(
$262.agent.getReport() >= TIMEOUT,
'The result of `(lapse >= TIMEOUT)` is true'
);
Atomics.or(i32a, 0, 1);
assert.sameValue(
$262.agent.getReport(),
'timed-out',
'await Atomics.wait(i32a, 0, 0, ${TIMEOUT}).value resolves to "timed-out"'
);
const lapse = await $262.agent.getReportAsync();
assert.sameValue(
Atomics.notify(i32a, 0),
0,
'Atomics.notify(i32a, 0) returns 0'
);
assert(
lapse >= TIMEOUT,
'The result of `(lapse >= TIMEOUT)` is true'
);
const result = await $262.agent.getReportAsync();
assert.sameValue(
result,
'timed-out',
'await Atomics.waitAsync(i32a, 0, 0, ${TIMEOUT}).value resolves to "timed-out"'
);
assert.sameValue(Atomics.notify(i32a, 0), 0, 'Atomics.notify(i32a, 0) returns 0');
}).then($DONE, $DONE);

40
test/built-ins/Atomics/waitAsync/no-spurious-wakeup-on-store.js
View File

@ -21,6 +21,7 @@ info: |
c. Perform NotifyWaiter(WL, waiterRecord).
4. Perform LeaveCriticalSection(WL).
flags: [async]
includes: [atomicsHelper.js]
features: [Atomics.waitAsync, SharedArrayBuffer, TypedArray, Atomics]
---*/
@ -33,38 +34,39 @@ const i32a = new Int32Array(
);
$262.agent.start(`
$262.agent.receiveBroadcast(async function(sab) => {
$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.safeBroadcast(i32a);
$262.agent.waitUntil(i32a, RUNNING, 1);
$262.agent.tryYield();
$262.agent.safeBroadcastAsync(i32a, RUNNING, 1).then(async (agentCount) => {
Atomics.store(i32a, 0, 0x111111);
assert.sameValue(agentCount, 1);
assert(
$262.agent.getReport() >= TIMEOUT,
'The result of `(lapse >= TIMEOUT)` is true'
);
Atomics.store(i32a, 0, 0b1010);
assert.sameValue(
$262.agent.getReport(),
'timed-out',
'await Atomics.wait(i32a, 0, 0, ${TIMEOUT}).value resolves to "timed-out"'
);
const lapse = await $262.agent.getReportAsync();
assert.sameValue(
Atomics.notify(i32a, 0),
0,
'Atomics.notify(i32a, 0) returns 0'
);
assert(
lapse >= TIMEOUT,
'The result of `(lapse >= TIMEOUT)` is true'
);
const result = await $262.agent.getReportAsync();
assert.sameValue(
result,
'timed-out',
'await Atomics.waitAsync(i32a, 0, 0, ${TIMEOUT}).value resolves to "timed-out"'
);
assert.sameValue(Atomics.notify(i32a, 0), 0, 'Atomics.notify(i32a, 0) returns 0');
}).then($DONE, $DONE);

40
test/built-ins/Atomics/waitAsync/no-spurious-wakeup-on-sub.js
View File

@ -22,6 +22,7 @@ info: |
c. Perform NotifyWaiter(WL, waiterRecord).
4. Perform LeaveCriticalSection(WL).
flags: [async]
includes: [atomicsHelper.js]
features: [Atomics.waitAsync, SharedArrayBuffer, TypedArray, Atomics]
---*/
@ -34,38 +35,39 @@ const i32a = new Int32Array(
);
$262.agent.start(`
$262.agent.receiveBroadcast(async function(sab) => {
$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.safeBroadcast(i32a);
$262.agent.waitUntil(i32a, RUNNING, 1);
$262.agent.tryYield();
$262.agent.safeBroadcastAsync(i32a, RUNNING, 1).then(async (agentCount) => {
Atomics.sub(i32a, 0, 1);
assert.sameValue(agentCount, 1);
assert(
$262.agent.getReport() >= TIMEOUT,
'The result of `(lapse >= TIMEOUT)` is true'
);
Atomics.sub(i32a, 0, 1);
assert.sameValue(
$262.agent.getReport(),
'timed-out',
'await Atomics.wait(i32a, 0, 0, ${TIMEOUT}).value resolves to "timed-out"'
);
const lapse = await $262.agent.getReportAsync();
assert.sameValue(
Atomics.notify(i32a, 0),
0,
'Atomics.notify(i32a, 0) returns 0'
);
assert(
lapse >= TIMEOUT,
'The result of `(lapse >= TIMEOUT)` is true'
);
const result = await $262.agent.getReportAsync();
assert.sameValue(
result,
'timed-out',
'await Atomics.waitAsync(i32a, 0, 0, ${TIMEOUT}).value resolves to "timed-out"'
);
assert.sameValue(Atomics.notify(i32a, 0), 0, 'Atomics.notify(i32a, 0) returns 0');
}).then($DONE, $DONE);

40
test/built-ins/Atomics/waitAsync/no-spurious-wakeup-on-xor.js
View File

@ -22,6 +22,7 @@ info: |
c. Perform NotifyWaiter(WL, waiterRecord).
4. Perform LeaveCriticalSection(WL).
flags: [async]
includes: [atomicsHelper.js]
features: [Atomics.waitAsync, SharedArrayBuffer, TypedArray, Atomics]
---*/
@ -34,38 +35,39 @@ const i32a = new Int32Array(
);
$262.agent.start(`
$262.agent.receiveBroadcast(async function(sab) => {
$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.safeBroadcast(i32a);
$262.agent.waitUntil(i32a, RUNNING, 1);
$262.agent.tryYield();
$262.agent.safeBroadcastAsync(i32a, RUNNING, 1).then(async (agentCount) => {
Atomics.xor(i32a, 0, 1);
assert.sameValue(agentCount, 1);
assert(
$262.agent.getReport() >= TIMEOUT,
'The result of `(lapse >= TIMEOUT)` is true'
);
Atomics.xor(i32a, 0, 1);
assert.sameValue(
$262.agent.getReport(),
'timed-out',
'await Atomics.wait(i32a, 0, 0, ${TIMEOUT}).value resolves to "timed-out"'
);
const lapse = await $262.agent.getReportAsync();
assert.sameValue(
Atomics.notify(i32a, 0),
0,
'Atomics.notify(i32a, 0) returns 0'
);
assert(
lapse >= TIMEOUT,
'The result of `(lapse >= TIMEOUT)` is true'
);
const result = await $262.agent.getReportAsync();
assert.sameValue(
result,
'timed-out',
'await Atomics.waitAsync(i32a, 0, 0, ${TIMEOUT}).value resolves to "timed-out"'
);
assert.sameValue(Atomics.notify(i32a, 0), 0, 'Atomics.notify(i32a, 0) returns 0');
}).then($DONE, $DONE);