Zygo Blaxell 06062cfd96 pool: use weak_ptr to run destructor earlier ...

Drop the ListType alias because we only use it once.  Rename ListRep to
PoolRep to better reflect what it does.

We don't need the Pool to be available to handle destroyed Pool::Handle
objects.  A weak_ptr in the Handle would detect the Pool has been
destroyed, so we don't need to track that ourselves.  As a bonus, we can
destroy the PoolRep object as soon as the Pool has been destroyed, delayed
only if there is a Handle object currently executing its destructor.

Signed-off-by: Zygo Blaxell <bees@furryterror.org>

2021-06-11 20:49:15 -04:00

..

crucible

pool: use weak_ptr to run destructor earlier

2021-06-11 20:49:15 -04:00