Depending on the pthread implementation, the thread:alive() method may not work.

Existing implementations vary on the result of a pthread_kill() with a thread ID indicating an inactive thread (a terminated thread that has not been detached or joined). Some indicate success on such a call, while others give an error of [ESRCH].

The glibc seems to return success since 2.34