Document BufferCache compaction algorithm