fix

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);