76 |
|
// number of frames in each block given the need to hold multiple blocks |
77 |
|
// in memory at the same time: |
78 |
|
nSnapshotPerBlock_ = int(frameCapacity) / blockCapacity_; |
79 |
+ |
if (nSnapshotPerBlock_ <= 0) { |
80 |
+ |
std::cerr << "not enough memory to hold two configs!" << std::endl; |
81 |
+ |
} |
82 |
|
reader_ = new DumpReader(info, filename); |
83 |
|
nframes_ = reader_->getNFrames(); |
84 |
|
int nblocks = nframes_ / nSnapshotPerBlock_; |
178 |
|
//in case, unloadBlock called multiple times |
179 |
|
activeRefCount_[i - activeBlocks_.begin()] = 0; |
180 |
|
} |
181 |
+ |
|
182 |
+ |
if (activeRefCount_[i-activeBlocks_.begin()] == 0) { |
183 |
+ |
internalUnload(block); |
184 |
+ |
} |
185 |
|
|
186 |
|
unloadSuccess = true; |
187 |
|
} else { |
205 |
|
} |
206 |
|
|
207 |
|
void BlockSnapshotManager::internalUnload(int block) { |
208 |
+ |
std::cerr << "called internal unload for block "<< block << "\n"; |
209 |
|
for (int i = blocks_[block].first; i < blocks_[block].second; ++i) { |
210 |
|
delete snapshots_[i]; |
211 |
|
snapshots_[i] = NULL; |