{
return pthread_self();
}
-
- /// Checks if thread \p id is alive
- static inline bool is_thread_alive( ThreadId id )
- {
- // if sig is zero, error checking is performed but no signal is actually sent.
- // ESRCH - No thread could be found corresponding to that specified by the given thread ID
- // Unresolved problem: Linux may crash on dead thread_id. Workaround unknown (except signal handler...)
- return pthread_kill( id, 0 ) != ESRCH;
- }
} // namespace posix
//@cond