Namespaces
Variants

std:: atomic_flag_test_and_set, std:: atomic_flag_test_and_set_explicit

From cppreference.net
Concurrency support library
Threads
(C++11)
(C++20)
this_thread namespace
(C++11)
(C++11)
Cooperative cancellation
Mutual exclusion
Generic lock management
Condition variables
(C++11)
Semaphores
Latches and Barriers
(C++20)
(C++20)
Futures
(C++11)
(C++11)
(C++11)
Safe reclamation
Hazard pointers
Atomic types
(C++11)
(C++20)
Initialization of atomic types
(C++11) (deprecated in C++20)
(C++11) (deprecated in C++20)
Memory ordering
(C++11) (deprecated in C++26)
Free functions for atomic operations
Free functions for atomic flags
atomic_flag_test_and_set atomic_flag_test_and_set_explicit
(C++11) (C++11)
Определено в заголовке <atomic>
bool atomic_flag_test_and_set ( volatile std:: atomic_flag * obj ) noexcept ;
(1) (начиная с C++11)
bool atomic_flag_test_and_set ( std:: atomic_flag * obj ) noexcept ;
(2) (начиная с C++11)
bool atomic_flag_test_and_set_explicit ( volatile std:: atomic_flag * obj,
std:: memory_order order ) noexcept ;
(3) (начиная с C++11)
bool atomic_flag_test_and_set_explicit ( std:: atomic_flag * obj,
std:: memory_order order ) noexcept ;
(4) (начиная с C++11)

Атомарно изменяет состояние std::atomic_flag , на который указывает obj , на установленное ( true ) и возвращает значение, которое было до этого.

1,2) Порядок синхронизации памяти - std:: memory_order_seq_cst .
3,4) Порядок синхронизации памяти - order .

Содержание

Параметры

obj - указатель на std::atomic_flag для доступа
order - порядок синхронизации памяти

Возвращаемое значение

Значение, которое ранее содержал флаг, на который указывает obj .

Примечания

std::atomic_flag_test_and_set и std::atomic_flag_test_and_set_explicit могут быть реализованы как obj - > test_and_set ( ) и obj - > test_and_set ( order ) соответственно.

Пример

Спинлок мьютекс может быть реализован в пользовательском пространстве с использованием std::atomic_flag .

#include <atomic>
#include <iostream>
#include <thread>
#include <vector>
std::atomic_flag lock = ATOMIC_FLAG_INIT;
void f(int n)
{
    for (int cnt = 0; cnt < 100; ++cnt)
    {
        while (std::atomic_flag_test_and_set_explicit(&lock, std::memory_order_acquire))
            ; // ожидание захвата блокировки
        std::cout << "Output from thread " << n << '\n';
        std::atomic_flag_clear_explicit(&lock, std::memory_order_release);
    }
}
int main()
{
    std::vector<std::thread> v;
    for (int n = 0; n < 10; ++n)
        v.emplace_back(f, n);
    for (auto& t : v)
        t.join();
}

Вывод:

Output from thread 2
Output from thread 6
Output from thread 7
...<exactly 1000 lines>...

Смотрите также

безблокировочный булев атомарный тип
(класс)
атомарно устанавливает значение флага в false
(функция)
определяет ограничения упорядочения памяти для данной атомарной операции
(перечисление)
Документация C для atomic_flag_test_and_set , atomic_flag_test_and_set_explicit