7a37be55db
Actually benchmarking with different levels of parallelism shows that there is no contention, and that sharing the namepool is beneficial even with many threads. When the number of threads is very high, using independent namepools increases the amount of work to allocate names. This reverts commit 2253f38ccb999430b70b4b14c47cd6eb2b1758f7.