Los recursos de cada hilos se tiene que liberar de manera explicita, el kernell no lo hace por nosotros. Es decir los datos de su TCB tiene que liberarse y hay que evitar que se dejen los “hilos zombie”.

Qué pasa con un hilo cuando termina

• Cuando un hilo acaba de ejecutar su función (start_routine retorna o hace pthread_exit), el kernel marca al hilo como “terminado”, pero no borra inmediatamente su TCB ni su pila.
• Esos recursos quedan reservados en memoria → el hilo está en estado zombie.
• Solo cuando alguien hace pthread_join o pthread_detach, el kernel sabe que puede limpiar esos recursos.

Recursos que se quedan ocupados si no haces join o detach

• TCB (Thread Control Block): info de identificación, registros, estado, scheduling, etc.
• Stack del hilo: la memoria reservada para la pila del hilo.
• Metadatos internos de pthreads que usa la implementación (por ejemplo, estructuras para manejo de señales o sincronización).

Cómo se liberan

• pthread_join(hilo, &retval)
  • Bloquea hasta que el hilo termine.
  • Libera su TCB, su pila y metadatos.
  • Además devuelve el valor de salida del hilo (si lo quieres).
• pthread_detach(hilo)
  • Marca al hilo como “desvinculado”.
  • Cuando termine, el kernel libera automáticamente TCB, pila y metadatos.
  • Pero no hay forma de recoger su valor de salida después.

Diferencia clave entre join y detach

La diferencia no está en qué recursos se liberan (ambos liberan lo mismo), sino en qué haces con el valor de retorno del hilo:

En resumen:

El kernel NO libera automáticamente los recursos de un hilo al terminar, salvo que hagas join o detach.

Ambas funciones liberan los mismos recursos (TCB, pila, estructuras internas).

La única diferencia es que join te permite recoger el valor de salida del hilo, mientras que detach no.