1. 導入
現代のC++開発において、マルチスレッドプログラミングは避けて通れない技術です。しかし、複数のスレッドから同一の変数へ同時にアクセスすると、データ競合（Data Race）が発生し、未定義動作を引き起こします。これを解決するために、mutexによる排他制御を用いる方法がありますが、パフォーマンスの低下が課題となることがあります。そこで活用したいのが、ロックフリーな操作を可能にするstd::atomicです。本記事では、アトミック操作の基本と、安全な並列処理の実装手法を解説します。
2. 基礎知識
std::atomicは、その操作が「不可分（アトミック）」であることを保証するテンプレートクラスです。アトミックな操作とは、他のスレッドから見て「処理が完了した状態」か「処理前の状態」のどちらかしか見えず、中途半端な状態が見えないことを意味します。
一般的な変数のインクリメント（i++）は、実際には「読み込み」「加算」「書き込み」という3つのステップに分かれています。マルチスレッド環境では、このステップの途中で他のスレッドが割り込むことで不整合が生じますが、std::atomicを使用することで、これらのステップを単一の不可分な命令としてハードウェアレベルで実行できます。
3. 実装/解決策
std::atomicを使用する際は、対象の変数をstd::atomicテンプレートでラップするだけです。基本的な読み書きは通常の変数と同じように演算子（=や++など）がオーバーロードされているため直感的に記述できます。また、より複雑な操作（比較して交換する等）が必要な場合は、compare_exchange_strong関数などを使用します。
4. サンプルプログラム
以下は、複数のスレッドから安全にカウンタをインクリメントする実用的な例です。
include
include
include
int main() {
// アトミックなカウンタの初期化
std::atomic
std::vector
// 10個のスレッドでそれぞれ1000回インクリメントを行う
for (int i = 0; i < 10; ++i) {
threads.emplace_back([&counter]() {
for (int j = 0; j < 1000; ++j) {
// アトミックなインクリメント（排他制御なしで安全）
counter++;
}
});
}
// 全スレッドの終了を待機
for (auto& t : threads) {
t.join();
}
// 正しく10000になっていることを確認
std::cout << "最終カウンタ値: " << counter.load() << std::endl;
return 0;
}
5. 応用・注意点
実務でstd::atomicを使用する際、以下の点に注意してください。
メモリオーダー（Memory Order）の理解
デフォルトでは最も厳しいメモリ整合性（std::memory_order_seq_cst）が適用されます。パフォーマンスを極限まで追求する場合は、std::memory_order_relaxedなどを指定することで、ハードウェアの最適化を活かせる場合がありますが、論理的な整合性を保つのは非常に難しくなるため、特別な理由がない限りデフォルトの動作に任せることを推奨します。
大きな構造体への使用は避ける
std::atomicは、CPUがハードウェアとしてサポートしているサイズ（通常はintやポインタサイズ）で最も効率的に動作します。大きな構造体をアトミック化しようとすると、内部でロックが自動的に適用され、パフォーマンスが著しく低下する可能性があります。その場合は、std::mutexによる保護を検討すべきです。
コメント