//*************************************************************
//** This is the implementation of ~BufMgr
//************************************************************
BufMgr::~BufMgr(){
// put your code here for flush all dirty pages in the pool to disk before
//deallocating buffer pool in main memory
// bufPool = NULL;
// free(bufPool);
flushAllPages();
delete[] bufPool;
delete[] bufDescr;
}
//*************************************************************
//** This is the implementation of ~BufMgr
//************************************************************
BufMgr::~BufMgr(){
flushAllPages();
int* z = new int[numbuf];
for (int i = 0; i < numbuf; i++)
z[i] = 1;
for (int i = 0; i < freeFrames.size(); i++)
z[freeFrames[i]] = 0;
for (int i = 0; i < numbuf; i++)
if (z[i])
deleteFrame(i);
delete [] bufDescr;
delete [] bufPool;
delete hashTable;
delete lhm;
// put your code here
}
