From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 21 Feb 2006 03:54:00 +0000 (+0000)
Subject: Suggestion from Godmar Back.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e9d051142268e452b4f5f5739d05402ec64dc963;p=pintos-anon

Suggestion from Godmar Back.
---

diff --git a/TODO b/TODO
index 3d6ec69..9143cc7 100644
--- 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>