- double get_intensity() { return dp_intensity; }
- void set_intensity(double intensity) { dp_intensity = intensity; }
- double get_working_set_memory() { return working_set_memory; }
- void set_working_set_memory(sg_size_t size) { working_set_memory = size; }
- void set_migration_speed(double speed) { mig_speed = speed; }
- double get_migration_speed() { return mig_speed; }
- double get_max_downtime() { return max_downtime; }
-
- static simgrid::xbt::Extension<VirtualMachineImpl, VmDirtyPageTrackingExt> EXTENSION_ID;
- virtual ~VmDirtyPageTrackingExt() = default;
- VmDirtyPageTrackingExt() = default;
+ double get_intensity() const { return dp_intensity_; }
+ void set_intensity(double intensity) { dp_intensity_ = intensity; }
+ sg_size_t get_working_set_memory() const { return working_set_memory_; }
+ void set_working_set_memory(sg_size_t size) { working_set_memory_ = size; }
+ void set_migration_speed(double speed) { mig_speed_ = speed; }
+ double get_migration_speed() const { return mig_speed_; }
+ double get_max_downtime() const { return max_downtime_; }
+
+ static simgrid::xbt::Extension<VirtualMachineImpl, DirtyPageTrackingExt> EXTENSION_ID;
+ virtual ~DirtyPageTrackingExt() = default;
+ DirtyPageTrackingExt() = default;