execution: schedule (#1384)

Author: yohhoy

reference/execution/execution.md

@@ -103,7 +103,7 @@ namespace std::execution {
 | [`execution::just_error`](execution/just_error.md.nolink) | エラーを送信するSender (customization point object) | C++26 |
 | [`execution::just_stopped`](execution/just_stopped.md.nolink) | 停止を送信するSender (customization point object) | C++26 |
 | [`execution::read_env`](execution/read_env.md.nolink) | Receiver環境から構築されるSender (customization point object) | C++26 |
-| [`execution::schedule`](execution/schedule.md.nolink) | Scheduler上で実行されるSender (customization point object) | C++26 |
+| [`execution::schedule`](execution/schedule.md) | Scheduler上で実行されるSender (customization point object) | C++26 |
 | [`execution::schedule_result_t`](execution/schedule_result_t.md.nolink) | `schedule`結果型を取得 (alias template) | C++26 |
 
 ### Senderアダプタ

reference/execution/execution/schedule.md

@@ -0,0 +1,97 @@
+# schedule
+* execution[meta header]
+* cpo[meta id-type]
+* std::execution[meta namespace]
+* cpp26[meta cpp]
+
+```cpp
+namespace std::execution {
+  struct schedule_t { unspecified };
+  inline constexpr schedule_t schedule{};
+}
+```
+* unspecified[italic]
+
+## 概要
+`schedule`は、[Scheduler](scheduler.md)から[スケジュールSender](sender.md)を取得するSenderファクトリである。
+
+スケジュールSenderより生成される[非同期操作](operation_state.md)を開始すると、Schedulerに関連付けられた実行リソース上で空の[値完了関数](set_value.md)を呼び出す。
+
+
+## 効果
+呼び出し式`schedule(sch)`は式`sch.schedule()`と等価であり、式の型は[`sender`](sender.md)を満たすこと。
+
+式[`get_completion_scheduler`](get_completion_scheduler.md.nolink)`<`[`set_value_t`](set_value.md)`>(`[`get_env`](get_env.md)`(sch.schedule())) == sch`が不適格もしくは`false`となる場合、呼び出し式`schedule(sch)`の動作は未定義となる。
+
+
+## カスタマイゼーションポイント
+[Scheduler](scheduler.md)`sch`に対して、式`sch.schedule()`が呼び出される。
+
+
+## 例
+```cpp example
+#include <print>
+#include <thread>
+#include <execution>
+namespace ex = std::execution;
+
+int main()
+{
+  ex::run_loop loop;
+  std::jthread worker{[&]{
+    std::println("start worker#{}", std::this_thread::get_id());
+    loop.run();
+  }};
+
+  ex::scheduler auto sch = loop.get_scheduler();
+  ex::sender auto sndr =
+    ex::schedule(sch)
+    | ex::then([]{
+      std::println("on worker#{}", std::this_thread::get_id());
+      return 42;
+    });
+
+  std::println("main#{}", std::this_thread::get_id());
+
+  auto [val] = std::this_thread::sync_wait(std::move(sndr)).value();
+  std::println("val={}", val);
+
+  loop.finish();
+}
+```
+* ex::schedule[color ff0000]
+* ex::scheduler[link scheduler.md]
+* ex::sender[link sender.md]
+* ex::then[link then.md.nolink]
+* ex::run_loop[link run_loop.md.nolink]
+* get_scheduler()[link run_loop/get_scheduler.md.nolink]
+* run()[link run_loop/run.md.nolink]
+* finish()[link run_loop/finish.md.nolink]
+* std::this_thread::get_id()[link /reference/thread/this_thread/get_id.md]
+
+### 出力例
+```
+main#134276695947072
+start worker#134276691527232
+on worker#134276691527232
+val=42
+```
+
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 関連項目
+- [`execution::scheduler`](scheduler.md)
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)

reference/execution/execution/scheduler.md

@@ -25,7 +25,7 @@ namespace std::execution {
 * derived_from[link /reference/concepts/derived_from.md]
 * sender[link sender.md]
 * queryable[link ../queryable.md]
-* schedule[link schedule.md.nolink]
+* schedule[link schedule.md]
 * get_completion_scheduler[link get_completion_scheduler.md.nolink]
 * set_value_t[link set_value.md]
 * get_env[link get_env.md]
@@ -40,7 +40,7 @@ namespace std::execution {
 - `scheduler_t`をメンバ型`Sch::scheduler_concept`として定義する
 - [クエリ可能オブジェクト](../queryable.md)である
 - `Sch`型の値`sch`に対して下記を満たすこと
-    - [`execution::schedule`](schedule.md.nolink)`(sch)`が[Sender](sender.md)を返す
+    - [`execution::schedule`](schedule.md)`(sch)`が[Sender](sender.md)を返す
     - 上記Senderの[値完了関数](set_value.md)の[完了Scheduler](get_completion_scheduler.md.nolink)が`Sch`に等しいこと
 - コピー可能かつ同値比較可能
 
@@ -69,15 +69,15 @@ namespace std::execution {
 型`Sch`を`scheduler`の型、型`Env`を[`sender_in`](sender_in.md)`<schedule_result_t<Sch>, Env>`を満たす実行環境の型としたとき、`sender-in-of<schedule_result_t<Sch>, Env>`のモデルとなること。
 
 [`copyable`](/reference/concepts/copyable.md)`<remove_cvref_t<Sch>>`および[`equality_comparable`](/reference/concepts/equality_comparable.md)`<remove_cvref_t<Sch>>`により要求される操作は、例外で終了してはならない。
-これらの操作やScheduler型の[`schedule`](schedule.md.nolink)関数は、異なるスレッドから同時に操作を呼び出す可能性がある場合でも、データ競合を引き起こしてはならない。
+これらの操作やScheduler型の[`schedule`](schedule.md)関数は、異なるスレッドから同時に操作を呼び出す可能性がある場合でも、データ競合を引き起こしてはならない。
 
 あるScheduler型`Sch`の2つの値`sch1`と`sch2`に対して、`sch1`と`sch2`が同じ実行リソースを共有する場合に限って、`sch1 == sch2`は`true`となる。
 
-あるScheduler`sch`に対して、式[`get_completion_scheduler`](get_completion_scheduler.md.nolink)`<`[`set_value_t`](set_value.md)`>(`[`get_env`](get_env.md)`(`[`schedule`](schedule.md.nolink)`(sch)))`が`sch`と等しいこと。
+あるScheduler`sch`に対して、式[`get_completion_scheduler`](get_completion_scheduler.md.nolink)`<`[`set_value_t`](set_value.md)`>(`[`get_env`](get_env.md)`(`[`schedule`](schedule.md)`(sch)))`が`sch`と等しいこと。
 
-あるScheduler`sch`に対して式[`get_domain`](get_domain.md.nolink)`(sch)`が適格であるとき、式`get_domain(`[`get_env`](get_env.md)`(schedule(sch)))`も適格であり、かつ同じ型を持つ。
+あるScheduler`sch`に対して式[`get_domain`](get_domain.md.nolink)`(sch)`が適格であるとき、式`get_domain(`[`get_env`](get_env.md)`(`[`schedule`](schedule.md)`(sch)))`も適格であり、かつ同じ型を持つ。
 
-Scheduler型のデストラクタは、`schedule`が返すSenderオブジェクトに接続されたReceiverの完了を待機してブロックしてはならない。
+Scheduler型のデストラクタは、[`schedule`](schedule.md)が返すSenderオブジェクトに接続されたReceiverの完了を待機してブロックしてはならない。
 
 
 ## 例
@@ -112,7 +112,7 @@ int main()
 
 
 ## 関連項目
-- [`execution::schedule`](schedule.md.nolink)
+- [`execution::schedule`](schedule.md)
 
 
 ## 参照