Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Set
TaskInner.pinned_cpu
when spawning pinned tasks (#1044)
* When spawning a pinned task, `spawn` didn't previously set `inner.pinned_cpu` for the newly-created `Task`. * This is not currently a problem because the scheduler doesn't perform task migration across CPUs, but when that gets enabled (in #1042), it would cause the pinning choice to be ignore by the scheduler. Signed-off-by: Klimenty Tsoutsman <klim@tsoutsman.com> cae8ca8
- Loading branch information