Rev 1864 | Rev 2000 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1864 | Rev 1880 | ||
|---|---|---|---|
| Line 65... | Line 65... | ||
| 65 | /** B+tree of active tasks. |
65 | /** B+tree of active tasks. |
| 66 | * |
66 | * |
| 67 | * The task is guaranteed to exist after it was found in the tasks_btree as long as: |
67 | * The task is guaranteed to exist after it was found in the tasks_btree as long as: |
| 68 | * @li the tasks_lock is held, |
68 | * @li the tasks_lock is held, |
| 69 | * @li the task's lock is held when task's lock is acquired before releasing tasks_lock or |
69 | * @li the task's lock is held when task's lock is acquired before releasing tasks_lock or |
| 70 | * @li the task's refcount is grater than 0 |
70 | * @li the task's refcount is greater than 0 |
| 71 | * |
71 | * |
| 72 | */ |
72 | */ |
| 73 | btree_t tasks_btree; |
73 | btree_t tasks_btree; |
| 74 | 74 | ||
| 75 | static task_id_t task_counter = 0; |
75 | static task_id_t task_counter = 0; |
| Line 433... | Line 433... | ||
| 433 | 433 | ||
| 434 | /* |
434 | /* |
| 435 | * Now there are no other threads in this task |
435 | * Now there are no other threads in this task |
| 436 | * and no new threads can be created. |
436 | * and no new threads can be created. |
| 437 | */ |
437 | */ |
| 438 | 438 | ||
| 439 | ipc_cleanup(); |
439 | ipc_cleanup(); |
| 440 | futex_cleanup(); |
440 | futex_cleanup(); |
| 441 | klog_printf("Cleanup of task %lld completed.", TASK->taskid); |
441 | klog_printf("Cleanup of task %lld completed.", TASK->taskid); |
| 442 | } |
442 | } |
| 443 | 443 | ||