From a2bd617c0b8882aa5c356b58967ec0ab8ca72493 Mon Sep 17 00:00:00 2001 From: Jessica Clarke Date: Mon, 6 Apr 2020 23:23:18 +0100 Subject: [PATCH] Clarify that FENCE + remote FENCE.I is insufficient for local hart (#503) This sequence only synchronises the remote harts; the local hart still needs to perform a normal FENCE.I. --- src/zifencei.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/zifencei.tex b/src/zifencei.tex index fc8b06795..5682986d4 100644 --- a/src/zifencei.tex +++ b/src/zifencei.tex @@ -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