- /* Dirty pages stuff */
- std::unordered_map<std::string, dirty_page_t> dp_objs;
- int dp_enabled = 0;
- double dp_updated_by_deleted_tasks = 0;
-
- e_surf_vm_state_t getState();
- void setState(e_surf_vm_state_t state);
- static std::deque<s4u::VirtualMachine*> allVms_;
- int coreAmount() { return coreAmount_; }