PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
#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"
Go to the source code of this file.
Functions | |
void | test_priority_sema (void) |
static void | priority_sema_thread (void *aux UNUSED) |
Variables | |
static thread_func | priority_sema_thread |
Tests that the highest-priority thread waiting on a semaphore is the first to wake up. More... | |
static struct semaphore | sema |
|
static |
Definition at line 41 of file priority-sema.c.
References msg(), sema, sema_down(), and thread_name().
void test_priority_sema | ( | void | ) |
Definition at line 16 of file priority-sema.c.
|
static |
Tests that the highest-priority thread waiting on a semaphore is the first to wake up.
Definition at line 12 of file priority-sema.c.
|
static |
Definition at line 13 of file priority-sema.c.
Referenced by priority_sema_thread(), sema_down(), sema_init(), sema_self_test(), sema_test_helper(), sema_try_down(), and sema_up().