+ auto cpu_optim = simgrid::config::get_value<std::string>("cpu/optim");
+ std::shared_ptr<simgrid::kernel::resource::CpuModel> cpu_model_vm;
+ if (cpu_optim == "TI") {
+ cpu_model_vm = std::make_shared<simgrid::kernel::resource::CpuTiModel>();
+ } else {
+ simgrid::kernel::resource::Model::UpdateAlgo algo = simgrid::kernel::resource::Model::UpdateAlgo::FULL;
+ if (cpu_optim == "Lazy")
+ algo = simgrid::kernel::resource::Model::UpdateAlgo::LAZY;
+ cpu_model_vm = std::make_shared<simgrid::kernel::resource::CpuCas01Model>(algo);
+ }
+ simgrid::kernel::EngineImpl::get_instance()->add_model(simgrid::kernel::resource::Model::Type::CPU_VM, cpu_model_vm,
+ true);
+ simgrid::s4u::Engine::get_instance()->get_netzone_root()->get_impl()->set_cpu_vm_model(cpu_model_vm);
+
+ auto vm_model = std::make_shared<simgrid::vm::VMModel>();
+ simgrid::kernel::EngineImpl::get_instance()->add_model(simgrid::kernel::resource::Model::Type::VM,
+ std::move(vm_model), true);