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, <mincheol@vt.edu> wrote:
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