RISC-V Memory Model Viewer 教育用・簡略化モデル

2

命令ブロック

LOADrd = mem[addr]
STOREmem[addr] = imm
LR.Wrd = mem[addr] + 予約
SC.W予約が有効なら書込
FENCEpred,succ 順序保証
AMOread-modify-write
ドラッグ&ドロップ、またはクリックで選択中のCPU列末尾に追加できます。ブロックはCPU列間でも並べ替えできます。

共有メモリ変数

実行結果

「実行」を押すと、選択したメモリモデルの下で可能な全てのグローバルオーダー(命令のコミット順序)を横に並べて表示します。