void fluke_mutex_get_state(fluke_mutex_t *mutex, fluke_mutex_state *state, fluke_ref_t *owner_ref);
This operation retrieves the application-visible state of a mutex. The mutex itself is unaffected by the operation.
- mutex
- The mutex whose state is to be retrieved.
- state
- If non-null, the structure to fill in with the mutex state.
- owner_ref
- If non-null, the address of a reference object to associate with the mutex's owning thread object.
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
- owner_ref does not point to a valid reference object.
fluke_mutex_set_state