[summarize] Programming Language Memory Models

[mox692]

Translation Links

[mox692]

雑まとめ

Digression: Undefined behavior in C and C++

• 未定義動作コードをユーザーが書いているとすると、前節で書いてあった、最適化によってローカル変数の値が変わってしまう、みたいな事象が(データレースフリーなprogramにおいては)実際に発生しうる.
• つまりclangなどの最近のコンパイラは、ユーザーが未定義動作を描かないことを前提にしている. (russはこの点を批判している)

Acquire/release atomics

• C++においては、一番強い保証は atomic変数 への操作である.

  • [復習] atomic変数は、javaでいうところのvolatile変数であり、
  • 変数の書き込みはatomicに行われ、かつ直後に他のスレッドからその値が閲覧できるようになる

  ということが保証された変数のことである. (これはハードウェアの命令としてサポートされている. 詳しくは並行処理本とか？)

• 一方で、acquiere, releaseというmodelも存在する.

• C++ における atomic 変数と、memory_order について. 詳しくはここ.

[mox692]

C++のatomic変数

• https://cpprefjp.github.io/reference/atomic/memory_order.html
  • atomic変数においては、"release"操作によって書き込まれた値を"acquire"操作によって別のスレッドが読み出した場合に、そのrelease操作とacquire操作の間に順序付けが行われる。