This commit is contained in:
Alex 2017-06-19 12:48:59 -05:00
parent 99023dd1d3
commit 5387962424
2 changed files with 3 additions and 4 deletions

View file

@ -127,7 +127,7 @@
/* METHODS FOR CLASS C o n t F r a m e P o o l */
/*--------------------------------------------------------------------------*/
std::vector<ContFramePool> ContFramePool::pools; // List of frame pools, managed by the class
ContFramePool* ContFramePool::pools = (ContFramePool *) FRAME_SIZE; // List of frame pools, managed by the class
unsigned int ContFramePool::nPools = 0; // Number of pools being managed
ContFramePool::ContFramePool(unsigned long _base_frame_no,
@ -149,7 +149,7 @@ ContFramePool::ContFramePool(unsigned long _base_frame_no,
info_frame_no = _info_frame_no;
n_info_frames = _n_info_frames;
pools.push_back(*this);
pools[nPools] = *this;
nPools += 1;
// If _info_frame_no is zero then we keep management info in the first

View file

@ -27,7 +27,6 @@
/*--------------------------------------------------------------------------*/
#include "machine.H"
#include <vector>
/*--------------------------------------------------------------------------*/
/* DATA STRUCTURES */
@ -50,7 +49,7 @@ private:
unsigned long nframes; // Size of the frame pool
unsigned long info_frame_no; // Where do we store the management information?
unsigned long n_info_frames; // Number of frames needed to store management info
static std::vector<ContFramePool> pools; // List of frame pools, managed by the class
static ContFramePool* pools; // List of frame pools, managed by the class
static unsigned int nPools; // Number of pools being managed
void mark_inaccessible(unsigned long _frame_no); // Should be a frame marked as