メモリ一貫性モデルとは

めもりいっかんせいもでる

あるコアが行った複数の番地への読み書きが、ほかのコアからどの順番で見えうるかを定めた約束。逐次一貫性、x86のTSO、ARMやRISC-Vの弱いモデルなどがある。

この用語の分野: マルチコアと同期

解説の中の「メモリ一貫性モデル」

「メモリ一貫性モデル」が出てくる問題(5問)

  1. メモリ一貫性モデル(メモリコンシステンシモデル)が定めているものはどれか。
  2. x86のメモリ一貫性モデル(TSO、トータルストアオーダー)の特徴として正しいものはどれか。
  3. ARMやRISC-V(RVWMO)のような弱いメモリ一貫性モデルについて正しいものはどれか。
  4. 上のコードで、スレッド1がdataを用意してからflagで知らせ、スレッド2がflagを見てからdataを読む。弱いメモリ一貫性モデルのCPUで、スレッド2が確実に42を読むために必要なこととして正しいものはどれか。
  5. キャッシュコヒーレンシとメモリ一貫性モデルの違いとして正しいものはどれか。

関連する用語

ストアバッファ TSO(トータルストアオーダー) キャッシュコヒーレンシ アクワイア・リリース アトミック命令 ABA問題 LR/SC クリティカルセクション コンペア・アンド・スワップ 条件変数

用語集の一覧へ