Rev 1676 | Rev 1687 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1676 | Rev 1684 | ||
|---|---|---|---|
| Line 434... | Line 434... | ||
| 434 | ipc_cleanup(); |
434 | ipc_cleanup(); |
| 435 | futex_cleanup(); |
435 | futex_cleanup(); |
| 436 | klog_printf("Cleanup of task %lld completed.", TASK->taskid); |
436 | klog_printf("Cleanup of task %lld completed.", TASK->taskid); |
| 437 | } |
437 | } |
| 438 | 438 | ||
| 439 | /** Kernel task used to kill a userspace task when its main thread exits. |
439 | /** Kernel thread used to kill the userspace task when its main thread exits. |
| 440 | * |
440 | * |
| 441 | * This thread waits until the main userspace thread (i.e. uninit) exits. |
441 | * This thread waits until the main userspace thread (i.e. uninit) exits. |
| 442 | * When this happens, the task is killed. In the meantime, exited threads |
442 | * When this happens, the task is killed. In the meantime, exited threads |
| 443 | * are garbage collected. |
443 | * are garbage collected. |
| 444 | * |
444 | * |