+
+ExecImpl* ExecImpl::set_timeout(double timeout)
+{
+ if (timeout > 0 && not MC_is_active() && not MC_record_replay_is_active()) {
+ timeout_detector_ = host_->pimpl_cpu->sleep(timeout);
+ timeout_detector_->set_data(this);
+ }
+ return this;
+}
+
+ExecImpl* ExecImpl::start(double flops_amount, double priority, double bound)
+{
+ state_ = SIMIX_RUNNING;
+ if (not MC_is_active() && not MC_record_replay_is_active()) {
+ surf_action_ = host_->pimpl_cpu->execution_start(flops_amount);
+ surf_action_->set_data(this);
+ surf_action_->set_priority(priority);
+ if (bound > 0)
+ surf_action_->set_bound(bound);
+ }
+
+ XBT_DEBUG("Create execute synchro %p: %s", this, get_cname());
+ ExecImpl::on_creation(*this);
+ return this;
+}
+
+ExecImpl* ExecImpl::start(const std::vector<s4u::Host*>& hosts, const std::vector<double>& flops_amounts,
+ const std::vector<double>& bytes_amounts)
+{
+ state_ = SIMIX_RUNNING;
+ /* set surf's synchro */
+ if (not MC_is_active() && not MC_record_replay_is_active()) {
+ surf_action_ = surf_host_model->execute_parallel(hosts, flops_amounts.data(), bytes_amounts.data(), -1);
+ if (surf_action_ != nullptr) {
+ surf_action_->set_data(this);
+ }
+ }
+ XBT_DEBUG("Create parallel execute synchro %p", this);
+ ExecImpl::on_creation(*this);
+ return this;
+}
+void ExecImpl::cancel()