Fix bug in donate_priority that wouldn't update the list of donors w/ S

2024-10-20 22:29:20 +01:00
parent 7f7b1648cd
commit 840df8af78
1 changed files with 2 additions and 0 deletions
--- a/src/threads/synch.c
+++ b/src/threads/synch.c
@@ -189,6 +189,8 @@ lock_init (struct lock *lock)

 static void
 donate_priority (struct thread *donor, struct thread *donee) {
+  list_push_back (&donee->donors_list, &donor->donor_elem);
+  
  while (donee != NULL)
    {
      if (donor->priority <= donee->priority)