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

@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.

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

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .

@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