Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате
Форум программистов > C/C++: Общие вопросы > C++0x - атомарные операции


Автор: azesmcar 14.2.2011, 14:38
Атомарные операции C++0x - довольно интересное нововведение, которое к сожалению на данный момент поддерживается только компилятором gcc, да и то только под *nix, что делает использование атомарных типов и операций C++0x в windows практически невозможным. Даже последняя версия Visual Studio 2010 не имеет их поддержки. Я решил исправить это недоразумение, посвятив свободное от работы и отдыха время проекту http://www.data-race.com/projects/.
Исходники открыты и распространяются под лицензией 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();
}


Автор: GoldFinch 14.2.2011, 15:38
а почему бы не разместить ее на каком-нить code.google.com или bitbucket.org ?

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

Автор: azesmcar 14.2.2011, 16:13
Цитата(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
Если не секрет, почему используется memcpy вместо конструктора копирования и оператора присваивания, а memcmp вместо сравнения (это же не будет работать с не-POD типами)? И почему нельзя использовать std::swap внутри atomic_impl::exchange?

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

Автор: azesmcar 14.2.2011, 17:40
Цитата(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:38
обновил.

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

Автор: GoldFinch 14.2.2011, 18:52
Цитата(azesmcar @  14.2.2011,  18:38 Найти цитируемый пост)
Надо придумать, как поставить assert на НЕ pod-ы. 

Код

#include <type_traits> 

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

Автор: azesmcar 14.2.2011, 18:59
Цитата(GoldFinch @  14.2.2011,  18:52 Найти цитируемый пост)
static_assert(std::is_pod<T>::value != 0, "T must be POD");

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

Автор: boostcoder 14.2.2011, 19:10
Цитата(azesmcar @  14.2.2011,  18:59 Найти цитируемый пост)
но он есть только в VS2010.

и в gcc

Автор: azesmcar 14.2.2011, 19:12
Цитата(boostcoder @  14.2.2011,  19:10 Найти цитируемый пост)
и в gcc 

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

Автор: boostcoder 14.2.2011, 19:14
Цитата(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

о как

Автор: azesmcar 14.2.2011, 19:16
boostcoder

да.

Автор: azesmcar 18.2.2011, 10:47
bsa

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

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

Автор: azesmcar 18.2.2011, 13:41
Цитата(bsa @  18.2.2011,  13:26 Найти цитируемый пост)
azesmcar, по идее, это не актуально для "тривиальных" типов. А для "нетривиальных" использовать и memcpy недопустимо. 

По идее да, но например такой тип
Код

struct X
{
   int a;
   int b;
   X& operator = (const X& obj) { ... }
};

вполне рабочий, но в данном случае его оператор присваивания может все испортить (как исключениями, так и семантикой присваивания).

Powered by Invision Power Board (http://www.invisionboard.com)
© Invision Power Services (http://www.invisionpower.com)