std::atomic_fetch_or, std::atomic_fetch_or_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)	(desde C++11)
template<class T > T atomic_fetch_or(std::atomic<T>* obj,                    typenamestd::atomic<T>::value_type arg )noexcept;
template<class T > T atomic_fetch_or(volatilestd::atomic<T>* obj,                    typenamestd::atomic<T>::value_type arg )noexcept;
			(2)	(desde C++11)
template<class T > T atomic_fetch_or_explicit(std::atomic<T>* obj,                             typenamestd::atomic<T>::value_type arg,                             std::memory_order order)noexcept;
template<class T > T atomic_fetch_or_explicit(volatilestd::atomic<T>* obj,                             typenamestd::atomic<T>::value_type arg,                             std::memory_order order)noexcept;

Reemplaza atómicamente el valor al que apunta obj con el resultado de una operación OR bit a bit entre el valor antiguo de obj y arg. Devuelve el valor que obj tenía anteriormente.

La operación se realiza como si se hubiera ejecutado lo siguiente:

1)obj->fetch_or(arg)

2)obj->fetch_or(arg, order)

Si std::atomic<T> no tiene un miembro fetch_or (este miembro solo se proporciona para tipos enteros), el programa está mal formado.

Parámetros

obj	-	Un puntero al objeto atómico a modificar. bool no es un tipo entero a los efectos de las operaciones atómicas.
arg	-	El valor al cual aplicar la operación OR bit a bit y al valor almacenado en el objeto atómico.
order	-	El ordenamiento de sincronización de memoria para esta operación. Se permiten todos los valores.

Valor de retorno

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

Posible implementación

template<class T > T atomic_fetch_or(std::atomic<T>* obj, typenamestd::atomic<T>::value_type arg ){return obj->fetch_or(arg);}

Ejemplo

Ejecuta este código

#include <iostream>#include <atomic>#include <thread>#include <chrono>#include <functional>   // Semáforo binario solo a efectos de demostración // Es un ejemplo sencillo pero significativo: las operaciones atómicas// son innecesarias sin hilos. class Semaphore {std::atomic_char m_signaled;public: Semaphore(bool initial =false){ m_signaled = initial;}// Se bloquea hasta que el semáforo se señalevoid take(){while(!std::atomic_fetch_and(&m_signaled, false)){std::this_thread::sleep_for(std::chrono::milliseconds(10));}}   void put(){ std::atomic_fetch_or(&m_signaled, true);}};   class ThreadedCounter {staticconstint N =100;staticconstint REPORT_INTERVAL =10;int m_count;bool m_done; Semaphore m_count_sem; Semaphore m_print_sem;   void count_up(){for(m_count =1; m_count <= N; m_count++){if(m_count % REPORT_INTERVAL ==0){if(m_count == N) m_done =true; m_print_sem.put();// señal de impresión a ocurrir m_count_sem.take();// esperar hasta que la impresión complete}}std::cout<<"count_up() lista\n"; m_done =true; m_print_sem.put();}   void print_count(){do{ m_print_sem.take();std::cout<< m_count <<'\n'; m_count_sem.put();}while(!m_done);std::cout<<"print_count() lista\n";}   public: ThreadedCounter(): m_done(false){}void run(){auto print_thread =std::thread(&ThreadedCounter::print_count, this);auto count_thread =std::thread(&ThreadedCounter::count_up, this); print_thread.join(); count_thread.join();}};   int main(){ ThreadedCounter m_counter; m_counter.run();}

Salida:

10 20 30 40 50 60 70 80 90 100 print_count() lista count_up() lista

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_or (C++11)	atomically performs bitwise OR between the argument and the value of the atomic object and obtains the value held previously (función miembro pública de std::atomic)
atomic_fetch_andatomic_fetch_and_explicit (C++11)(C++11)	Reemplaza el objeto atómico con el resultado de la operación lógica AND con un argumento no atómico y obtiene el valor anterior del objeto atómico. (plantilla de función)
atomic_fetch_xoratomic_fetch_xor_explicit (C++11)(C++11)	Reemplaza el objeto atómico con el resultado de la operación lógica XOR con un argumento no atómico y obtiene el valor anterior del objeto atómico. (plantilla de función)
Documentación de C para atomic_fetch_or, atomic_fetch_or_explicit