add buffer manager.h