From 4f716c8550b406c3e4b3e0c21b986ef99bc06c40 Mon Sep 17 00:00:00 2001
From: Frans Kaashoek <kaashoek@mit.edu>
Date: Thu, 11 Aug 2022 14:22:00 -0400
Subject: Use p->lock to read p->killed

---
 kernel/proc.c | 17 +++++++++++++++--
 1 file changed, 15 insertions(+), 2 deletions(-)

(limited to 'kernel/proc.c')

diff --git a/kernel/proc.c b/kernel/proc.c
index b4f8a80..5e37cb7 100644
--- a/kernel/proc.c
+++ b/kernel/proc.c
@@ -588,7 +588,7 @@ kill(int pid)
   for(p = proc; p < &proc[NPROC]; p++){
     acquire(&p->lock);
     if(p->pid == pid){
-      __atomic_store_n(&p->killed, 1, __ATOMIC_SEQ_CST);
+      p->killed = 1;
       if(p->state == SLEEPING){
         // Wake process from sleep().
         p->state = RUNNABLE;
@@ -601,10 +601,23 @@ kill(int pid)
   return -1;
 }
 
+void
+setkilled(struct proc *p)
+{
+  acquire(&p->lock);
+  p->killed = 1;
+  release(&p->lock);
+}
+
 int
 killed(struct proc *p)
 {
-  return  __atomic_load_n(&p->killed, __ATOMIC_SEQ_CST);
+  int k;
+  
+  acquire(&p->lock);
+  k = p->killed;
+  release(&p->lock);
+  return k;
 }
 
 // Copy to either a user address, or kernel address,
-- 
cgit v1.2.3