Hello list, I would like to know if there is any overhead in using singleton_pool instead of a simple pool object. Especially, I guess there could be some overhead due to synchronisation, as the singleton interface is guaranteed to be thread safe. I currently have some trouble with deallocation order of statics at program exit (I am using a static pool object), but everything works fine when I use singleton_pool instead. Are there any disadvantages (runtime) when using singleton_pool? Thanks! Julius