Re: [seL4] Why send-only IPC doesn't and shouldn't return a success indicator

Thank you. On Sun, Sep 25, 2016 at 5:35 PM, wrote:

On 26 Sep 2016, at 10:06 , Tom Mitchell wrote:

A consideration is buffer space and garbage collection. A reliable message needs to sit and sit until it is acknowledged. Unreliable messages can be made more unreliable with increased traffic.

seL4 (by design, and in line with all L4 kernels) doesn’t buffer messages, this is a mute point.

Gernot

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel

-- T o m M i t c h e l l