Re: emulating no-senders notifications in L4?

[Thomas Bushnell, BSG]

Ondrej Hurt <Ondrej.Hurt@seznam.cz> writes:

> The exception handler thread must be reliable i.e. in some trusted
> task so we can count on it that it releases resources like port
> rights and the failing task gets killed.

As I understand it, this is not true.  The exception handler thread
does not need to be reliable.  The only thing that actually needs to
be reliable is the task manager that can actually kill tasks.  (It
makes sense of course for the L4 port to just put that code into the
existing proc server.)