execution: get_forward_progress_guarantee (#1384)

yohhoy · yohhoy · commit deaaa1657f78 · 2025-06-01T17:08:40.000+09:00
diff --git a/reference/execution/execution.md b/reference/execution/execution.md
@@ -42,8 +42,8 @@ namespace std::execution {
 | [`execution::get_domain`](execution/get_domain.md) | 実行ドメイン取得のクエリオブジェクト (customization point object) | C++26 |
 | [`execution::get_scheduler`](execution/get_scheduler.md) | Scheduler取得のクエリオブジェクト (customization point object) | C++26 |
 | [`execution::get_delegation_scheduler`](execution/get_delegation_scheduler.md) | 委任Scheduler取得のクエリオブジェクト (customization point object) | C++26 |
-| [`execution::forward_progress_guarantee`](execution/forward_progress_guarantee.md.nolink) | 前方進行保証 (enum) | C++26 |
-| [`execution::get_forward_progress_guarantee`](execution/get_forward_progress_guarantee.md.nolink) | 前方進行保証取得のクエリオブジェクト (customization point object) | C++26 |
+| [`execution::forward_progress_guarantee`](execution/forward_progress_guarantee.md) | 前方進行保証 (enum) | C++26 |
+| [`execution::get_forward_progress_guarantee`](execution/get_forward_progress_guarantee.md) | 前方進行保証取得のクエリオブジェクト (customization point object) | C++26 |
 | [`execution::get_completion_scheduler`](execution/get_completion_scheduler.md) | 完了Scheduler取得のクエリオブジェクト (customization point object) | C++26 |
 | [`execution::get_env`](execution/get_env.md) | 環境取得のクエリオブジェクト (customization point object) | C++26 |
 | [`execution::env_of_t`](execution/env_of_t.md) | 指定型から環境型を取得 (alias template) | C++26 |
diff --git a/reference/execution/execution/forward_progress_guarantee.md b/reference/execution/execution/forward_progress_guarantee.md
@@ -0,0 +1,45 @@
+# forward_progress_guarantee
+* execution[meta header]
+* std::execution[meta namespace]
+* enum[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+namespace std::execution {
+  enum class forward_progress_guarantee {
+    concurrent,
+    parallel,
+    weakly_parallel
+  };
+}
+```
+
+## 概要
+[Scheduler](scheduler.md)に関連付けられた実行リソースに属する実行エージェントの、前方進行保証(forward progress guarantees)レベルを表現する列挙型。
+
+| 列挙子 | 前方進行保証レベル |
+|----|----|
+| `concurrent` | 全ての実行エージェントが並行前方進行保証(concurrent forward progress guarantees)を提供する |
+| `parallel` | 全ての実行エージェントが少なくとも並列前方進行保証(parallel forward progress guarantees)を提供する |
+| `weakly_parallel` | 弱い並列前方進行保証(weakly parallel forward progress guarantees)となる |
+
+`concurrent`が最も強い前方進行保証を与え、`parallel`、`weakly_parallel`の順に前方進行保証が弱くなる。
+
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 関連項目
+- [`execution::get_forward_progress_guarantee`](get_forward_progress_guarantee.md)
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)
diff --git a/reference/execution/execution/get_delegation_scheduler.md b/reference/execution/execution/get_delegation_scheduler.md
@@ -7,7 +7,7 @@
 ```cpp
 namespace std::execution {
   struct get_delegation_scheduler_t { unspecified };
-  constexpr get_delegation_scheduler_t get_delegation_scheduler{};
+  inline constexpr get_delegation_scheduler_t get_delegation_scheduler{};
 }
 ```
 * unspecified[italic]
@@ -45,7 +45,7 @@ const修飾[クエリ可能オブジェクト](../queryable.md)`cenv`に対し
 
 
 ## 関連項目
-- [`scheduler`](scheduler.md)
+- [`execution::scheduler`](scheduler.md)
 
 
 ## 参照
diff --git a/reference/execution/execution/get_domain.md b/reference/execution/execution/get_domain.md
@@ -7,7 +7,7 @@
 ```cpp
 namespace std::execution {
   struct get_domain_t { unspecified };
-  constexpr get_domain_t get_domain{};
+  inline constexpr get_domain_t get_domain{};
 }
 ```
 * unspecified[italic]
@@ -45,7 +45,7 @@ const修飾[クエリ可能オブジェクト](../queryable.md)`cenv`に対し
 
 
 ## 関連項目
-- [`default_domain`](default_domain.md)
+- [`execution::default_domain`](default_domain.md)
 
 
 ## 参照
diff --git a/reference/execution/execution/get_forward_progress_guarantee.md b/reference/execution/execution/get_forward_progress_guarantee.md
@@ -0,0 +1,54 @@
+# get_forward_progress_guarantee
+* execution[meta header]
+* cpo[meta id-type]
+* std::execution[meta namespace]
+* cpp26[meta cpp]
+
+```cpp
+namespace std::execution {
+  struct get_forward_progress_guarantee_t { unspecified };
+  inline constexpr get_forward_progress_guarantee_t get_forward_progress_guarantee{};
+}
+```
+* unspecified[italic]
+
+## 概要
+`get_forward_progress_guarantee_t`は、[Scheduler](scheduler.md)に関連付けられた実行リソースによる実行エージェントの前方進行保証を取得する[クエリオブジェクト](../queryable.md)である。
+
+
+## 効果
+説明用の変数`sch`に対して、型`Sch`を`decltype((sch))`とする。`Sch`が[`scheduler`](scheduler.md)を満たさないとき、`get_forward_progress_guarantee`は不適格となる。
+
+そうでなければ、呼び出し式`get_forward_progress_guarantee(sch)`は下記と等価であり、[`forward_progress_guarantee`](forward_progress_guarantee.md)列挙型の値となる。
+
+- 引数`sch`がconst修飾された`csch`を用いて、適格であるならば式`cenv.query(get_forward_progress_guarantee)`
+- そうでなければ、[`forward_progress_guarantee::weakly_parallel`](forward_progress_guarantee.md)
+
+
+## 例外
+投げない
+
+
+## カスタマイゼーションポイント
+const修飾[Scheduler](scheduler.md)`sch`に対して式`csch.query(get_forward_progress_guarantee)`が呼び出される。
+このとき、`noexcept(csch.query(get_forward_progress_guarantee)) == true`であること。
+
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 関連項目
+- [`execution::scheduler`](scheduler.md)
+- [`execution::forward_progress_guarantee`](forward_progress_guarantee.md)
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)
diff --git a/reference/execution/execution/get_scheduler.md b/reference/execution/execution/get_scheduler.md
@@ -7,7 +7,7 @@
 ```cpp
 namespace std::execution {
   struct get_scheduler { unspecified };
-  constexpr get_scheduler_t get_scheduler{};
+  inline constexpr get_scheduler_t get_scheduler{};
 }
 ```
 * unspecified[italic]
@@ -45,7 +45,7 @@ const修飾[クエリ可能オブジェクト](../queryable.md)`cenv`に対し
 
 
 ## 関連項目
-- [`scheduler`](scheduler.md)
+- [`execution::scheduler`](scheduler.md)
 
 
 ## 参照
diff --git a/reference/execution/forwarding-query.md b/reference/execution/forwarding-query.md
@@ -22,7 +22,7 @@ namespace std {
 
 
 ## 関連項目
-- [`forwarding_query`](forwarding_query.md)
+- [`execution::forwarding_query`](forwarding_query.md)
 
 
 ## 参照
diff --git a/reference/execution/get_allocator.md b/reference/execution/get_allocator.md
@@ -7,7 +7,7 @@
 ```cpp
 namespace std {
   struct get_allocator_t { unspecified };
-  constexpr get_allocator_t get_allocator{};
+  inline constexpr get_allocator_t get_allocator{};
 }
 ```
 * unspecified[italic]
diff --git a/reference/execution/get_stop_token.md b/reference/execution/get_stop_token.md
@@ -7,7 +7,7 @@
 ```cpp
 namespace std {
   struct get_stop_token_t { unspecified };
-  constexpr get_stop_token_t get_stop_token{};
+  inline constexpr get_stop_token_t get_stop_token{};
 }
 ```
 * unspecified[italic]

Original file line number	Diff line number	Diff line change
`@@ -7,7 +7,7 @@`
`7`	`7`	```cpp
`8`	`8`	`namespace std {`
`9`	`9`	`struct get_allocator_t { unspecified };`
`10`		`- constexpr get_allocator_t get_allocator{};`
	`10`	`+ inline constexpr get_allocator_t get_allocator{};`
`11`	`11`	`}`
`12`	`12`	```
`13`	`13`	`* unspecified[italic]`