BufferManager: thread safe