version 1.5, 2007/08/03 00:58:24
|
version 1.6, 2008/03/05 22:25:17
|
|
|
wait(PEG_SEM_WRITE, caller); | wait(PEG_SEM_WRITE, caller); |
} | } |
| |
// @exception Deadlock |
|
// @exception Permission |
|
// @exception AlreadyLocked |
|
// @exception WaitFailed |
|
inline void try_wait_read(ThreadType caller) |
|
{ |
|
try_wait(PEG_SEM_READ, caller); |
|
} |
|
|
|
// @exception Deadlock |
|
// @exception Permission |
|
// @exception AlreadyLocked |
|
// @exception WaitFailed |
|
inline void try_wait_write(ThreadType caller) |
|
{ |
|
try_wait(PEG_SEM_WRITE, caller); |
|
} |
|
|
|
// @exception Deadlock |
|
// @exception Permission |
|
// @exception TimeOut |
|
// @exception WaitFailed |
|
inline void timed_wait_read(ThreadType caller, int milliseconds) |
|
{ |
|
timed_wait(PEG_SEM_READ, caller, milliseconds); |
|
} |
|
|
|
// @exception Deadlock |
|
// @exception Permission |
|
// @exception TimeOut |
|
// @exception WaitFailed |
|
inline void timed_wait_write(ThreadType caller, int milliseconds) |
|
{ |
|
timed_wait(PEG_SEM_WRITE, caller, milliseconds); |
|
} |
|
|
|
// @exception Permission | // @exception Permission |
inline void unlock_read(ThreadType caller) | inline void unlock_read(ThreadType caller) |
{ | { |
|
|
// @exception TooManyReaders | // @exception TooManyReaders |
void wait(Uint32 mode, ThreadType caller); | void wait(Uint32 mode, ThreadType caller); |
| |
// @exception Deadlock |
|
// @exception Permission |
|
// @exception WaitFailed |
|
// @exception TooManyReaders |
|
void try_wait(Uint32 mode, ThreadType caller); |
|
|
|
// @exception Timeout |
|
// @exception Deadlock |
|
// @exception Permission |
|
// @exception WaitFailed |
|
// @exception TooManyReaders |
|
void timed_wait(Uint32 mode, ThreadType caller, int milliseconds); |
|
|
|
// @exception Permission | // @exception Permission |
void unlock(Uint32 mode, ThreadType caller); | void unlock(Uint32 mode, ThreadType caller); |
| |