Added methods to bufferManager to get arrays of pinned and dirty buffers