pintos-doxygen/html/priority-condvar_8c_source.html

/** Tests that cond_signal() wakes up the highest-priority thread

   waiting in cond_wait(). */


#include <stdio.h>

#include "tests/threads/tests.h"

#include "threads/init.h"

#include "threads/malloc.h"

#include "threads/synch.h"

#include "threads/thread.h"

#include "devices/timer.h"


static thread_func priority_condvar_thread;

static struct lock lock;

static struct condition condition;


void

test_priority_condvar (void)

{

  int i;


  /* This test does not work with the MLFQS. */

  ASSERT (!thread_mlfqs);


  lock_init (&lock);

  cond_init (&condition);


  thread_set_priority (PRI_MIN);

  for (i = 0; i < 10; i++)

    {

      int priority = PRI_DEFAULT - (i + 7) % 10 - 1;

      char name[16];

      snprintf (name, sizeof name, "priority %d", priority);

      thread_create (name, priority, priority_condvar_thread, NULL);

    }


  for (i = 0; i < 10; i++)

    {

      lock_acquire (&lock);

      msg ("Signaling...");

      cond_signal (&condition, &lock);

      lock_release (&lock);

    }

}


static void

priority_condvar_thread (void *aux UNUSED)

{

  msg ("Thread %s starting.", thread_name ());

  lock_acquire (&lock);

  cond_wait (&condition, &lock);

  msg ("Thread %s woke up.", thread_name ());

  lock_release (&lock);

}

ASSERT
#define ASSERT(CONDITION)
This is outside the header guard so that debug.h may be included multiple times with different settin...
Definition: debug.h:31

UNUSED
#define UNUSED
GCC lets us add "attributes" to functions, function parameters, etc.
Definition: debug.h:7

init.h

name
char * name[]
Definition: insult.c:47

snprintf
int snprintf(char *buffer, size_t buf_size, const char *format,...)
Like printf(), except that output is stored into BUFFER, which must have space for BUF_SIZE character...
Definition: stdio.c:62

msg
void msg(const char *format,...)
Definition: lib.c:28

malloc.h

test_priority_condvar
void test_priority_condvar(void)
Definition: priority-condvar.c:17

priority_condvar_thread
static thread_func priority_condvar_thread
Tests that cond_signal() wakes up the highest-priority thread waiting in cond_wait().
Definition: priority-condvar.c:12

NULL
#define NULL
Definition: stddef.h:4

condition
Condition variable.
Definition: synch.h:35

lock
Lock.
Definition: synch.h:22

lock_release
void lock_release(struct lock *lock)
Releases LOCK, which must be owned by the current thread.
Definition: synch.c:229

cond_wait
void cond_wait(struct condition *cond, struct lock *lock)
Atomically releases LOCK and waits for COND to be signaled by some other piece of code.
Definition: synch.c:288

cond_signal
void cond_signal(struct condition *cond, struct lock *lock UNUSED)
If any threads are waiting on COND (protected by LOCK), then this function signals one of them to wak...
Definition: synch.c:312

lock_init
void lock_init(struct lock *lock)
Initializes LOCK.
Definition: synch.c:176

lock_acquire
void lock_acquire(struct lock *lock)
Acquires LOCK, sleeping until it becomes available if necessary.
Definition: synch.c:193

cond_init
void cond_init(struct condition *cond)
Initializes condition variable COND.
Definition: synch.c:260

synch.h

tests.h

thread_mlfqs
bool thread_mlfqs
If false (default), use round-robin scheduler.
Definition: thread.c:60

thread_name
const char * thread_name(void)
Returns the name of the running thread.
Definition: thread.c:247

thread_create
tid_t thread_create(const char *name, int priority, thread_func *function, void *aux)
Creates a new kernel thread named NAME with the given initial PRIORITY, which executes FUNCTION passi...
Definition: thread.c:166

thread_set_priority
void thread_set_priority(int new_priority)
Sets the current thread's priority to NEW_PRIORITY.
Definition: thread.c:336

thread.h

PRI_DEFAULT
#define PRI_DEFAULT
Default priority.
Definition: thread.h:24

thread_func
void thread_func(void *aux)
Definition: thread.h:116

PRI_MIN
#define PRI_MIN
Thread priorities.
Definition: thread.h:23

timer.h