Clarify the Nature of Python Threads Relative to Other Programming Languages

In Python, threads created by threading.Thread are automatically joined during runtime/interpreter finalization, by default. To not auto-join, a programmer must explicitly mark the thread as a "daemon" thread, through Thread(..., daemon=True) or t.daemon = True. Daemon threads keep running until the process exits, at which point the operating system abruptly kills them. [^1]

[^1]: This is known to introduce problems, not just in Python, when a daemon thread tries to use state/memory that has already been cleaned up or freed by the runtime during finalization. Of course, every thread faces the same problem when it relies on references to state/memory but does not control its lifecycle. This requires explicit coordination of the cross-cutting concern. This is certainly just a subset of the general problem of races when using threads.

With the exception of Java[^2] and C#, "daemon" threads are the only kind of thread in pretty much all other programming languages that support threads, so you won't see any mention of "daemon" threads there. Those runtimes do not offer the option to auto-join. Instead, the programmer is responsible for explicitly joining all threads that should block the process from exiting.

[^2]: Java was the inspiration for Python's threading module (in Python 1.5.1, 1998).

For the sake of people familiar with threads in other languages, the threading module docs should briefly state that in most programming languages, "daemon" threads are the only kind of thread and users must always explicitly join.

(Also see gh-125857.)

Linked PRs

• gh-125961

Comienza por la documentación del módulo threading y revisa el issue relacionado gh-125857 y el PR enlazado gh-125961. El trabajo estará terminado cuando la documentación explique brevemente en qué se diferencia el comportamiento de los daemon threads de Python de los modelos de hilos de la mayoría de los demás lenguajes.