LCOV - code coverage report
Current view: top level - usr/include/boost/interprocess/sync - scoped_lock.hpp (source / functions) Hit Total Coverage
Test: ROSE Lines: 0 7 0.0 %
Date: 2022-12-08 13:48:47 Functions: 0 1 0.0 %
Legend: Lines: hit not hit

          Line data    Source code
       1             : //////////////////////////////////////////////////////////////////////////////
       2             : //
       3             : // (C) Copyright Ion Gaztanaga 2005-2012. Distributed under the Boost
       4             : // Software License, Version 1.0. (See accompanying file
       5             : // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
       6             : //
       7             : // See http://www.boost.org/libs/interprocess for documentation.
       8             : //
       9             : //////////////////////////////////////////////////////////////////////////////
      10             : //
      11             : // This interface is inspired by Howard Hinnant's lock proposal.
      12             : // http://home.twcny.rr.com/hinnant/cpp_extensions/threads_move.html
      13             : //
      14             : //////////////////////////////////////////////////////////////////////////////
      15             : 
      16             : #ifndef BOOST_INTERPROCESS_SCOPED_LOCK_HPP
      17             : #define BOOST_INTERPROCESS_SCOPED_LOCK_HPP
      18             : 
      19             : #ifndef BOOST_CONFIG_HPP
      20             : #  include <boost/config.hpp>
      21             : #endif
      22             : #
      23             : #if defined(BOOST_HAS_PRAGMA_ONCE)
      24             : #  pragma once
      25             : #endif
      26             : 
      27             : #include <boost/interprocess/detail/config_begin.hpp>
      28             : #include <boost/interprocess/detail/workaround.hpp>
      29             : #include <boost/interprocess/interprocess_fwd.hpp>
      30             : #include <boost/interprocess/sync/lock_options.hpp>
      31             : #include <boost/interprocess/exceptions.hpp>
      32             : #include <boost/interprocess/detail/mpl.hpp>
      33             : #include <boost/interprocess/detail/type_traits.hpp>
      34             : #include <boost/move/utility_core.hpp>
      35             : #include <boost/interprocess/detail/posix_time_types_wrk.hpp>
      36             : #include <boost/interprocess/detail/simple_swap.hpp>
      37             : 
      38             : //!\file
      39             : //!Describes the scoped_lock class.
      40             : 
      41             : namespace boost {
      42             : namespace interprocess {
      43             : 
      44             : 
      45             : //!scoped_lock is meant to carry out the tasks for locking, unlocking, try-locking
      46             : //!and timed-locking (recursive or not) for the Mutex. The Mutex need not supply all
      47             : //!of this functionality. If the client of scoped_lock<Mutex> does not use
      48             : //!functionality which the Mutex does not supply, no harm is done. Mutex ownership
      49             : //!transfer is supported through the syntax of move semantics. Ownership transfer
      50             : //!is allowed both by construction and assignment. The scoped_lock does not support
      51             : //!copy semantics. A compile time error results if copy construction or copy
      52             : //!assignment is attempted. Mutex ownership can also be moved from an
      53             : //!upgradable_lock and sharable_lock via constructor. In this role, scoped_lock
      54             : //!shares the same functionality as a write_lock.
      55             : template <class Mutex>
      56             : class scoped_lock
      57             : {
      58             :    #if !defined(BOOST_INTERPROCESS_DOXYGEN_INVOKED)
      59             :    private:
      60             :    typedef scoped_lock<Mutex> this_type;
      61             :    BOOST_MOVABLE_BUT_NOT_COPYABLE(scoped_lock)
      62             :    typedef bool this_type::*unspecified_bool_type;
      63             :    #endif   //#ifndef BOOST_INTERPROCESS_DOXYGEN_INVOKED
      64             :    public:
      65             : 
      66             :    typedef Mutex mutex_type;
      67             : 
      68             :    //!Effects: Default constructs a scoped_lock.
      69             :    //!Postconditions: owns() == false and mutex() == 0.
      70             :    scoped_lock()
      71             :       : mp_mutex(0), m_locked(false)
      72             :    {}
      73             : 
      74             :    //!Effects: m.lock().
      75             :    //!Postconditions: owns() == true and mutex() == &m.
      76             :    //!Notes: The constructor will take ownership of the mutex. If another thread
      77             :    //!   already owns the mutex, this thread will block until the mutex is released.
      78             :    //!   Whether or not this constructor handles recursive locking depends upon the mutex.
      79           0 :    explicit scoped_lock(mutex_type& m)
      80           0 :       : mp_mutex(&m), m_locked(false)
      81           0 :    {  mp_mutex->lock();   m_locked = true;  }
      82             : 
      83             :    //!Postconditions: owns() == false, and mutex() == &m.
      84             :    //!Notes: The constructor will not take ownership of the mutex. There is no effect
      85             :    //!   required on the referenced mutex.
      86             :    scoped_lock(mutex_type& m, defer_lock_type)
      87             :       : mp_mutex(&m), m_locked(false)
      88             :    {}
      89             : 
      90             :    //!Postconditions: owns() == true, and mutex() == &m.
      91             :    //!Notes: The constructor will suppose that the mutex is already locked. There
      92             :    //!   is no effect required on the referenced mutex.
      93             :    scoped_lock(mutex_type& m, accept_ownership_type)
      94             :       : mp_mutex(&m), m_locked(true)
      95             :    {}
      96             : 
      97             :    //!Effects: m.try_lock().
      98             :    //!Postconditions: mutex() == &m. owns() == the return value of the
      99             :    //!   m.try_lock() executed within the constructor.
     100             :    //!Notes: The constructor will take ownership of the mutex if it can do
     101             :    //!   so without waiting. Whether or not this constructor handles recursive
     102             :    //!   locking depends upon the mutex. If the mutex_type does not support try_lock,
     103             :    //!   this constructor will fail at compile time if instantiated, but otherwise
     104             :    //!   have no effect.
     105             :    scoped_lock(mutex_type& m, try_to_lock_type)
     106             :       : mp_mutex(&m), m_locked(mp_mutex->try_lock())
     107             :    {}
     108             : 
     109             :    //!Effects: m.timed_lock(abs_time).
     110             :    //!Postconditions: mutex() == &m. owns() == the return value of the
     111             :    //!   m.timed_lock(abs_time) executed within the constructor.
     112             :    //!Notes: The constructor will take ownership of the mutex if it can do
     113             :    //!   it until abs_time is reached. Whether or not this constructor
     114             :    //!   handles recursive locking depends upon the mutex. If the mutex_type
     115             :    //!   does not support try_lock, this constructor will fail at compile
     116             :    //!   time if instantiated, but otherwise have no effect.
     117             :    scoped_lock(mutex_type& m, const boost::posix_time::ptime& abs_time)
     118             :       : mp_mutex(&m), m_locked(mp_mutex->timed_lock(abs_time))
     119             :    {}
     120             : 
     121             :    //!Postconditions: mutex() == the value scop.mutex() had before the
     122             :    //!   constructor executes. s1.mutex() == 0. owns() == the value of
     123             :    //!   scop.owns() before the constructor executes. scop.owns().
     124             :    //!Notes: If the scop scoped_lock owns the mutex, ownership is moved
     125             :    //!   to thisscoped_lock with no blocking. If the scop scoped_lock does not
     126             :    //!   own the mutex, then neither will this scoped_lock. Only a moved
     127             :    //!   scoped_lock's will match this signature. An non-moved scoped_lock
     128             :    //!   can be moved with the expression: "boost::move(lock);". This
     129             :    //!   constructor does not alter the state of the mutex, only potentially
     130             :    //!   who owns it.
     131             :    scoped_lock(BOOST_RV_REF(scoped_lock) scop)
     132             :       : mp_mutex(0), m_locked(scop.owns())
     133             :    {  mp_mutex = scop.release(); }
     134             : 
     135             :    //!Effects: If upgr.owns() then calls unlock_upgradable_and_lock() on the
     136             :    //!   referenced mutex. upgr.release() is called.
     137             :    //!Postconditions: mutex() == the value upgr.mutex() had before the construction.
     138             :    //!   upgr.mutex() == 0. owns() == upgr.owns() before the construction.
     139             :    //!   upgr.owns() == false after the construction.
     140             :    //!Notes: If upgr is locked, this constructor will lock this scoped_lock while
     141             :    //!   unlocking upgr. If upgr is unlocked, then this scoped_lock will be
     142             :    //!   unlocked as well. Only a moved upgradable_lock's will match this
     143             :    //!   signature. An non-moved upgradable_lock can be moved with
     144             :    //!   the expression: "boost::move(lock);" This constructor may block if
     145             :    //!   other threads hold a sharable_lock on this mutex (sharable_lock's can
     146             :    //!   share ownership with an upgradable_lock).
     147             :    template<class T>
     148             :    explicit scoped_lock(BOOST_RV_REF(upgradable_lock<T>) upgr
     149             :       , typename ipcdetail::enable_if< ipcdetail::is_same<T, Mutex> >::type * = 0)
     150             :       : mp_mutex(0), m_locked(false)
     151             :    {
     152             :       upgradable_lock<mutex_type> &u_lock = upgr;
     153             :       if(u_lock.owns()){
     154             :          u_lock.mutex()->unlock_upgradable_and_lock();
     155             :          m_locked = true;
     156             :       }
     157             :       mp_mutex = u_lock.release();
     158             :    }
     159             : 
     160             :    //!Effects: If upgr.owns() then calls try_unlock_upgradable_and_lock() on the
     161             :    //!referenced mutex:
     162             :    //!   a)if try_unlock_upgradable_and_lock() returns true then mutex() obtains
     163             :    //!      the value from upgr.release() and owns() is set to true.
     164             :    //!   b)if try_unlock_upgradable_and_lock() returns false then upgr is
     165             :    //!      unaffected and this scoped_lock construction as the same effects as
     166             :    //!      a default construction.
     167             :    //!   c)Else upgr.owns() is false. mutex() obtains the value from upgr.release()
     168             :    //!      and owns() is set to false
     169             :    //!Notes: This construction will not block. It will try to obtain mutex
     170             :    //!   ownership from upgr immediately, while changing the lock type from a
     171             :    //!   "read lock" to a "write lock". If the "read lock" isn't held in the
     172             :    //!   first place, the mutex merely changes type to an unlocked "write lock".
     173             :    //!   If the "read lock" is held, then mutex transfer occurs only if it can
     174             :    //!   do so in a non-blocking manner.
     175             :    template<class T>
     176             :    scoped_lock(BOOST_RV_REF(upgradable_lock<T>) upgr, try_to_lock_type
     177             :          , typename ipcdetail::enable_if< ipcdetail::is_same<T, Mutex> >::type * = 0)
     178             :       : mp_mutex(0), m_locked(false)
     179             :    {
     180             :       upgradable_lock<mutex_type> &u_lock = upgr;
     181             :       if(u_lock.owns()){
     182             :          if((m_locked = u_lock.mutex()->try_unlock_upgradable_and_lock()) == true){
     183             :             mp_mutex = u_lock.release();
     184             :          }
     185             :       }
     186             :       else{
     187             :          u_lock.release();
     188             :       }
     189             :    }
     190             : 
     191             :    //!Effects: If upgr.owns() then calls timed_unlock_upgradable_and_lock(abs_time)
     192             :    //!   on the referenced mutex:
     193             :    //!   a)if timed_unlock_upgradable_and_lock(abs_time) returns true then mutex()
     194             :    //!      obtains the value from upgr.release() and owns() is set to true.
     195             :    //!   b)if timed_unlock_upgradable_and_lock(abs_time) returns false then upgr
     196             :    //!      is unaffected and this scoped_lock construction as the same effects
     197             :    //!      as a default construction.
     198             :    //!   c)Else upgr.owns() is false. mutex() obtains the value from upgr.release()
     199             :    //!      and owns() is set to false
     200             :    //!Notes: This construction will not block. It will try to obtain mutex ownership
     201             :    //!   from upgr immediately, while changing the lock type from a "read lock" to a
     202             :    //!   "write lock". If the "read lock" isn't held in the first place, the mutex
     203             :    //!   merely changes type to an unlocked "write lock". If the "read lock" is held,
     204             :    //!   then mutex transfer occurs only if it can do so in a non-blocking manner.
     205             :    template<class T>
     206             :    scoped_lock(BOOST_RV_REF(upgradable_lock<T>) upgr, boost::posix_time::ptime &abs_time
     207             :                , typename ipcdetail::enable_if< ipcdetail::is_same<T, Mutex> >::type * = 0)
     208             :       : mp_mutex(0), m_locked(false)
     209             :    {
     210             :       upgradable_lock<mutex_type> &u_lock = upgr;
     211             :       if(u_lock.owns()){
     212             :          if((m_locked = u_lock.mutex()->timed_unlock_upgradable_and_lock(abs_time)) == true){
     213             :             mp_mutex = u_lock.release();
     214             :          }
     215             :       }
     216             :       else{
     217             :          u_lock.release();
     218             :       }
     219             :    }
     220             : 
     221             :    //!Effects: If shar.owns() then calls try_unlock_sharable_and_lock() on the
     222             :    //!referenced mutex.
     223             :    //!   a)if try_unlock_sharable_and_lock() returns true then mutex() obtains
     224             :    //!      the value from shar.release() and owns() is set to true.
     225             :    //!   b)if try_unlock_sharable_and_lock() returns false then shar is
     226             :    //!      unaffected and this scoped_lock construction has the same
     227             :    //!      effects as a default construction.
     228             :    //!   c)Else shar.owns() is false. mutex() obtains the value from
     229             :    //!      shar.release() and owns() is set to false
     230             :    //!Notes: This construction will not block. It will try to obtain mutex
     231             :    //!   ownership from shar immediately, while changing the lock type from a
     232             :    //!   "read lock" to a "write lock". If the "read lock" isn't held in the
     233             :    //!   first place, the mutex merely changes type to an unlocked "write lock".
     234             :    //!   If the "read lock" is held, then mutex transfer occurs only if it can
     235             :    //!   do so in a non-blocking manner.
     236             :    template<class T>
     237             :    scoped_lock(BOOST_RV_REF(sharable_lock<T>) shar, try_to_lock_type
     238             :       , typename ipcdetail::enable_if< ipcdetail::is_same<T, Mutex> >::type * = 0)
     239             :       : mp_mutex(0), m_locked(false)
     240             :    {
     241             :       sharable_lock<mutex_type> &s_lock = shar;
     242             :       if(s_lock.owns()){
     243             :          if((m_locked = s_lock.mutex()->try_unlock_sharable_and_lock()) == true){
     244             :             mp_mutex = s_lock.release();
     245             :          }
     246             :       }
     247             :       else{
     248             :          s_lock.release();
     249             :       }
     250             :    }
     251             : 
     252             :    //!Effects: if (owns()) mp_mutex->unlock().
     253             :    //!Notes: The destructor behavior ensures that the mutex lock is not leaked.*/
     254           0 :    ~scoped_lock()
     255             :    {
     256           0 :       try{  if(m_locked && mp_mutex)   mp_mutex->unlock();  }
     257           0 :       catch(...){}
     258           0 :    }
     259             : 
     260             :    //!Effects: If owns() before the call, then unlock() is called on mutex().
     261             :    //!   *this gets the state of scop and scop gets set to a default constructed state.
     262             :    //!Notes: With a recursive mutex it is possible that both this and scop own
     263             :    //!   the same mutex before the assignment. In this case, this will own the
     264             :    //!   mutex after the assignment (and scop will not), but the mutex's lock
     265             :    //!   count will be decremented by one.
     266             :    scoped_lock &operator=(BOOST_RV_REF(scoped_lock) scop)
     267             :    {
     268             :       if(this->owns())
     269             :          this->unlock();
     270             :       m_locked = scop.owns();
     271             :       mp_mutex = scop.release();
     272             :       return *this;
     273             :    }
     274             : 
     275             :    //!Effects: If mutex() == 0 or if already locked, throws a lock_exception()
     276             :    //!   exception. Calls lock() on the referenced mutex.
     277             :    //!Postconditions: owns() == true.
     278             :    //!Notes: The scoped_lock changes from a state of not owning the mutex, to
     279             :    //!   owning the mutex, blocking if necessary.
     280             :    void lock()
     281             :    {
     282             :       if(!mp_mutex || m_locked)
     283             :          throw lock_exception();
     284             :       mp_mutex->lock();
     285             :       m_locked = true;
     286             :    }
     287             : 
     288             :    //!Effects: If mutex() == 0 or if already locked, throws a lock_exception()
     289             :    //!   exception. Calls try_lock() on the referenced mutex.
     290             :    //!Postconditions: owns() == the value returned from mutex()->try_lock().
     291             :    //!Notes: The scoped_lock changes from a state of not owning the mutex, to
     292             :    //!   owning the mutex, but only if blocking was not required. If the
     293             :    //!   mutex_type does not support try_lock(), this function will fail at
     294             :    //!   compile time if instantiated, but otherwise have no effect.*/
     295             :    bool try_lock()
     296             :    {
     297             :       if(!mp_mutex || m_locked)
     298             :          throw lock_exception();
     299             :       m_locked = mp_mutex->try_lock();
     300             :       return m_locked;
     301             :    }
     302             : 
     303             :    //!Effects: If mutex() == 0 or if already locked, throws a lock_exception()
     304             :    //!   exception. Calls timed_lock(abs_time) on the referenced mutex.
     305             :    //!Postconditions: owns() == the value returned from mutex()-> timed_lock(abs_time).
     306             :    //!Notes: The scoped_lock changes from a state of not owning the mutex, to
     307             :    //!   owning the mutex, but only if it can obtain ownership by the specified
     308             :    //!   time. If the mutex_type does not support timed_lock (), this function
     309             :    //!   will fail at compile time if instantiated, but otherwise have no effect.*/
     310             :    bool timed_lock(const boost::posix_time::ptime& abs_time)
     311             :    {
     312             :       if(!mp_mutex || m_locked)
     313             :          throw lock_exception();
     314             :       m_locked = mp_mutex->timed_lock(abs_time);
     315             :       return m_locked;
     316             :    }
     317             : 
     318             :    //!Effects: If mutex() == 0 or if not locked, throws a lock_exception()
     319             :    //!   exception. Calls unlock() on the referenced mutex.
     320             :    //!Postconditions: owns() == false.
     321             :    //!Notes: The scoped_lock changes from a state of owning the mutex, to not
     322             :    //!   owning the mutex.*/
     323             :    void unlock()
     324             :    {
     325             :       if(!mp_mutex || !m_locked)
     326             :          throw lock_exception();
     327             :       mp_mutex->unlock();
     328             :       m_locked = false;
     329             :    }
     330             : 
     331             :    //!Effects: Returns true if this scoped_lock has acquired
     332             :    //!the referenced mutex.
     333             :    bool owns() const
     334             :    {  return m_locked && mp_mutex;  }
     335             : 
     336             :    //!Conversion to bool.
     337             :    //!Returns owns().
     338             :    operator unspecified_bool_type() const
     339             :    {  return m_locked? &this_type::m_locked : 0;   }
     340             : 
     341             :    //!Effects: Returns a pointer to the referenced mutex, or 0 if
     342             :    //!there is no mutex to reference.
     343             :    mutex_type* mutex() const
     344             :    {  return  mp_mutex;  }
     345             : 
     346             :    //!Effects: Returns a pointer to the referenced mutex, or 0 if there is no
     347             :    //!   mutex to reference.
     348             :    //!Postconditions: mutex() == 0 and owns() == false.
     349             :    mutex_type* release()
     350             :    {
     351             :       mutex_type *mut = mp_mutex;
     352             :       mp_mutex = 0;
     353             :       m_locked = false;
     354             :       return mut;
     355             :    }
     356             : 
     357             :    //!Effects: Swaps state with moved lock.
     358             :    //!Throws: Nothing.
     359             :    void swap( scoped_lock<mutex_type> &other)
     360             :    {
     361             :       (simple_swap)(mp_mutex, other.mp_mutex);
     362             :       (simple_swap)(m_locked, other.m_locked);
     363             :    }
     364             : 
     365             :    #if !defined(BOOST_INTERPROCESS_DOXYGEN_INVOKED)
     366             :    private:
     367             :    mutex_type *mp_mutex;
     368             :    bool        m_locked;
     369             :    #endif   //#ifndef BOOST_INTERPROCESS_DOXYGEN_INVOKED
     370             : };
     371             : 
     372             : } // namespace interprocess
     373             : } // namespace boost
     374             : 
     375             : #include <boost/interprocess/detail/config_end.hpp>
     376             : 
     377             : #endif // BOOST_INTERPROCESS_SCOPED_LOCK_HPP

Generated by: LCOV version 1.14