fix wrong behavior of cond_wait/cond_signal in donation case.

we can't pre-sort the waiters list here either. it's the same as with
sema_up/sema_down

1 files changed, 13 insertions, 0 deletions

diff --git a/proj1.txt b/proj1.txt
index 274ef34..27b0d17 100644
--- a/proj1.txt
+++ b/proj1.txt
@@ -34,6 +34,19 @@ http://hynek.me/studies/sched_ausarbeitung.pdf
 >> `struct' member, global or static variable, `typedef', or
 >> enumeration.  Identify the purpose of each in 25 words or less.
 
+struct thread:
+  int is_donated            ...flag if threads priority has been donated by another thread
+  int saved_priority        ...saved base priority in case of priority dontation
+  struct list locks         ...list of locks the thread currently holds
+  struct lock *blocked_lock ...the lock the thread currently tries to acquire (but hasn't yet)
+
+struct lock:
+  int priority              ...the priority of the thread with the highest priority currently acquiring the lock
+  struct list_elem elem     ...list element for (struct thread)->locks
+
+struct semaphore_elem:
+  struct thread *thread     ...the current waiting thread
+
 >> B2: Explain the data structure used to track priority donation.
 >> Use ASCII art to diagram a nested donation.  (Alternately, submit a
 >> .png file.)