123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540 |
- //////////////////////////////////////////////////////////////////////////////
- //
- // (C) Copyright Ion Gaztanaga 2005-2012. Distributed under the Boost
- // Software License, Version 1.0. (See accompanying file
- // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- //
- // See http://www.boost.org/libs/interprocess for documentation.
- //
- //////////////////////////////////////////////////////////////////////////////
- #ifndef BOOST_INTERPROCESS_named_upgradable_mutex_HPP
- #define BOOST_INTERPROCESS_named_upgradable_mutex_HPP
- #ifndef BOOST_CONFIG_HPP
- # include <boost/config.hpp>
- #endif
- #
- #if defined(BOOST_HAS_PRAGMA_ONCE)
- # pragma once
- #endif
- #include <boost/interprocess/detail/config_begin.hpp>
- #include <boost/interprocess/detail/workaround.hpp>
- #include <boost/interprocess/creation_tags.hpp>
- #include <boost/interprocess/exceptions.hpp>
- #include <boost/interprocess/shared_memory_object.hpp>
- #include <boost/interprocess/detail/managed_open_or_create_impl.hpp>
- #include <boost/interprocess/sync/interprocess_upgradable_mutex.hpp>
- #include <boost/interprocess/sync/shm/named_creation_functor.hpp>
- #include <boost/interprocess/permissions.hpp>
- #include <boost/interprocess/timed_utils.hpp>
- //!\file
- //!Describes a named upgradable mutex class for inter-process synchronization
- namespace boost {
- namespace interprocess {
- #if !defined(BOOST_INTERPROCESS_DOXYGEN_INVOKED)
- namespace ipcdetail{ class interprocess_tester; }
- #endif //#ifndef BOOST_INTERPROCESS_DOXYGEN_INVOKED
- class named_condition;
- //!A upgradable mutex with a global name, so it can be found from different
- //!processes. This mutex can't be placed in shared memory, and
- //!each process should have it's own named upgradable mutex.
- class named_upgradable_mutex
- {
- #if !defined(BOOST_INTERPROCESS_DOXYGEN_INVOKED)
- //Non-copyable
- named_upgradable_mutex();
- named_upgradable_mutex(const named_upgradable_mutex &);
- named_upgradable_mutex &operator=(const named_upgradable_mutex &);
- friend class named_condition;
- #endif //#ifndef BOOST_INTERPROCESS_DOXYGEN_INVOKED
- public:
- //!Creates a global upgradable mutex with a name.
- //!If the upgradable mutex can't be created throws interprocess_exception
- named_upgradable_mutex(create_only_t, const char *name, const permissions &perm = permissions());
- //!Opens or creates a global upgradable mutex with a name.
- //!If the upgradable mutex is created, this call is equivalent to
- //!named_upgradable_mutex(create_only_t, ...)
- //!If the upgradable mutex is already created, this call is equivalent to
- //!named_upgradable_mutex(open_only_t, ... ).
- named_upgradable_mutex(open_or_create_t, const char *name, const permissions &perm = permissions());
- //!Opens a global upgradable mutex with a name if that upgradable mutex
- //!is previously.
- //!created. If it is not previously created this function throws
- //!interprocess_exception.
- named_upgradable_mutex(open_only_t, const char *name);
- #if defined(BOOST_INTERPROCESS_WCHAR_NAMED_RESOURCES) || defined(BOOST_INTERPROCESS_DOXYGEN_INVOKED)
- //!Creates a global upgradable mutex with a name.
- //!If the upgradable mutex can't be created throws interprocess_exception
- //!
- //!Note: This function is only available on operating systems with
- //! native wchar_t APIs (e.g. Windows).
- named_upgradable_mutex(create_only_t, const wchar_t *name, const permissions &perm = permissions());
- //!Opens or creates a global upgradable mutex with a name.
- //!If the upgradable mutex is created, this call is equivalent to
- //!named_upgradable_mutex(create_only_t, ...)
- //!If the upgradable mutex is already created, this call is equivalent to
- //!named_upgradable_mutex(open_only_t, ... ).
- //!
- //!Note: This function is only available on operating systems with
- //! native wchar_t APIs (e.g. Windows).
- named_upgradable_mutex(open_or_create_t, const wchar_t *name, const permissions &perm = permissions());
- //!Opens a global upgradable mutex with a name if that upgradable mutex
- //!is previously.
- //!created. If it is not previously created this function throws
- //!interprocess_exception.
- //!
- //!Note: This function is only available on operating systems with
- //! native wchar_t APIs (e.g. Windows).
- named_upgradable_mutex(open_only_t, const wchar_t *name);
- #endif //defined(BOOST_INTERPROCESS_WCHAR_NAMED_RESOURCES) || defined(BOOST_INTERPROCESS_DOXYGEN_INVOKED)
- //!Destroys *this and indicates that the calling process is finished using
- //!the resource. The destructor function will deallocate
- //!any system resources allocated by the system for use by this process for
- //!this resource. The resource can still be opened again calling
- //!the open constructor overload. To erase the resource from the system
- //!use remove().
- ~named_upgradable_mutex();
- //Exclusive locking
- //!Requires: The calling thread does not own the mutex.
- //!
- //!Effects: The calling thread tries to obtain exclusive ownership of the mutex,
- //! and if another thread has exclusive, sharable or upgradable ownership of
- //! the mutex, it waits until it can obtain the ownership.
- //!Throws: interprocess_exception on error.
- //!
- //!Note: A program may deadlock if the thread that has ownership calls
- //! this function. If the implementation can detect the deadlock,
- //! an exception could be thrown
- void lock();
- //!Requires: The calling thread does not own the mutex.
- //!
- //!Effects: The calling thread tries to acquire exclusive ownership of the mutex
- //! without waiting. If no other thread has exclusive, sharable or upgradable
- //! ownership of the mutex this succeeds.
- //!Returns: If it can acquire exclusive ownership immediately returns true.
- //! If it has to wait, returns false.
- //!Throws: interprocess_exception on error.
- //!
- //!Note: A program may deadlock if the thread that has ownership calls
- //! this function. If the implementation can detect the deadlock,
- //! an exception could be thrown
- bool try_lock();
- //!Requires: The calling thread does not own the mutex.
- //!
- //!Effects: The calling thread tries to acquire exclusive ownership of the mutex
- //! waiting if necessary until no other thread has exclusive, sharable or
- //! upgradable ownership of the mutex or abs_time is reached.
- //!Returns: If acquires exclusive ownership, returns true. Otherwise returns false.
- //!Throws: interprocess_exception on error.
- //!
- //!Note: A program may deadlock if the thread that has ownership calls
- //! this function. If the implementation can detect the deadlock,
- //! an exception could be thrown
- template<class TimePoint>
- bool timed_lock(const TimePoint &abs_time);
- //!Same as `timed_lock`, but this function is modeled after the
- //!standard library interface.
- template<class TimePoint> bool try_lock_until(const TimePoint &abs_time)
- { return this->timed_lock(abs_time); }
- //!Same as `timed_lock`, but this function is modeled after the
- //!standard library interface.
- template<class Duration> bool try_lock_for(const Duration &dur)
- { return this->timed_lock(ipcdetail::duration_to_ustime(dur)); }
- //!Precondition: The thread must have exclusive ownership of the mutex.
- //!Effects: The calling thread releases the exclusive ownership of the mutex.
- //!Throws: An exception derived from interprocess_exception on error.
- void unlock();
- //Sharable locking
- //!Requires: The calling thread does not own the mutex.
- //!
- //!Effects: The calling thread tries to obtain sharable ownership of the mutex,
- //! and if another thread has exclusive ownership of the mutex,
- //! waits until it can obtain the ownership.
- //!Throws: interprocess_exception on error.
- //!
- //!Note: A program may deadlock if the thread that has ownership calls
- //! this function. If the implementation can detect the deadlock,
- //! an exception could be thrown
- void lock_sharable();
- //!Same as `lock_sharable` but with a std-compatible interface
- //!
- void lock_shared()
- { this->lock_sharable(); }
- //!Requires: The calling thread does not own the mutex.
- //!
- //!Effects: The calling thread tries to acquire sharable ownership of the mutex
- //! without waiting. If no other thread has exclusive ownership
- //! of the mutex this succeeds.
- //!Returns: If it can acquire sharable ownership immediately returns true. If it
- //! has to wait, returns false.
- //!Throws: interprocess_exception on error.
- //!
- //!Note: A program may deadlock if the thread that has ownership calls
- //! this function. If the implementation can detect the deadlock,
- //! an exception could be thrown
- bool try_lock_sharable();
- //!Same as `try_lock_sharable` but with a std-compatible interface
- //!
- bool try_lock_shared()
- { return this->try_lock_sharable(); }
- //!Requires: The calling thread does not own the mutex.
- //!
- //!Effects: The calling thread tries to acquire sharable ownership of the mutex
- //! waiting if necessary until no other thread has exclusive
- //! ownership of the mutex or abs_time is reached.
- //!Returns: If acquires sharable ownership, returns true. Otherwise returns false.
- //!Throws: interprocess_exception on error.
- //!
- //!Note: A program may deadlock if the thread that has ownership calls
- //! this function. If the implementation can detect the deadlock,
- //! an exception could be thrown
- template<class TimePoint>
- bool timed_lock_sharable(const TimePoint &abs_time);
- //!Same as `timed_lock_sharable`, but this function is modeled after the
- //!standard library interface.
- template<class TimePoint> bool try_lock_shared_until(const TimePoint &abs_time)
- { return this->timed_lock_sharable(abs_time); }
- //!Same as `timed_lock_sharable`, but this function is modeled after the
- //!standard library interface.
- template<class Duration> bool try_lock_shared_for(const Duration &dur)
- { return this->timed_lock_sharable(ipcdetail::duration_to_ustime(dur)); }
- //!Precondition: The thread must have sharable ownership of the mutex.
- //!Effects: The calling thread releases the sharable ownership of the mutex.
- //!Throws: An exception derived from interprocess_exception on error.
- void unlock_sharable();
- //!Same as `unlock_sharable` but with a std-compatible interface
- //!
- void unlock_shared()
- { this->unlock_sharable(); }
- //Upgradable locking
- //!Requires: The calling thread does not own the mutex.
- //!
- //!Effects: The calling thread tries to obtain upgradable ownership of the mutex,
- //! and if another thread has exclusive or upgradable ownership of the mutex,
- //! waits until it can obtain the ownership.
- //!Throws: interprocess_exception on error.
- //!
- //!Note: A program may deadlock if the thread that has ownership calls
- //! this function. If the implementation can detect the deadlock,
- //! an exception could be thrown
- void lock_upgradable();
- //!Requires: The calling thread does not own the mutex.
- //!
- //!Effects: The calling thread tries to acquire upgradable ownership of the mutex
- //! without waiting. If no other thread has exclusive or upgradable ownership
- //! of the mutex this succeeds.
- //!Returns: If it can acquire upgradable ownership immediately returns true.
- //! If it has to wait, returns false.
- //!Throws: interprocess_exception on error.
- //!
- //!Note: A program may deadlock if the thread that has ownership calls
- //! this function. If the implementation can detect the deadlock,
- //! an exception could be thrown
- bool try_lock_upgradable();
- //!Requires: The calling thread does not own the mutex.
- //!
- //!Effects: The calling thread tries to acquire upgradable ownership of the mutex
- //! waiting if necessary until no other thread has exclusive or upgradable
- //! ownership of the mutex or abs_time is reached.
- //!Returns: If acquires upgradable ownership, returns true. Otherwise returns false.
- //!Throws: interprocess_exception on error.
- //!
- //!Note: A program may deadlock if the thread that has ownership calls
- //! this function. If the implementation can detect the deadlock,
- //! an exception could be thrown
- template<class TimePoint>
- bool timed_lock_upgradable(const TimePoint &abs_time);
- //!Precondition: The thread must have upgradable ownership of the mutex.
- //!Effects: The calling thread releases the upgradable ownership of the mutex.
- //!Throws: An exception derived from interprocess_exception on error.
- void unlock_upgradable();
- //Demotions
- //!Precondition: The thread must have exclusive ownership of the mutex.
- //!Effects: The thread atomically releases exclusive ownership and acquires
- //! upgradable ownership. This operation is non-blocking.
- //!Throws: An exception derived from interprocess_exception on error.
- void unlock_and_lock_upgradable();
- //!Precondition: The thread must have exclusive ownership of the mutex.
- //!Effects: The thread atomically releases exclusive ownership and acquires
- //! sharable ownership. This operation is non-blocking.
- //!Throws: An exception derived from interprocess_exception on error.
- void unlock_and_lock_sharable();
- //!Precondition: The thread must have upgradable ownership of the mutex.
- //!Effects: The thread atomically releases upgradable ownership and acquires
- //! sharable ownership. This operation is non-blocking.
- //!Throws: An exception derived from interprocess_exception on error.
- void unlock_upgradable_and_lock_sharable();
- //Promotions
- //!Precondition: The thread must have upgradable ownership of the mutex.
- //!Effects: The thread atomically releases upgradable ownership and acquires
- //! exclusive ownership. This operation will block until all threads with
- //! sharable ownership release it.
- //!Throws: An exception derived from interprocess_exception on error.
- void unlock_upgradable_and_lock();
- //!Precondition: The thread must have upgradable ownership of the mutex.
- //!Effects: The thread atomically releases upgradable ownership and tries to
- //! acquire exclusive ownership. This operation will fail if there are threads
- //! with sharable ownership, but it will maintain upgradable ownership.
- //!Returns: If acquires exclusive ownership, returns true. Otherwise returns false.
- //!Throws: An exception derived from interprocess_exception on error.
- bool try_unlock_upgradable_and_lock();
- //!Precondition: The thread must have upgradable ownership of the mutex.
- //!Effects: The thread atomically releases upgradable ownership and tries to acquire
- //! exclusive ownership, waiting if necessary until abs_time. This operation will
- //! fail if there are threads with sharable ownership or timeout reaches, but it
- //! will maintain upgradable ownership.
- //!Returns: If acquires exclusive ownership, returns true. Otherwise returns false.
- //!Throws: An exception derived from interprocess_exception on error.
- template<class TimePoint>
- bool timed_unlock_upgradable_and_lock(const TimePoint &abs_time);
- //!Precondition: The thread must have sharable ownership of the mutex.
- //!Effects: The thread atomically releases sharable ownership and tries to acquire
- //! exclusive ownership. This operation will fail if there are threads with sharable
- //! or upgradable ownership, but it will maintain sharable ownership.
- //!Returns: If acquires exclusive ownership, returns true. Otherwise returns false.
- //!Throws: An exception derived from interprocess_exception on error.
- bool try_unlock_sharable_and_lock();
- //!Precondition: The thread must have sharable ownership of the mutex.
- //!Effects: The thread atomically releases sharable ownership and tries to acquire
- //! upgradable ownership. This operation will fail if there are threads with sharable
- //! or upgradable ownership, but it will maintain sharable ownership.
- //!Returns: If acquires upgradable ownership, returns true. Otherwise returns false.
- //!Throws: An exception derived from interprocess_exception on error.
- bool try_unlock_sharable_and_lock_upgradable();
- //!Erases a named upgradable mutex from the system.
- //!Returns false on error. Never throws.
- static bool remove(const char *name);
- #if defined(BOOST_INTERPROCESS_WCHAR_NAMED_RESOURCES) || defined(BOOST_INTERPROCESS_DOXYGEN_INVOKED)
- //!Erases a named upgradable mutex from the system.
- //!Returns false on error. Never throws.
- //!
- //!Note: This function is only available on operating systems with
- //! native wchar_t APIs (e.g. Windows).
- static bool remove(const wchar_t *name);
- #endif
- #if !defined(BOOST_INTERPROCESS_DOXYGEN_INVOKED)
- private:
- friend class ipcdetail::interprocess_tester;
- void dont_close_on_destruction();
- interprocess_upgradable_mutex *mutex() const
- { return static_cast<interprocess_upgradable_mutex*>(m_shmem.get_user_address()); }
- typedef ipcdetail::managed_open_or_create_impl<shared_memory_object, 0, true, false> open_create_impl_t;
- open_create_impl_t m_shmem;
- typedef ipcdetail::named_creation_functor<interprocess_upgradable_mutex> construct_func_t;
- #endif //#ifndef BOOST_INTERPROCESS_DOXYGEN_INVOKED
- };
- #if !defined(BOOST_INTERPROCESS_DOXYGEN_INVOKED)
- inline named_upgradable_mutex::~named_upgradable_mutex()
- {}
- inline named_upgradable_mutex::named_upgradable_mutex
- (create_only_t, const char *name, const permissions &perm)
- : m_shmem (create_only
- ,name
- ,sizeof(interprocess_upgradable_mutex) +
- open_create_impl_t::ManagedOpenOrCreateUserOffset
- ,read_write
- ,0
- ,construct_func_t(ipcdetail::DoCreate)
- ,perm)
- {}
- inline named_upgradable_mutex::named_upgradable_mutex
- (open_or_create_t, const char *name, const permissions &perm)
- : m_shmem (open_or_create
- ,name
- ,sizeof(interprocess_upgradable_mutex) +
- open_create_impl_t::ManagedOpenOrCreateUserOffset
- ,read_write
- ,0
- ,construct_func_t(ipcdetail::DoOpenOrCreate)
- ,perm)
- {}
- inline named_upgradable_mutex::named_upgradable_mutex
- (open_only_t, const char *name)
- : m_shmem (open_only
- ,name
- ,read_write
- ,0
- ,construct_func_t(ipcdetail::DoOpen))
- {}
- #if defined(BOOST_INTERPROCESS_WCHAR_NAMED_RESOURCES) || defined(BOOST_INTERPROCESS_DOXYGEN_INVOKED)
- inline named_upgradable_mutex::named_upgradable_mutex
- (create_only_t, const wchar_t *name, const permissions &perm)
- : m_shmem (create_only
- ,name
- ,sizeof(interprocess_upgradable_mutex) +
- open_create_impl_t::ManagedOpenOrCreateUserOffset
- ,read_write
- ,0
- ,construct_func_t(ipcdetail::DoCreate)
- ,perm)
- {}
- inline named_upgradable_mutex::named_upgradable_mutex
- (open_or_create_t, const wchar_t *name, const permissions &perm)
- : m_shmem (open_or_create
- ,name
- ,sizeof(interprocess_upgradable_mutex) +
- open_create_impl_t::ManagedOpenOrCreateUserOffset
- ,read_write
- ,0
- ,construct_func_t(ipcdetail::DoOpenOrCreate)
- ,perm)
- {}
- inline named_upgradable_mutex::named_upgradable_mutex
- (open_only_t, const wchar_t *name)
- : m_shmem (open_only
- ,name
- ,read_write
- ,0
- ,construct_func_t(ipcdetail::DoOpen))
- {}
- #endif
- inline void named_upgradable_mutex::dont_close_on_destruction()
- { ipcdetail::interprocess_tester::dont_close_on_destruction(m_shmem); }
- inline void named_upgradable_mutex::lock()
- { this->mutex()->lock(); }
- inline void named_upgradable_mutex::unlock()
- { this->mutex()->unlock(); }
- inline bool named_upgradable_mutex::try_lock()
- { return this->mutex()->try_lock(); }
- template<class TimePoint>
- inline bool named_upgradable_mutex::timed_lock(const TimePoint &abs_time)
- { return this->mutex()->timed_lock(abs_time); }
- inline void named_upgradable_mutex::lock_upgradable()
- { this->mutex()->lock_upgradable(); }
- inline void named_upgradable_mutex::unlock_upgradable()
- { this->mutex()->unlock_upgradable(); }
- inline bool named_upgradable_mutex::try_lock_upgradable()
- { return this->mutex()->try_lock_upgradable(); }
- template<class TimePoint>
- inline bool named_upgradable_mutex::timed_lock_upgradable(const TimePoint &abs_time)
- { return this->mutex()->timed_lock_upgradable(abs_time); }
- inline void named_upgradable_mutex::lock_sharable()
- { this->mutex()->lock_sharable(); }
- inline void named_upgradable_mutex::unlock_sharable()
- { this->mutex()->unlock_sharable(); }
- inline bool named_upgradable_mutex::try_lock_sharable()
- { return this->mutex()->try_lock_sharable(); }
- template<class TimePoint>
- inline bool named_upgradable_mutex::timed_lock_sharable(const TimePoint &abs_time)
- { return this->mutex()->timed_lock_sharable(abs_time); }
- inline void named_upgradable_mutex::unlock_and_lock_upgradable()
- { this->mutex()->unlock_and_lock_upgradable(); }
- inline void named_upgradable_mutex::unlock_and_lock_sharable()
- { this->mutex()->unlock_and_lock_sharable(); }
- inline void named_upgradable_mutex::unlock_upgradable_and_lock_sharable()
- { this->mutex()->unlock_upgradable_and_lock_sharable(); }
- inline void named_upgradable_mutex::unlock_upgradable_and_lock()
- { this->mutex()->unlock_upgradable_and_lock(); }
- inline bool named_upgradable_mutex::try_unlock_upgradable_and_lock()
- { return this->mutex()->try_unlock_upgradable_and_lock(); }
- template<class TimePoint>
- inline bool named_upgradable_mutex::timed_unlock_upgradable_and_lock(const TimePoint &abs_time)
- { return this->mutex()->timed_unlock_upgradable_and_lock(abs_time); }
- inline bool named_upgradable_mutex::try_unlock_sharable_and_lock()
- { return this->mutex()->try_unlock_sharable_and_lock(); }
- inline bool named_upgradable_mutex::try_unlock_sharable_and_lock_upgradable()
- { return this->mutex()->try_unlock_sharable_and_lock_upgradable(); }
- inline bool named_upgradable_mutex::remove(const char *name)
- { return shared_memory_object::remove(name); }
- #if defined(BOOST_INTERPROCESS_WCHAR_NAMED_RESOURCES) || defined(BOOST_INTERPROCESS_DOXYGEN_INVOKED)
- inline bool named_upgradable_mutex::remove(const wchar_t *name)
- { return shared_memory_object::remove(name); }
- #endif
- #endif //#ifndef BOOST_INTERPROCESS_DOXYGEN_INVOKED
- } //namespace interprocess {
- } //namespace boost {
- #include <boost/interprocess/detail/config_end.hpp>
- #endif //BOOST_INTERPROCESS_named_upgradable_mutex_HPP
|