From 04bb67f0e37a9144c4656d21f9f876f256de13e5 Mon Sep 17 00:00:00 2001 From: manuel Date: Fri, 11 May 2012 03:02:38 +0200 Subject: major: added support for nested priority donation minor: replaced priority with a pointer to the waiting thread in condition handling status: 0/18 failed! --- threads/thread.c | 1 + 1 file changed, 1 insertion(+) (limited to 'threads/thread.c') diff --git a/threads/thread.c b/threads/thread.c index 358d3a1..61ab5d9 100644 --- a/threads/thread.c +++ b/threads/thread.c @@ -380,6 +380,7 @@ void thread_other_set_priority (struct thread *t, int new_priority) { ASSERT (is_thread (t)); + ASSERT (new_priority >= PRI_MIN && new_priority <= PRI_MAX); if (t->priority == new_priority) return; -- cgit v1.2.3