/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
-#include "simgrid/s4u/Host.hpp"
+#include "simgrid/modelchecker.h"
+#include "src/mc/mc_replay.hpp"
#include "src/kernel/activity/ExecImpl.hpp"
#include "src/simix/smx_host_private.hpp"
#include "src/surf/surf_interface.hpp"
+#include "src/surf/cpu_interface.hpp"
+
+#include "simgrid/s4u/Host.hpp"
XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_process);
simgrid::kernel::activity::ExecImpl::~ExecImpl()
{
- if (surf_exec)
- surf_exec->unref();
+ if (surfAction_)
+ surfAction_->unref();
if (timeoutDetector)
timeoutDetector->unref();
XBT_DEBUG("Destroy exec %p", this);
}
+
void simgrid::kernel::activity::ExecImpl::suspend()
{
- XBT_VERB("This exec is suspended (remain: %f)", surf_exec->getRemains());
- if (surf_exec)
- surf_exec->suspend();
+ XBT_VERB("This exec is suspended (remain: %f)", surfAction_->getRemains());
+ if (surfAction_)
+ surfAction_->suspend();
}
void simgrid::kernel::activity::ExecImpl::resume()
{
- XBT_VERB("This exec is resumed (remain: %f)", surf_exec->getRemains());
- if (surf_exec)
- surf_exec->resume();
+ XBT_VERB("This exec is resumed (remain: %f)", surfAction_->getRemains());
+ if (surfAction_)
+ surfAction_->resume();
}
double simgrid::kernel::activity::ExecImpl::remains()
{
- if (state == SIMIX_RUNNING)
- return surf_exec->getRemains();
+ xbt_assert(host_ != nullptr, "Calling remains() on a parallel execution is not allowed. "
+ "We would need to return a vector instead of a scalar. "
+ "Did you mean remainingRatio() instead?");
+
+ return surfAction_ ? surfAction_->getRemains() : 0;
+}
+
+double simgrid::kernel::activity::ExecImpl::remainingRatio()
+{
+ if (host_ == nullptr) // parallel task: their remain is already between 0 and 1 (see comment in ExecImpl::remains())
+ return surfAction_->getRemains();
+ else // Actually compute the ratio for sequential tasks
+ return surfAction_->getRemains() / surfAction_->getCost();
+}
- return 0;
+void simgrid::kernel::activity::ExecImpl::setBound(double bound)
+{
+ if (surfAction_)
+ surfAction_->setBound(bound);
}
void simgrid::kernel::activity::ExecImpl::post()
/* If the host running the synchro failed, notice it. This way, the asking
* process can be killed if it runs on that host itself */
state = SIMIX_FAILED;
- } else if (surf_exec->getState() == simgrid::surf::Action::State::failed) {
+ } else if (surfAction_->getState() == simgrid::kernel::resource::Action::State::failed) {
/* If the host running the synchro didn't fail, then the synchro was canceled */
state = SIMIX_CANCELED;
- } else if (timeoutDetector && timeoutDetector->getState() == simgrid::surf::Action::State::done) {
+ } else if (timeoutDetector && timeoutDetector->getState() == simgrid::kernel::resource::Action::State::done) {
state = SIMIX_TIMEOUT;
} else {
state = SIMIX_DONE;
}
- if (surf_exec) {
- surf_exec->unref();
- surf_exec = nullptr;
+ if (surfAction_) {
+ surfAction_->unref();
+ surfAction_ = nullptr;
}
if (timeoutDetector) {
timeoutDetector->unref();
timeoutDetector = nullptr;
}
+ onCompletion(this);
/* If there are simcalls associated with the synchro, then answer them */
if (not simcalls.empty())
SIMIX_execution_finish(this);
}
+
+simgrid::kernel::activity::ActivityImpl*
+simgrid::kernel::activity::ExecImpl::migrate(simgrid::s4u::Host* to)
+{
+
+ if (not MC_is_active() && not MC_record_replay_is_active()) {
+ simgrid::kernel::resource::Action* oldAction = this->surfAction_;
+ simgrid::kernel::resource::Action* newAction = to->pimpl_cpu->execution_start(oldAction->getCost());
+ newAction->setRemains(oldAction->getRemains());
+ newAction->setData(this);
+ newAction->setSharingWeight(oldAction->getPriority());
+
+ // FIXME: the user-defined bound seem to not be kept by LMM, that seem to overwrite it for the multi-core modeling.
+ // I hope that the user did not provide any.
+
+ oldAction->setData(nullptr);
+ oldAction->cancel();
+ oldAction->unref();
+ this->surfAction_ = newAction;
+ }
+
+ onMigration(this, to);
+ return this;
+}
+
+/*************
+ * Callbacks *
+ *************/
+simgrid::xbt::signal<void(simgrid::kernel::activity::ExecImplPtr)> simgrid::kernel::activity::ExecImpl::onCreation;
+simgrid::xbt::signal<void(simgrid::kernel::activity::ExecImplPtr)> simgrid::kernel::activity::ExecImpl::onCompletion;
+simgrid::xbt::signal<void(simgrid::kernel::activity::ExecImplPtr, simgrid::s4u::Host*)> simgrid::kernel::activity::ExecImpl::onMigration;