[boost] [pool] Doubling algorithm