{
//munmap(reg->data, reg->size);
xbt_free(reg->data);
+ if (reg->page_numbers) {
+ mc_free_page_snapshot_region(reg->page_numbers, mc_page_count(reg->size));
+ }
xbt_free(reg);
}
void s_mc_pages_store::remove_page(size_t pageno)
{
this->free_pages_.push_back(pageno);
- void* page = mc_page_from_number(this->memory_, pageno);
+ const void* page = this->get_page(pageno);
uint64_t hash = mc_hash_page(page);
this->hash_index_[hash].erase(pageno);
}
// Otherwise, a new page is allocated in the page store and the content
// of the page is `memcpy()`-ed to this new page.
size_t pageno = alloc_page();
+ xbt_assert(this->page_counts_[pageno]==0, "Allocated page is already used");
void* snapshot_page = (void*) this->get_page(pageno);
memcpy(snapshot_page, page, xbt_pagesize);
page_set.insert(pageno);