`inline_scheduler` doesn't advertise scheduler, cause spawn_future fail to compile with task

Open
#1,976 3 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
4/5
Estimated time
3-5 days
Newbie friendliness
45/100
Issue type
Bug
Clarity
Mostly clear
Activity status
Quiet
Tech stack
cpp
Domain
backend

Research direction

Start with the inline_scheduler implementation and the compiler-explorer reproduction involving schedule, get_completion_scheduler, let_value, and spawn_future. Compare the behavior with the exec.sched requirement and existing scheduler-related tests; done means the example compiles without breaking the tests.

Written by the indexing model from the issue text.

Description

according to exec.sched

For a given scheduler expression sch, the expression get_completion_scheduler<set_value_t>(get_env(schedule(sch))) shall compare equal to sch.

stdexec::inline_scheduler seems doesn't conform it.

which cause the following code fail to compile (compiler explorer):


ex::task<int> foo() { co_return 1; }

int main() {
  ex::simple_counting_scope scope;
  auto task = ex::inline_scheduler {}.schedule() | ex::let_value([foo = foo()]() mutable { return std::move(foo); });
  ex::spawn_future(std::move(task), scope.get_token());
}

I tried to add a query(get_completion_scheduler_t<set_value_t>) to it, but it broke a lot of tests. I wonder whether I understand it correctly?

Dominant language
C++
Stars
2.4k
Forks
270
Avg merge
3d 6h
Merged PRs (30d)
39

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from NVIDIA/stdexec

All issues in NVIDIA/stdexec

Similar issues

More C++ issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.