From 4104d2c8525deb07a5f3a6f3388bb26a5f34a625 Mon Sep 17 00:00:00 2001 From: Gleb Koval Date: Fri, 6 Dec 2024 15:23:41 +0000 Subject: [PATCH] fix: always add to frame owners when installing existing shared page. --- src/vm/page.c | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/src/vm/page.c b/src/vm/page.c index 208e98a..8228687 100644 --- a/src/vm/page.c +++ b/src/vm/page.c @@ -199,11 +199,7 @@ page_load_file (struct page_entry *page) lock_release (&shared_file_pages_lock); return false; } - /* First time adding the shared page, so add thread as owner. */ - if (page->type != PAGE_SHARED) - { - frame_owner_insert (sfp->frame, t); - } + frame_owner_insert (sfp->frame, t); } /* Shared page is in swap. Load it. */ else