Атомарная операция

@feck · Регистрация: 19.03.2010

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

У меня есть такой класс:

C++
1
2
3
4
5
6
7
8
class CClass
{
public:
    bool state() const {return state_;}
private:
    bool state_ = false;
    std::mutex  mutex_;
};

Как сделать state() атомарной?
Пробовал сделать state() так:

C++
1
2
3
4
5
6
7
8
bool CClass::state() 
{
    bool a;
    mutex_.lock();
    a= state_;
    mutex_.unlock();
    return a;
}

Программа все-равно падает...
Вообще, state_ имеет другой тип состоящий из структуры, здесь написал bool для краткости.

Croessmah · 17.02.2016, 17:44

C++
1
std::atomic<Type> state_ ;

А вообще, смотря как всё это дело использовать.

@-L · 17.02.2016, 20:52

Ээм... А чем вариант с мьютексом плох? Не вижу причины для падения.

Кстати, если делать std::atomic структуры, то Вы сможете только потокобезопасно читать и писать в неё целиком. У вас не будет атомарного доступа к отдельным элементам. Только выгрузка load() и использование как обычно. Если же делать атомарными элементы структуры, то действует обратное правило - отдельные эелементы будут атомарны, а вся структура нет. Насколько мне известно atomic по сути использует тот же мьютекс

Croessmah · 17.02.2016, 21:31

-L, думаю, падения связаны с тем,
что сам интерфейс класса заточен под однопоточное
использование. Тут нужно либо менять его,
либо лочить уже во внешнем коде.

@feck · 18.02.2016, 09:37 **[ТС]**

Сообщение от -L

Ээм... А чем вариант с мьютексом плох? Не вижу причины для падения.

У меня много различных классов, объекты которых зачастую работают в многих потоках (вообще программа должна работать на сервере, так что объектов много и потоков тоже). И мьютексы, предполагаю, должны быть глобальными и их должно быть много. мьютексы принадлежащие какому-то классу, где они нужны - также разрушаются при попытке доступа к ним с другого потока параллельно.

Сообщение от Croessmah

C++
1
std::atomic<Type> state_ ;

А возможно это сделать для пользовательского (произвольного) типа?
И использование этого свойства после такого объявления будет как обычно в коде? Т.е. state_ == true?

Сообщение от Croessmah

либо лочить уже во внешнем коде.

Внешний код?

@-L · 18.02.2016, 10:21

Сообщение от feck

мьютексы принадлежащие какому-то классу, где они нужны - также разрушаются при попытке доступа к ним с другого потока параллельно.

Мьютексы как раз для этих целей и нужны вроде как.

Что значит разрушаются? Если Вы удаляете мьютекс, пока он кем-то залочен, то это может привести к чему угодно.

Также если Вы внутри одного потока попробуете повторно залочить уже залоченный ранее std::mutex, то вылетит ошибка. Для решения таких проблем существует std::recursive_mutex (количество попыток залочить который внутри одного потока тоже не безгранично, кстати)

@feck · 18.02.2016, 10:57 **[ТС]**

В общем, сделал атомарной и все-равно программа падает при попытке чтения этого значения...

@DrOffset · 18.02.2016, 11:39

Сообщение от feck

все-равно программа падает при попытке чтения этого значения

Так это может быть дело и не в многопоточности.

@feck · 18.02.2016, 12:48 **[ТС]**

DrOffset, да, может быть. Сейчас открыл журнал windows и обнаружил, что Access violation reading location 0x00000020. Походу, указатель на объект "промахивается".

Добавлено через 1 час 3 минуты
Да, атомные операции оказались вообще не нужны. Ошибка была совсем из-за другого.
P.S. теперь всегда буду проверять указатели на nullptr перед использованием)

@DrOffset · 18.02.2016, 12:51

Сообщение от feck

P.S. теперь всегда буду проверять указатели на nullptr перед использованием)

