std:: atomic_exchange, std:: atomic_exchange_explicit
|
Definido en el encabezado
<atomic>
|
||
|
template
<
class
T
>
T atomic_exchange
(
std::
atomic
<
T
>
*
obj,
|
(1) | (desde C++11) |
|
template
<
class
T
>
T atomic_exchange
(
volatile
std::
atomic
<
T
>
*
obj,
|
(2) | (desde C++11) |
|
template
<
class
T
>
T atomic_exchange_explicit
(
std::
atomic
<
T
>
*
obj,
|
(3) | (desde C++11) |
|
template
<
class
T
>
T atomic_exchange_explicit
(
volatile
std::
atomic
<
T
>
*
obj,
|
(4) | (desde C++11) |
Contenidos |
Parámetros
| obj | - | puntero al objeto atómico a modificar |
| desired | - | el valor a almacenar en el objeto atómico |
| order | - | el orden de sincronización de memoria |
Valor de retorno
El valor mantenido previamente por el objeto atómico apuntado por obj .
Ejemplo
Un mutex de tipo spinlock puede implementarse en el espacio de usuario utilizando una operación atómica de intercambio, similar a std:: atomic_flag_test_and_set :
#include <atomic> #include <iostream> #include <thread> #include <vector> std::atomic<bool> lock(false); // holds true when locked // holds false when unlocked int new_line{1}; // the access is synchronized via atomic lock variable void f(int n) { for (int cnt = 0; cnt < 100; ++cnt) { while (std::atomic_exchange_explicit(&lock, true, std::memory_order_acquire)) ; // spin until acquired std::cout << n << (new_line++ % 80 ? "" : "\n"); std::atomic_store_explicit(&lock, false, std::memory_order_release); } } int main() { std::vector<std::thread> v; for (int n = 0; n < 8; ++n) v.emplace_back(f, n); for (auto& t : v) t.join(); }
Salida posible:
02222222222222222222222002222222222222222222222222222222222222222222222222222222 22222222200022222222202222211111111111110000011111111100000000000000110001111111 00011111000001111110000011111100000111000000001111111111111110000010000001001111 11011111111011111011000000000000111100000000000001111000011133333333333333333333 33333333333333333333333333333333333333333333333333333333333333333333333333333333 44444444444444444444444444444444444444444444444444444444444444444444444444444444 44444444444444444444555555555555555555555555555555555555555555555555555555555555 55555555555555555555555555555555555555556666666666666666666666666666666666666666 66666666666666666666666666666666666666666666666666666666666677777777777777777777 77777777777777777777777777777777777777777777777777777777777777777777777777777777
Informes de defectos
Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares publicados anteriormente de C++.
| DR | Se aplica a | Comportamiento publicado | Comportamiento correcto |
|---|---|---|---|
| P0558R1 | C++11 |
se requería coincidencia exacta de tipo porque
T
se deducía de múltiples argumentos
|
T
solo se deduce
de obj |
Véase también
|
reemplaza atómicamente el valor del objeto atómico y obtiene el valor mantenido previamente
(función miembro pública de
std::atomic<T>
)
|
|
|
compara atómicamente el valor del objeto atómico con un argumento no atómico y realiza intercambio atómico si son iguales o carga atómica si no lo son
(plantilla de función) |
|
(obsoleto en C++20)
(eliminado en C++26)
|
especializa operaciones atómicas para
std::shared_ptr
(plantilla de función) |
|
Documentación C
para
atomic_exchange
,
atomic_exchange_explicit
|
|