std::atomic_fetch_sub, std::atomic_fetch_sub_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)

 

<tbody> </tbody> <tbody class="t-dcl-rev t-dcl-rev-num "> </tbody><tbody> </tbody> <tbody class="t-dcl-rev t-dcl-rev-num "> </tbody><tbody> </tbody>

Definido en el archivo de encabezado <atomic>
	(1)
template< class T > T atomic_fetch_sub( std::atomic<T>* obj, typename std::atomic<T>::difference_type arg ) noexcept;
template< class T > T atomic_fetch_sub( volatile std::atomic<T>* obj, typename std::atomic<T>::difference_type arg ) noexcept;
		(2)
template< class T > T atomic_fetch_sub_explicit( std::atomic<T>* obj, typename std::atomic<T>::difference_type arg, std::memory_order order ) noexcept;
template< class T > T atomic_fetch_sub_explicit( volatile std::atomic<T>* obj, typename std::atomic<T>::difference_type arg, std::memory_order order ) noexcept;

Realiza una resta atómica. Atómicamente resta arg del 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_sub(arg)

2) obj->fetch_sub(arg, order)

Parámetros

obj	-	Puntero al objeto atómico a modificar.
arg	-	El valor a restar del 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_sub( std::atomic<T>* obj, typename std::atomic<T>::difference_type arg ) noexcept { return obj->fetch_sub(arg); }

Ejemplo

Varios hilos pueden usar fetch_sub para procesar concurrentemente un contenedor indexado.

Ejecuta este código

#include <string>
#include <thread>
#include <vector>
#include <iostream>
#include <atomic>
#include <numeric>

const int N = 50;
std::atomic<int> cnt;
std::vector<int> data(N);

void lector(int id) 
{
    for (;;) {
        int idx = atomic_fetch_sub_explicit(&cnt, 1, std::memory_order_relaxed);
        if (idx >= 0) {
            std::cout << "lector " << std::to_string(id) << " ha procesado elemento "
                      << std::to_string(data[idx]) << '\n';
        } else {
            std::cout << "lector " << std::to_string(id) << " listo\n";
            break;
        }
    }
}

int main()
{
    std::iota(data.begin(), data.end(), 1);
    cnt = data.size() - 1;

    std::vector<std::thread> v;
    for (int n = 0; n < 5; ++n) {
        v.emplace_back(lector, n);
    }
    for (auto& t : v) {
        t.join();
    }
}

Salida:

lector 2 ha procesado elemento 50
lector 1 ha procesado elemento 44
lector 4 ha procesado elemento 46
<....>
lector 0 listo
lector 4 listo
lector 3 listo

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_sub (C++11)	atómicamente resta el argumento de que el valor almacenado en el objeto atómico y obtiene el valor que tenía antes Original: atomically subtracts the argument from 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_addatomic_fetch_add_explicit (C++11)(C++11)	Agrega un valor no atómico a un objeto atómico y obtiene el valor anterior del objeto atómico. (plantilla de función)
Documentación de C para atomic_fetch_sub, atomic_fetch_sub_explicit