|
PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
Lock. More...
#include <synch.h>

Data Fields | |
| struct thread * | holder |
| Thread holding lock (for debugging). More... | |
| struct semaphore | semaphore |
| Binary semaphore controlling access. More... | |
| struct thread* lock::holder |
Thread holding lock (for debugging).
Definition at line 23 of file synch.h.
Referenced by lock_acquire(), lock_held_by_current_thread(), lock_init(), lock_release(), and lock_try_acquire().
| struct semaphore lock::semaphore |
Binary semaphore controlling access.
Definition at line 24 of file synch.h.
Referenced by lock_acquire(), lock_init(), lock_release(), and lock_try_acquire().