Пространства имён
Варианты
Действия

std::atomic::compare_exchange_weak, std::atomic::compare_exchange_strong

Материал из cppreference.com
< cpp‎ | atomic‎ | atomic

 
 
 
std::atomic
Член функций
Оригинал:
Member functions
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
atomic::atomic
atomic::operator=
atomic::is_lock_free
atomic::store
atomic::load
atomic::operator T
atomic::exchange
atomic::compare_exchange
Специализированные функции-члены
Оригинал:
Specialized member functions
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
atomic::fetch_add
atomic::fetch_sub
atomic::fetch_and
atomic::fetch_or
atomic::fetch_xor
atomic::operator++
atomic::operator++(int)
atomic::operator--
atomic::operator--(int)
atomic::operator+=
atomic::operator-=
atomic::operator&=
atomic::operator|=
atomic::operator^=
 
Определено в заголовочном файле <atomic>
bool compare_exchange_weak( T& expected, T desired,

                            std::memory_order success,
                            std::memory_order failure );

bool compare_exchange_weak( T& expected, T desired,
                            std::memory_order success,

                            std::memory_order failure ) volatile;
(1) (начиная с C++11)
bool compare_exchange_weak( T& expected, T desired,

                            std::memory_order order =
                                std::memory_order_seq_cst );

bool compare_exchange_weak( T& expected, T desired,
                            std::memory_order order =

                                std::memory_order_seq_cst ) volatile;
(2) (начиная с C++11)
bool compare_exchange_strong( T& expected, T desired,

                              std::memory_order success,
                              std::memory_order failure );

bool compare_exchange_strong( T& expected, T desired,
                              std::memory_order success,

                              std::memory_order failure ) volatile;
(3) (начиная с C++11)
bool compare_exchange_strong( T& expected, T desired,

                              std::memory_order order =
                                  std::memory_order_seq_cst );

bool compare_exchange_strong( T& expected, T desired,
                              std::memory_order order =

                                  std::memory_order_seq_cst ) volatile;
(4) (начиная с C++11)
Атомарно сравнивает значение, хранящееся в *this со значением, на которое указывает expected, и если эти равны, заменяет бывший с desired (выполняет чтение-модификация-запись). В противном случае, загружает фактическое значение хранится в *this в *expected (выполняет операцию загрузки).
Оригинал:
Atomically compares the value stored in *this with the value pointed to by expected, and if those are equal, replaces the former with desired (performs read-modify-write operation). Otherwise, loads the actual value stored in *this into *expected (performs load operation).
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
Модели памяти для чтения-модификации-записи и загрузки операций success и failure соответственно. В (2) и (4) версии order используется как для чтения-модификации-записи и загружать операций, кроме того, что std::memory_order_release и std::memory_order_relaxed используются для операции загрузки, если order == std::memory_order_acq_rel, или order == std::memory_order_release соответственно.
Оригинал:
The memory models for the read-modify-write and load operations are success and failure respectively. In the (2) and (4) versions order is used for both read-modify-write and load operations, except that std::memory_order_release and std::memory_order_relaxed are used for the load operation if order == std::memory_order_acq_rel, or order == std::memory_order_release respectively.
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
Слабые формы (1-2) функции могут потерпеть неудачу ложно, то есть действовать, как если *this != *expected, даже если они равны. Когда сравнения и обмена в цикле, слабая версия даст лучшую производительность на некоторых платформах. При слабом сравнения и обмена потребует петли и сильный не будет, сильный предпочтительнее.
Оригинал:
The weak forms (1-2) of the functions are allowed to fail spuriously, that is, act as if *this != *expected even if they are equal. When a compare-and-exchange is in a loop, the weak version will yield better performance on some platforms. When a weak compare-and-exchange would require a loop and a strong one would not, the strong one is preferable.
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.

Содержание

[править] Параметры

expected -
указатель на значение как ожидается, будет найден в атомном объекте
Оригинал:
pointer to the value expected to be found in the atomic object
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
desired -
значение для хранения в атомном объекте, если он, как ожидается
Оригинал:
the value to store in the atomic object if it is as expected
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
success -
памяти, синхронизация заказов на чтение-модификация-запись, если сравнение успешно. Все допустимые значения .
Оригинал:
the memory synchronization ordering for the read-modify-write operation if the comparison succeeds. All values are permitted.
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
failure -
памяти, синхронизация заказов для операции загрузки, если сравнение не удается. Не может быть std::memory_order_release или std::memory_order_ack_rel и не может указать порядок сильнее, чем success
Оригинал:
the memory synchronization ordering for the load operation if the comparison fails. Cannot be std::memory_order_release or std::memory_order_ack_rel and cannot specify stronger ordering than success
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
order -
памяти, синхронизация заказов для обеих операций
Оригинал:
the memory synchronization ordering for both operations
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.

[править] Возвращаемое значение

true если основной атомарное значение было изменено, false иначе.
Оригинал:
true if the underlying atomic value was changed, false otherwise.
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.

[править] Исключения

noexcept-спецификация:  
noexcept
  (начиная с C++11)

[править] Пример

Демонстрирует compare_exchange_strong либо изменяет значение атомарной переменной или переменной, используемой для сравнения .
Оригинал:
Demonstrates how compare_exchange_strong either changes the value of the atomic variable or the variable used for comparison.
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.

#include <atomic>
#include <iostream>
 
std::atomic<int>  ai;
 
int  tst_val= 4;
int  new_val= 5;
bool exchanged= false;
 
void valsout()
{
    std::cout << "ai= " << ai
          << "  tst_val= " << tst_val
          << "  new_val= " << new_val
          << "  exchanged= " << std::boolalpha << exchanged
          << "\n";
}
 
int main()
{
    ai= 3;
    valsout();
 
    // tst_val != ai   ==>  tst_val is modified
    exchanged= ai.compare_exchange_strong( tst_val, new_val );
    valsout();
 
    // tst_val == ai   ==>  ai is modified
    exchanged= ai.compare_exchange_strong( tst_val, new_val );
    valsout();
 
    return 0;
}

Вывод:

ai= 3  tst_val= 4  new_val= 5  exchanged= false
ai= 3  tst_val= 3  new_val= 5  exchanged= false
ai= 5  tst_val= 3  new_val= 5  exchanged= true

[править] См. также

атомарно сравнивает значение атомного объекта с неатомической аргументов и выполняет атомного обмена, если равны или атомную нагрузку, если нет
Оригинал:
atomically compares the value of the atomic object with non-atomic argument and performs atomic exchange if equal or atomic load if not
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.

(шаблон функции) [edit]