Code

Allow polling exited tasks#3622

Code

Merged

Dirbaio merged 7 commits intoembassy-rs:mainembassy-rs/embassy:mainfrom bugadani:nextbugadani/embassy:nextCopy head branch name to clipboardDec 17, 2024

+45-47

Commits

Commits on Dec 17, 2024

• Take critical section instead of unsafe

  bugadani

  committed
  edb8f21

• Swap poll_fn to allow polling exited tasks

  bugadani

  committed
  8fd08b1

• Update tests

  bugadani

  committed
  b51bd9a

• Update state diagram

  bugadani

  committed
  7d5fbe2

• Make poll_to_despawn non-generic

  bugadani

  committed
  a011f48

• Don't force a wake to despawn

  bugadani

  committed
  2ca374f

• Make poll_to_despawn a no_op

  bugadani

  committed
  76d8a89