Hi Indan,
I come back again.
It confused me that Chapter 6.1.7 Passive Threads of seL4-manual-latest.pdf
said:
Threads can be unbound from a scheduling context with
seL4_SchedContext_UnbindObject().This is distinct from suspending a thread, in
that threads that are blocked waiting in an endpoi
Thanks Indan.
I'll try to have some debugging to fullly understand what you said.
Thanks a lot.
___
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
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 bloc
Thanks Indan for you patient and professional answer. I read your reply more
than 10 times, ^_^.
Still one thing to confirm: Threads which are blocked waiting for
notification/endpoint without schedule context will remain in the ready queue,
right?
__