std::atomic_fetch_add, std::atomic_fetch_add_explicit

 

C++

Apoyo de compiladores

Implementaciones independientes y albergadas

Lenguaje

Biblioteca estándar

Encabezados de la biblioteca estándar

Requisitos denominados

Macros de prueba de característica (C++20)

Biblioteca de apoyo del lenguaje

Biblioteca de conceptos(C++20)

Biblioteca de diagnósticos

Biblioteca de gestión de memoria

Biblioteca de metaprogramación(C++11)

Biblioteca de servicios generales

Biblioteca de contenedores

Biblioteca de iteradores

Biblioteca de rangos(C++20)

Biblioteca de algoritmos

Biblioteca de cadenas

Biblioteca de procesamiento de texto

Biblioteca numérica

Biblioteca de fecha y hora

Biblioteca de entrada/salida

Biblioteca del sistema de archivos(C++17)

Biblioteca de apoyo de concurrencia(C++11)

Biblioteca de apoyo de ejecución(C++26)

Especificaciones técnicas

Índice de símbolos

Bibliotecas externas

 

Biblioteca de operaciones atómicas

Tipos

atomic (C++11)

atomic_ref (C++20)

Funciones

atomic_storeatomic_store_explicit (C++11)(C++11)

atomic_loadatomic_load_explicit (C++11)(C++11)

atomic_exchangeatomic_exchange_explicit (C++11)(C++11)

atomic_compare_exchange_weakatomic_compare_exchange_weak_explicitatomic_compare_exchange_strongatomic_compare_exchange_strong_explicit (C++11)(C++11)(C++11)(C++11)

atomic_fetch_addatomic_fetch_add_explicit (C++11)(C++11)

atomic_fetch_subatomic_fetch_sub_explicit (C++11)(C++11)

atomic_fetch_andatomic_fetch_and_explicit (C++11)(C++11)

atomic_fetch_oratomic_fetch_or_explicit (C++11)(C++11)

atomic_fetch_xoratomic_fetch_xor_explicit (C++11)(C++11)

atomic_is_lock_free (C++11)

atomic_waitatomic_wait_explicit (C++20)(C++20)

atomic_notify_one (C++20)

atomic_notify_all (C++20)

Banderas atómicas

atomic_flag (C++11)

atomic_flag_test_and_setatomic_flag_test_and_set_explicit (C++11)(C++11)

atomic_flag_clearatomic_flag_clear_explicit (C++11)(C++11)

atomic_flag_testatomic_flag_test_explicit (C++20)(C++20)

atomic_flag_waitatomic_flag_wait_explicit (C++20)(C++20)

atomic_flag_notify_one (C++20)

atomic_flag_notify_all (C++20)

Inicialización

atomic_init (C++11)(en desuso en C++20)

ATOMIC_VAR_INIT (C++11)(en desuso en C++20)

ATOMIC_FLAG_INIT (C++11)(en desuso en C++20)

Ordenamiento de memoria

memory_order (C++11)

kill_dependency (C++11)

atomic_thread_fence (C++11)

atomic_signal_fence (C++11)

 

Definido en el archivo de encabezado <atomic>
	(1)
template<class T > T atomic_fetch_add(std::atomic<T>* obj,                     typenamestd::atomic<T>::difference_type arg )noexcept;
template<class T > T atomic_fetch_add(volatilestd::atomic<T>* obj,                     typenamestd::atomic<T>::difference_type arg )noexcept;
		(2)
template<class T > T atomic_fetch_add_explicit(std::atomic<T>* obj,                              typenamestd::atomic<T>::difference_type arg,                              std::memory_order order )noexcept;
template<class T > T atomic_fetch_add_explicit(volatilestd::atomic<T>* obj,                              typenamestd::atomic<T>::difference_type arg,                              std::memory_order order )noexcept;

Realiza una suma atómica. Atómicamente suma arg al valor al que apunta obj y devuelve el valor que obj tenía previamente. La operación se realiza como si se ejecutara lo siguiente:

1)obj->fetch_add(arg)

2)obj->fetch_add(arg, order)

Parámetros

obj	-	Puntero al objeto atómico a modificar.
arg	-	El valor a sumar al valor almacenado en el objeto atómico.
order	-	El orden de sincronización de la memoria para esta operación: todos los valores están permitidos.

Valor de retorno

El valor que precede inmediatamente a los efectos de esta función en el orden de modificación de *obj.

Posible implementación

template<class T > T atomic_fetch_add(std::atomic<T>* obj, typenamestd::atomic<T>::difference_type arg ){return obj->fetch_add(arg);}

Ejemplo

Cerrojos de un solo-escritor/múltiples-lectores pueden hacerse con fetch_add. Ten en cuenta que esta implementación simplista no está libre de bloqueo

Ejecuta este código

#include <string>#include <thread>#include <vector>#include <iostream>#include <atomic>#include <chrono>   // significado de cnt:// 5: no hay lectores ni escritores activos.// 1...4: hay 4 ... 1 lectores activos, el escritor está bloqueado// 0: valor temporal entre fetch_sub y fetch_add en el bloqueo del lector// -1: hay un escritor activo. Los lectores están bloqueados.constint N =5;// se permiten cuatro lectores concurrentesstd::atomic<int> cnt(N);   std::vector<int> data;   void lector(int id){for(;;){// bloquearwhile(std::atomic_fetch_sub(&cnt, 1)<=0) std::atomic_fetch_add(&cnt, 1);// readif(!data.empty())std::cout<<("lector "+std::to_string(id)+" ve "+std::to_string(*data.rbegin())+'\n');if(data.size()==25)break;// desbloquear std::atomic_fetch_add(&cnt, 1);// pausastd::this_thread::sleep_for(std::chrono::milliseconds(1));}}   void escritor(){for(int n =0; n <25;++n){// bloquearwhile(std::atomic_fetch_sub(&cnt, N+1)!= N) std::atomic_fetch_add(&cnt, N+1);// escribir data.push_back(n);std::cout<<"escritor empujó al final "<< n <<'\n';// desbloquear std::atomic_fetch_add(&cnt, N+1);// pausastd::this_thread::sleep_for(std::chrono::milliseconds(1));}}   int main(){std::vector<std::thread> v;for(int n =0; n < N;++n){ v.emplace_back(lector, n);} v.emplace_back(escritor);for(auto& t : v){ t.join();}}

Salida:

escritor empujó al final 0 lector 2 ve 0 lector 3 ve 0 lector 1 ve 0 <...> lector 2 ve 24 lector 4 ve 24 lector 1 ve 24

Informes de defectos

Los siguientes informes de defectos de cambio de comportamiento se aplicaron de manera retroactiva a los estándares de C++ publicados anteriormente.

ID	Aplicado a	Comportamiento según lo publicado	Comportamiento correcto
P0558R1	C++11	Se requiere una coincidencia de tipo exacta porque T se deduce de varios argumentos.	T se deduce únicamente del argumento atomic.

Véase también

fetch_add (C++11)	atómicamente agrega el argumento con el valor almacenado en el objeto atómico y obtiene el valor que tenía antes Original: atomically adds the argument to the value stored in the atomic object and obtains the value held previously The text has been machine-translated via Google Translate. You can help to correct and verify the translation. Click here for instructions. (función miembro pública de std::atomic)
atomic_fetch_subatomic_fetch_sub_explicit (C++11)(C++11)	Resta un valor no atómico de un objeto atómico y obtiene el valor anterior del objeto atómico. (plantilla de función)
Documentación de C para atomic_fetch_add, atomic_fetch_add_explicit