😄Expand
1. Task1 LRU REPLACEMENT POLICY#
0. 任务描述#
这个任务要求我们实现在课堂上所描述的LRU算法最近最少使用算法。
你需要实现下面这些函数。请确保他们都是线程安全的。
Victim(T*): Remove the object that was accessed the least recently compared to all the elements being tracked by theReplacer, store its contents in the output parameter and returnTrue. If theReplaceris empty returnFalse.Pin(T): This method should be called after a page is pinned to a frame in theBufferPoolManager. It should remove the frame containing the pinned page from theLRUReplacer.Unpin(T): This method should be called when thepin_countof a page becomes 0. This method should add the frame containing the unpinned page to theLRUReplacer.Size(): This method returns the number of frames that are currently in theLRUReplacer.
关于Lock和Lathes的区别请看下文。
1. 实现#
其实这个任务还是蛮简单的。你只需要清楚什么是最近最少使用算法即可。
LRU 算法的设计原则是:如果一个数据在最近一段时间没有被访问到,那么在将来它被访问的可能性也很小。也就是说,当限定的空间已存满数据时,应当把最久没有被访问到的数据淘汰。
这个题我熟啊。leetcode上有原题。而且要求在o(1)的时间复杂度实现这一任务。
为了实现在O(1)时间内进行查找。因此我们可以用一个hash表。而且我们要记录一个时间戳来完成记录最近最少使用的块是谁。这里我们可以用list来实现。
如果我们访问了链表中的一个元素。就把这个元素放在链表头部。这样放在链表尾部的元素一定就是最近最少使用的元素。
为了让插入和删除均为O(1)我们可以用链表来实现。
这里对于pin和unpin操作实际上对于了task2。我们为什么需要pin。书上给了我们答案。下面我们也进行了分析
1.1 数据结构设计#
这里我们用了链表 + hash表。主要是为了删除和插入均为0(1)的时间复杂度。引入hash表就是可以根据frame_id快速找到其在list中对应的位置。否则的话你需要遍历链表这就不是o(1)了
1.2 Victim 函数实现#
注意这里必须要加锁,以防止并发错误。
如果没有可以牺牲的页直接返回false
如果有的话选择在链表尾部的页。remove它即可。这里的删除涉及链表和hash表两个数据结构的删除
1.3 pin 函数实现#
注意这里必须要加锁,以防止并发错误。
pin函数表示这个frame被某个进程引用了
被引用的frame不能成为LRU算法的牺牲目标,所以这里把它从我们的数据结构中删除
1.4 unpin 函数实现#
注意这里必须要加锁,以防止并发错误。
先看一下这个页是否在可替换链表中
如果它不存在的话。则需要看一下当前链表是否还有空闲位置。如果有的话则直接加入
如果没有则需要移除链表尾部的节点知道有空余位置
2. 测试#
执行下面的语句即可

Task2 BUFFER POOL MANAGER#
0. 任务描述#
接下来,您需要在系统中实现缓冲池管理器(BufferPoolManager)。BufferPoolManager负责从DiskManager获取数据库页面并将它们存储在内存中。BufferPoolManage还可以在有要求它这样做时,或者当它需要驱逐一个页以便为新页腾出空间时,将脏页写入磁盘。为了确保您的实现能够正确地与系统的其余部分一起工作,我们将为您提供一些已经填写好的功能。您也不需要实现实际读写数据到磁盘的代码(在我们的实现中称为DiskManager)。我们将为您提供这一功能。
系统中的所有内存页面均由Page对象表示。BufferPoolManager不需要了解这些页面的内容。 但是,作为系统开发人员,重要的是要了解Page对象只是缓冲池中用于存储内存的容器,因此并不特定于唯一页面。 也就是说,每个Page对象都包含一块内存,DiskManager会将其用作复制从磁盘读取的物理页面内容的位置。 BufferPoolManager将在将其来回移动到磁盘时重用相同的Page对象来存储数据。 这意味着在系统的整个生命周期中,相同的Page对象可能包含不同的物理页面。Page对象的标识符(page_id)跟踪其包含的物理页面。 如果Page对象不包含物理页面,则必须将其page_id设置为INVALID_PAGE_ID。
每个Page对象还维护一个计数器,以显示“固定”该页面的线程数。BufferPoolManager不允许释放固定的页面。每个Page对象还跟踪它的脏标记。您的工作是判断页面在解绑定之前是否已经被修改(修改则把脏标记置为1)。BufferPoolManager必须将脏页的内容写回磁盘,然后才能重用该对象。
BufferPoolManager实现将使用在此分配的前面步骤中创建的LRUReplacer类。它将使用LRUReplacer来跟踪何时访问页对象,以便在必须释放一个帧以为从磁盘复制新的物理页腾出空间时,它可以决定取消哪个页对象
你需要实现在(src/buffer/buffer_pool_manager.cpp):的以下函数
FetchPageImpl(page_id)NewPageImpl(page_id)UnpinPageImpl(page_id, is_dirty)FlushPageImpl(page_id)DeletePageImpl(page_id)FlushAllPagesImpl()
1. 分析#
1.1 为什么需要pin#
其实大抵可以如下图

