VPF::C++0x - атомарные операции - Форум программистов

azesmcar

Дата 14.2.2011, 14:38 (ссылка)

(нет голосов)

Загрузка ...

uploading...

Профиль
Группа: Участник Клуба
Сообщений: 6291
Регистрация: 12.11.2004
Где: Армения

Репутация: 81
Всего: 211

Атомарные операции C++0x - довольно интересное нововведение, которое к сожалению на данный момент поддерживается только компилятором gcc, да и то только под *nix, что делает использование атомарных типов и операций C++0x в windows практически невозможным. Даже последняя версия Visual Studio 2010 не имеет их поддержки. Я решил исправить это недоразумение, посвятив свободное от работы и отдыха время проекту C++0x atomics.
Исходники открыты и распространяются под лицензией GPL, язык написания assembler и естественно C++.
На данный момент поддерживается только компилятор Visual Studio и платформа x86-32. Сейчас реализовано далеко не все, но многое уже есть.
О багах прошу сообщать лично мне smile

пример использования

Код


#include <iostream>
#include <atomic>
#include <boost/thread/thread.hpp>

std::atomic_int x;

void thread_proc1(int id)
{
    for (int i = 0; i < 10; ++i)
    {
        std::cout << ++x << std::endl;
    }
}

void thread_proc2(int id)
{
    for (int i = 0; i < 10; ++i)
    {
        std::cout << --x << std::endl;
    }
}


int main()
{
    boost::thread th1(thread_proc1, 0);
    boost::thread th2(thread_proc2, 1);
    th1.join();
    th2.join();
}

еще один пример (алгоритм Петерсона)

Код


#include <iostream>
#include <atomic>
#include <boost/thread/thread.hpp>

int x = 0;

std::atomic_int turn = 0;
std::atomic_bool flag[2];

void lock(int me)
{
    int he = 1 - me;
    flag[me].store(true, std::memory_order_relaxed);
    turn.exchange(he, std::memory_order_acq_rel);
    while (flag[he].load(std::memory_order_acquire) && turn.load(std::memory_order_relaxed) == he)
        boost::this_thread::yield();
}

void unlock(int me)
{
    flag[me].store(0, std::memory_order_release);
}

void thread_proc1(int id)
{
    for (int i = 0; i < 10; ++i)
    {
        lock(id);
        std::cout << ++x << std::endl;
        unlock(id);
    }
}

void thread_proc2(int id)
{
    for (int i = 0; i < 10; ++i)
    {
        lock(id);
        std::cout << --x << std::endl;
        unlock(id);
    }
}

int main()
{
    boost::thread th1(thread_proc1, 0);
    boost::thread th2(thread_proc2, 1);
    th1.join();
    th2.join();
}

Это сообщение отредактировал(а) azesmcar - 14.2.2011, 15:15

GoldFinch

Дата 14.2.2011, 15:38 (ссылка)

(нет голосов)

Загрузка ...

Профиль
Группа: Завсегдатай
Сообщений: 2141
Регистрация: 30.11.2008

Репутация: 15
Всего: 26

а почему бы не разместить ее на каком-нить code.google.com или bitbucket.org ?

GoldFinch

Дата 14.2.2011, 15:57 (ссылка)

(нет голосов)

Загрузка ...

Профиль
Группа: Завсегдатай
Сообщений: 2141
Регистрация: 30.11.2008

Репутация: 15
Всего: 26

также есть пожелание засунуть _impl сущности в namespace impl (или detail)
и завернуть классы содержащие асм вставки в #pragma managed(push, off) / #pragma managed(pop) чтобы можно было скомпилить с /clr без предупреждений.
и вообще желательно чтобы можно было компилить с /W4 /WX

azesmcar

Дата 14.2.2011, 16:13 (ссылка)

(нет голосов)

Загрузка ...

uploading...

Профиль
Группа: Участник Клуба
Сообщений: 6291
Регистрация: 12.11.2004
Где: Армения

Репутация: 81
Всего: 211

Цитата(GoldFinch @ 14.2.2011, 15:38

)

а почему бы не разместить ее на каком-нить code.google.com или bitbucket.org ?

пока не вижу смысла, позже скорее всего так и поступлю.

Цитата(GoldFinch @ 14.2.2011, 15:57

)

также есть пожелание засунуть _impl сущности в namespace impl (или detail)

ага..забыл все таки... smile

Цитата(GoldFinch @ 14.2.2011, 15:57

)

и завернуть классы содержащие асм вставки в #pragma managed(push, off) / #pragma managed(pop) чтобы можно было скомпилить с /clr без предупреждений.

ок.

Цитата(GoldFinch @ 14.2.2011, 15:57

)

и вообще желательно чтобы можно было компилить с /W4 /WX

подправил слегка.

добавил все вышеописанное, исходники обновил.

bsa

Дата 14.2.2011, 17:31 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Модератор
Сообщений: 9185
Регистрация: 6.4.2006
Где: Москва, Россия

Репутация: 63
Всего: 196

Если не секрет, почему используется memcpy вместо конструктора копирования и оператора присваивания, а memcmp вместо сравнения (это же не будет работать с не-POD типами)? И почему нельзя использовать std::swap внутри atomic_impl::exchange?

Добавлено через 7 минут и 9 секунд
Кстати, azesmcar, у тебя ссылка на форум неисправная.

--------------------

