Hi!
You do not need to use seL4_NBSend() to send a signal without blocking.
The reason is that Notification objects - like all kernel-implemented
objects - complete their operation immediately. That doesn't mean that the
other thread will immediately receive the signal, only that the signal will
be recorded for processing and control will immediately be returned to your
thread.
NBSend only makes sense on Endpoints, where it prevents waiting for the
other thread to be in the receiving state.
On Sat, 31 Dec 2022 at 10:00,
Hi,
Do I need to use seL4-NBSend() for sending a non-blocking signal (cause seL4_Signal() is blocking)? _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
-- William ML Leslie