考虑这样一种情况。一个块被放入缓冲区,进程从缓冲区内存中读取块的内容。但是,当这个块被读取的时候,如果一个并发进程将这个块驱逐出来,并用一个不同的块替换它,读取旧块内容的进程(reader)将看到不正确的数据;如果块被驱逐时正在写入它,那么写入者最终会破坏替换块的内容。
因此,在进程从缓冲区块读取数据之前,确保该块不会被逐出是很重要的。为此,进程在块上执行一个pin操作;缓冲区管理器从不清除固定的块(pin值不为0的块)。当进程完成读取数据时,它应该执行一个unpin操作,允许在需要时将块取出。
因此我们需要一个pin_couter来记录pin的数量。其实也就是引用计数的思想。
1.2 如何管理页和访问页#
一句话基地址+偏移量
page(基地值)+frame_id(偏移量) 实际上就是数组寻址
同时 DBMS 会维护一个 page table,负责记录每个 page 在内存中的位置,以及是否被写过(Dirty Flag),是否被引用或引用计数(Pin/Reference Counter)等元信息,如下图所示:
这里用了hash表来实现page_table来映射page_id和frame_i

2. 实现#
2.1 find_replace()函数#
如果空闲链表非空,则不需要进行替换算法。直接返回一个空闲frame就okay啦。这个情况是buffer pool未满
如果空闲链表为空,则表示当前buffer pool已经满了,这个时候必须要执行LRU算法
寻找替换frame过程
调用前面实现的
Victim函数获取牺牲帧的frame id在
pages_中找到对应的牺牲页,如果该页dirty则需要写回磁盘,并且reset pin count然后在page_table中删除对应映射关系 [page_id --> frame_id]
一定要注意2和3的顺序不能颠倒、不然没有办法找到对应的牺牲页
2.2 FetchPageImpl 实现#
这个函数就是我们要拿到一个page。这个函数可以分为三种情况分析
如果该页在缓冲池中直接访问并且记得把它的
pin_count++,然后把调用Pin函数通知replacer否则调用
find_replace函数,无论缓冲池是否有空闲,都可以获得可用的frame_id当然如果替换页为空,择要
然后建立新的
page_table映射关系
2.3 UnpinPageImpl 实现#
函数定义如上。
这个函数就是如果我们这个进程已经完成了对这个页的操作。我们需要unpin操作
如果这个页的
pin_couter>0我们直接--如果这个页的
pin _couter==0我们需要给它加到Lru_replacer中。因为没有人引用它。所以它可以成为被替换的候选人
2.4 FlushPageImpl 实现#
这个函数是要把一个page写入磁盘。
首先找到这一个页在缓冲池之中的位置
写入磁盘
2.5 NewPageImpl 实现#
分配一个新的page。
利用
find_replace函数在我们的缓冲池找到合适的地方建立page_id --> frame_id的映射更新 新页的元数据 这里注意新创建的页要写回磁盘
2.6 DeletePageImpl 实现#
这里是要我们把缓冲池中的page移出
如果这个page根本就不在缓冲池则直接返回
如果这个page 的引用计数大于0(pin_counter>0)表示我们不能返回
如果这个page被修改过则要写回磁盘
否则正常移除就好了。(在hash表中erase)
3. 源码解析#
3.1 ResetMemory()#
这个非常简单就是一个简单的内存分配。给我们的frame分配内存区域
3.2 ReadPage#
3.3 WritePage#
3.4 DiskManager 构造函数
就是获取文件指针
4. 测试#
4.1 本地测试#

4.2 cmu官网测试#
后面发现原来不是cmu自己的学生也可以用它们的软件进行测试。修改了好久同时得到了大佬的帮助。才成功实现满分#
cmu的测试网站如下
Last updated