Форум программистов, компьютерный форум, киберфорум
Наши страницы

С++ для начинающих

Войти
Регистрация
Восстановить пароль
 
HardMorg
3 / 26 / 3
Регистрация: 29.08.2010
Сообщений: 204
#1

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

11.12.2013, 13:01. Просмотров 347. Ответов 4
Метки нет (Все метки)

Здравствуйте, у меня вопрос, есть разница в том как освобождать мютексы??
пример
захватываем мютекс А, потом захватываем В ... освобождаем А, освобождаем В
или нужно освобождать обязательно в обратном порядке?
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
11.12.2013, 13:01
Я подобрал для вас темы с готовыми решениями и ответами на вопрос Как правильно освобождать мютексы (C++):

Как правильно освобождать память - C++
Подскажите пожалуйста ,где память чистить в таком случае?Или как это правильно сделать. char *funk(.....){ char *name = new...

Как правильно освобождать память в динамических структурах - C++
Использую деструктор для освобождения памяти от указателя на начало списка. struct Node { int x; Node *Next; }; class...

Как и когда правильно освобождать динамически выделенную память? - C++
Доброго времени суток! Задалась вопросом, заданным в заголовке темы "Как и когда правильно освобождать динамически выделенную...

Обязательно ли освобождать память? - C++
Обязательно ли освобождать память, если та область которая выделялась не использовалась в процессе работы программы? Просто, в такой...

Нужно ли освобождать память перед повторым выделением? - C++
к примеру мы имеем: char *itsString = new char; delete itsString; char *itsString = new char; Обязательно/желательно ли...

Как правильно вписать функцию в h-файл и правильно её отразить в основной функции? - C++
Создать внешнюю библиотеку, в которой написана функция вывода символьного массива обратном порядке. Подключить данную библиотеку к ...

4
DiffEreD
1440 / 777 / 95
Регистрация: 21.06.2011
Сообщений: 1,740
Записей в блоге: 2
11.12.2013, 13:13 #2
В некоторых случаях определить порядок захвата мютексов невозможно. Можно использовать std::lock()
0
HardMorg
3 / 26 / 3
Регистрация: 29.08.2010
Сообщений: 204
11.12.2013, 13:15  [ТС] #3
DiffEreD, я спрашивал не про это
0
DiffEreD
1440 / 777 / 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 минуту
Еще есть такая заметка на хабре: Два простых правила для предотвращения взаимных блокировок на мьютексах
2
HardMorg
3 / 26 / 3
Регистрация: 29.08.2010
Сообщений: 204
11.12.2013, 22:05  [ТС] #5
DiffEreD, да спасибо, но вы мне показали немного не то что я хотел узнать,
вот смотрите на хабре статья, про два правило -
первое правило гласит:

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

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

Добавлено через 7 часов 40 минут
up...
0
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
11.12.2013, 22:05
Привет! Вот еще темы с ответами:

Как правильно унаследовать TPoint2D от TPoint3D/ Правильно ли наследовать? ООП - C++
Два пользовательских класса: Точка в 2D пространстве и точка в 3D пространстве. class TPoint3D{ int X,Y,Z; public: ...

Зачем нужно освобождать память динамических объектов в деструкторе, если всё равно это сделает менеджер памяти - C++
Не скажу за все ОС-и, но под Windows есть менеджер памяти. Когда по ходу кода встречается new, ну или что - то другое для алокации...

Нужно ли освобождать память от "sqlite3_column_blob" - C++
Достаю blob данные из SQLite3: int length = sqlite3_column_bytes(stmt,0); char* pData = new char; const char *pBuffer =...

Как правильно вызвать метод в С++ и как использовать команду goto в default - C++
#include &lt;iostream&gt;; #include &lt;conio.h&gt;; using namespace std; void main() { setlocale(LC_ALL, &quot;Rus&quot;); calculate(); ...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
5
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.
Рейтинг@Mail.ru