5. atomic_is_lock_free

最終更新日時(UTC):
が更新

履歴 編集

function template
<memory>

std::atomic_is_lock_free(C++11)(C++20で非推奨)

namespace std {
  template <class T>
  bool atomic_is_lock_free(const shared_ptr<T>* p);
}

この関数は、C++20から非推奨となった。アトミックアクセスの対象としているshared_ptrをshared_ptrに対するatomic特殊化で置き換えることで同等の機能を使用できる。

概要

shared_ptrオブジェクトがロックフリーに振る舞えるかを判定する。

要件

p != nullptrであること。

戻り値

*pオブジェクトに対する操作がロックフリーに振る舞えるならtrue、そうでなければfalseを返す。

falseを返す場合は、ロックで実装されることを意味する。

例外

投げない

非推奨・削除の詳細

この関数はフリー関数であるため、この関数によってアトミックにアクセスする対象となるshared_ptrオブジェクトそのものはどこかに配置されている非アトミックオブジェクトである。そのため、アトミックアクセスしたい文脈の外側から通常のアクセスが可能であり、もし別のスレッドからそのようなアクセスが行われているとこの関数を用いていてもデータ競合を引き起こし未定義動作となる。

すなわち、アトミックにアクセスしたいshared_ptrオブジェクトに対する全てのアクセスをプログラマがきちんと管理しなければこの関数の使用は安全ではなく、それはかなり困難であったためこの関数は危険な利用がデフォルトとなっていた。

そのため、この関数（とそのファミリ）は非推奨とされ、代わりにshared_ptrに対するatomic特殊化が追加された。shared_ptrに対するatomic特殊化を利用すれば、アトミックにアクセスする対象となるshared_ptrオブジェクトそのものをアトミックオブジェクトとすることができるため、どこからアクセスしたとしても全てのアクセスは自動的にアトミックアクセスとなり、前述の問題は回避できる。

この関数からshared_ptrに対するatomic特殊化に移行する場合は、元のコードでアトミックアクセス対象となっていたshared_ptrオブジェクトの型をstd::atomic<std::shared_ptr>に変更することで移行でき、その場合はatomicのために用意されているフリー関数が代わりに使用される（宣言されているヘッダが異なるため、<atomic>ヘッダのインクルードが必要となるかもしれない）。

例

#include <iostream>
#include <memory>

int main()
{
  std::shared_ptr<int> p(new int(3));

  if (std::atomic_is_lock_free(&p)) {
    std::cout << "shared_ptr<int> is lock-free" << std::endl;
  }
  else {
    std::cout << "shared_ptr<int> isn't lock-free" << std::endl;
  }
}

出力例

shared_ptr<int> isn't lock-free

バージョン

言語

  • C++11

処理系

参照