From 9e88e8133a1c2df1df1e2ad1622416d9ebe4d954 Mon Sep 17 00:00:00 2001 From: Masahiro FUJIMOTO Date: Sun, 12 Sep 2021 23:55:09 +0900 Subject: Global_Objects/Atomics を更新 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - 2021/09/11 時点の英語版に同期 - xor() を新規翻訳 --- .../reference/global_objects/atomics/index.html | 143 --------------------- .../reference/global_objects/atomics/index.md | 134 +++++++++++++++++++ .../reference/global_objects/atomics/xor/index.md | 88 +++++++++++++ 3 files changed, 222 insertions(+), 143 deletions(-) delete mode 100644 files/ja/web/javascript/reference/global_objects/atomics/index.html create mode 100644 files/ja/web/javascript/reference/global_objects/atomics/index.md create mode 100644 files/ja/web/javascript/reference/global_objects/atomics/xor/index.md (limited to 'files/ja/web/javascript/reference') diff --git a/files/ja/web/javascript/reference/global_objects/atomics/index.html b/files/ja/web/javascript/reference/global_objects/atomics/index.html deleted file mode 100644 index b1b897b7db..0000000000 --- a/files/ja/web/javascript/reference/global_objects/atomics/index.html +++ /dev/null @@ -1,143 +0,0 @@ ---- -title: Atomics -slug: Web/JavaScript/Reference/Global_Objects/Atomics -tags: - - JavaScript - - Namespace - - Shared Memory - - Specifications - - 仕様 - - 共有メモリ - - 名前空間 -translation_of: Web/JavaScript/Reference/Global_Objects/Atomics ---- -
{{JSRef}}
- -

Atomics オブジェクトは、静的なメソッドとして不可分操作を提供します。これらは {{jsxref("SharedArrayBuffer")}} および {{jsxref("ArrayBuffer")}} オブジェクトで使用されます。

- -

解説

- -

不可分操作は、 Atomics モジュール上に装備されています。他のグローバルオブジェクトと異なり、 Atomics はコンストラクターではありません。 new 演算子 を付けて使用したり、 Atomics オブジェクトを関数として呼び出したりすることはできません。 Atomics のすべてのプロパティとメソッドは静的です (例えば、{{jsxref("Math")}} オブジェクトの場合と同様です)。

- -

不可分操作

- -

メモリが共有されている場合、複数のスレッドがメモリー内の同じデータを読み書きできます。不可分操作では、予測される値の書き込みと読み込みを保証するため、次の演算が開始される前に現在の演算が完了し、その演算が割り込まれないようにします。

- -

wait と notify

- -

wait() メソッドと notify() メソッドは、 Linux の futex ("fast user-space mutex") を原型としており、特定の条件が true になるまで待つ手段を提供します。一般的にはブロッキング構造として使用されます。

- -

静的メソッド

- -
-
{{jsxref("Atomics.add()")}}
-
配列の指定した位置にある既存の値に指定した値を追加します。その位置にあった古い値を返します。
-
{{jsxref("Atomics.and()")}}
-
配列の指定した位置の値と指定した値でビット単位の論理積 (AND) を計算します。その位置にあった古い値を返します。
-
{{jsxref("Atomics.compareExchange()")}}
-
値が等しい場合、配列の指定した位置に値を格納します。古い値を返します。
-
{{jsxref("Atomics.exchange()")}}
-
配列の指定した位置に値を格納します。古い値を返します。
-
{{jsxref("Atomics.isLockFree()", "Atomics.isLockFree(size)")}}
-
ロック機構と不可分操作のどちらを使用するかを決定するための最適化プリミティブです。指定した要素サイズの配列上の不可分操作が (ロックではなく) ハードウェアによる不可分操作を使用するよう実装されている場合、 true を返します。上級者だけが使用してください。
-
{{jsxref("Atomics.load()")}}
-
配列の指定した位置の値を返します。
-
{{jsxref("Atomics.notify()")}}
-
配列の指定した位置で待機中のエージェントに通知します。通知を受けたエージェントの数を返します。
-
{{jsxref("Atomics.or()")}}
-
配列の指定した位置の値と指定した値でビット単位の論理和 (OR) を計算します。その位置にあった古い値を返します。
-
{{jsxref("Atomics.store()")}}
-
配列の指定した位置に指定した値を格納します。その値を返します。
-
{{jsxref("Atomics.sub()")}}
-
配列の指定した位置の値から指定した値を減算します。その位置にあった古い値を返します。
-
{{jsxref("Atomics.wait()")}}
-
配列の指定位置に指定した値が含まれているか検証し、休止して待機するかタイムアウトします。 "ok", "not-equal", "timed-out" のいずれかの文字列を返します。呼び出したエージェントで待機が許可されていない場合は、 Error 例外を投げます (ほとんどのブラウザーは、ブラウザーのメインスレッドで wait() を許可していません)。
-
{{jsxref("Atomics.xor()")}}
-
配列の指定した位置の値と指定した値でビット単位の排他的論理和 (XOR) を計算します。その位置にあった古い値を返します。
-
- -

