#include?“BF_Manager.h“

/*?The?buffer?pool?*/
BF_Manager?bfm;

BF_Manager::BF_Manager?（）?{
	/*?Initialise?the?buffer?pool?*/
	for?（int?i?=?0;?i?		frame[i].bDirty???=?false;
		frame[i].pinCount?=?0;
		frame[i].accTime??=?time（NULL）;
		frame[i].fileName?=?NULL;
		frame[i].fileDesc?=?-1;
	}
	/*?Initialise?the?statistics?*/
	nReads?=?nWrites?=?0;
}

BF_Manager::~BF_Manager?（）?{
	/*?Free?up?memory?*/
	for?（int?i?=?0;?i?		if?（frame[i].pinCount?>?0）?{
			printf?（“Pin?count?of?page?is?>?0!?Forgot?to?unpin?it?eh?\n“）;
			Printframe?（frame[i]）;
		}
		if?（frame[i].fileName）?{
			free?（frame[i].fileName）;
		}
	}


}

/*?Find?an?LRU?slot?in?the?buffer?for?replacement.
???If?none?exist?return?-1.?*/
int?BF_Manager::LRU?（）?const?{
	//?_1?variables?are?f