add implementation in BufferManager.cpp