[GR-58993] Implement Atomics.pause proposal.

PullRequest: js/3314

Author: woess

CHANGELOG.md

@@ -9,6 +9,7 @@ See [release calendar](https://www.graalvm.org/release-calendar/) for release da
 * Updated Node.js to version 20.15.1.
 * Implemented the [`Error.isError`](https://github.com/tc39/proposal-is-error) proposal. It is available in ECMAScript staging mode (`--js.ecmascript-version=staging`).
 * Implemented the [`Promise.try`](https://github.com/tc39/proposal-promise-try) proposal. It is available in ECMAScript staging mode (`--js.ecmascript-version=staging`).
+* Implemented the [`Atomics.pause`](https://github.com/tc39/proposal-atomics-microwait) proposal. It is available in ECMAScript staging mode (`--js.ecmascript-version=staging`).
 * Implemented the [Source Phase Imports](https://github.com/tc39/proposal-source-phase-imports) proposal. It is available behind the experimental option (`--js.source-phase-imports`).
 * Implemented basic Worker API (resembling the API available in `d8`). It is available behind the experimental option `--js.worker`.
 * Added option `js.stack-trace-api` that enables/disables `Error.captureStackTrace`, `Error.prepareStackTrace` and `Error.stackTraceLimit`. These non-standard extensions are disabled by default (unless `js.v8-compat` or `js.nashorn-compat` is used).

graal-js/src/com.oracle.truffle.js.test.external/src/com/oracle/truffle/js/test/external/test262/Test262Runnable.java

@@ -105,6 +105,7 @@ public class Test262Runnable extends TestRunnable {
                     "Array.prototype.values",
                     "ArrayBuffer",
                     "Atomics",
+                    "Atomics.pause",
                     "Atomics.waitAsync",
                     "BigInt",
                     "DataView",
@@ -274,7 +275,6 @@ public class Test262Runnable extends TestRunnable {
                     "well-formed-json-stringify",
     });
     private static final Set<String> UNSUPPORTED_FEATURES = featureSet(new String[]{
-                    "Atomics.pause",
                     "Intl.DurationFormat",
                     "IsHTMLDDA",
                     "Math.sumPrecise",
@@ -286,6 +286,7 @@ public class Test262Runnable extends TestRunnable {
     });
     private static final Set<String> STAGING_FEATURES = featureSet(new String[]{
                     "Array.fromAsync",
+                    "Atomics.pause",
                     "Error.isError",
                     "FinalizationRegistry.prototype.cleanupSome",
                     "Float16Array",

graal-js/src/com.oracle.truffle.js/src/com/oracle/truffle/js/builtins/AtomicsBuiltins.java

@@ -45,6 +45,7 @@
 import com.oracle.truffle.api.dsl.Bind;
 import com.oracle.truffle.api.dsl.Cached;
 import com.oracle.truffle.api.dsl.Cached.Shared;
+import com.oracle.truffle.api.dsl.Fallback;
 import com.oracle.truffle.api.dsl.ImportStatic;
 import com.oracle.truffle.api.dsl.Specialization;
 import com.oracle.truffle.api.frame.VirtualFrame;
@@ -57,6 +58,7 @@
 import com.oracle.truffle.js.builtins.AtomicsBuiltinsFactory.AtomicsIsLockFreeNodeGen;
 import com.oracle.truffle.js.builtins.AtomicsBuiltinsFactory.AtomicsLoadNodeGen;
 import com.oracle.truffle.js.builtins.AtomicsBuiltinsFactory.AtomicsNotifyNodeGen;
+import com.oracle.truffle.js.builtins.AtomicsBuiltinsFactory.AtomicsPauseNodeGen;
 import com.oracle.truffle.js.builtins.AtomicsBuiltinsFactory.AtomicsStoreNodeGen;
 import com.oracle.truffle.js.builtins.AtomicsBuiltinsFactory.AtomicsWaitAsyncNodeGen;
 import com.oracle.truffle.js.builtins.AtomicsBuiltinsFactory.AtomicsWaitNodeGen;
@@ -147,7 +149,9 @@ public enum Atomics implements BuiltinEnum<Atomics> {
         notify(3),
 
         // ES 2024
-        waitAsync(4);
+        waitAsync(4),
+
+        pause(0);
 
         private final int length;
 
@@ -165,6 +169,7 @@ public int getECMAScriptVersion() {
             return switch (this) {
                 case notify -> JSConfig.ECMAScript2019;
                 case waitAsync -> JSConfig.ECMAScript2024;
+                case pause -> JSConfig.StagingECMAScriptVersion;
                 default -> JSConfig.ECMAScript2017;
             };
         }
@@ -206,6 +211,8 @@ protected Object createNode(JSContext context, JSBuiltin builtin, boolean constr
                 return AtomicsIsLockFreeNodeGen.create(context, builtin, args().fixedArgs(1).createArgumentNodes(context));
             case waitAsync:
                 return AtomicsWaitAsyncNodeGen.create(context, builtin, args().fixedArgs(4).createArgumentNodes(context));
+            case pause:
+                return AtomicsPauseNodeGen.create(context, builtin, args().fixedArgs(1).createArgumentNodes(context));
         }
         return null;
     }
@@ -1264,6 +1271,45 @@ protected Object doGeneric(VirtualFrame frame, Object maybeTarget, Object index,
         }
     }
 
+    @ImportStatic({JSRuntime.class})
+    public abstract static class AtomicsPauseNode extends JSBuiltinNode {
+
+        protected AtomicsPauseNode(JSContext context, JSBuiltin builtin) {
+            super(context, builtin);
+        }
+
+        @SuppressWarnings("unused")
+        @Specialization(guards = "isUndefined(n)")
+        protected static Object pauseOnce(Object n) {
+            Thread.onSpinWait();
+            return Undefined.instance;
+        }
+
+        @Specialization
+        protected static Object pauseInt(int n) {
+            for (int i = 0; i < n; i++) {
+                Thread.onSpinWait();
+            }
+            return Undefined.instance;
+        }
+
+        @Specialization(guards = "isIntegralNumber(n)")
+        protected static Object pauseDouble(double n) {
+            return pauseInt((int) n);
+        }
+
+        @Specialization
+        protected static Object pauseLong(long n) {
+            return pauseInt((int) Math.min(Math.max(n, 0), Integer.MAX_VALUE));
+        }
+
+        @SuppressWarnings("unused")
+        @Fallback
+        protected static Object illegalArgument(Object n) {
+            throw Errors.createTypeError("Atomics.pause argument must be undefined or an integer");
+        }
+    }
+
     /**
      * Lock-free regions checking.
      */