From 3418425f205ad0c02ea7342bad4ffda426151504 Mon Sep 17 00:00:00 2001
From: Themis Demetriades <td1223@ic.ac.uk>
Date: Tue, 12 Nov 2024 16:08:27 +0000
Subject: [PATCH] Don't acquire filesys lock when calling exec

---
 src/userprog/syscall.c | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/userprog/syscall.c b/src/userprog/syscall.c
index 1192f46..b1ce4cc 100644
--- a/src/userprog/syscall.c
+++ b/src/userprog/syscall.c
@@ -142,9 +142,7 @@ syscall_exec (const char *cmd_line)
 {
   validate_user_pointer (cmd_line, 1);
 
-  lock_acquire (&filesys_lock);
   pid_t pid = process_execute(cmd_line);
-  lock_release (&filesys_lock);
 
   return pid;
 }