#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 #include #include #include #include #include #include #include #include #include namespace boost { template class sync_queue { public: typedef ValueType value_type; typedef std::size_t size_type; // Constructors/Assignment/Destructors BOOST_THREAD_NO_COPYABLE(sync_queue) sync_queue(); template explicit sync_queue(Range range); ~sync_queue(); // Observers bool empty() const; bool full() const; size_type size() const; bool closed() const; // Modifiers void close(); void push(const value_type& x); void push(BOOST_THREAD_RV_REF(value_type) x); bool try_push(const value_type& x); bool try_push(BOOST_THREAD_RV_REF(value_type) x); bool try_push(no_block_tag, const value_type& x); bool try_push(no_block_tag, BOOST_THREAD_RV_REF(value_type) x); // Observers/Modifiers void pull(value_type&); void pull(ValueType& elem, bool & closed); // enable_if is_nothrow_copy_movable value_type pull(); shared_ptr ptr_pull(); bool try_pull(value_type&); bool try_pull(no_block_tag,value_type&); shared_ptr try_pull(); private: mutable mutex mtx_; condition_variable not_empty_; size_type waiting_empty_; boost::container::deque data_; bool closed_; bool empty(unique_lock& ) const BOOST_NOEXCEPT { return data_.empty(); } bool empty(lock_guard& ) const BOOST_NOEXCEPT { return data_.empty(); } size_type size(lock_guard& ) const BOOST_NOEXCEPT { return data_.size(); } void throw_if_closed(unique_lock&); bool try_pull(value_type& x, unique_lock& lk); bool try_push(const value_type& x, unique_lock& lk); bool try_push(BOOST_THREAD_RV_REF(value_type) x, unique_lock& lk); shared_ptr try_pull(unique_lock& lk); void wait_until_not_empty(unique_lock& lk); void wait_until_not_empty(unique_lock& lk, bool&); void notify_not_empty_if_needed(unique_lock& lk) { if (waiting_empty_ > 0) { --waiting_empty_; lk.unlock(); not_empty_.notify_one(); } } void pull(value_type& elem, unique_lock& ) { elem = boost::move(data_.front()); data_.pop_front(); } boost::shared_ptr ptr_pull(unique_lock& ) { shared_ptr res = make_shared(boost::move(data_.front())); data_.pop_front(); return res; } void push(const value_type& elem, unique_lock& lk) { data_.push_back(elem); notify_not_empty_if_needed(lk); } void push(BOOST_THREAD_RV_REF(value_type) elem, unique_lock& lk) { data_.push(boost::move(elem)); notify_not_empty_if_needed(lk); } }; template sync_queue::sync_queue() : waiting_empty_(0), data_(), closed_(false) { BOOST_ASSERT(data_.empty()); } // template // template // explicit sync_queue::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 sync_queue::~sync_queue() { } template void sync_queue::close() { { lock_guard lk(mtx_); closed_ = true; } not_empty_.notify_all(); } template bool sync_queue::closed() const { lock_guard lk(mtx_); return closed_; } template bool sync_queue::empty() const { lock_guard lk(mtx_); return empty(lk); } template bool sync_queue::full() const { return false; } template typename sync_queue::size_type sync_queue::size() const { lock_guard lk(mtx_); return size(lk); } template bool sync_queue::try_pull(ValueType& elem, unique_lock& lk) { if (empty(lk)) { throw_if_closed(lk); return false; } pull(elem, lk); return true; } template shared_ptr sync_queue::try_pull(unique_lock& lk) { if (empty(lk)) { throw_if_closed(lk); return shared_ptr(); } return ptr_pull(lk); } template bool sync_queue::try_pull(ValueType& elem) { try { unique_lock lk(mtx_); return try_pull(elem, lk); } catch (...) { close(); throw; } } template bool sync_queue::try_pull(no_block_tag,ValueType& elem) { try { unique_lock lk(mtx_, try_to_lock); if (!lk.owns_lock()) { return false; } return try_pull(elem, lk); } catch (...) { close(); throw; } } template boost::shared_ptr sync_queue::try_pull() { try { unique_lock lk(mtx_); return try_pull(lk); } catch (...) { close(); throw; } } template void sync_queue::throw_if_closed(unique_lock&) { if (closed_) { BOOST_THROW_EXCEPTION( sync_queue_is_closed() ); } } template void sync_queue::wait_until_not_empty(unique_lock& lk) { for (;;) { if (! empty(lk)) break; throw_if_closed(lk); ++waiting_empty_; not_empty_.wait(lk); } } template void sync_queue::wait_until_not_empty(unique_lock& lk, bool & closed) { for (;;) { if (! empty(lk)) break; if (closed_) {closed=true; return;} ++waiting_empty_; not_empty_.wait(lk); } } template void sync_queue::pull(ValueType& elem) { try { unique_lock lk(mtx_); wait_until_not_empty(lk); pull(elem, lk); } catch (...) { close(); throw; } } template void sync_queue::pull(ValueType& elem, bool & closed) { try { unique_lock lk(mtx_); wait_until_not_empty(lk, closed); if (closed) {return;} pull(elem, lk); } catch (...) { close(); throw; } } // enable if ValueType is nothrow movable template ValueType sync_queue::pull() { try { value_type elem; pull(elem); return boost::move(elem); } catch (...) { close(); throw; } } template boost::shared_ptr sync_queue::ptr_pull() { try { unique_lock lk(mtx_); wait_until_not_empty(lk); return ptr_pull(lk); } catch (...) { close(); throw; } } template bool sync_queue::try_push(const ValueType& elem, unique_lock& lk) { throw_if_closed(lk); push(elem, lk); return true; } template bool sync_queue::try_push(const ValueType& elem) { try { unique_lock lk(mtx_); return try_push(elem, lk); } catch (...) { close(); throw; } } template bool sync_queue::try_push(no_block_tag, const ValueType& elem) { try { unique_lock lk(mtx_, try_to_lock); if (!lk.owns_lock()) return false; return try_push(elem, lk); } catch (...) { close(); throw; } } template void sync_queue::push(const ValueType& elem) { try { unique_lock lk(mtx_); throw_if_closed(lk); push(elem, lk); } catch (...) { close(); throw; } } template bool sync_queue::try_push(BOOST_THREAD_RV_REF(ValueType) elem, unique_lock& lk) { throw_if_closed(lk); push(boost::forward(elem), lk); return true; } template bool sync_queue::try_push(BOOST_THREAD_RV_REF(ValueType) elem) { try { unique_lock lk(mtx_); return try_push(elem, lk); } catch (...) { close(); throw; } } template bool sync_queue::try_push(no_block_tag, BOOST_THREAD_RV_REF(ValueType) elem) { try { unique_lock lk(mtx_, try_to_lock); if (!lk.owns_lock()) { return false; } return try_push(elem, lk); } catch (...) { close(); throw; } } template void sync_queue::push(BOOST_THREAD_RV_REF(ValueType) elem) { try { unique_lock lk(mtx_); throw_if_closed(lk); push(elem, lk); } catch (...) { close(); throw; } } template sync_queue& operator<<(sync_queue& sbq, BOOST_THREAD_RV_REF(ValueType) elem) { sbq.push(boost::forward(elem)); return sbq; } template sync_queue& operator<<(sync_queue& sbq, ValueType const&elem) { sbq.push(elem); return sbq; } template sync_queue& operator>>(sync_queue& sbq, ValueType &elem) { sbq.pull(elem); return sbq; } } #include #endif