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/w/cpp/atomic/atomic_flag_test_and_set