123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468 |
- // 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)
- // (C) Copyright 2007 Anthony Williams
- // (C) Copyright 2011-2012 Vicente J. Botet Escriba
- #ifndef BOOST_THREAD_LOCK_ALGORITHMS_HPP
- #define BOOST_THREAD_LOCK_ALGORITHMS_HPP
- #include <boost/thread/detail/config.hpp>
- #include <boost/thread/lock_types.hpp>
- #include <boost/thread/lockable_traits.hpp>
- #include <algorithm>
- #include <iterator>
- #include <boost/config/abi_prefix.hpp>
- namespace boost
- {
- namespace detail
- {
- template <typename MutexType1, typename MutexType2>
- unsigned try_lock_internal(MutexType1& m1, MutexType2& m2)
- {
- boost::unique_lock<MutexType1> l1(m1, boost::try_to_lock);
- if (!l1)
- {
- return 1;
- }
- if (!m2.try_lock())
- {
- return 2;
- }
- l1.release();
- return 0;
- }
- template <typename MutexType1, typename MutexType2, typename MutexType3>
- unsigned try_lock_internal(MutexType1& m1, MutexType2& m2, MutexType3& m3)
- {
- boost::unique_lock<MutexType1> l1(m1, boost::try_to_lock);
- if (!l1)
- {
- return 1;
- }
- if (unsigned const failed_lock=try_lock_internal(m2,m3))
- {
- return failed_lock + 1;
- }
- l1.release();
- return 0;
- }
- template <typename MutexType1, typename MutexType2, typename MutexType3, typename MutexType4>
- unsigned try_lock_internal(MutexType1& m1, MutexType2& m2, MutexType3& m3, MutexType4& m4)
- {
- boost::unique_lock<MutexType1> l1(m1, boost::try_to_lock);
- if (!l1)
- {
- return 1;
- }
- if (unsigned const failed_lock=try_lock_internal(m2,m3,m4))
- {
- return failed_lock + 1;
- }
- l1.release();
- return 0;
- }
- template <typename MutexType1, typename MutexType2, typename MutexType3, typename MutexType4, typename MutexType5>
- unsigned try_lock_internal(MutexType1& m1, MutexType2& m2, MutexType3& m3, MutexType4& m4, MutexType5& m5)
- {
- boost::unique_lock<MutexType1> l1(m1, boost::try_to_lock);
- if (!l1)
- {
- return 1;
- }
- if (unsigned const failed_lock=try_lock_internal(m2,m3,m4,m5))
- {
- return failed_lock + 1;
- }
- l1.release();
- return 0;
- }
- template <typename MutexType1, typename MutexType2>
- unsigned lock_helper(MutexType1& m1, MutexType2& m2)
- {
- boost::unique_lock<MutexType1> l1(m1);
- if (!m2.try_lock())
- {
- return 1;
- }
- l1.release();
- return 0;
- }
- template <typename MutexType1, typename MutexType2, typename MutexType3>
- unsigned lock_helper(MutexType1& m1, MutexType2& m2, MutexType3& m3)
- {
- boost::unique_lock<MutexType1> l1(m1);
- if (unsigned const failed_lock=try_lock_internal(m2,m3))
- {
- return failed_lock;
- }
- l1.release();
- return 0;
- }
- template <typename MutexType1, typename MutexType2, typename MutexType3, typename MutexType4>
- unsigned lock_helper(MutexType1& m1, MutexType2& m2, MutexType3& m3, MutexType4& m4)
- {
- boost::unique_lock<MutexType1> l1(m1);
- if (unsigned const failed_lock=try_lock_internal(m2,m3,m4))
- {
- return failed_lock;
- }
- l1.release();
- return 0;
- }
- template <typename MutexType1, typename MutexType2, typename MutexType3, typename MutexType4, typename MutexType5>
- unsigned lock_helper(MutexType1& m1, MutexType2& m2, MutexType3& m3, MutexType4& m4, MutexType5& m5)
- {
- boost::unique_lock<MutexType1> l1(m1);
- if (unsigned const failed_lock=try_lock_internal(m2,m3,m4,m5))
- {
- return failed_lock;
- }
- l1.release();
- return 0;
- }
- }
- namespace detail
- {
- template <bool x>
- struct is_mutex_type_wrapper
- {
- };
- template <typename MutexType1, typename MutexType2>
- void lock_impl(MutexType1& m1, MutexType2& m2, is_mutex_type_wrapper<true> )
- {
- unsigned const lock_count = 2;
- unsigned lock_first = 0;
- for (;;)
- {
- switch (lock_first)
- {
- case 0:
- lock_first = detail::lock_helper(m1, m2);
- if (!lock_first) return;
- break;
- case 1:
- lock_first = detail::lock_helper(m2, m1);
- if (!lock_first) return;
- lock_first = (lock_first + 1) % lock_count;
- break;
- }
- }
- }
- template <typename Iterator>
- void lock_impl(Iterator begin, Iterator end, is_mutex_type_wrapper<false> );
- }
- template <typename MutexType1, typename MutexType2>
- void lock(MutexType1& m1, MutexType2& m2)
- {
- detail::lock_impl(m1, m2, detail::is_mutex_type_wrapper<is_mutex_type<MutexType1>::value>());
- }
- template <typename MutexType1, typename MutexType2>
- void lock(const MutexType1& m1, MutexType2& m2)
- {
- detail::lock_impl(m1, m2, detail::is_mutex_type_wrapper<is_mutex_type<MutexType1>::value>());
- }
- template <typename MutexType1, typename MutexType2>
- void lock(MutexType1& m1, const MutexType2& m2)
- {
- detail::lock_impl(m1, m2, detail::is_mutex_type_wrapper<is_mutex_type<MutexType1>::value>());
- }
- template <typename MutexType1, typename MutexType2>
- void lock(const MutexType1& m1, const MutexType2& m2)
- {
- detail::lock_impl(m1, m2, detail::is_mutex_type_wrapper<is_mutex_type<MutexType1>::value>());
- }
- template <typename MutexType1, typename MutexType2, typename MutexType3>
- void lock(MutexType1& m1, MutexType2& m2, MutexType3& m3)
- {
- unsigned const lock_count = 3;
- unsigned lock_first = 0;
- for (;;)
- {
- switch (lock_first)
- {
- case 0:
- lock_first = detail::lock_helper(m1, m2, m3);
- if (!lock_first) return;
- break;
- case 1:
- lock_first = detail::lock_helper(m2, m3, m1);
- if (!lock_first) return;
- lock_first = (lock_first + 1) % lock_count;
- break;
- case 2:
- lock_first = detail::lock_helper(m3, m1, m2);
- if (!lock_first) return;
- lock_first = (lock_first + 2) % lock_count;
- break;
- }
- }
- }
- template <typename MutexType1, typename MutexType2, typename MutexType3, typename MutexType4>
- void lock(MutexType1& m1, MutexType2& m2, MutexType3& m3, MutexType4& m4)
- {
- unsigned const lock_count = 4;
- unsigned lock_first = 0;
- for (;;)
- {
- switch (lock_first)
- {
- case 0:
- lock_first = detail::lock_helper(m1, m2, m3, m4);
- if (!lock_first) return;
- break;
- case 1:
- lock_first = detail::lock_helper(m2, m3, m4, m1);
- if (!lock_first) return;
- lock_first = (lock_first + 1) % lock_count;
- break;
- case 2:
- lock_first = detail::lock_helper(m3, m4, m1, m2);
- if (!lock_first) return;
- lock_first = (lock_first + 2) % lock_count;
- break;
- case 3:
- lock_first = detail::lock_helper(m4, m1, m2, m3);
- if (!lock_first) return;
- lock_first = (lock_first + 3) % lock_count;
- break;
- }
- }
- }
- template <typename MutexType1, typename MutexType2, typename MutexType3, typename MutexType4, typename MutexType5>
- void lock(MutexType1& m1, MutexType2& m2, MutexType3& m3, MutexType4& m4, MutexType5& m5)
- {
- unsigned const lock_count = 5;
- unsigned lock_first = 0;
- for (;;)
- {
- switch (lock_first)
- {
- case 0:
- lock_first = detail::lock_helper(m1, m2, m3, m4, m5);
- if (!lock_first) return;
- break;
- case 1:
- lock_first = detail::lock_helper(m2, m3, m4, m5, m1);
- if (!lock_first) return;
- lock_first = (lock_first + 1) % lock_count;
- break;
- case 2:
- lock_first = detail::lock_helper(m3, m4, m5, m1, m2);
- if (!lock_first) return;
- lock_first = (lock_first + 2) % lock_count;
- break;
- case 3:
- lock_first = detail::lock_helper(m4, m5, m1, m2, m3);
- if (!lock_first) return;
- lock_first = (lock_first + 3) % lock_count;
- break;
- case 4:
- lock_first = detail::lock_helper(m5, m1, m2, m3, m4);
- if (!lock_first) return;
- lock_first = (lock_first + 4) % lock_count;
- break;
- }
- }
- }
- namespace detail
- {
- template <typename Mutex, bool x = is_mutex_type<Mutex>::value>
- struct try_lock_impl_return
- {
- typedef int type;
- };
- template <typename Iterator>
- struct try_lock_impl_return<Iterator, false>
- {
- typedef Iterator type;
- };
- template <typename MutexType1, typename MutexType2>
- int try_lock_impl(MutexType1& m1, MutexType2& m2, is_mutex_type_wrapper<true> )
- {
- return ((int) detail::try_lock_internal(m1, m2)) - 1;
- }
- template <typename Iterator>
- Iterator try_lock_impl(Iterator begin, Iterator end, is_mutex_type_wrapper<false> );
- }
- template <typename MutexType1, typename MutexType2>
- typename detail::try_lock_impl_return<MutexType1>::type try_lock(MutexType1& m1, MutexType2& m2)
- {
- return detail::try_lock_impl(m1, m2, detail::is_mutex_type_wrapper<is_mutex_type<MutexType1>::value>());
- }
- template <typename MutexType1, typename MutexType2>
- typename detail::try_lock_impl_return<MutexType1>::type try_lock(const MutexType1& m1, MutexType2& m2)
- {
- return detail::try_lock_impl(m1, m2, detail::is_mutex_type_wrapper<is_mutex_type<MutexType1>::value>());
- }
- template <typename MutexType1, typename MutexType2>
- typename detail::try_lock_impl_return<MutexType1>::type try_lock(MutexType1& m1, const MutexType2& m2)
- {
- return detail::try_lock_impl(m1, m2, detail::is_mutex_type_wrapper<is_mutex_type<MutexType1>::value>());
- }
- template <typename MutexType1, typename MutexType2>
- typename detail::try_lock_impl_return<MutexType1>::type try_lock(const MutexType1& m1, const MutexType2& m2)
- {
- return detail::try_lock_impl(m1, m2, detail::is_mutex_type_wrapper<is_mutex_type<MutexType1>::value>());
- }
- template <typename MutexType1, typename MutexType2, typename MutexType3>
- int try_lock(MutexType1& m1, MutexType2& m2, MutexType3& m3)
- {
- return ((int) detail::try_lock_internal(m1, m2, m3)) - 1;
- }
- template <typename MutexType1, typename MutexType2, typename MutexType3, typename MutexType4>
- int try_lock(MutexType1& m1, MutexType2& m2, MutexType3& m3, MutexType4& m4)
- {
- return ((int) detail::try_lock_internal(m1, m2, m3, m4)) - 1;
- }
- template <typename MutexType1, typename MutexType2, typename MutexType3, typename MutexType4, typename MutexType5>
- int try_lock(MutexType1& m1, MutexType2& m2, MutexType3& m3, MutexType4& m4, MutexType5& m5)
- {
- return ((int) detail::try_lock_internal(m1, m2, m3, m4, m5)) - 1;
- }
- namespace detail
- {
- template <typename Iterator>
- struct range_lock_guard
- {
- Iterator begin;
- Iterator end;
- range_lock_guard(Iterator begin_, Iterator end_) :
- begin(begin_), end(end_)
- {
- boost::lock(begin, end);
- }
- void release()
- {
- begin = end;
- }
- ~range_lock_guard()
- {
- for (; begin != end; ++begin)
- {
- begin->unlock();
- }
- }
- };
- template <typename Iterator>
- Iterator try_lock_impl(Iterator begin, Iterator end, is_mutex_type_wrapper<false> )
- {
- if (begin == end)
- {
- return end;
- }
- typedef typename std::iterator_traits<Iterator>::value_type lock_type;
- unique_lock<lock_type> guard(*begin, try_to_lock);
- if (!guard.owns_lock())
- {
- return begin;
- }
- Iterator const failed = boost::try_lock(++begin, end);
- if (failed == end)
- {
- guard.release();
- }
- return failed;
- }
- }
- namespace detail
- {
- template <typename Iterator>
- void lock_impl(Iterator begin, Iterator end, is_mutex_type_wrapper<false> )
- {
- typedef typename std::iterator_traits<Iterator>::value_type lock_type;
- if (begin == end)
- {
- return;
- }
- bool start_with_begin = true;
- Iterator second = begin;
- ++second;
- Iterator next = second;
- for (;;)
- {
- unique_lock<lock_type> begin_lock(*begin, defer_lock);
- if (start_with_begin)
- {
- begin_lock.lock();
- Iterator const failed_lock = boost::try_lock(next, end);
- if (failed_lock == end)
- {
- begin_lock.release();
- return;
- }
- start_with_begin = false;
- next = failed_lock;
- }
- else
- {
- detail::range_lock_guard<Iterator> guard(next, end);
- if (begin_lock.try_lock())
- {
- Iterator const failed_lock = boost::try_lock(second, next);
- if (failed_lock == next)
- {
- begin_lock.release();
- guard.release();
- return;
- }
- start_with_begin = false;
- next = failed_lock;
- }
- else
- {
- start_with_begin = true;
- next = second;
- }
- }
- }
- }
- }
- }
- #include <boost/config/abi_suffix.hpp>
- #endif
|