#include "xbt/log.h"
#include "src/msg/msg_private.h"
-#include "src/simix/smx_network_private.h"
+#include "src/simix/smx_synchro_private.h"
-#include "simgrid/s4u/mutex.hpp"
+#include "simgrid/s4u/Mutex.hpp"
+namespace simgrid {
+namespace s4u {
-using namespace simgrid;
+void Mutex::lock()
+{
+ simcall_mutex_lock(mutex_);
+}
-s4u::Mutex::Mutex() {
- smx_mutex_t smx_mutex = simcall_mutex_init();
- _mutex = std::shared_ptr<simgrid::simix::Mutex>(smx_mutex, SIMIX_mutex_destroy );
+void Mutex::unlock()
+{
+ simcall_mutex_unlock(mutex_);
}
-void s4u::Mutex::lock() {
- simcall_mutex_lock(_mutex.get());
+bool Mutex::try_lock()
+{
+ return simcall_mutex_trylock(mutex_);
}
-void s4u::Mutex::unlock() {
- simcall_mutex_unlock(_mutex.get());
+MutexPtr Mutex::createMutex()
+{
+ smx_mutex_t mutex = simcall_mutex_init();
+ return MutexPtr(&mutex->mutex(), false);
}
-bool s4u::Mutex::try_lock() {
- return simcall_mutex_trylock(_mutex.get());
+}
}