Xavier Leroy wrote:
> This is correct.  Currently, there is no automatic reclaimation of
> threads whose identifier (the associated Thread.t value) is
> unreachable, because those threads could be "daemon" threads that do
> useful work in the background.

Why not use a special instance of Thread for daemon threads and reclaim
only all normal uses of Thread that became unreachable ?

pfitzen