例

- -

Atomics の使用

- -
const sab = new SharedArrayBuffer(1024);
-const ta = new Uint8Array(sab);
-ta[0] = 5;
-
-Atomics.add(ta, 0, 12);
-Atomics.load(ta, 0); // 12
-
-Atomics.and(ta, 0, 1);
-Atomics.load(ta, 0);  // 1
-
-Atomics.compareExchange(ta, 0, 5, 12);
-Atomics.load(ta, 0); // 12
-
-Atomics.exchange(ta, 0, 12);
-Atomics.load(ta, 0); // 12
-
-Atomics.isLockFree(1); // true
-Atomics.isLockFree(2); // true
-Atomics.isLockFree(3); // false
-Atomics.isLockFree(4); // true
-
-Atomics.or(ta, 0, 1);
-Atomics.load(ta, 0);  // 5
-
-Atomics.store(ta, 0, 12); // 12
-
-Atomics.sub(ta, 0, 2);
-Atomics.load(ta, 0); // 3
-
-Atomics.xor(ta, 0, 1);
-Atomics.load(ta, 0); // 4
-
- -

待機と通知

- -

共有された Int32Array があるとします。

- -
const sab = new SharedArrayBuffer(1024);
-const int32 = new Int32Array(sab);
-
- -

読み取りスレッドはスリープ状態で、 0 の位置が 0 である間は待機しています。これが true である限り、スレッドは進みません。しかし、書き込みスレッドが新しい値を格納すると、書き込みスレッドから通知され、新しい値 (123) を返します。

- -
Atomics.wait(int32, 0, 0);
-console.log(int32[0]); // 123
- -

書き込みスレッドが新しい値を格納し、待機しているスレッドに書き込みが発生したことを通知します。

- -
console.log(int32[0]); // 0;
-Atomics.store(int32, 0, 123);
-Atomics.notify(int32, 0, 1);
- -

仕様書

- - - - - - - - - - - - -
仕様書
{{SpecName('ESDraft', '#sec-atomics-object', 'Atomics')}}
- -

ブラウザーの互換性

- -

{{Compat("javascript.builtins.Atomics")}}

- -

関連情報

