fix: properly assign frame owners and deallocate in all required places

2024-12-06 00:29:57 +00:00
parent 833c1b0520
commit 1da0c7d48c
5 changed files with 112 additions and 36 deletions
--- a/src/userprog/pagedir.c
+++ b/src/userprog/pagedir.c
@@ -45,9 +45,9 @@ pagedir_destroy (uint32_t *pd)
          {
            if (page_is_shared_pte (pte))
              continue;
-            if (page_in_swap_pte (pte))
+            else if (page_in_swap_pte (pte))
              swap_drop (page_get_swap_pte (pte));
-            if (*pte & PTE_P)
+            else if (*pte & PTE_P)
              frame_free (pte_get_page (*pte));
          }
        palloc_free_page (pt);