diff options
Diffstat (limited to 'kern/sched.c')
| -rw-r--r-- | kern/sched.c | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/kern/sched.c b/kern/sched.c index 7764c26..f797409 100644 --- a/kern/sched.c +++ b/kern/sched.c @@ -647,15 +647,21 @@ void kill_current() { if (p->refcount == 1) { mutex_lock(&p->wait_lock); /* reclaim dead childs */ + queue_t* dead_childs = NULL; while (p->dead_childs != NULL) { queue_t* node = p->dead_childs; queue_detach(&p->dead_childs, node); + queue_insert_tail(&dead_childs, node); + p->nchilds--; + } + mutex_unlock(&p->wait_lock); + while (dead_childs != NULL) { + queue_t* node = dead_childs; + queue_detach(&dead_childs, node); process_t* child_process = queue_data(node, process_t, sible_link); sfree(child_process, sizeof(process_t)); - p->nchilds--; } - mutex_unlock(&p->wait_lock); const char* init_args[] = {INIT_NAME}; thread_t* new_init = create_process(current->rb_node.key, INIT_NAME, 1, init_args); |