include src/kernel/activity/SemaphoreImpl.hpp
include src/kernel/activity/SleepImpl.cpp
include src/kernel/activity/SleepImpl.hpp
-include src/kernel/activity/SynchroRaw.cpp
-include src/kernel/activity/SynchroRaw.hpp
+include src/kernel/activity/Synchro.cpp
+include src/kernel/activity/Synchro.hpp
include src/kernel/actor/ActorImpl.cpp
include src/kernel/actor/ActorImpl.hpp
include src/kernel/actor/CommObserver.cpp
using MutexImplPtr = boost::intrusive_ptr<MutexImpl>;
XBT_PUBLIC void intrusive_ptr_add_ref(MutexImpl* mutex);
XBT_PUBLIC void intrusive_ptr_release(MutexImpl* mutex);
- class RawImpl;
- using RawImplPtr = boost::intrusive_ptr<RawImpl>;
+ class SynchroImpl;
+ using RawImplPtr = boost::intrusive_ptr<SynchroImpl>;
class SemaphoreImpl;
using SemaphoreImplPtr = boost::intrusive_ptr<SemaphoreImpl>;
XBT_PUBLIC void intrusive_ptr_add_ref(SemaphoreImpl* sem);
if (boost::dynamic_pointer_cast<kernel::activity::SleepImpl>(actor->waiting_synchro_) != nullptr)
synchro_description = "sleeping";
- if (boost::dynamic_pointer_cast<kernel::activity::RawImpl>(actor->waiting_synchro_) != nullptr)
+ if (boost::dynamic_pointer_cast<kernel::activity::SynchroImpl>(actor->waiting_synchro_) != nullptr)
synchro_description = "synchronization";
if (boost::dynamic_pointer_cast<kernel::activity::IoImpl>(actor->waiting_synchro_) != nullptr)
#include "src/kernel/activity/IoImpl.hpp"
#include "src/kernel/activity/MailboxImpl.hpp"
#include "src/kernel/activity/SleepImpl.hpp"
-#include "src/kernel/activity/SynchroRaw.hpp"
+#include "src/kernel/activity/Synchro.hpp"
#include "src/kernel/actor/ActorImpl.hpp"
#include "src/kernel/resource/SplitDuplexLinkImpl.hpp"
#include "src/kernel/activity/ActivityImpl.hpp"
#include "src/kernel/activity/CommImpl.hpp"
-#include "src/kernel/activity/SynchroRaw.hpp"
+#include "src/kernel/activity/Synchro.hpp"
#include "src/kernel/actor/ActorImpl.hpp"
#include "src/kernel/actor/SimcallObserver.hpp"
#include "src/kernel/resource/CpuImpl.hpp"
else
comm->dst_timeout_ = sleep;
} else {
- RawImplPtr synchro(new RawImpl([this, issuer]() {
+ RawImplPtr synchro(new SynchroImpl([this, issuer]() {
this->unregister_simcall(&issuer->simcall_);
issuer->waiting_synchro_ = nullptr;
issuer->exception_ = nullptr;
#include "src/kernel/activity/ConditionVariableImpl.hpp"
#include "src/kernel/activity/MutexImpl.hpp"
-#include "src/kernel/activity/SynchroRaw.hpp"
+#include "src/kernel/activity/Synchro.hpp"
#include "src/kernel/actor/SimcallObserver.hpp"
#include <cmath> // std::isfinite
mutex->unlock(issuer);
}
- RawImplPtr synchro(new RawImpl([this, issuer]() {
+ RawImplPtr synchro(new SynchroImpl([this, issuer]() {
this->remove_sleeping_actor(*issuer);
auto* observer = dynamic_cast<kernel::actor::ConditionWaitSimcall*>(issuer->simcall_.observer_);
xbt_assert(observer != nullptr);
* under the terms of the license (GNU LGPL) which comes with this package. */
#include "src/kernel/activity/MutexImpl.hpp"
-#include "src/kernel/activity/SynchroRaw.hpp"
+#include "src/kernel/activity/Synchro.hpp"
#if SIMGRID_HAVE_MC
#include "simgrid/modelchecker.h"
if (locked_) {
/* FIXME: check if the host is active ? */
/* Somebody using the mutex, use a synchronization to get host failures */
- RawImplPtr synchro(new RawImpl([this, issuer]() { this->remove_sleeping_actor(*issuer); }));
+ RawImplPtr synchro(new SynchroImpl([this, issuer]() { this->remove_sleeping_actor(*issuer); }));
(*synchro).set_host(issuer->get_host()).start();
synchro->register_simcall(&issuer->simcall_);
sleeping_.push_back(*issuer);
* under the terms of the license (GNU LGPL) which comes with this package. */
#include "src/kernel/activity/SemaphoreImpl.hpp"
-#include "src/kernel/activity/SynchroRaw.hpp"
+#include "src/kernel/activity/Synchro.hpp"
#include "src/kernel/actor/SimcallObserver.hpp"
#include <cmath> // std::isfinite
xbt_assert(std::isfinite(timeout), "timeout is not finite!");
if (value_ <= 0) {
- RawImplPtr synchro(new RawImpl([this, issuer]() {
+ RawImplPtr synchro(new SynchroImpl([this, issuer]() {
this->remove_sleeping_actor(*issuer);
auto* observer = dynamic_cast<kernel::actor::SemAcquireSimcall*>(issuer->simcall_.observer_);
xbt_assert(observer != nullptr);
#include <simgrid/Exception.hpp>
#include <simgrid/s4u/Host.hpp>
-#include "src/kernel/activity/SynchroRaw.hpp"
+#include "src/kernel/activity/Synchro.hpp"
#include "src/kernel/actor/ActorImpl.hpp"
#include "src/kernel/context/Context.hpp"
#include "src/kernel/resource/CpuImpl.hpp"
#include "src/simix/popping_private.hpp"
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(ker_synchro, kernel,
- "Kernel synchronization mechanisms (mutex, semaphores and conditions)");
+ "Kernel synchronization activity (lock/acquire on a mutex, semaphore or condition)");
namespace simgrid {
namespace kernel {
namespace activity {
-RawImpl& RawImpl::set_host(s4u::Host* host)
+SynchroImpl& SynchroImpl::set_host(s4u::Host* host)
{
host_ = host;
return *this;
}
-RawImpl& RawImpl::set_timeout(double timeout)
+SynchroImpl& SynchroImpl::set_timeout(double timeout)
{
timeout_ = timeout;
return *this;
}
-RawImpl* RawImpl::start()
+SynchroImpl* SynchroImpl::start()
{
surf_action_ = host_->get_cpu()->sleep(timeout_);
surf_action_->set_activity(this);
return this;
}
-void RawImpl::suspend()
+void SynchroImpl::suspend()
{
/* The suspension of raw synchros is delayed to when the actor is rescheduled. */
}
-void RawImpl::resume()
+void SynchroImpl::resume()
{
/* I cannot resume raw synchros directly. This is delayed to when the actor is rescheduled at
* the end of the synchro. */
}
-void RawImpl::cancel()
+void SynchroImpl::cancel()
{
/* I cannot cancel raw synchros directly. */
}
-void RawImpl::post()
+void SynchroImpl::post()
{
if (surf_action_->get_state() == resource::Action::State::FAILED)
set_state(State::FAILED);
/* Answer all simcalls associated with the synchro */
finish();
}
-void RawImpl::set_exception(actor::ActorImpl* issuer)
+void SynchroImpl::set_exception(actor::ActorImpl* issuer)
{
if (get_state() == State::FAILED) {
issuer->context_->set_wannadie();
issuer->exception_ = std::make_exception_ptr(HostFailureException(XBT_THROW_POINT, "Host failed"));
} else {
- xbt_assert(get_state() == State::SRC_TIMEOUT, "Internal error in RawImpl::finish() unexpected synchro state %s",
+ xbt_assert(get_state() == State::SRC_TIMEOUT, "Internal error in SynchroImpl::finish() unexpected synchro state %s",
get_state_str());
}
}
-void RawImpl::finish()
+void SynchroImpl::finish()
{
- XBT_DEBUG("RawImpl::finish() in state %s", get_state_str());
+ XBT_DEBUG("SynchroImpl::finish() in state %s", get_state_str());
xbt_assert(simcalls_.size() == 1, "Unexpected number of simcalls waiting: %zu", simcalls_.size());
smx_simcall_t simcall = simcalls_.front();
simcalls_.pop_front();
namespace kernel {
namespace activity {
- /** Used to implement mutexes, semaphores and conditions */
-class XBT_PUBLIC RawImpl : public ActivityImpl_T<RawImpl> {
+/** Used to implement mutexes, semaphores and conditions */
+class XBT_PUBLIC SynchroImpl : public ActivityImpl_T<SynchroImpl> {
sg_host_t host_ = nullptr;
double timeout_ = -1;
std::function<void()> finish_callback_;
public:
- explicit RawImpl(const std::function<void()>& finish_callback) : finish_callback_(finish_callback) {}
- RawImpl& set_host(s4u::Host* host);
- RawImpl& set_timeout(double timeout) override;
+ explicit SynchroImpl(const std::function<void()>& finish_callback) : finish_callback_(finish_callback) {}
+ SynchroImpl& set_host(s4u::Host* host);
+ SynchroImpl& set_timeout(double timeout) override;
- RawImpl* start();
+ SynchroImpl* start();
void suspend() override;
void resume() override;
void cancel() override;
src/kernel/activity/SemaphoreImpl.hpp
src/kernel/activity/SleepImpl.cpp
src/kernel/activity/SleepImpl.hpp
- src/kernel/activity/SynchroRaw.cpp
- src/kernel/activity/SynchroRaw.hpp
+ src/kernel/activity/Synchro.cpp
+ src/kernel/activity/Synchro.hpp
src/kernel/actor/ActorImpl.cpp
src/kernel/actor/ActorImpl.hpp
src/kernel/actor/CommObserver.cpp