Improve buffer.Manager's buffer pool traveral efficiency #8
Description
The buffer manager traverses the buffer pool sequentially when searching for buffers. This search is time consuming when there are thousands of buffers in the pool. Modify the code, adding data structures (such as special purpose lists and hash tables) that will improve search times.