Suggestion from Godmar Back.

diff --git a/TODO b/TODO
index 3d6ec6930c325caecf3ef4d9221bf5f442607a27..9143cc7fdf970c7816ed81c0da6c8b4763539da6 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,5 +1,21 @@
 -*- text -*-
 
+From: "Godmar Back" <godmar@gmail.com>
+Subject: set_priority & donation - a TODO item
+To: "Ben Pfaff" <blp@cs.stanford.edu>
+Date: Mon, 20 Feb 2006 22:20:26 -0500
+
+Ben,
+
+it seems that there are currently no tests that check the proper
+behavior of thread_set_priority() when called by a thread that is
+running under priority donation.  The proper behavior, I assume, is to
+temporarily drop the donation if the set priority is higher, and to
+reassume the donation should the thread subsequently set its own
+priority again to a level that's lower than a still active donation.
+
+ - Godmar
+
 From: Godmar Back <godmar@gmail.com>
 Subject: project 4 question/comment regarding caching inode data
 To: Ben Pfaff <blp@cs.stanford.edu>