Edit

😉Buffer Pool

PROJECT #1 - BUFFER POOL

实现存储管理的 buffer pool

  • 查看 lru_replace.h 和 buffer_pool_manager.h 中需要实现的函数

  • 查看 Page，DiskManager 类的一些成员变量和函数

TASK #1 - LRU REPLACEMENT POLICY

实现页面替换的 LRU 策略，即优先替换最近最少使用的页面

思路

  • 使用 std::list<frame_id_t> lru 双链表的数据结构来添加可以被淘汰的页面

  • 使用 std::unordered_map<frame_id_t, std::list<frame_id_t>::iterator> mp 来加速 frame 的查找和删除

  • 使用 std::mutex latch_; 来支持多线程

使用 std::lock_guard<std::mutex> guard(latch_); 语句，在构造 guard 时会自动调用 latch_.lock() 加锁，并且在 guard 析构的时候自动调用 latch_.unlock() 释放锁。

Victim

  • 当 Size() 为 0 时返回 false

  • 取 lru 的头部元素给 frame_id，删除头部元素，并且在 mp 中删除 frame_id

Pin

  • 当 frame_id 在 mp 中时，我们需要在 lru 链表和 mp 字典中删除 frame_id 这个元素

  • 因为 mp 中已经保存了 frame_id 的迭代器，因此从 lru 中删除它的时间复杂度为 O(1)O(1)

Unpin

  • 如果 frame_id 已经在 mp 中了，那么直接返回

  • 否则的话将 frame_id 添加到 lru 的末尾，然后在 mp 中保存这个 frame_id 和它的迭代器（--lru.end()）

TASK #2 - BUFFER POOL MANAGER

在实现 buffer_pool_manager 时，应该看一下 Page 对象的一些成员变量；各个函数如何实现已经详细给出了。

注意

  • page_id 表示的是磁盘上的页

  • page_table_ 可以根据 page_id 找到对应的 frame_id

  • pages_ 指向了一个 Page 数组，我们会用 frame_id 来找到某一个 Page 对象

  • 在 UnpinPageImpl 函数中，如果 page_id 不在 page_table_ 中，我们应该返回 true，而不是 false；还有就是只有当 is_dirty 为 true 时，我们才设置 Page 的 is_dirty_

  • 在 DeletePageImpl(page_id_t page_id) 中，除了把 page_id 对应的页从 page_table_ 移除，还需要调用 Pin 将该页从 replacer_ 中移除

测试

make lru_replacer_test
./test/lru_replacer_test
make buffer_pool_manager_test
./test/buffer_pool_manager_test

代码格式验证

make format
make check-lint
make check-clang-tidy

打包

  • 打包

zip project1-submission.zip src/include/buffer/lru_replacer.h src/buffer/lru_replacer.cpp src/include/buffer/buffer_pool_manager.h src/buffer/buffer_pool_manager.cpp
PreviousCMU 15-445NextExpand

Last updated