Форум программистов, компьютерный форум CyberForum.ru

Как правильно освобождать мютексы - C++

Восстановить пароль Регистрация
 
HardMorg
2 / 25 / 3
Регистрация: 29.08.2010
Сообщений: 204
11.12.2013, 13:01     Как правильно освобождать мютексы #1
Здравствуйте, у меня вопрос, есть разница в том как освобождать мютексы??
пример
захватываем мютекс А, потом захватываем В ... освобождаем А, освобождаем В
или нужно освобождать обязательно в обратном порядке?
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
DiffEreD
 Аватар для DiffEreD
1420 / 757 / 95
Регистрация: 21.06.2011
Сообщений: 1,740
Записей в блоге: 2
11.12.2013, 13:13     Как правильно освобождать мютексы #2
В некоторых случаях определить порядок захвата мютексов невозможно. Можно использовать std::lock()
HardMorg
2 / 25 / 3
Регистрация: 29.08.2010
Сообщений: 204
11.12.2013, 13:15  [ТС]     Как правильно освобождать мютексы #3
DiffEreD, я спрашивал не про это
DiffEreD
 Аватар для DiffEreD
1420 / 757 / 95
Регистрация: 21.06.2011
Сообщений: 1,740
Записей в блоге: 2
11.12.2013, 14:15     Как правильно освобождать мютексы #4
В общем случае, если сначала захватываем А и потом В, то освобождать надо бы в обратном порядке - сначала освобождаем В, потом А. Но возможен deadlock. Вот надуманный пример:
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
#include <iostream>
#include <mutex>
#include <thread>
#include <functional>
#include <chrono>
 
class A {};
void swap(A&, A&) {}
 
class B
{
   A data;
   std::mutex m;
public:
   B(A data_ = A()) : data(data_) {}
 
   friend void swap_bad(B&, B&);
   friend void swap_good(B&, B&);
};
 
void swap_bad(B& lhs, B& rhs)
{
   if (&lhs == &rhs) return;
 
   lhs.m.lock();
   //задержка времени для имитации deadlock
   std::this_thread::sleep_for(std::chrono::seconds(1));
   rhs.m.lock();
 
   swap(lhs.data, rhs.data);
 
   rhs.m.unlock();
   lhs.m.unlock();
}
 
void swap_good(B& lhs, B& rhs)
{
   if (&lhs == &rhs) return;
 
   std::lock(lhs.m, rhs.m);
   std::lock_guard<std::mutex> lock_a(lhs.m, std::adopt_lock);
   std::lock_guard<std::mutex> lock_b(rhs.m, std::adopt_lock);
 
   swap(lhs.data, rhs.data);
}
 
int main()
{
   B b1, b2;
 
   //Bad:
//   std::thread t1(swap_bad, std::ref(b1), std::ref(b2));
//   std::thread t2(swap_bad, std::ref(b2), std::ref(b1));
 
//   t1.join();
//   t2.join();
 
   //Good:
   std::thread t3(swap_good, std::ref(b1), std::ref(b2));
   std::thread t4(swap_good, std::ref(b2), std::ref(b1));
 
   t3.join();
   t4.join();
 
   std::cout << "\n\nDone." << std::endl;
   return 0;
}
Добавлено через 1 минуту
Еще есть такая заметка на хабре: Два простых правила для предотвращения взаимных блокировок на мьютексах
HardMorg
2 / 25 / 3
Регистрация: 29.08.2010
Сообщений: 204
11.12.2013, 22:05  [ТС]     Как правильно освобождать мютексы #5
DiffEreD, да спасибо, но вы мне показали немного не то что я хотел узнать,
вот смотрите на хабре статья, про два правило -
первое правило гласит:

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

вот меня и интересует почему в обратном порядке, ибо я реального примера не придумал чтобы объяснить это правило, мне интересно услышать пример в котором это правило подтверждалось

Добавлено через 7 часов 40 минут
up...
Yandex
Объявления
11.12.2013, 22:05     Как правильно освобождать мютексы
Ответ Создать тему
Опции темы

Текущее время: 23:00. Часовой пояс GMT +3.
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2016, vBulletin Solutions, Inc.
Рейтинг@Mail.ru