Форум программистов, компьютерный форум CyberForum.ru

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

Восстановить пароль Регистрация
 
Рейтинг: Рейтинг темы: голосов - 10, средняя оценка - 4.90
Damaks
18 / 10 / 1
Регистрация: 02.09.2010
Сообщений: 235
13.03.2012, 22:05     Потокобезопасен ли префиксный инкремент/декремент? #1
Потокобезопасен ли префиксный инкремент/декремент?
Например такой код:
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
 Аватар для Gepar
1173 / 529 / 20
Регистрация: 01.07.2009
Сообщений: 3,512
13.03.2012, 22:16     Потокобезопасен ли префиксный инкремент/декремент? #2
Цитата Сообщение от Damaks Посмотреть сообщение
Потокобезопасно ли это, или в любой момент я могу получить в i неверное значение?
Если нет, то как с наиминьшими затратами сделать операцию потокобезопасной?
Ну тут в любом случае нужно использовать мьтексы или какую другую блокировку на ваше усмотрение.
alex_x_x
бжни
 Аватар для alex_x_x
2441 / 1646 / 84
Регистрация: 14.05.2009
Сообщений: 7,163
13.03.2012, 22:19     Потокобезопасен ли префиксный инкремент/декремент? #3
скорее всего нет
для этого есть InterlockedIncrement
Damaks
18 / 10 / 1
Регистрация: 02.09.2010
Сообщений: 235
13.03.2012, 22:21  [ТС]     Потокобезопасен ли префиксный инкремент/декремент? #4
Ну то есть не потокобезопасен?
А как лучше всего решить эту проблему? Дали большое приложение, этих операций там до..., видимо предыдущий прогер считал что они потокобезопасны и не стал заботиться. Чейстно говоря я прогоняю несколько часов, и очень очень редко проскакивают ошибки несоответствия, но отследить их на мой взгляд в таком объеме кода невозможно, может быть они происходят и по другой причине
Если везде вручную мьтексы втыкать - код станет вообще ужасен
alex_x_x
бжни
 Аватар для alex_x_x
2441 / 1646 / 84
Регистрация: 14.05.2009
Сообщений: 7,163
13.03.2012, 22:26     Потокобезопасен ли префиксный инкремент/декремент? #5
Damaks, никто не гарантирует их потокобезопасность
можно заменить все на InterlockedIncrement/InterlockedDecrement
можно попытаться сделать все переменные volatile (некросплатформенно, в том плане, что вроде как только для винды гарантируется потокобезопасность)

вообще, ос то какая?
Damaks
18 / 10 / 1
Регистрация: 02.09.2010
Сообщений: 235
13.03.2012, 22:27  [ТС]     Потокобезопасен ли префиксный инкремент/декремент? #6
ОС linux ubuntu
alex_x_x
бжни
 Аватар для alex_x_x
2441 / 1646 / 84
Регистрация: 14.05.2009
Сообщений: 7,163
13.03.2012, 22:32     Потокобезопасен ли префиксный инкремент/декремент? #7
я бы написал обертку над этими функциями http://gcc.gnu.org/onlinedocs/gcc-4....tomic-Builtins
или использовал какую-нибудь библиотеку с атомарными функциями, из glibc например
или мьютексы/спинлоки
Damaks
18 / 10 / 1
Регистрация: 02.09.2010
Сообщений: 235
13.03.2012, 22:43  [ТС]     Потокобезопасен ли префиксный инкремент/декремент? #8
Здесь тогда сразу спрошу, как сделать обертку если я не знаю тип переменной?
Функция должны быть типо такая:
C++
1
2
3
4
5
6
int increment(... &i)
{
    mutex_lock;
    ++i;
    mutex_unlock;
}
Только вот i может быть как char, так и int, и long int, и даже float. Как сделать решение универсальным?
alex_x_x
бжни
 Аватар для alex_x_x
2441 / 1646 / 84
Регистрация: 14.05.2009
Сообщений: 7,163
13.03.2012, 22:52     Потокобезопасен ли префиксный инкремент/декремент? #9
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
18 / 10 / 1
Регистрация: 02.09.2010
Сообщений: 235
14.03.2012, 00:17  [ТС]     Потокобезопасен ли префиксный инкремент/декремент? #10
А подскажите пожалуйста, какой вариант из них на ваш взгляд быстрее и лучше? И напишите еще пожалуйста как использовать второй вариант в коде , также как и первый?
C++
1
atomic_inc(i);
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
14.03.2012, 00:54     Потокобезопасен ли префиксный инкремент/декремент?
Еще ссылки по теме:

C++ Интересный вывод, инкремент и декремент в cout
C++ Как выполняется постфиксный и префиксный инкремент?
Инкремент постфиксный и префиксный - принцип работы C++

Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
alex_x_x
бжни
 Аватар для alex_x_x
2441 / 1646 / 84
Регистрация: 14.05.2009
Сообщений: 7,163
14.03.2012, 00:54     Потокобезопасен ли префиксный инкремент/декремент? #11
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.
вообщем вариант с мьютексом универсальней, но медленней
Yandex
Объявления
14.03.2012, 00:54     Потокобезопасен ли префиксный инкремент/декремент?
Ответ Создать тему
Опции темы

Текущее время: 11:03. Часовой пояс GMT +3.
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2016, vBulletin Solutions, Inc.
Рейтинг@Mail.ru