From: Ben Pfaff Date: Tue, 21 Jun 2005 06:28:16 +0000 (+0000) Subject: Add priority-donate-nest. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d0997e526f6964b081c8214778a2c5861d4d7379;p=pintos-anon Add priority-donate-nest. --- diff --git a/src/tests/threads/Rubric.priority b/src/tests/threads/Rubric.priority index 49130ae..819885b 100644 --- a/src/tests/threads/Rubric.priority +++ b/src/tests/threads/Rubric.priority @@ -2,6 +2,7 @@ Functionality of priority scheduler: 5 priority-preempt 5 priority-donate-one 5 priority-donate-multiple +5 priority-donate-nest 5 priority-change 3 priority-fifo