Слабо разбираюсь в многопоточном программировании. Подскажите, пожалуйста, для чего бывает нужно использовать сразу два mutex?

class ProtectedResource {
   std::mutext m_mutex1;
   std::mutext m_mutex1;
   Resource m_resource;
public:
   void accessSharedResource() {
      std::lock_guard<mutex> locker1(m_mutex1);
      std::lock_guard<mutex> locker2(m_mutex2);
      // access m_resource
   }
}

Т.е. бывает что одного mutex не достаточно? В каких случаях?

Здравствуйте, Максим Рогожин, Вы писали:

МР>Слабо разбираюсь в многопоточном программировании. Подскажите, пожалуйста, для чего бывает нужно использовать сразу два mutex?

Когда требуется обратиться к одновременно двум защищаемым данным.

Вообще, лучше такого избегать, т.к. разный порядок захвата мьютексов — способ получить deadlock.

Здравствуйте, Alexander G, Вы писали:

AG>Когда требуется обратиться к одновременно двум защищаемым данным.

Спасибо. Т.е. получается я неправильный пример кода привел? У меня только один ресурс m_resource — в таких случаях два mutex никогда не нужны, так?

Здравствуйте, Alexander G, Вы писали:

AG>Здравствуйте, Максим Рогожин, Вы писали:

МР>>Слабо разбираюсь в многопоточном программировании. Подскажите, пожалуйста, для чего бывает нужно использовать сразу два mutex?

AG>Когда требуется обратиться к одновременно двум защищаемым данным.

AG>Вообще, лучше такого избегать, т.к. разный порядок захвата мьютексов — способ получить deadlock.

как дополнение — в с++17 во избежание сего чуда введен std::scoped_lock

Здравствуйте, Максим Рогожин, Вы писали:

МР>У меня только один ресурс m_resource — в таких случаях два mutex никогда не нужны, так?

Да.

Здравствуйте, rumit7, Вы писали:

R>как дополнение — в с++17 во избежание сего чуда введен std::scoped_lock

В С++11 то же самое делается с помощью adopt_lock.

std::lock(e1.m, e2.m);
std::lock_guard<std::mutex> lk1(e1.m, std::adopt_lock);
std::lock_guard<std::mutex> lk2(e2.m, std::adopt_lock);