Hello, On 2023-12-04 13:18, chenpingyuan--- via Devel wrote:
Still one thing to confirm: Threads which are blocked waiting for notification/endpoint without schedule context will remain in the ready queue, right?
It does not matter whether the thread returns a scheduling context, when it blocks it is removed from the ready queue, otherwise it wouldn't block. It can't run because it is waiting for something. When it unblocks it will run immediately or go on the ready queue, but it will always have a scheduling context then, either its own, or a donated one. Greetings, Indan _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
