scheduler: Add a work-stealing scheduler backend #62285
gbaraldi
wants to merge
14 commits into
gb/sched-refact
from
gb/ws-queues
runtime: Add Go-style spinner accounting to the scheduler
73043e47
runtime: Wake the most recently parked thread first
baec1a0b
devdocs: Model spinner accounting in the scheduler-wakeup TLA+ spec
4741f50f
runtime: Tighten scheduler comments
7440b538
runtime: Deduplicate the wakeup helper code
9d00a523
runtime: Factor out the thread wake-signal sequence
b7640f03
runtime: Release the spinner slot when a scheduler callback throws
4ce2f0ee
runtime: Wake a successor when an unwinding spinner was the pool's last
bdd6c6ab
devdocs: Describe the wakeup protocol without its verification narrative
a78050bd
scheduler: Split scheduler interface from the Partr implementation
00b4bb18
Remove bad file
3ffdb88b
scheduler: Add a work-stealing scheduler backend
cc10fd67
devdocs: Model the pinned-task claim protocol
43222a08
runtime: Add an opt-in slotless poll window after targeted wakes
84961e79
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub