Skip to content

Commit

Permalink
Clarify that FENCE + remote FENCE.I is insufficient for local hart (r…
Browse files Browse the repository at this point in the history
…iscv#503)

This sequence only synchronises the remote harts; the local hart still
needs to perform a normal FENCE.I.
  • Loading branch information
jrtc27 authored Apr 6, 2020
1 parent 3ebf610 commit a2bd617
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/zifencei.tex
Original file line number Diff line number Diff line change
Expand Up @@ -92,7 +92,7 @@ \chapter{``Zifencei'' Instruction-Fetch Fence, Version 2.0}
hart. FENCE.I does {\em not} ensure that other RISC-V harts'
instruction fetches will observe the local hart's stores in a
multiprocessor system. To make a store to instruction memory visible
to all RISC-V harts, the writing hart has to execute a data FENCE
to all RISC-V harts, the writing hart also has to execute a data FENCE
before requesting that all remote RISC-V harts execute a FENCE.I.

The unused fields in the FENCE.I instruction, {\em imm[11:0]}, {\em rs1}, and
Expand Down

0 comments on commit a2bd617

Please sign in to comment.