Namespaces
Variants

std:: atomic_is_lock_free, ATOMIC_xxx_LOCK_FREE

From cppreference.net
C++
Concurrency support library
Threads
(C++11)
(C++20)
(C++17) (C++17)
this_thread namespace
(C++11)
(C++11)
Cooperative cancellation
Mutual exclusion
Generic lock management
Condition variables
(C++11)
(C++11)
(C++11)
(C++11)
Semaphores
(C++20) (C++20)
Latches and Barriers
(C++20)
(C++20)
Futures
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
Safe reclamation
Hazard pointers
(C++26)
(C++26)
(C++26)
Atomic types
(C++11)
(C++20)
(C++11)
Initialization of atomic types
(C++11) (deprecated in C++20)
(C++11) (deprecated in C++20)
(C++11)
Memory ordering
(C++11)
(C++11) (deprecated in C++26)
(C++11)
(C++11)
Free functions for atomic operations
(C++11) (C++11)
(C++11) (C++11)
(C++11) (C++11)
(C++11) (C++11) (C++11) (C++11)
(C++11) (C++11)
(C++11) (C++11)
(C++11) (C++11)
(C++11) (C++11)
(C++11) (C++11)
(C++26) (C++26)
(C++26) (C++26)
atomic_is_lock_free
(C++11)
(C++20) (C++20)
(C++20)
(C++20)
Free functions for atomic flags
(C++11) (C++11)
(C++11) (C++11)
(C++20) (C++20)
(C++20) (C++20)
(C++20)
(C++20)
Definido en el encabezado <atomic>
template < class T >
bool atomic_is_lock_free ( const volatile std:: atomic < T > * obj ) noexcept ;
(1) (desde C++11)
template < class T >
bool atomic_is_lock_free ( const std:: atomic < T > * obj ) noexcept ;
(2) (desde C++11)
#define ATOMIC_BOOL_LOCK_FREE     /* unspecified */

#define ATOMIC_CHAR_LOCK_FREE     /* unspecified */
#define ATOMIC_CHAR16_T_LOCK_FREE /* unspecified */
#define ATOMIC_CHAR32_T_LOCK_FREE /* unspecified */
#define ATOMIC_WCHAR_T_LOCK_FREE  /* unspecified */
#define ATOMIC_SHORT_LOCK_FREE    /* unspecified */
#define ATOMIC_INT_LOCK_FREE      /* unspecified */
#define ATOMIC_LONG_LOCK_FREE     /* unspecified */
#define ATOMIC_LLONG_LOCK_FREE    /* unspecified */

#define ATOMIC_POINTER_LOCK_FREE  /* unspecified */
(3) (desde C++11)
#define ATOMIC_CHAR8_T_LOCK_FREE  /* unspecified */
(4) (desde C++20)
1,2) Determina si el objeto atómico apuntado por obj está implementado sin bloqueos, como si se llamara a obj - > is_lock_free ( ) . En cualquier ejecución de programa dada, el resultado de la consulta sin bloqueos es el mismo para todos los objetos atómicos del mismo tipo.
3,4) Se expande a una expresión constante entera con valor
  • ​ 0 ​ para los tipos atómicos incorporados que nunca son libres de bloqueo,
  • 1 para los tipos atómicos incorporados que son a veces libres de bloqueo,
  • 2 para los tipos atómicos incorporados que son siempre libres de bloqueo.

Contenidos

Parámetros

obj - puntero al objeto atómico a examinar

Valor de retorno

true si * obj es un atómico libre de bloqueo, false en caso contrario.

Notas

Todos los tipos atómicos excepto std::atomic_flag pueden implementarse usando mutexes u otras operaciones de bloqueo, en lugar de usar las instrucciones atómicas sin bloqueo de la CPU. También se permite que los tipos atómicos sean a veces sin bloqueo: por ejemplo, si solo algunas subarquitecturas soportan acceso atómico sin bloqueo para un tipo dado (como la instrucción CMPXCHG16B en x86-64), si los atómicos son sin bloqueo puede no saberse hasta el tiempo de ejecución.

El estándar de C++ recomienda (pero no requiere) que las operaciones atómicas lock-free también sean address-free, es decir, adecuadas para la comunicación entre procesos que utilizan memoria compartida.

Ejemplo

Ejecutar este código 
#include <atomic>
#include <iostream>
#include <utility>
struct A { int a[4]; };
struct B { int x, y; };
int main()
{
    std::atomic<A> a;
    std::atomic<B> b;
    std::cout << std::boolalpha
              << "std::atomic<A> is lock free? "
              << std::atomic_is_lock_free(&a) << '\n'
              << "std::atomic<B> is lock free? "
              << std::atomic_is_lock_free(&b) << '\n';
}

Salida posible: 

std::atomic<A> is lock free? false
std::atomic<B> is lock free? true

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares publicados anteriormente de C++.

DR Aplicado a Comportamiento publicado Comportamiento correcto
LWG 3249 C++11 atomic_is_lock_free se especificaba mediante punteros, lo cual
era ambiguo y podría aceptar valores de puntero inválidos 		especificado mediante
objetos atómicos

Véase también

verifica si el objeto atómico es libre de bloqueo
(función miembro pública de std::atomic<T> )
(C++11)
el tipo atómico booleano libre de bloqueo
(clase)
[static] (C++17)
indica que el tipo es siempre libre de bloqueo
(constante miembro estática pública de std::atomic<T> )
(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_is_lock_free
Documentación C para ATOMIC_*_LOCK_FREE