/* The main thread acquires locks A and B, then it creates two
higher-priority threads. Each of these threads blocks
acquiring one of the locks and thus donate their priority to
the main thread. The main thread releases the locks in turn
and relinquishes its donated priorities.
Based on a test originally submitted for Stanford’s CS 140 in
winter 1999 by Matt Franklin
Greg Hutchins
#include
#include “tests/threads/tests.h”
#include “threads/init.h”
#include “threads/lock.h”
#include “threads/thread.h”
static thread_func a_thread_func;
static thread_func b_thread_func;
void
test_priority_donate_multiple (void)
{
struct lock a, b;
/* This test does not work with the MLFQS. */
ASSERT (!thread_mlfqs);
/* Make sure our priority is the default. */
ASSERT (thread_get_priority () == PRI_DEFAULT);
lock_init (&a);
lock_init (&b);
lock_acquire (&a);
lock_acquire (&b);
thread_create (“a”, PRI_DEFAULT + 1, a_thread_func, &a);
msg (“Main thread should have priority %d. Actual priority: %d.”,
PRI_DEFAULT + 1, thread_get_priority ());
thread_create (“b”, PRI_DEFAULT + 2, b_thread_func, &b);
msg (“Main thread should have priority %d. Actual priority: %d.”,
PRI_DEFAULT + 2, thread_get_priority ());
lock_release (&b);
msg (“Thread b should have just finished.”);
msg (“Main thread should have priority %d. Actual priority: %d.”,
PRI_DEFAULT + 1, thread_get_priority ());
lock_release (&a);
msg (“Thread a should have just finished.”);
msg (“Main thread should have priority %d. Actual priority: %d.”,
PRI_DEFAULT, thread_get_priority ());
}
static void
a_thread_func (void *lock_)
{
struct lock *lock = lock_;
lock_acquire (lock);
msg (“Thread a acquired lock a.”);
lock_release (lock);
msg (“Thread a finished.”);
}
static void
b_thread_func (void *lock_)
{
struct lock *lock = lock_;
lock_acquire (lock);
msg (“Thread b acquired lock b.”);
lock_release (lock);
msg (“Thread b finished.”);
}