From 8ac34063d7b5ecea394d99bb675051a6b09f3662 Mon Sep 17 00:00:00 2001
From: Themis Demetriades <td1223@ic.ac.uk>
Date: Fri, 6 Dec 2024 10:56:38 +0000
Subject: [PATCH] fix: disable 'shareable' flag to probe race conditions

---
 src/vm/page.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/vm/page.c b/src/vm/page.c
index fb94fa0..208e98a 100644
--- a/src/vm/page.c
+++ b/src/vm/page.c
@@ -183,6 +183,7 @@ page_load_file (struct page_entry *page)
      panics as this should not happen if eviction is working correctly. */
   struct thread *t = thread_current ();
   bool shareable = !page->writable && file_compare (page->file, t->exec_file);
+  shareable = false;
   if (shareable)
     {
       lock_acquire (&shared_file_pages_lock);