implemented BufMgr::alloc