std::atomic_flag_test_and_set, std::atomic_flag_test_and_set_explicit

Определён в заголовочном файле `<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))
            ; // spin until the lock is acquired
        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>...

См. также

atomic_flag (C++11)	неблокирующий атомарный логический тип (класс)
atomic_flag_clearatomic_flag_clear_explicit (C++11)(C++11)	атомарно устанавливает значение флага в `false` (функция)
memory_order (C++11)	задаёт ограничения на порядок доступа к памяти для указанной атомарной операции (перечисление)
Документация по C для `atomic_flag_test_and_set, atomic_flag_test_and_set_explicit`

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/atomic/atomic_flag_test_and_set