Add Atomics support (#4721)

Creating atomics interface JerryScript-DCO-1.0-Signed-off-by: Gergo Csizi csgergo92@gmail.com
2021-10-20 15:50:12 +02:00
parent c446871214
commit 74f98ec4d7
12 changed files with 803 additions and 122 deletions
@@ -0,0 +1,259 @@
+/* Copyright JS Foundation and other contributors, http://js.foundation
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+#include "ecma-atomics-object.h"
+#include "ecma-arraybuffer-object.h"
+#include "ecma-shared-arraybuffer-object.h"
+#include "ecma-bigint.h"
+#include "ecma-typedarray-object.h"
+#include "ecma-objects.h"
+#include "ecma-builtins.h"
+#include "ecma-exceptions.h"
+#include "ecma-gc.h"
+#include "ecma-globals.h"
+#include "ecma-helpers.h"
+#include "jmem.h"
+#include "jcontext.h"
+#include "ecma-function-object.h"
+
+#if JERRY_BUILTIN_ATOMICS
+
+/** \addtogroup ecma ECMA
+ * @{
+ *
+ * \addtogroup ecmaatomicsobject ECMA builtin Atomics helper functions
+ * @{
+ */
+
+/**
+ * Atomics validate Shared integer typedArray
+ *
+ * See also: ES11 24.4.1.1
+ *
+ * @return ecma value
+ */
+ecma_value_t
+ecma_validate_shared_integer_typedarray (ecma_value_t typedarray, /**< typedArray argument */
+                                         bool waitable) /**< waitable argument */
+{
+  /* 2. */
+  if (!ecma_is_value_object (typedarray))
+  {
+    return ecma_raise_type_error (ECMA_ERR_MSG ("Argument 'this' is not an object"));
+  }
+
+  /* 3-4. */
+  ecma_object_t *typedarray_p = ecma_get_object_from_value (typedarray);
+  ecma_typedarray_info_t target_info =  ecma_typedarray_get_info (typedarray_p);
+
+  /* 5-6. */
+  if (waitable)
+  {
+    if (!(target_info.id == ECMA_BIGINT64_ARRAY || target_info.id == ECMA_INT32_ARRAY))
+    {
+      return ecma_raise_type_error (ECMA_ERR_MSG ("Argument is not supported"));
+    }
+  }
+  else
+  {
+    if (target_info.id  == ECMA_UINT8_CLAMPED_ARRAY || target_info.id == ECMA_FLOAT32_ARRAY
+        || target_info.id == ECMA_FLOAT64_ARRAY)
+    {
+      return ecma_raise_type_error (ECMA_ERR_MSG ("Argument is not supported"));
+    }
+  }
+
+  /* 7. */
+  JERRY_ASSERT (target_info.array_buffer_p != NULL);
+
+  /* 8-10. */
+  ecma_object_t *buffer = ecma_typedarray_get_arraybuffer (typedarray_p);
+
+  if (!ecma_object_class_is (buffer, ECMA_OBJECT_CLASS_SHARED_ARRAY_BUFFER))
+  {
+    return ecma_raise_type_error (ECMA_ERR_MSG ("Argument is not SharedArrayBuffer"));
+  }
+
+  return ecma_make_object_value (buffer);
+} /* ecma_validate_shared_integer_typedarray */
+
+/**
+ * Atomics validate Atomic Access
+ *
+ * See also: ES11 24.4.1.2
+ *
+ * @return ecma value
+ */
+ecma_value_t
+ecma_validate_atomic_access (ecma_value_t typedarray, /**< typedArray argument */
+                             ecma_value_t request_index) /**< request_index argument */
+{
+  /* 1. */
+  JERRY_ASSERT (ecma_is_value_object (typedarray)
+                && ecma_typedarray_get_arraybuffer (ecma_get_object_from_value (typedarray)) != NULL);
+
+  ecma_object_t *typedarray_p = ecma_get_object_from_value (typedarray);
+
+  /* 2. */
+  ecma_number_t access_index;
+  if (ECMA_IS_VALUE_ERROR (ecma_op_to_index (request_index, &access_index)))
+  {
+    return ECMA_VALUE_ERROR;
+  }
+
+  /* 3. */
+  ecma_typedarray_info_t target_info = ecma_typedarray_get_info (typedarray_p);
+
+  /* 4. */
+  JERRY_ASSERT (access_index >= 0);
+
+  /* 5-6. */
+  if (JERRY_UNLIKELY (access_index >= target_info.length))
+  {
+    return ecma_raise_range_error (ECMA_ERR_MSG ("Invalid length"));
+  }
+
+  return ecma_make_number_value (access_index);
+} /* ecma_validate_atomic_access */
+
+/**
+ * Atomics read, modify, write
+ *
+ * See also: ES11 24.4.1.11
+ *
+ * @return ecma value
+ */
+ecma_value_t
+ecma_atomic_read_modify_write (ecma_value_t typedarray, /**< typedArray argument */
+                               ecma_value_t index, /**< index argument */
+                               ecma_value_t value, /**< value argument */
+                               ecma_atomics_op_t op) /**< operation argument */
+{
+  /* 1. */
+  ecma_value_t buffer = ecma_validate_shared_integer_typedarray (typedarray, false);
+
+  if (ECMA_IS_VALUE_ERROR (buffer))
+  {
+    return buffer;
+  }
+
+  /* 2. */
+  ecma_value_t idx = ecma_validate_atomic_access (typedarray, index);
+
+  if (ECMA_IS_VALUE_ERROR (idx))
+  {
+    return idx;
+  }
+
+  /* 3. */
+  ecma_object_t *typedarray_p = ecma_get_object_from_value (typedarray);
+  ecma_typedarray_info_t target_info =  ecma_typedarray_get_info (typedarray_p);
+
+  /* 4-5. */
+  ecma_value_t val = ECMA_VALUE_ERROR;
+  ecma_number_t tmp;
+  if (target_info.id == ECMA_BIGINT64_ARRAY || target_info.id == ECMA_BIGUINT64_ARRAY)
+  {
+    val = ecma_bigint_to_bigint (value, true);
+  }
+  else if (!ECMA_IS_VALUE_ERROR (ecma_op_to_integer (value, &tmp)))
+  {
+    val = ecma_make_number_value (tmp);
+  }
+
+  if (ECMA_IS_VALUE_ERROR (val))
+  {
+    return val;
+  }
+
+  /* 6. */
+  uint8_t element_size = target_info.element_size;
+
+  /* 7. */
+  ecma_typedarray_type_t element_type = target_info.id;
+
+  /* 8. */
+  uint32_t offset = target_info.offset;
+
+  /* 9. */
+  uint32_t indexed_position = ecma_number_to_uint32 (idx) * element_size + offset;
+
+  JERRY_UNUSED (indexed_position);
+  JERRY_UNUSED (element_type);
+  JERRY_UNUSED (val);
+  JERRY_UNUSED (buffer);
+  JERRY_UNUSED (op);
+
+  ecma_free_value (val);
+
+  /* 10. */
+  return ecma_make_uint32_value (0);
+} /* ecma_atomic_read_modify_write */
+
+/**
+ * Atomics load
+ *
+ * See also: ES11 24.4.1.12
+ *
+ * @return ecma value
+ */
+ecma_value_t
+ecma_atomic_load (ecma_value_t typedarray, /**< typedArray argument */
+                  ecma_value_t index) /**< index argument */
+{
+  ecma_value_t buffer = ecma_validate_shared_integer_typedarray (typedarray, false);
+
+  if (ECMA_IS_VALUE_ERROR (buffer))
+  {
+    return buffer;
+  }
+
+  /* 2. */
+  ecma_value_t idx = ecma_validate_atomic_access (typedarray, index);
+
+  if (ECMA_IS_VALUE_ERROR (idx))
+  {
+    return idx;
+  }
+
+  /* 3. */
+  ecma_object_t *typedarray_p = ecma_get_object_from_value (typedarray);
+  ecma_typedarray_info_t target_info = ecma_typedarray_get_info (typedarray_p);
+
+  /* 4. */
+  uint8_t element_size = target_info.element_size;
+
+  /* 5. */
+  ecma_typedarray_type_t element_type = target_info.id;
+
+  /* 6. */
+  uint32_t offset = target_info.offset;
+
+  /* 7. */
+  uint32_t indexed_position = ecma_number_to_uint32 (idx) * element_size + offset;
+
+  JERRY_UNUSED (indexed_position);
+  JERRY_UNUSED (element_type);
+  JERRY_UNUSED (buffer);
+
+  /* 8. */
+  return ecma_make_uint32_value (0);
+} /* ecma_atomic_load */
+
+/**
+ * @}
+ * @}
+ */
+#endif /* JERRY_BUILTIN_ATOMICS */
@@ -0,0 +1,65 @@
+/* Copyright JS Foundation and other contributors, http://js.foundation
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+#ifndef ECMA_ATOMICS_OBJECT_H
+#define ECMA_ATOMICS_OBJECT_H
+
+#include "ecma-globals.h"
+
+#if JERRY_BUILTIN_ATOMICS
+
+/** \addtogroup ecma ECMA
+ * @{
+ *
+ * \addtogroup ecmaatomicsobject ECMA builtin Atomics helper functions
+ * @{
+ */
+
+/**
+ * Atomics flags.
+ */
+typedef enum
+{
+  ECMA_ATOMICS_ADD, /**< Atomics add operation */
+  ECMA_ATOMICS_SUBTRACT, /**< Atomics subtract operation */
+  ECMA_ATOMICS_AND, /**< Atomics and operation */
+  ECMA_ATOMICS_OR, /**< Atomics or operation */
+  ECMA_ATOMICS_XOR, /**< Atomics xor operation */
+  ECMA_ATOMICS_EXCHANGE, /**< Atomics exchange operation */
+  ECMA_ATOMICS_COMPARE_EXCHANGE /**< Atomics compare exchange operation */
+} ecma_atomics_op_t;
+
+ecma_value_t
+ecma_validate_shared_integer_typedarray (ecma_value_t typedarray,
+                                         bool waitable);
+ecma_value_t
+ecma_validate_atomic_access (ecma_value_t typedarray,
+                             ecma_value_t request_index);
+ecma_value_t
+ecma_atomic_read_modify_write (ecma_value_t typedarray,
+                               ecma_value_t index,
+                               ecma_value_t value,
+                               ecma_atomics_op_t op);
+ecma_value_t
+ecma_atomic_load (ecma_value_t typedarray,
+                  ecma_value_t index);
+/**
+ * @}
+ * @}
+ */
+
+#endif /* JERRY_BUILTIN_ATOMICS */
+
+#endif /* ECMA_ATOMICS_OBJECT_H */