[RVWMO Explanatory] Fix the figure used to illustrate atomicity axiom rule

riscv / riscv-isa-manual

RISC-V Instruction Set Manual

https://riscv.org/

Creative Commons Attribution 4.0 International

3.7k stars 645 forks source link

Closed diantaowang closed 1 day ago

diantaowang commented 1 day ago

In the latest unprivileged version, there is a bug in Figure 4 of A.3.3. Atomicity axiom.

The wrong picture is as follows:

The right picture should be:

Fix it.