タグ

readingとdata raceに関するUSAGI-WRPのブックマーク (1)

  • (翻訳)良性データ競合へのC++的対応 - yohhoyの日記

    元記事:Dealing with Benign Data Races the C++ Way | Corensic, Bartosz Milewski氏, 2011/5/9 自分自身の理解のために日語訳を行ったC++11のデータ競合に関する記事。 良性データ競合へのC++的対応 データ競合(data race)は未定義動作(undefined behavior)を引き起こします。でも、実際にはどれほどマズいことなのでしょうか?前回の記事では良性のデータ競合*1にふれて、Windowsカーネルでの実例をいくつか示しました。カーネルの場合は、特定プロセッサ向けに特定コンパイラを用いてコンパイルされるため、これらの実例は正しく動作していました。ただし一般論としては、コードをポータブルにしたいならば、データ競合を含んでいてはいけません。以上。 明確に“未定義(undefined)”と定義されたも

    (翻訳)良性データ競合へのC++的対応 - yohhoyの日記
  • 1