src/kernel/activity/MutexImpl.hpp

   1 /* Copyright (c) 2012-2019. The SimGrid Team. All rights reserved.          */
   2
   3 /* This program is free software; you can redistribute it and/or modify it
   4  * under the terms of the license (GNU LGPL) which comes with this package. */
   5
   6 #ifndef SIMIX_MUTEXIMPL_HPP
   7 #define SIMIX_MUTEXIMPL_HPP
   8
   9 #include "simgrid/s4u/ConditionVariable.hpp"
  10 #include "src/simix/ActorImpl.hpp"
  11 #include <boost/intrusive/list.hpp>
  12
  13 namespace simgrid {
  14 namespace kernel {
  15 namespace activity {
  16
  17 class XBT_PUBLIC MutexImpl {
  18 public:
  19   MutexImpl();
  20   ~MutexImpl();
  21   MutexImpl(MutexImpl const&) = delete;
  22   MutexImpl& operator=(MutexImpl const&) = delete;
  23
  24   void lock(smx_actor_t issuer);
  25   bool try_lock(smx_actor_t issuer);
  26   void unlock(smx_actor_t issuer);
  27
  28   MutexImpl* ref();
  29   void unref();
  30   bool locked       = false;
  31   smx_actor_t owner = nullptr;
  32   // List of sleeping processes:
  33   simgrid::kernel::actor::SynchroList sleeping;
  34
  35   // boost::intrusive_ptr<Mutex> support:
  36   friend void intrusive_ptr_add_ref(MutexImpl* mutex)
  37   {
  38     XBT_ATTRIB_UNUSED auto previous = mutex->refcount_.fetch_add(1);
  39     xbt_assert(previous != 0);
  40   }
  41   friend void intrusive_ptr_release(MutexImpl* mutex)
  42   {
  43     if (mutex->refcount_.fetch_sub(1) == 1)
  44       delete mutex;
  45   }
  46
  47   simgrid::s4u::Mutex& mutex() { return piface_; }
  48
  49 private:
  50   std::atomic_int_fast32_t refcount_{1};
  51   simgrid::s4u::Mutex piface_;
  52 };
  53 }
  54 }
  55 }
  56 #endif /* SIMIX_MUTEXIMPL_HPP */