Отсрочка блокировок и `boost::lock`

Question

Я читал разницу между lock_guard и unique_lock и обнаружил, что unique_lock - это расширенная версия lock_guard. Так, что с уникальной блокировкой блокировку всегда можно отложить. Я читал эту статью и натолкнулся на boost::lock. Я хотел знать, как я могу использовать этот метод. Я попробовал следующее:

boost::mutex mutx;
boost::unique_lock<boost::mutex> guard (mutx,boost::defer_lock);
boost::lock(guard); //too few arguments in function call.

Я был бы признателен, если бы кто-то мог объяснить мне, что делает boost::lock и как это работает. Спасибо

Answer 1

Цель boost::lock заключается в блокировке нескольких блокировок, гарантирующих отсутствие тупиковой ситуации.

Рассмотрим случай:

unique_lock<...> a, b;

// thread 1
a.lock();
b.lock();
...

// thread 2
b.lock();
a.lock();

Теперь, если первый поток блокирует a заблокировать, а затем вторая нить блокирует b Блокировка, у вас есть проблема: обе блокировки заблокированы, и потоки не будут выполнять ничего, пока один из них не разблокирует блокировку, что невозможно. Это состояние называется тупиком.

boost::lock позволяет избежать этой проблемы, сняв все блокировки, которые он уже заблокировал, когда обнаружит заблокированную блокировку. Реализация для случая двух блокировок может выглядеть примерно так:

template<class L1, class L2>
void lock(L1& l1, L2& l2) 
{
    while (1) {
        if (l1.try_lock()) {
            if (l2.try_lock()) {
                return;
            } else {
                l1.unlock();
            }
        } 
        // yield (execute another thread) here
    }
}

Answer 2

Ты имел ввиду

mutex mutx
unique_lock<mutex> guard(mutx,defer_lock);
guard.lock();

?

Когда у вас есть lock_guard или же unique_lockВы перестаете связываться с мьютексом напрямую и работаете над объектом охраны.