void * get_pthread_return() { return pthread_return; }
/** @return True if this thread is finished executing */
void * get_pthread_return() { return pthread_return; }
/** @return True if this thread is finished executing */
- bool is_complete() const { return state == THREAD_COMPLETED; }
+ bool is_complete() const { return state == THREAD_COMPLETED || state == THREAD_FREED; }
+
+ /** @return True if this thread has finished and its resources have been freed */
+ bool is_freed() const { return state == THREAD_FREED; }
/** @return True if this thread is blocked */
bool is_blocked() const { return state == THREAD_BLOCKED; }
/** @return True if this thread is blocked */
bool is_blocked() const { return state == THREAD_BLOCKED; }
int real_pthread_mutex_init(pthread_mutex_t *__mutex, const pthread_mutexattr_t *__mutexattr);
int real_pthread_mutex_lock (pthread_mutex_t *__mutex);
int real_pthread_mutex_unlock (pthread_mutex_t *__mutex);
int real_pthread_mutex_init(pthread_mutex_t *__mutex, const pthread_mutexattr_t *__mutexattr);
int real_pthread_mutex_lock (pthread_mutex_t *__mutex);
int real_pthread_mutex_unlock (pthread_mutex_t *__mutex);