PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
A counting semaphore. More...
#include <synch.h>
Data Fields | |
unsigned | value |
Current value. More... | |
struct list | waiters |
List of waiting threads. More... | |
unsigned semaphore::value |
Current value.
Definition at line 10 of file synch.h.
Referenced by sema_down(), sema_init(), sema_try_down(), and sema_up().
struct list semaphore::waiters |
List of waiting threads.
Definition at line 11 of file synch.h.
Referenced by sema_down(), sema_init(), and sema_up().