C++實現頁面的緩沖區管理器

Posted on by

1. 實驗目標

本次實驗要實現一個頁面的緩沖區管理器。

具體要實現以下的函數：

~BufMgr()：

清除所有臟頁並釋放緩沖池和 BufDesc 表

void advanceClock()：

用來找到下一個時鐘的位置

void allocBuf(FrameId& frame)：

使用時鐘算法分配自由幀；如有必要，將臟頁寫回磁盤。

void readPage(File* file, const PageId PageNo, Page*& page)

通過調用 lookup（）方法檢查頁是否已經在緩沖池中。當頁不在緩沖池中可以在哈希表上拋出 HashNotFoundException 以獲取幀編號。

void unPinPage(File* file, const PageId PageNo, const bool dirty)

減少一個頁面的占用次數

void allocPage(File* file, PageId& PageNo, Page*& page)

通過調用 file->allocatePage（）方法在指定的文件中分配一個空頁。此方法將返回新分配的頁。然後調用 allocBuf（）以獲取緩沖池幀。接下來，將一個條目插入到哈希表中，並在幀上調用 Set（），以正確設置它。

void disposePage(File* file, const PageId pageNo)

功能是釋放一個頁面

void flushFile(File* file)

功能是找到含有對應文件的頁面，並釋放

2. 代碼實現

BufMgr::~BufMgr() {
    delete hashTable;
    delete[] bufPool;
    delete[] bufDescTable;
}

直接調用 delete 刪除哈希表、緩沖池、緩沖池表

void BufMgr::advanceClock() {
    clockHand++;
    if (clockHand >= numBufs) {
        clockHand %= numBufs;
    }
}

將時鐘提前到緩沖池的下一幀。

如果指針超過瞭最大值，進行取模操作。

void BufMgr::allocBuf(FrameId &frame) {
    unsigned pinned = 0;
    while (true) {
        advanceClock();
        if (!bufDescTable[clockHand].valid) {
            frame = clockHand;
            return;
        }
        if (bufDescTable[clockHand].refbit) {
            bufDescTable[clockHand].refbit = false;
            continue;
        }
        if (bufDescTable[clockHand].pinCnt) {
            pinned++;
            if (pinned == numBufs) {
                throw BufferExceededException();
            } else {
                continue;
            }
        }
        if (bufDescTable[clockHand].dirty) {
            bufDescTable[clockHand].file->writePage(bufPool[clockHand]);
            bufDescTable[clockHand].dirty = false;
        }
        frame = clockHand;
        if (bufDescTable[clockHand].valid) {
            try {
                hashTable->remove(bufDescTable[clockHand].file, bufDescTable[clockHand].pageNo);
            }
            catch (HashNotFoundException &) {
            }
        }
        break;
    }
}

遍歷棧區尋找可用的頁面。如果是沒有被使用過的頁面，直接進行分配。如果緩沖區所有的頁面都被占用，那麼會進行報錯 BufferExceededException()。如果找到臟頁，會將它寫回磁盤，並將臟頁標記給清除。如果不是臟頁，那麼就進行分配操作。如果它在哈希表中要將它移除。

void BufMgr::readPage(File *file, const PageId pageNo, Page *&page) {
    FrameId frame;
    try {
        hashTable->lookup(file, pageNo, frame);
        bufDescTable[frame].refbit = true;
        bufDescTable[frame].pinCnt++;
        page = (bufPool + frame);
    } catch (HashNotFoundException &) {
        allocBuf(frame);
        bufPool[frame] = file->readPage(pageNo);
        hashTable->insert(file, pageNo, frame);
        bufDescTable[frame].Set(file, pageNo);
        page = (bufPool + frame);
    }
}

如果頁面在緩沖池中，增加它的占用次數，調用 page 返回指向該頁面的指針。

如果頁面不在緩沖池中，那麼將頁面讀取到緩沖池，插入哈希表中，調用 set 正確設置該界面，調用 page 返回指向該頁面的指針。

void BufMgr::unPinPage(File *file, const PageId pageNo, const bool dirty) {
    FrameId frame;
    try {
        hashTable->lookup(file, pageNo, frame);
    } catch (HashNotFoundException &) {
        //沒有該頁面
        cerr << "Warning: unpinning a nonexistent page" << endl;
        return;
    }
    //找到頁面
    if (bufDescTable[frame].pinCnt > 0) {
        bufDescTable[frame].pinCnt--;
        if (dirty) {
            bufDescTable[frame].dirty = true;
        }
    } else {
        //pin = 0,拋出異常
        throw PageNotPinnedException(bufDescTable[frame].file->filename(), bufDescTable[frame].pageNo, frame);
    }
}

如果緩沖池中沒有該頁面，進行異常提示。

如果在緩沖池中，那麼將它的占用次數減少。如果占用次數為 0，進行報錯。

void BufMgr::flushFile(const File *file) {
    for (FrameId fi = 0; fi < numBufs; fi++) {
        if (bufDescTable[fi].file == file) {
            if (!bufDescTable[fi].valid) {
                throw BadBufferException(fi, bufDescTable[fi].dirty, bufDescTable[fi].valid, bufDescTable[fi].refbit);
            }
            if (bufDescTable[fi].pinCnt > 0) {
                throw PagePinnedException(file->filename(), bufDescTable[fi].pageNo, fi);
            }
            if (bufDescTable[fi].dirty) {
                bufDescTable[fi].file->writePage(bufPool[fi]);
                bufDescTable[fi].dirty = false;
            }
            hashTable->remove(file, bufDescTable[fi].pageNo);
            bufDescTable[fi].Clear();
        }
    }
}

遍歷整個表，找到含有對應頁面的緩沖頁，移除並清空該頁面。如果頁面是臟頁，則將其寫回磁盤，初始化臟頁標記。如果頁面被占用或者頁面不可用，則進行報錯。

void BufMgr::allocPage(File *file, PageId &pageNo, Page *&page) {
    FrameId frame;
    Page p = file->allocatePage();
    allocBuf(frame);
    bufPool[frame] = p;
    pageNo = p.page_number();
    hashTable->insert(file, pageNo, frame);
    bufDescTable[frame].Set(file, pageNo);
    page = bufPool + frame;
}

掉用 allocatePage()分配一個新頁面，加入哈希表，調用 set()，返回該頁面指針。

void BufMgr::disposePage(File *file, const PageId PageNo) {
    FrameId frame;
    try {
        hashTable->lookup(file, PageNo, frame);
        hashTable->remove(file, PageNo);
        bufDescTable[frame].Clear();
    } catch (HashNotFoundException &) {
    }
    file->deletePage(PageNo);
}

刪除一個頁面。如果它在緩沖池中，要將緩沖內容一並刪除。

3.實驗結果

12個樣例均能通過，實驗結果如下：

me].Clear();
} catch (HashNotFoundException &) {
}
file->deletePage(PageNo);
}

刪除一個頁面。如果它在緩沖池中，要將緩沖內容一並刪除

到此這篇關於C++實現頁面的緩沖區管理器的文章就介紹到這瞭,更多相關C++緩沖區管理器內容請搜索WalkonNet以前的文章或繼續瀏覽下面的相關文章希望大傢以後多多支持WalkonNet！

推薦閱讀：