[boost] [pool] doubling algorithm