123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513 |
- #ifndef BOOST_THREAD_SYNC_QUEUE_HPP
- #define BOOST_THREAD_SYNC_QUEUE_HPP
- //////////////////////////////////////////////////////////////////////////////
- //
- // (C) Copyright Vicente J. Botet Escriba 2013. 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/thread for documentation.
- //
- //////////////////////////////////////////////////////////////////////////////
- #include <boost/thread/detail/config.hpp>
- #include <boost/thread/condition_variable.hpp>
- #include <boost/thread/mutex.hpp>
- #include <boost/thread/detail/move.hpp>
- #include <boost/throw_exception.hpp>
- #include <boost/smart_ptr/shared_ptr.hpp>
- #include <boost/smart_ptr/make_shared.hpp>
- #include <boost/thread/sync_bounded_queue.hpp>
- #include <boost/container/deque.hpp>
- #include <boost/config/abi_prefix.hpp>
- namespace boost
- {
- template <typename ValueType>
- class sync_queue
- {
- public:
- typedef ValueType value_type;
- typedef std::size_t size_type;
- // Constructors/Assignment/Destructors
- BOOST_THREAD_NO_COPYABLE(sync_queue)
- inline sync_queue();
- //template <typename Range>
- //inline explicit sync_queue(Range range);
- inline ~sync_queue();
- // Observers
- inline bool empty() const;
- inline bool full() const;
- inline size_type size() const;
- inline bool closed() const;
- // Modifiers
- inline void close();
- inline void push(const value_type& x);
- inline void push(BOOST_THREAD_RV_REF(value_type) x);
- inline bool try_push(const value_type& x);
- inline bool try_push(BOOST_THREAD_RV_REF(value_type) x);
- inline bool try_push(no_block_tag, const value_type& x);
- inline bool try_push(no_block_tag, BOOST_THREAD_RV_REF(value_type) x);
- // Observers/Modifiers
- inline void pull(value_type&);
- inline void pull(ValueType& elem, bool & closed);
- // enable_if is_nothrow_copy_movable<value_type>
- inline value_type pull();
- inline shared_ptr<ValueType> ptr_pull();
- inline bool try_pull(value_type&);
- inline bool try_pull(no_block_tag,value_type&);
- inline shared_ptr<ValueType> try_pull();
- private:
- mutable mutex mtx_;
- condition_variable not_empty_;
- size_type waiting_empty_;
- boost::container::deque<ValueType> data_;
- bool closed_;
- inline bool empty(unique_lock<mutex>& ) const BOOST_NOEXCEPT
- {
- return data_.empty();
- }
- inline bool empty(lock_guard<mutex>& ) const BOOST_NOEXCEPT
- {
- return data_.empty();
- }
- inline size_type size(lock_guard<mutex>& ) const BOOST_NOEXCEPT
- {
- return data_.size();
- }
- inline void throw_if_closed(unique_lock<mutex>&);
- inline bool try_pull(value_type& x, unique_lock<mutex>& lk);
- inline bool try_push(const value_type& x, unique_lock<mutex>& lk);
- inline bool try_push(BOOST_THREAD_RV_REF(value_type) x, unique_lock<mutex>& lk);
- inline shared_ptr<value_type> try_pull(unique_lock<mutex>& lk);
- inline void wait_until_not_empty(unique_lock<mutex>& lk);
- inline void wait_until_not_empty(unique_lock<mutex>& lk, bool&);
- inline void notify_not_empty_if_needed(unique_lock<mutex>& lk)
- {
- if (waiting_empty_ > 0)
- {
- --waiting_empty_;
- lk.unlock();
- not_empty_.notify_one();
- }
- }
- inline void pull(value_type& elem, unique_lock<mutex>& )
- {
- elem = boost::move(data_.front());
- data_.pop_front();
- }
- inline boost::shared_ptr<value_type> ptr_pull(unique_lock<mutex>& )
- {
- shared_ptr<value_type> res = make_shared<value_type>(boost::move(data_.front()));
- data_.pop_front();
- return res;
- }
- inline void push(const value_type& elem, unique_lock<mutex>& lk)
- {
- data_.push_back(elem);
- notify_not_empty_if_needed(lk);
- }
- inline void push(BOOST_THREAD_RV_REF(value_type) elem, unique_lock<mutex>& lk)
- {
- data_.push(boost::move(elem));
- notify_not_empty_if_needed(lk);
- }
- };
- template <typename ValueType>
- sync_queue<ValueType>::sync_queue() :
- waiting_empty_(0), data_(), closed_(false)
- {
- BOOST_ASSERT(data_.empty());
- }
- // template <typename ValueType>
- // template <typename Range>
- // explicit sync_queue<ValueType>::sync_queue(Range range) :
- // waiting_empty_(0), data_(), closed_(false)
- // {
- // try
- // {
- // typedef typename Range::iterator iterator_t;
- // iterator_t first = boost::begin(range);
- // iterator_t end = boost::end(range);
- // for (iterator_t cur = first; cur != end; ++cur)
- // {
- // data_.push(boost::move(*cur));;
- // }
- // notify_not_empty_if_needed(lk);
- // }
- // catch (...)
- // {
- // delete[] data_;
- // }
- // }
- template <typename ValueType>
- sync_queue<ValueType>::~sync_queue()
- {
- }
- template <typename ValueType>
- void sync_queue<ValueType>::close()
- {
- {
- lock_guard<mutex> lk(mtx_);
- closed_ = true;
- }
- not_empty_.notify_all();
- }
- template <typename ValueType>
- bool sync_queue<ValueType>::closed() const
- {
- lock_guard<mutex> lk(mtx_);
- return closed_;
- }
- template <typename ValueType>
- bool sync_queue<ValueType>::empty() const
- {
- lock_guard<mutex> lk(mtx_);
- return empty(lk);
- }
- template <typename ValueType>
- bool sync_queue<ValueType>::full() const
- {
- return false;
- }
- template <typename ValueType>
- typename sync_queue<ValueType>::size_type sync_queue<ValueType>::size() const
- {
- lock_guard<mutex> lk(mtx_);
- return size(lk);
- }
- template <typename ValueType>
- bool sync_queue<ValueType>::try_pull(ValueType& elem, unique_lock<mutex>& lk)
- {
- if (empty(lk))
- {
- throw_if_closed(lk);
- return false;
- }
- pull(elem, lk);
- return true;
- }
- template <typename ValueType>
- shared_ptr<ValueType> sync_queue<ValueType>::try_pull(unique_lock<mutex>& lk)
- {
- if (empty(lk))
- {
- throw_if_closed(lk);
- return shared_ptr<ValueType>();
- }
- return ptr_pull(lk);
- }
- template <typename ValueType>
- bool sync_queue<ValueType>::try_pull(ValueType& elem)
- {
- try
- {
- unique_lock<mutex> lk(mtx_);
- return try_pull(elem, lk);
- }
- catch (...)
- {
- close();
- throw;
- }
- }
- template <typename ValueType>
- bool sync_queue<ValueType>::try_pull(no_block_tag,ValueType& elem)
- {
- try
- {
- unique_lock<mutex> lk(mtx_, try_to_lock);
- if (!lk.owns_lock())
- {
- return false;
- }
- return try_pull(elem, lk);
- }
- catch (...)
- {
- close();
- throw;
- }
- }
- template <typename ValueType>
- boost::shared_ptr<ValueType> sync_queue<ValueType>::try_pull()
- {
- try
- {
- unique_lock<mutex> lk(mtx_);
- return try_pull(lk);
- }
- catch (...)
- {
- close();
- throw;
- }
- }
- template <typename ValueType>
- void sync_queue<ValueType>::throw_if_closed(unique_lock<mutex>&)
- {
- if (closed_)
- {
- BOOST_THROW_EXCEPTION( sync_queue_is_closed() );
- }
- }
- template <typename ValueType>
- void sync_queue<ValueType>::wait_until_not_empty(unique_lock<mutex>& lk)
- {
- for (;;)
- {
- if (! empty(lk)) break;
- throw_if_closed(lk);
- ++waiting_empty_;
- not_empty_.wait(lk);
- }
- }
- template <typename ValueType>
- void sync_queue<ValueType>::wait_until_not_empty(unique_lock<mutex>& lk, bool & closed)
- {
- for (;;)
- {
- if (! empty(lk)) break;
- if (closed_) {closed=true; return;}
- ++waiting_empty_;
- not_empty_.wait(lk);
- }
- closed=false;
- }
- template <typename ValueType>
- void sync_queue<ValueType>::pull(ValueType& elem)
- {
- try
- {
- unique_lock<mutex> lk(mtx_);
- wait_until_not_empty(lk);
- pull(elem, lk);
- }
- catch (...)
- {
- close();
- throw;
- }
- }
- template <typename ValueType>
- void sync_queue<ValueType>::pull(ValueType& elem, bool & closed)
- {
- try
- {
- unique_lock<mutex> lk(mtx_);
- wait_until_not_empty(lk, closed);
- if (closed) {return;}
- pull(elem, lk);
- }
- catch (...)
- {
- close();
- throw;
- }
- }
- // enable if ValueType is nothrow movable
- template <typename ValueType>
- ValueType sync_queue<ValueType>::pull()
- {
- try
- {
- value_type elem;
- pull(elem);
- return boost::move(elem);
- }
- catch (...)
- {
- close();
- throw;
- }
- }
- template <typename ValueType>
- boost::shared_ptr<ValueType> sync_queue<ValueType>::ptr_pull()
- {
- try
- {
- unique_lock<mutex> lk(mtx_);
- wait_until_not_empty(lk);
- return ptr_pull(lk);
- }
- catch (...)
- {
- close();
- throw;
- }
- }
- template <typename ValueType>
- bool sync_queue<ValueType>::try_push(const ValueType& elem, unique_lock<mutex>& lk)
- {
- throw_if_closed(lk);
- push(elem, lk);
- return true;
- }
- template <typename ValueType>
- bool sync_queue<ValueType>::try_push(const ValueType& elem)
- {
- try
- {
- unique_lock<mutex> lk(mtx_);
- return try_push(elem, lk);
- }
- catch (...)
- {
- close();
- throw;
- }
- }
- template <typename ValueType>
- bool sync_queue<ValueType>::try_push(no_block_tag, const ValueType& elem)
- {
- try
- {
- unique_lock<mutex> lk(mtx_, try_to_lock);
- if (!lk.owns_lock()) return false;
- return try_push(elem, lk);
- }
- catch (...)
- {
- close();
- throw;
- }
- }
- template <typename ValueType>
- void sync_queue<ValueType>::push(const ValueType& elem)
- {
- try
- {
- unique_lock<mutex> lk(mtx_);
- throw_if_closed(lk);
- push(elem, lk);
- }
- catch (...)
- {
- close();
- throw;
- }
- }
- template <typename ValueType>
- bool sync_queue<ValueType>::try_push(BOOST_THREAD_RV_REF(ValueType) elem, unique_lock<mutex>& lk)
- {
- throw_if_closed(lk);
- push(boost::forward<ValueType>(elem), lk);
- return true;
- }
- template <typename ValueType>
- bool sync_queue<ValueType>::try_push(BOOST_THREAD_RV_REF(ValueType) elem)
- {
- try
- {
- unique_lock<mutex> lk(mtx_);
- return try_push(elem, lk);
- }
- catch (...)
- {
- close();
- throw;
- }
- }
- template <typename ValueType>
- bool sync_queue<ValueType>::try_push(no_block_tag, BOOST_THREAD_RV_REF(ValueType) elem)
- {
- try
- {
- unique_lock<mutex> lk(mtx_, try_to_lock);
- if (!lk.owns_lock())
- {
- return false;
- }
- return try_push(elem, lk);
- }
- catch (...)
- {
- close();
- throw;
- }
- }
- template <typename ValueType>
- void sync_queue<ValueType>::push(BOOST_THREAD_RV_REF(ValueType) elem)
- {
- try
- {
- unique_lock<mutex> lk(mtx_);
- throw_if_closed(lk);
- push(elem, lk);
- }
- catch (...)
- {
- close();
- throw;
- }
- }
- template <typename ValueType>
- sync_queue<ValueType>& operator<<(sync_queue<ValueType>& sbq, BOOST_THREAD_RV_REF(ValueType) elem)
- {
- sbq.push(boost::forward<ValueType>(elem));
- return sbq;
- }
- template <typename ValueType>
- sync_queue<ValueType>& operator<<(sync_queue<ValueType>& sbq, ValueType const&elem)
- {
- sbq.push(elem);
- return sbq;
- }
- template <typename ValueType>
- sync_queue<ValueType>& operator>>(sync_queue<ValueType>& sbq, ValueType &elem)
- {
- sbq.pull(elem);
- return sbq;
- }
- }
- #include <boost/config/abi_suffix.hpp>
- #endif
|