std::atomic_flag_test_and_set、std::atomic_flag_test_and_set_explicit
From cppreference.com
| ヘッダー <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>...
[編集] 関連項目
| (C++11) |
ロックフリーなブール型アトミック型 (クラス) |
| (C++11)(C++11) |
フラグの値をアトミックにfalseに設定する (function) |
| (C++11) |
与えられたアトミック操作に対するメモリ順序制約を定義する (enum) |
| C言語ドキュメント (atomic_flag_test_and_set, atomic_flag_test_and_set_explicit)
| |