+static s4u::VirtualMachine* get_vm_from_activity(kernel::activity::ActivityImpl const& act)
+{
+ auto* exec = dynamic_cast<kernel::activity::ExecImpl const*>(&act);
+ return exec != nullptr ? dynamic_cast<s4u::VirtualMachine*>(exec->get_host()) : nullptr;
+}
+
+static void add_active_activity(kernel::activity::ActivityImpl const& act)
+{
+ const s4u::VirtualMachine* vm = get_vm_from_activity(act);
+ if (vm != nullptr) {
+ VirtualMachineImpl* vm_impl = vm->get_impl();
+ vm_impl->add_active_exec();
+ vm_impl->update_action_weight();
+ }
+}
+
+static void remove_active_activity(kernel::activity::ActivityImpl const& act)
+{
+ const s4u::VirtualMachine* vm = get_vm_from_activity(act);
+ if (vm != nullptr) {
+ VirtualMachineImpl* vm_impl = vm->get_impl();
+ vm_impl->remove_active_exec();
+ vm_impl->update_action_weight();
+ }
+}
+
+VMModel::VMModel(const std::string& name) : HostModel(name)
+{
+ s4u::Host::on_state_change.connect(host_state_change);
+ s4u::Exec::on_start.connect(add_active_exec);
+ s4u::Exec::on_completion.connect(remove_active_exec);
+ kernel::activity::ActivityImpl::on_resumed.connect(add_active_activity);
+ kernel::activity::ActivityImpl::on_suspended.connect(remove_active_activity);
+}
+
+double VMModel::next_occurring_event(double now)