improved the buffer manager
improved the SmartPool to support shrink