[c++, winapi] ReleaseMutex with ABANDONED

@eva2326 · Регистрация: 17.05.2015

Студворк — интернет-сервис помощи студентам

Всем привет.

В документации сказано:

The ReleaseMutex function fails if the calling thread does not own the mutex object.

Я правильно поняла?

Функция потерпит неудачу, если будет вызвана потоком, который не владеет мьютексом.

1. Создаю мьютекс.
2. Создаю дочерний поток.
3. Захватываю мьютекс в дочернем потоке ---> дочерний поток владелец.
4. Поток завершается, не освободив мьютекс ---> мьютекс стал брошенным
5. Выполняю ReleaseMutex в потоке main, который не является владельцем мьютекса.
6. Тем не менее, ReleaseMutex успешно отрабатывает.

7. main не является владельцем. Почему ReleaseMutex отрабатывает успешно?

Документация врет?

https://rextester.com/CNDM40912

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
#include <windows.h>
#include <iostream>
#include <thread>
 
HANDLE ghMutex; 
 
void foo()
{
    std::cout << "foo: begin\n";
    WaitForSingleObject(ghMutex, INFINITE);
    std::cout << "foo: done\n";
}
 
int main()
{
    ghMutex = CreateMutex(NULL, FALSE, NULL); 
 
    if (ghMutex == NULL) 
    {
        std::cout << "CreateMutex error: " <<  GetLastError() << '\n';
        return 1;
    }
    
    std::thread work(foo);
    if(work.joinable())
        work.join();
 
    
    const DWORD success1 = ReleaseMutex(ghMutex);
    if(success1 != FALSE)
    {
        std::cout << "ReleaseMutex: success1\n";
    }
    
    if(WaitForSingleObject(ghMutex, INFINITE) == WAIT_ABANDONED)
        std::cout << "ABANDONED\n";
    else
        std::cout << "SUCCESS\n";
    
    const DWORD success2 = ReleaseMutex(ghMutex);
    if(success2 != FALSE)
    {
        std::cout << "ReleaseMutex: success2\n";
    }
    
    const DWORD success3 = ReleaseMutex(ghMutex);
    if(success3 != FALSE)
    {
        std::cout << "ReleaseMutex: success3\n";
    }
}

Code
1
2
3
4
5
foo: begin
foo: done
ReleaseMutex: success1
ABANDONED
ReleaseMutex: success2

@Ygg · 16.06.2020, 21:59

Запустил у себя, результат аналогичен.
Более того, если после потока поставить ещё несколько раз ReleaseMutex, то все они возвращают TRUE.
Ошибка ли это? Скорее не очень корректное описание, что сплошь и рядом в msdn.
В контексте остального текста из раздела Return похоже на ошибку.
Но если вырвать фразу из контекста, то она вполне корректна.
Можно воспринимать "неудачу" из фразы не как возвращаемый результат работы, а как отражение сути мьютексов: чужой блок она снять не может. Вообще не вижу большого смысла проверять код возврата освобождения. Обычно вся основная логика строится на WaitFor, а там всё возвращается корректно. Представить себе какую-то полезную логику на коде возврата мьютекса мне сложно, хотя попытаться извратиться можно.

Новые блоги и статьи Все статьи Все блоги /
Перемещение выделенных строк ТЧ из одного документа в другой Maks 30.03.2026 Реализация из решения ниже выполнена на примере нетипового документа "ВыдачаОборудованияНаСпецтехнику" с единственной табличной частью "ОборудованиеИКомплектующие" разработанного в конфигурации КА2. . . .	Functional First Web Framework Suave DevAlt 30.03.2026 Sauve. IO Апнулись до NET10. Из зависимостей один пакет, работает одинаково хорошо как в режиме проекта так и в интерактивном режиме. из сложностей - чисто функциональный подход. Решил. . .	Автоматическое создание документа при проведении другого документа Maks 29.03.2026 Реализация из решения ниже выполнена на нетиповых документах, разработанных в конфигурации КА2. Есть нетиповой документ "ЗаявкаНаРемонтСпецтехники" и нетиповой документ "ПланированиеСпецтехники". В. . .	Настройка движения справочника по регистру сведений Maks 29.03.2026 Решение ниже реализовано на примере нетипового справочника "ТарифыМобильнойСвязи" разработанного в конфигурации КА2, с целью учета корпоративной мобильной связи в коммерческом предприятии. . . .
Автозаполнение реквизита при выборе элемента справочника Maks 27.03.2026 Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. При выборе "Спецтехники" (Тип Справочник. Спецтехника), заполняется. . .	Сумматор с применением элементов трёх состояний. Hrethgir 26.03.2026 Тут. https:/ / fips. ru/ EGD/ ab3c85c8-836d-4866-871b-c2f0c5d77fbc Первый документ красиво выглядит, но без схемы. Это конечно не даёт никаких плюсов автору, но тем не менее. . . всё может быть. . .	Автозаполнение реквизитов при создании документа Maks 26.03.2026 Программный код из решения ниже размещается в модуле объекта документа, в процедуре "ПриСозданииНаСервере". Алгоритм проверки заполнения реализован для исключения перезаписи значения реквизита,. . .	Команды формы и диалоговое окно Maks 26.03.2026 1. Команда формы "ЗаполнитьЗапчасти". Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. В качестве источника данных. . .

@Ygg 2736 / 891 / 331 Регистрация: 10.02.2018 Сообщений: 2,118
	16.06.2020, 21:59
	Запустил у себя, результат аналогичен. Более того, если после потока поставить ещё несколько раз ReleaseMutex, то все они возвращают TRUE. Ошибка ли это? Скорее не очень корректное описание, что сплошь и рядом в msdn. В контексте остального текста из раздела Return похоже на ошибку. Но если вырвать фразу из контекста, то она вполне корректна. Можно воспринимать "неудачу" из фразы не как возвращаемый результат работы, а как отражение сути мьютексов: чужой блок она снять не может. Вообще не вижу большого смысла проверять код возврата освобождения. Обычно вся основная логика строится на WaitFor, а там всё возвращается корректно. Представить себе какую-то полезную логику на коде возврата мьютекса мне сложно, хотя попытаться извратиться можно. 1