Правильно заданный вопрос - половина ответа
Отзывы о работе модератора.

azesmcar

Дата 14.2.2011, 17:40 (ссылка)

(нет голосов)

Загрузка ...

uploading...

Профиль
Группа: Участник Клуба
Сообщений: 6291
Регистрация: 12.11.2004
Где: Армения

Репутация: 81
Всего: 211

Цитата(bsa @ 14.2.2011, 17:31

)

это же не будет работать с не-POD типами

а этого и не требуется, стандарт требует, чтобы тип был тривиально копируемым.

Цитата(bsa @ 14.2.2011, 17:31

)

И почему нельзя использовать std::swap внутри atomic_impl::exchange?

В принципе можно smile

(в реализации с мьютексом). Изменю.

Цитата(bsa @ 14.2.2011, 17:31

)

Кстати, azesmcar, у тебя ссылка на форум неисправная.

спасибо. сейчас подправлю.

Это сообщение отредактировал(а) azesmcar - 14.2.2011, 18:49

azesmcar

Дата 14.2.2011, 18:38 (ссылка)

(нет голосов)

Загрузка ...

uploading...

Профиль
Группа: Участник Клуба
Сообщений: 6291
Регистрация: 12.11.2004
Где: Армения

Репутация: 81
Всего: 211

обновил.

избавился от memcpy, оставил только memcmp.
Надо придумать, как поставить assert на НЕ pod-ы.

GoldFinch

Дата 14.2.2011, 18:52 (ссылка)

(нет голосов)

Загрузка ...

Профиль
Группа: Завсегдатай
Сообщений: 2141
Регистрация: 30.11.2008

Репутация: 15
Всего: 26

Цитата(azesmcar @ 14.2.2011, 18:38

)

Надо придумать, как поставить assert на НЕ pod-ы.

Код


#include <type_traits> 

static_assert(std::is_pod<T>::value != 0, "T must be POD");

Это сообщение отредактировал(а) GoldFinch - 14.2.2011, 18:53

azesmcar

Дата 14.2.2011, 18:59 (ссылка)

(нет голосов)

Загрузка ...

uploading...

Профиль
Группа: Участник Клуба
Сообщений: 6291
Регистрация: 12.11.2004
Где: Армения

Репутация: 81
Всего: 211

Цитата(GoldFinch @ 14.2.2011, 18:52

)

static_assert(std::is_pod<T>::value != 0, "T must be POD");

про это знаю smile

но он есть только в VS2010.
Если быть точнее, нужна проверка не на POD а на trivialy copyable.

Это сообщение отредактировал(а) azesmcar - 14.2.2011, 19:06

boostcoder

Дата 14.2.2011, 19:10 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

Цитата(azesmcar @ 14.2.2011, 18:59

)

но он есть только в VS2010.

и в gcc

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

azesmcar

Дата 14.2.2011, 19:12 (ссылка)

(нет голосов)

Загрузка ...

uploading...

Профиль
Группа: Участник Клуба
Сообщений: 6291
Регистрация: 12.11.2004
Где: Армения

Репутация: 81
Всего: 211

Цитата(boostcoder @ 14.2.2011, 19:10

)

и в gcc

Имелось ввиду из серии MSVC, так-как библиотека поддерживает только компилятор эти компиляторы (во всяком случае пока).

boostcoder

Дата 14.2.2011, 19:14 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

Цитата(azesmcar @ 14.2.2011, 18:59

)

на trivialy copyable

это?:

Код


  /// has_trivial_default_constructor
  template<typename _Tp>
    struct has_trivial_default_constructor
    : public integral_constant<bool, __has_trivial_constructor(_Tp)>
    { };

  /// has_trivial_copy_constructor
  template<typename _Tp>
    struct has_trivial_copy_constructor
    : public integral_constant<bool, __has_trivial_copy(_Tp)>
    { };

  /// has_trivial_assign
  template<typename _Tp>
    struct has_trivial_assign
    : public integral_constant<bool, __has_trivial_assign(_Tp)>
    { };

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

Цитата(azesmcar @ 14.2.2011, 19:12

)

Имелось ввиду из серии MSVC

о как

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

azesmcar

Дата 14.2.2011, 19:16 (ссылка)

(нет голосов)

Загрузка ...

uploading...

Профиль
Группа: Участник Клуба
Сообщений: 6291
Регистрация: 12.11.2004
Где: Армения

Репутация: 81
Всего: 211

boostcoder

да.

azesmcar

Дата 18.2.2011, 10:47 (ссылка)

(нет голосов)

Загрузка ...

uploading...

Профиль
Группа: Участник Клуба
Сообщений: 6291
Регистрация: 12.11.2004
Где: Армения

Репутация: 81
Всего: 211

bsa

Вспомнил почему делал через memcpy smile

Для безопасности исключений. Оператор = может сгенерировать исключение, которое не должно генерироваться в функциях exchange, store и load.

bsa

Дата 18.2.2011, 13:26 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Модератор
Сообщений: 9185
Регистрация: 6.4.2006
Где: Москва, Россия

Репутация: 63
Всего: 196

azesmcar, по идее, это не актуально для "тривиальных" типов. А для "нетривиальных" использовать и memcpy недопустимо.

--------------------

Правильно заданный вопрос - половина ответа
Отзывы о работе модератора.

0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема \| C/C++: Общие вопросы \| Следующая тема »