XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_synchro);
+simgrid::simix::Raw::~Raw()
+{
+ sleep->unref();
+}
void simgrid::simix::Raw::suspend()
{
/* The suspension of raw synchros is delayed to when the process is rescheduled. */
/** Used to implement mutexes, semaphores and conditions */
XBT_PUBLIC_CLASS Raw : public Synchro {
public:
+ ~Raw();
void suspend() override;
void resume() override;
void post() override;
XBT_DEBUG("Destroying synchro %p", synchro);
simgrid::simix::Raw *raw = static_cast<simgrid::simix::Raw*>(synchro);
- raw->sleep->unref();
delete raw;
}