void fluke_mutex_set_state(fluke_mutex_t *mutex, fluke_mutex_state *state, fluke_ref_t *owner_ref);
This operation can be used to set the application-visible state of a mutex.
- mutex
- The mutex whose state is to be modified.
- state
- If non-null, a pointer to a structure containing the state of the mutex.
- owner_ref
- If non-null, indicates the reference object to be inserted as the mutex's owner thread reference.
If any of the following errors is detected by the Fluke implementation, it causes the current thread to take a synchronous exception with one of the following codes. All of these have an implicit FLUKE_INSANITY_ prefix.
- NO_OBJECT
- mutex does not point to an active object.
- NOT_MUTEX
- The object pointed to by mutex is not a mutex object.
- INVALID_OBJECT
- The state of the mutex or reference object has become invalid.
- NOT_REF
- The object at owner_ref is not a reference object.
- NOT_THREAD_REF
- The object at owner_ref is a reference object, but not a reference to a thread.
fluke_mutex_get_state