データ競合とhappens-before関係 Part1
- 2020/07/16 09:26:02 投稿
- 再生数：134
- マイリスト数：0
マルチスレッドプログラムに潜む典型的なバグであるデータ競合を解説します。データ競合とは，複数のスレッドから共有変数を並行に読み書きするケースで発生する可能性のあるバグです。データ競合があると変数読み書きのアトミック性が担保できないことに加え，コンパイラやCPUによるリオーダの原因となります。この動画ではデータ競合の紹介，データ競合が引き起こす問題を説明した後，データ競合を防ぐ方法を紹介します。データ競合と深い関係のあるhappens-before関係，逐次一貫性，リリース一貫性を説明します。Part2> sm37196288 YouTube https://youtu.be/1dzu0cpVHysC++ 講習会もやってます https://www.nicovideo.jp/series/140073