- - diff --git a/files/ja/web/javascript/reference/global_objects/atomics/index.md b/files/ja/web/javascript/reference/global_objects/atomics/index.md new file mode 100644 index 0000000000..a64fde4e84 --- /dev/null +++ b/files/ja/web/javascript/reference/global_objects/atomics/index.md @@ -0,0 +1,134 @@ +--- +title: Atomics +slug: Web/JavaScript/Reference/Global_Objects/Atomics +tags: + - JavaScript + - 名前空間 + - 共有メモリー + - Specifications +browser-compat: javascript.builtins.Atomics +translation_of: Web/JavaScript/Reference/Global_Objects/Atomics +--- +{{JSRef}} + +**`Atomics`** オブジェクトは、静的なメソッドとして不可分操作を提供します。これらは {{jsxref("SharedArrayBuffer")}} および {{jsxref("ArrayBuffer")}} オブジェクトで使用されます。 + +## 解説 + +不可分操作は、 `Atomics` モジュール上に装備されています。他のグローバルオブジェクトと異なり、 `Atomics` はコンストラクターではありません。 [`new` 演算子](/ja/docs/Web/JavaScript/Reference/Operators/new)と一緒に使用したり、 `Atomics` オブジェクトを関数として呼び出したりすることはできません。 `Atomics` のすべてのプロパティとメソッドは静的です (例えば、{{jsxref("Math")}} オブジェクトの場合と同様です)。 + +### 不可分操作 + +メモリが共有されている場合、複数のスレッドがメモリー内の同じデータを読み書きできます。不可分操作では、予測される値の書き込みと読み込みを保証するため、次の演算が開始される前に現在の演算が完了し、その演算が割り込まれないようにします。 + +### wait と notify + +`wait()` メソッドと `notify()` メソッドは、 Linux の futex ("fast user-space mutex") を原型としており、特定の条件が true になるまで待つ手段を提供します。一般的にはブロッキング構造として使用されます。 + +## 静的メソッド + +- {{jsxref("Atomics.add()")}} + - : 配列の指定した位置にある既存の値に指定した値を追加します。その位置にあった古い値を返します。 +- {{jsxref("Atomics.and()")}} + - : 配列の指定した位置の値と指定した値でビット単位の論理積 (AND) を計算します。その位置にあった古い値を返します。 +- {{jsxref("Atomics.compareExchange()")}} + - : 値が等しい場合、配列の指定した位置に値を格納します。古い値を返します。 +- {{jsxref("Atomics.exchange()")}} + - : 配列の指定した位置に値を格納します。古い値を返します。 +- {{jsxref("Atomics.isLockFree()", "Atomics.isLockFree(size)")}} + - : ロック機構と不可分操作のどちらを使用するかを決定するための最適化プリミティブです。指定した要素サイズの配列上の不可分操作が (ロックではなく) ハードウェアによる不可分操作を使用するよう実装されている場合、 `true` を返します。上級者だけが使用してください。 +- {{jsxref("Atomics.load()")}} + - : 配列の指定した位置の値を返します。 +- {{jsxref("Atomics.notify()")}} + - : 配列の指定した位置で待機中のエージェントに通知します。通知を受けたエージェントの数を返します。 +- {{jsxref("Atomics.or()")}} + - : 配列の指定した位置の値と指定した値でビット単位の論理和 (OR) を計算します。その位置にあった古い値を返します。 +- {{jsxref("Atomics.store()")}} + - : 配列の指定した位置に指定した値を格納します。その値を返します。 +- {{jsxref("Atomics.sub()")}} + - : 配列の指定した位置の値から指定した値を減算します。その位置にあった古い値を返します。 +- {{jsxref("Atomics.wait()")}} + - : 配列の指定位置に指定した値が含まれているか検証し、休止して待機するかタイムアウトします。 "`ok`"、"`not-equal`"、"`timed-out`" のいずれかの文字列を返します。呼び出したエージェントで待機が許可されていない場合は、 Error 例外を投げます (ほとんどのブラウザーは、ブラウザーのメインスレッドで `wait()` を許可していません)。 +- {{jsxref("Atomics.xor()")}} + - : 配列の指定した位置の値と指定した値でビット単位の排他的論理和 (XOR) を計算します。その位置にあった古い値を返します。 + +## 例 + +### Atomics の使用 + +```js +const sab = new SharedArrayBuffer(1024); +const ta = new Uint8Array(sab); + +ta[0]; // 0 +ta[0] = 5; // 5 + +Atomics.add(ta, 0, 12); // 5 +Atomics.load(ta, 0); // 17 + +Atomics.and(ta, 0, 1); // 17 +Atomics.load(ta, 0); // 1 + +Atomics.compareExchange(ta, 0, 5, 12); // 1 +Atomics.load(ta, 0); // 1 + +Atomics.exchange(ta, 0, 12); // 1 +Atomics.load(ta, 0); // 12 + +Atomics.isLockFree(1); // true +Atomics.isLockFree(2); // true +Atomics.isLockFree(3); // false +Atomics.isLockFree(4); // true + +Atomics.or(ta, 0, 1); // 12 +Atomics.load(ta, 0);  // 13 + +Atomics.store(ta, 0, 12); // 12 + +Atomics.sub(ta, 0, 2); // 12 +Atomics.load(ta, 0); // 10 + +Atomics.xor(ta, 0, 1); // 10 +Atomics.load(ta, 0); // 11 +``` + +### 待機と通知 + +共有された `Int32Array` があるとします。 + +```js +const sab = new SharedArrayBuffer(1024); +const int32 = new Int32Array(sab); +``` + +読み取りスレッドはスリープ状態で、 0 の位置が 0 である間は待機しています。これが true である限り、スレッドは進みません。しかし、書き込みスレッドが新しい値を格納すると、書き込みスレッドから通知され、新しい値 (123) を返します。 + +```js +Atomics.wait(int32, 0, 0); +console.log(int32[0]); // 123 +``` + +書き込みスレッドが新しい値を格納し、待機しているスレッドに書き込みが発生したことを通知します。 + +```js +console.log(int32[0]); // 0; +Atomics.store(int32, 0, 123); +Atomics.notify(int32, 0, 1); +``` + +## 仕様書 + +{{Specifications}} + +## ブラウザーの互換性 + +{{Compat}} + +## 関連情報 + +- {{jsxref("ArrayBuffer")}} +- [JavaScript 型付き配列](/ja/docs/Web/JavaScript/Typed_arrays) +- [ウェブワーカー](/ja/docs/Web/API/Web_Workers_API) +- [parlib-simple](https://github.com/lars-t-hansen/parlib-simple) – 同期と分配の抽象化を行うシンプルなライブラリー。 +- [Shared Memory – 短いチュートリアル](https://github.com/tc39/ecmascript_sharedmem/blob/master/TUTORIAL.md) +- [JavaScript の並列処理機能を味見してみる – Mozilla Hacks](https://hacks.mozilla.org/2016/05/a-taste-of-javascripts-new-parallel-primitives/) diff --git a/files/ja/web/javascript/reference/global_objects/atomics/xor/index.md b/files/ja/web/javascript/reference/global_objects/atomics/xor/index.md new file mode 100644 index 0000000000..42d47a1c4f --- /dev/null +++ b/files/ja/web/javascript/reference/global_objects/atomics/xor/index.md @@ -0,0 +1,88 @@ +--- +title: Atomics.xor() +slug: Web/JavaScript/Reference/Global_Objects/Atomics/xor +tags: + - Atomics + - JavaScript + - メソッド + - 共有メモリー +browser-compat: javascript.builtins.Atomics.xor +translation_of: Web/JavaScript/Reference/Global_Objects/Atomics/xor +--- +{{JSRef}} + +**`Atomics.xor()`** は静的メソッドで、配列内の指定した位置にある指定された値とのビット単位の XOR を計算し、その位置にあった古い値を返します。これは不可分操作であり、変更された値が書き戻されるまで他の書き込みが行われないことが保証されます。 + +{{EmbedInteractiveExample("pages/js/atomics-xor.html")}} + +## 構文 + +```js +Atomics.xor(typedArray, index, value) +``` + +### 引数 + +- `typedArray` + - : 整数の型付き配列です。 {{jsxref("Int8Array")}}、{{jsxref("Uint8Array")}}、{{jsxref("Int16Array")}}、{{jsxref("Uint16Array")}}、{{jsxref("Int32Array")}}、{{jsxref("Uint32Array")}}、{{jsxref("BigInt64Array")}}、{{jsxref("BigUint64Array")}} のいずれかです。 +- `index` + - : `typedArray` の中でビット単位の XOR を計算する位置です。 +- `value` + - : ビット単位の XOR を計算する値です。 + +### 返値 + +指定された位置にあった古い値 (`typedArray[index]`) です。 + +### 例外 + +- {{jsxref("TypeError")}}: `typedArray` が許可されている整数の型ではなかった場合に発生します。 +- {{jsxref("RangeError")}}: `index` が `typedArray` の範囲を超えていた場合に発生します。 + +## 解説 + +ビット単位の XOR 演算は、 `a` と `b` が異なる場合に 1 になります。 +XOR 演算の真理値表は次の通りです。 + +| `a` | `b` | `a ^ b` | +| --- | --- | ------- | +| 0 | 0 | 0 | +| 0 | 1 | 1 | +| 1 | 0 | 1 | +| 1 | 1 | 0 | + +例えば、ビット単位の XOR では `5 ^ 1` の結果が `0100`、すなわち 10 進数で 4 になります。 + +```plain +5 0101 +1 0001 + ---- +4 0100 +``` + +## 例 + +### xor の使用 + +```js +const sab = new SharedArrayBuffer(1024); +const ta = new Uint8Array(sab); +ta[0] = 5; + +Atomics.xor(ta, 0, 1); // 古い値である 5 を返す +Atomics.load(ta, 0); // 4 +``` + +## 仕様書 + +{{Specifications}} + +## ブラウザーの互換性 + +{{Compat}} + +## 関連情報 + +- {{jsxref("Atomics")}} +- {{jsxref("Atomics.and()")}} +- {{jsxref("Atomics.or()")}} -- cgit v1.2.3-54-g00ecf