Imperial-MEng/pintos_22
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix: always add to frame owners when installing existing shared page.

Browse Source
This commit is contained in:
Gleb Koval
2024-12-06 15:23:41 +00:00
parent d389c15828
commit 4104d2c852
1 changed files with 1 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/vm/page.c
View File

@@ -199,11 +199,7 @@ page_load_file (struct page_entry *page)
lock_release (&shared_file_pages_lock); lock_release (&shared_file_pages_lock);
return false; return false;
} }
/* First time adding the shared page, so add thread as owner. */ frame_owner_insert (sfp->frame, t);
if (page->type != PAGE_SHARED)
{
frame_owner_insert (sfp->frame, t);
}
} }
/* Shared page is in swap. Load it. */ /* Shared page is in swap. Load it. */
else else