Re: emulating no-senders notifications in L4?

[Espen Skoglund]

[Thomas Bushnell]
> Espen Skoglund <address@hidden> writes:
>> A program can not simply die all by itself.  It can go into an
>> ifinite loop, yes, but it can not free up all its own resources.  A
>> task_delete() syscall is needed for doing that, and the program is
>> generally not allowed to perform the syscall itself.

> Are there no cases where the kernel kills a task without telling any
> other task?

No.  If, say, an exception is not handled properly the kernel just
resumes it (or just removes it from the run queue, generating the
impression that the task is spinning in an endless loop).  An example
of such an exception is when a thread generates a page fault but there
is no valid pager associated with thread that can handle the fault.
The kernel can not simply decide to kill a task.  The decission to
kill a task must be taken at user-level.

        eSk