Перегрузка С++ и перегрузка оператора для приложения CUDA

У меня есть класс А, который перегружает его оператор =. Однако требуется, чтобы мне нужно было сделать что-то вроде этого:

volatile A x;
A y;
x = y;

который вызвал ошибку при компиляции

error: no operator "=" matches these operands
       operand types are: volatile A = A

Если я удалю volatile, он будет компилироваться. Есть ли способ скомпилировать этот файл без удаления "изменчивого" (и по-прежнему сохранять поведение волатильности)?

В основном это программа CUDA, в которой "x" является общей памятью (все потоки могут получить доступ и изменить ее значение). Я хочу, чтобы он был "изменчивым", чтобы избежать оптимизации компилятора и повторного использования значения вместо доступа к адресу памяти.

Подробнее о проблеме: в начале A является просто примитивным типом, например, integer, volatile работает как ожидалось и не вызывает никаких проблем, теперь я хочу, чтобы это был пользовательский класс (например, 128-битный). Я не уверен, почему С++ жалуется в этом случае, но не на примитивный тип данных.

Спасибо заранее.

Ответ 1

Предполагая, что квалификация volatile необходима, вам нужно добавить оператор volatile присваивания к A (A& A::operator=(const A&) volatile).

const_cast<A&>(x) = y заставит его скомпилировать, но технически приведет к поведению undefined и, безусловно, удалит гарантии, предоставленные volatile.

Ответ 2

volatile не очень полезен в потоке С++ (см. объяснение Dave Butenhof на http://www.lambdacs.com/cpt/FAQ.html#Q56). Этого недостаточно для обеспечения того, чтобы ваша программа сбрасывала данные, записанные из основного локального кеша, в точку, где другие программы могут видеть обновления в общей памяти и, учитывая почти каждый многоядерный в эти дни, представляют серьезную проблему. Я предлагаю вам использовать правильные методы синхронизации потоков, такие как повышение, если ваша мобильность должна соответствовать ему, или, возможно, мьютексы POSIX и переменные условия, при отсутствии таких более зависимых от архитектуры методов, как барьеры памяти или атомные операции, которые неявно синхронизируют память между ядрами.

Я уверен, что вы хотите, чтобы он был быстрым, но быстрый и нестабильный, как правило, не так полезен, как медленный и надежный, особенно если вы отправляете продукт, который нестабилен на вашем аппаратном обеспечении клиента.

Ответ 3

"volatile не очень много используется в потоке С++" комментарий не имеет отношения к вопросу, который является специфичным для CUDA. летучесть необходима для синхронного кодирования warp в CUDA.

Ответ 4

Объявление конструктора копирования

volatile A& operator=(volatile A&) volatile;

работал у меня с nvcc. Обратите внимание, что вам может потребоваться передать только не примитивный тип только по ссылке. Кроме того, вам понадобится больше конструкторов-копий, которые преобразуют volatile-экземпляры в энергонезависимые, когда не-примитивный тип передается по значению в энергонезависимый параметр. Это действительно сводится к установлению изменчивости-правильности (как и const-correctness).