Skip to content

Commit

Permalink
GLOBAL_DEFINED_WORDS: 表現を変更 "{と => に対して}同期する"
Browse files Browse the repository at this point in the history
  • Loading branch information
akinomyoga committed Jan 13, 2025
1 parent 37c52b0 commit 19f8c7e
Show file tree
Hide file tree
Showing 9 changed files with 12 additions and 12 deletions.
6 changes: 3 additions & 3 deletions GLOBAL_DEFINED_WORDS.json
Original file line number Diff line number Diff line change
Expand Up @@ -181,9 +181,9 @@
"yomi": "ぬるしゅうたん",
"desc": "null-terminated。文字列においてヌル文字 '\\0' を用いてその終端を表すこと。ヌル文字自体は文字列に含まない。広義には線形データ構造においてヌルまたは値 0 を番兵としてその終わりを示すこと"
},
"と同期する": {
"yomi": "とどうきする",
"desc": "synchronizes with。「A は B と同期する」という記述は「A が B よりも前に発生する」関係を保証する"
"に対して同期する": {
"yomi": "にたいしてどうきする",
"desc": "synchronizes with。「A は B に対して同期する」という記述は「A が B よりも前に発生する」関係を保証する"
},
"よりも前に発生する": {
"yomi": "よりもまえにはっせいする",
Expand Down
2 changes: 1 addition & 1 deletion reference/syncstream/basic_syncbuf/emit.md
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@ bool emit();


## 同期操作
同じストリームバッファオブジェクトに文字を転送するすべての`emit()`呼び出しは、「よりも前に発生する」関係と一致する全順序で実行されるように見える。各`emit()`呼び出しは、その全順序で後続の`emit()`呼び出し**と同期する**。実際には、これは下記の備考にあることを意味する。
同じストリームバッファオブジェクトに文字を転送するすべての`emit()`呼び出しは、「よりも前に発生する」関係と一致する全順序で実行されるように見える。各`emit()`呼び出しは、その全順序で後続の`emit()`呼び出し**に対して同期する**。実際には、これは下記の備考にあることを意味する。

注:ここでは、「よりも前に発生する」関係は全順序関係になっていると考えられる。また、modification order と矛盾しないとも考えられる。下記の参照を参照のこと。

Expand Down
2 changes: 1 addition & 1 deletion reference/thread/jthread/join.md
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ void join();


## 同期操作
関連付けられたスレッドの完了は、`join()`メンバ関数の正常リターン**と同期する**
関連付けられたスレッドの完了は、`join()`メンバ関数の正常リターン**に対して同期する**

つまり、「`this`に関連付けられたスレッドT1上で行われる全処理の完了」は、
`join()`メンバ関数を呼び出したスレッドT0上での同メンバ関数からの正常リターン」**よりも前に発生する**
Expand Down
4 changes: 2 additions & 2 deletions reference/thread/jthread/op_constructor.md
Original file line number Diff line number Diff line change
Expand Up @@ -63,13 +63,13 @@ jthread(jthread&&) noexcept; // (4) C++20
## 同期操作
- (2) : コンストラクタ呼び出しの完了は、`f`のコピーの呼び出し開始**と同期する**
- (2) : コンストラクタ呼び出しの完了は、`f`のコピーの呼び出し開始**に対して同期する**
新しいスレッドを生成し、[`INVOKE`](/reference/concepts/Invoke.md)`(DECAY_COPY(`[`std::forward`](/reference/utility/forward.md)`<F>(f)), DECAY_COPY(`[`std::forward`](/reference/utility/forward.md)`<Args>(args))...)`を実行する。ただし`DECAY_COPY`は同コンストラクタを呼び出したスレッド上にて評価される。また`f`のコピーの戻り値は無視される。
- `DECAY_COPY(x)`は `template <class T> typename std::decay<T>::type decay_copy(T&& v) { return` [`std::forward`](/reference/utility/forward.md)`<T>(v); }` と定義される。おおよそ、`x`が配列型なら先頭要素へのポインタ、`x`が関数型ならその関数ポインタ、`x`がコピーコンストラクト可能な型なら`x`からコピーされたオブジェクト、`x`がムーブコンストラクト可能な型なら`x`からムーブされたオブジェクトとなる。
## 同期操作
- (2) : 同コンストラクタの呼び出し完了は、fのコピーの呼び出し開始**と同期する**。つまり、「コンストラクタ呼び出し側スレッドT0でのコンストラクタ呼び出し完了」は、「新しいスレッド`T1`上での`f`のコピーの呼び出し開始」**よりも前に発生する**。
- (2) : 同コンストラクタの呼び出し完了は、fのコピーの呼び出し開始**に対して同期する**。つまり、「コンストラクタ呼び出し側スレッドT0でのコンストラクタ呼び出し完了」は、「新しいスレッド`T1`上での`f`のコピーの呼び出し開始」**よりも前に発生する**。
## 事後条件
Expand Down
2 changes: 1 addition & 1 deletion reference/thread/this_thread/sleep_for.md
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ namespace this_thread {
## 同期操作
特に他操作と同期する規定はない
特に他操作に対して同期する規定はない
## 例外
Expand Down
2 changes: 1 addition & 1 deletion reference/thread/this_thread/sleep_until.md
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@ namespace this_thread {
## 同期操作
特に他操作と同期する規定はない
特に他操作に対して同期する規定はない
## 例外
Expand Down
2 changes: 1 addition & 1 deletion reference/thread/this_thread/yield.md
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ namespace this_thread {
## 同期操作
特に他操作と同期する規定はない
特に他操作に対して同期する規定はない
## 例外
Expand Down
2 changes: 1 addition & 1 deletion reference/thread/thread/join.md
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ void join();


## 同期操作
関連付けられたスレッドの完了は、`join()`メンバ関数の正常リターン**と同期する**
関連付けられたスレッドの完了は、`join()`メンバ関数の正常リターン**に対して同期する**

つまり、「`this`に関連付けられたスレッドT1上で行われる全処理の完了」は、
`join()`メンバ関数を呼び出したスレッドT0上での同メンバ関数からの正常リターン」**よりも前に発生する**
Expand Down
2 changes: 1 addition & 1 deletion reference/thread/thread/op_constructor.md
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@ thread(thread&&) noexcept; // (4)
## 同期操作
- (2) : 同コンストラクタの呼び出し完了は、fのコピーの呼び出し開始**と同期する**。つまり、「コンストラクタ呼び出し側スレッドT0でのコンストラクタ呼び出し完了」は、「新しいスレッド`T1`上での`f`のコピーの呼び出し開始」**よりも前に発生する**。
- (2) : 同コンストラクタの呼び出し完了は、fのコピーの呼び出し開始**に対して同期する**。つまり、「コンストラクタ呼び出し側スレッドT0でのコンストラクタ呼び出し完了」は、「新しいスレッド`T1`上での`f`のコピーの呼び出し開始」**よりも前に発生する**。
## 事後条件
Expand Down

0 comments on commit 19f8c7e

Please sign in to comment.