Что такое thread safe?

@Тамика · Регистрация: 16.02.2010

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

Всем добрый день!

Вопрос, собственно, в имени темы.

Что это такое? Я так понимаю, что переменная не меняет значения при изменении потоков? Всегда плавала в этой теме.

И какие есть способы сохранить переменную?

Заранее спасибо

Evg · 01.02.2017, 20:34

Сообщение от Тамика

Evg, простите, пожалуйста, но можно подробнее? Не поняла... Вы имеете в виду return ID?

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

Может глупость скажу,но я так понимаю есть вероятность,что в момента return'a другой поток может поменять значение

Это не глупость, а ровно истина. Переменная ID глобальная и по смыслу обладает свойством, что каждый поток должен с ней работать строго по очереди. Это достигается при помощи запирания и отпирания мьютекса. При этом ВСЯ работа с этой переменной должна быть внутри этой области (которая по умному называется "критическая секция")

Сообщение от Тамика

Evg, Croessmah, GbaLog-, дайте мне, пожалуйста, какую-нибудь задачку на закрепление... А то боюсь, что сейчас что-то поняла, а через неделю забуду и не вспомню

Внутри каждого потока нужно сгенерировать какую-нибудь величину (например, rand'ом). А затем через общую функцию, вызываемую в процессе исполнения потока, просуммировать все значения. По завершении всех потоков распечатать результат

Croessmah · 01.02.2017, 20:35

Сообщение от Тамика

будет выделяться новый адрес под эту переменную?

Угу.
И mutex можно сделать статическим, но локальным для функции.

Сообщение от Тамика

з.ы. а что это за Вильямс

Литература C++

@Peoples · 01.02.2017, 20:36

Тамика, Энтони Уильямс - Параллельное программирование на С++ в действии. Достаточно подробно и информативно всё описывается

MrGluck · 01.02.2017, 20:54

Тамика, если планируете всерьёз изучать тему по параллельному программированию, то обязательно прочтите "Параллельное программирование на С++ в действии. Практика разработки многопоточных программ". Я как раз вчера себе бумажную версию заказал, планирую перечитать.

Добавлено через 35 секунд

Не по теме:

А, блин, не заметил, что уже успели на вторую страницу нафлудить.

@hoggy · 01.02.2017, 21:02

Сообщение от Тамика

Здесь ведь нет опасности изменения другим потоком i?

нет, здесь всё в порядке.

единственное:
использовать мутекс в данном примере - нерационально.

если так приспичело локать/анлокать,
то лучше использовать спинлок
(в стандартной либе его нет.
но он элементарно велосипедится стандартными средствами.
если хотите - могу подкинуть готовый образчик)

ну кроме того,
конкретно в этом примере вообще не нужны ни мутексы,
ни спинлоки.

лучше всего для этой задачи подойдет std::atomic

можно сделать вот так вот:

C++
1
static std::atomic<int> ID = 0;

и мутексы можно будет вообще убрать.

причем на большинстве платформ,
std::atomic<int> вообще вроде как
оптимизирован,
и не использует блокировку.

Evg · 01.02.2017, 21:15

можно сделать вот так вот:

C++
1
static std::atomic<int> ID = 0;

и мутексы можно будет вообще убрать.

В изначальном варианте

C
ID++;
return ID;

это не спасёт

А по части обучения - в очередной раз выскажусь на тему того, что сначала надо изучать матчасть, а потом пользоваться всякими плюшками от Си++ и прочих монстров

@rat0r · 18.02.2018, 07:17

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

В изначальном варианте это не спасёт

Ну заменить на return ID++;

Evg · 18.02.2018, 11:36

@Undisputed · 18.02.2018, 11:37

rat0r,
А что это даст? Все равно остаётся 2 операции, инкремент и копирование данных в вызывающую сторону...
И вполне возможно что после инкремента но до процесса копирования в вызывающую сторону другой поток мог бы изменить значение атомарной переменной... В итоге вернётся значение которое функция не предусматривала.

@rat0r · 18.02.2018, 13:22

Evg, да, я делаю так же, когда вижу, что кто-то городит мьютексы там, где достаточно std::atomic.

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

А что это даст?

Весьма вероятно, что хороший прирост скорости.

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

Все равно остаётся 2 операции, инкремент и копирование данных в вызывающую сторону

С мьютексом тоже 2 опрерации: инкремент (под мьютексом) и копирование данных в вызывающую сторону (без мьютекса).

Evg · 18.02.2018, 13:24

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

Весьма вероятно, что хороший прирост скорости

Ценой неправильной работы кода

@rat0r · 18.02.2018, 13:27

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

Ценой неправильной работы кода

Any proofs?

Evg · 18.02.2018, 14:09

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

Any proofs?

Any proofs for reverse?

@rat0r · 18.02.2018, 14:36

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

Any proofs for reverse?

Мне банально влом разжёвывать матчасть, которая уже разжёвана, например, на том же stackoverflow.

А вот послушать аргументы почему код, про который известно, что он корректный, работает неправильно, это всегда любопытно.

Evg · 18.02.2018, 15:05

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

Мне банально влом разжёвывать матчасть, которая уже разжёвана, например, на том же stackoverflow

Ага. Это особенно актуально, когда написано про красные треугольники, а ты начинаешь рассказывать про зелёные квадраты. Есть русскоязычный аналог - слышу звон, но не знаю, где он

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

А вот послушать аргументы почему код, про который известно, что он корректный, работает неправильно, это всегда любопытно

Ну так читай тему с самого начала. Или тоже банально влом?

Croessmah · 18.02.2018, 15:07

del

@rat0r · 18.02.2018, 15:19

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

Ну так читай тему с самого начала.

Уже читал. Обсуждается в основном оригинальное задание - обеспечить синхронизацию мьютексом. Я не спорю, что там всё верно и мьютексом можно.
Чёрт с оригинальным заданием, мы обсуждаем std::atomic + return ID++;. Как тут поможет чтение треда? Получается классическая ситуация, когда обсуждаются красные треугольники, а меня отправляют читать про зелёные квадраты.

Evg · 18.02.2018, 15:21

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

мы обсуждаем std::atomic + return ID++;

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

Добавлено через 1 минуту

Не по теме:

Не по-русски выразился, ну да ладно, вроде бы смысл ясен

@rat0r · 18.02.2018, 20:01

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

Если хочешь обсудить что-то другое, лежащее вне темы обсуждения данной темы, заведи отдельную тему и обсуждай.

Тема обсуждения "Что такое thread safe?", так что это лежит в теме обсуждения.

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

Только не забудь внятно написать, что конкретно ты обсуждаешь

А из того, что я цитироват ответ на сообщение hoggy, который предложил std::atomic, было неясно, про что мы говорим?

Добавлено через 4 часа 35 минут
В общем, я так понял, к корректности кода

C++
1
2
3
4
5
int GenID()
{
static std::atomic<int> ID = 0;
return ID++;
}

вопросов нет, просто не поняли, что речь шла о нём.

Evg · 18.02.2018, 20:21

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

просто не поняли

Похоже на то. В принципе, так оно обычно и бывает, когда стороны начинают на ровном месте заниматься выяснением отношений

Что касается последнего твоего примера из поста #39, то, вероятно, это должно спасти ситуацию, но не уверен. Вот тут http://en.cppreference.com/w/cpp/atomic/atomic нет внятного описания, что делает оператор ++. Рядом описан метод fetch_add, по описанию он и выполняет то, что нужно. Если посмотреть на препроцессированный файл из-под g++, то оператор ++ реализован в виде fetch_add(1), т.е. как бы делает то, что нужно

Поэтому если в стандарте оператор ++ описан именно так, то такая реализация будет корректной. Правда перед ТС'ом была поставлена другая задача, но не суть

Новые блоги и статьи Все статьи Все блоги /
Генератор паролей (вариант №1) Maks 29.10.2026 Реализация из решения ниже выполнена исключительно по моей инициативе. Самым главным критерием для меня было создание паролей, в котором отсутствуют знаки: \| 1 l I Обработка содержит реквизиты: -. . .	Установка ChatGPT (Codex) на Windows без использования Microsoft Store Fabien159 28.10.2026 Здравствуйте всем читающим! Опишу процесс установки ChatGPT (Codex) на Windows, если по каким-то причинам у вас не получается устанавить его через Microsoft Store. И так: 1. Скачиваем с. . .	Программное добавление префикса в нумерацию документов Maks 27.10.2026 Реализация из решения ниже выполнена в самописной конфигурации на БСП (помощь начинающему коллеге). Задача: Программно добавить префикс в нумерацию документов. Решение: В модуле объекта. . .	После закрытия оутлука продолжает висеть процесс в диспетчере задач Maks 27.10.2026 С недавнего времени в продакшене возникла проблема: при закрытии оутлука в диспетчере задач продолжал висеть процесс outlook. exe. Проблема возникла после установки MS Office 2021 LTSC на машинах, под. . .
Baragoz - DPS/HPS бот для WoW 3.3.5a, многоязычный AmbA 26.10.2026 Хотите ещё ботов? У меня есть один! А я пока отдохну от него. https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=12062&stc=1&d=1793007952 Инструкция внутри. https:/ / youtu. be/ VpfFZSUDGnQ. . .	Особенности gif сгенерированных в Си russiannick 21.10.2026 Рассмотрим генерацию gif файлов, которые в Си имеют свои особенности. Gif представляет собой графический формат популярный в интернете. Посмотрим на палитру. Gif файл сгенерированный в си отличается. . .	FPS контроллер с анимированными Y-Bot и 3D-звуком miniaudio (Box3D, Recast, BehaviorTree.CPP, ozz-animation, ImGui, OpenGL и SDL3) 8Observer8 18.10.2026 Содержание блога \| English Version Полное мультиплатформенное руководство по стартовому проекту с FPS-контроллером игрока, анимированными роботами Y-Bot с 4-слойным блендингом, 3D-физикой Box3D,. . .	Локальный http сервер Argus19 17.10.2026 Локальный http сервер На работе, на двух локальных компьютерах круглосуточно работают программы опроса приборов с записью в книги Excel,которые раз в сутки записываются на сервер компании. Т. к. . . .

@Тамика Котовчанин 942 / 482 / 200 Регистрация: 16.02.2010 Сообщений: 3,338 Записей в блоге: 35

	Что такое thread safe? 01.02.2017, 15:43. Показов 12238. Ответов 44 Метки нет (Все метки) Всем добрый день! Вопрос, собственно, в имени темы. Что это такое? Я так понимаю, что переменная не меняет значения при изменении потоков? Всегда плавала в этой теме. И какие есть способы сохранить переменную? Заранее спасибо 1

@Peoples 1624 / 954 / 782 Регистрация: 06.02.2016 Сообщений: 2,452 Записей в блоге: 31
	01.02.2017, 20:36
	Тамика, Энтони Уильямс - Параллельное программирование на С++ в действии. Достаточно подробно и информативно всё описывается 1

MrGluck Форумчанин 8217 / 5048 / 1437 Регистрация: 29.11.2010 Сообщений: 13,453
	01.02.2017, 20:54
	Тамика, если планируете всерьёз изучать тему по параллельному программированию, то обязательно прочтите "Параллельное программирование на С++ в действии. Практика разработки многопоточных программ". Я как раз вчера себе бумажную версию заказал, планирую перечитать. Добавлено через 35 секунд Не по теме: А, блин, не заметил, что уже успели на вторую страницу нафлудить. 1

Evg 21286 / 8311 / 637 Регистрация: 30.03.2009 Сообщений: 22,671 Записей в блоге: 30
	18.02.2018, 11:36
	0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	18.02.2018, 11:37
	rat0r, А что это даст? Все равно остаётся 2 операции, инкремент и копирование данных в вызывающую сторону... И вполне возможно что после инкремента но до процесса копирования в вызывающую сторону другой поток мог бы изменить значение атомарной переменной... В итоге вернётся значение которое функция не предусматривала. 0

Croessmah Неэпический 18150 / 10732 / 2067 Регистрация: 27.09.2012 Сообщений: 27,047 Записей в блоге: 1
	18.02.2018, 15:07
	del 0