Лучше с отладчиком разобраться. Такие ошибки с ним находятся на счет раз

Новые блоги и статьи Все статьи Все блоги /
Мысли в слух. Про "навсегда". kumehtar 16.04.2026 Подумалось тут, что наверное очень глупо использовать во всяких своих установках понятие "навсегда". Это очень сильное понятие, и я только начинаю понимать край его смысла, не смотря на то что давно. . .	My Business CRM MaGz GoLd 16.04.2026 Всем привет, недавно возникла потребность создать CRM, для личных нужд. Собственно программа предоставляет из себя базу данных клиентов, в которой можно фиксировать звонки, стадии сделки, а также. . .	Знаешь почему 90% людей редко бывают счастливыми? kumehtar 14.04.2026 Потому что они ждут. Ждут выходных, ждут отпуска, ждут удачного момента. . . а удачный момент так и не приходит.	Фиксация колонок в отчете СКД Maks 14.04.2026 Фиксация колонок в СКД отчета типа Таблица. Задача: зафиксировать три левых колонки в отчете. Процедура ПриКомпоновкеРезультата(ДокументРезультат, ДанныеРасшифровки, СтандартнаяОбработка) / / . . .
Настройки VS Code Loafer 13.04.2026 { "cmake. configureOnOpen": false, "diffEditor. ignoreTrimWhitespace": true, "editor. guides. bracketPairs": "active", "extensions. ignoreRecommendations": true, . . .	Оптимизация кода на разграничение прав доступа к элементам формы Maks 13.04.2026 Алгоритм из решения ниже реализован на нетиповом документе, разработанного в конфигурации КА2. Задачи, как таковой, поставлено не было, проделанное ниже исключительно моя инициатива. Было так:. . .	Контроль заполнения и очистка дат в зависимости от значения перечислений Maks 12.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: реализовать контроль корректности заполнения дат назначения. . .	Архитектура слоя интернета для сервера-слоя. Hrethgir 11.04.2026 В продолжение https:/ / www. cyberforum. ru/ blogs/ 223907/ 10860. html Знаешь что я подумал? Раз мы все источники пишем в голове ветки, то ничего не мешает добавить в голову такой источник, который сам. . .

@-L 15 / 9 / 12 Регистрация: 03.12.2015 Сообщений: 79
	17.02.2016, 20:52
	Ээм... А чем вариант с мьютексом плох? Не вижу причины для падения. Кстати, если делать std::atomic структуры, то Вы сможете только потокобезопасно читать и писать в неё целиком. У вас не будет атомарного доступа к отдельным элементам. Только выгрузка load() и использование как обычно. Если же делать атомарными элементы структуры, то действует обратное правило - отдельные эелементы будут атомарны, а вся структура нет. Насколько мне известно atomic по сути использует тот же мьютекс 0

Croessmah Неэпический 18149 / 10731 / 2067 Регистрация: 27.09.2012 Сообщений: 27,035 Записей в блоге: 1
	17.02.2016, 21:31
	-L, думаю, падения связаны с тем, что сам интерфейс класса заточен под однопоточное использование. Тут нужно либо менять его, либо лочить уже во внешнем коде. 0

@feck 7 / 7 / 3 Регистрация: 19.03.2010 Сообщений: 182
	18.02.2016, 10:57 [ТС]
	В общем, сделал атомарной и все-равно программа падает при попытке чтения этого значения... 0

@feck 7 / 7 / 3 Регистрация: 19.03.2010 Сообщений: 182
	18.02.2016, 12:48 [ТС]
	DrOffset, да, может быть. Сейчас открыл журнал windows и обнаружил, что Access violation reading location 0x00000020. Походу, указатель на объект "промахивается". Добавлено через 1 час 3 минуты Да, атомные операции оказались вообще не нужны. Ошибка была совсем из-за другого. P.S. теперь всегда буду проверять указатели на nullptr перед использованием) 0

Опции темы