Потокобезопасен ли префиксный инкремент/декремент?

@Damaks · Регистрация: 02.09.2010

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

Потокобезопасен ли префиксный инкремент/декремент?
Например такой код:

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
// Объявляем глобальную переменную
uint64_t i=0;
 
// Тут множество потоков thread:
thread {
 
    while(1) {
        // Тут какое-то ожидание
        sleep();
        if(ххх1) ++i; // Увеличиваем если условие ххх1 верно
        if(ххх2) --i; // Уменьшаем если условие ххх2 верно
    }
}
 
 
int main(int argc, char *argv[]) {
    // Запускаем множество потоков thread 
 
    while(х<n) {
        run thread x;
    }
 
    while(1) {
        // Тут какое-то ожидание
        sleep();
        if(ххх1) ++i; // Увеличиваем если условие ххх1 верно
        printf("Текущий результат: %i\r", i);
    }
}

Вот приблизительно такая структура программы. Переменную i могут инкрементировать и декрементировать сразу множество потоков.
Вопросы:
Потокобезопасно ли это, или в любой момент я могу получить в i неверное значение?
Если нет, то как с наиминьшими затратами сделать операцию потокобезопасной?

@Gepar · 13.03.2012, 22:16

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

Потокобезопасно ли это, или в любой момент я могу получить в i неверное значение?
Если нет, то как с наиминьшими затратами сделать операцию потокобезопасной?

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

@alex_x_x · 13.03.2012, 22:19

скорее всего нет
для этого есть InterlockedIncrement

@Damaks · 13.03.2012, 22:21 **[ТС]**

Ну то есть не потокобезопасен?
А как лучше всего решить эту проблему? Дали большое приложение, этих операций там до..., видимо предыдущий прогер считал что они потокобезопасны и не стал заботиться. Чейстно говоря я прогоняю несколько часов, и очень очень редко проскакивают ошибки несоответствия, но отследить их на мой взгляд в таком объеме кода невозможно, может быть они происходят и по другой причине
Если везде вручную мьтексы втыкать - код станет вообще ужасен

@alex_x_x · 13.03.2012, 22:26

Damaks, никто не гарантирует их потокобезопасность
можно заменить все на InterlockedIncrement/InterlockedDecrement
можно попытаться сделать все переменные volatile (некросплатформенно, в том плане, что вроде как только для винды гарантируется потокобезопасность)

вообще, ос то какая?

@Damaks · 13.03.2012, 22:27 **[ТС]**

ОС linux ubuntu

@alex_x_x · 13.03.2012, 22:32

я бы написал обертку над этими функциями http://gcc.gnu.org/onlinedocs/... c-Builtins
или использовал какую-нибудь библиотеку с атомарными функциями, из glibc например
или мьютексы/спинлоки

@Damaks · 13.03.2012, 22:43 **[ТС]**

Здесь тогда сразу спрошу, как сделать обертку если я не знаю тип переменной?
Функция должны быть типо такая:

C++
1
2
3
4
5
6
int increment(... &i)
{
    mutex_lock;
    ++i;
    mutex_unlock;
}

Только вот i может быть как char, так и int, и long int, и даже float. Как сделать решение универсальным?

@alex_x_x · 13.03.2012, 22:52

C++
1
2
3
4
5
6
7
8
9
template <class T>
T atomic_inc(T &i)
{
    T res;
    mutex_lock;
    res = ++i;
    mutex_unlock;
    return res;
}

или

C
1
#defene atomic_inc(var) __sync_add_and_fetch(&var, 1)

@Damaks · 14.03.2012, 00:17 **[ТС]**

А подскажите пожалуйста, какой вариант из них на ваш взгляд быстрее и лучше? И напишите еще пожалуйста как использовать второй вариант в коде

, также как и первый?

C++
1
atomic_inc(i);

@alex_x_x · 14.03.2012, 00:54

C
1
2
3
4
5
6
7
8
9
10
11
12
#include <stdio.h>
 
#define atomic_inc(var) __sync_add_and_fetch(&var, 1)
#define atomic_dec(var) __sync_sub_and_fetch(&var, 1)
 
int main()
{
  int var = 10;
  printf ("%d\n", atomic_inc(var));
  printf ("%d\n", atomic_dec(var));
  return 0;
}

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

1, 2, 4 or 8 bytes in length.

вообщем вариант с мьютексом универсальней, но медленней

Новые блоги и статьи Все статьи Все блоги /
Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Рецензия / Мнение Это мой обзор планшета X220 с точки зрения школьника. Недавно я решила попытаться уменьшить свой. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .
От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .

@alex_x_x бжни 2473 / 1684 / 135 Регистрация: 14.05.2009 Сообщений: 7,162
	13.03.2012, 22:19
	скорее всего нет для этого есть InterlockedIncrement 1

@Damaks 19 / 11 / 0 Регистрация: 02.09.2010 Сообщений: 235
	13.03.2012, 22:21 [ТС]
	Ну то есть не потокобезопасен? А как лучше всего решить эту проблему? Дали большое приложение, этих операций там до..., видимо предыдущий прогер считал что они потокобезопасны и не стал заботиться. Чейстно говоря я прогоняю несколько часов, и очень очень редко проскакивают ошибки несоответствия, но отследить их на мой взгляд в таком объеме кода невозможно, может быть они происходят и по другой причине Если везде вручную мьтексы втыкать - код станет вообще ужасен 0

@alex_x_x бжни 2473 / 1684 / 135 Регистрация: 14.05.2009 Сообщений: 7,162
	13.03.2012, 22:26
	Damaks, никто не гарантирует их потокобезопасность можно заменить все на InterlockedIncrement/InterlockedDecrement можно попытаться сделать все переменные volatile (некросплатформенно, в том плане, что вроде как только для винды гарантируется потокобезопасность) вообще, ос то какая? 0

@Damaks 19 / 11 / 0 Регистрация: 02.09.2010 Сообщений: 235
	13.03.2012, 22:27 [ТС]
	ОС linux ubuntu 0

@alex_x_x бжни 2473 / 1684 / 135 Регистрация: 14.05.2009 Сообщений: 7,162
	13.03.2012, 22:32
	я бы написал обертку над этими функциями http://gcc.gnu.org/onlinedocs/... c-Builtins или использовал какую-нибудь библиотеку с атомарными функциями, из glibc например или мьютексы/спинлоки 1