diff options
Diffstat (limited to 'chap/chap4.tex')
| -rw-r--r-- | chap/chap4.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/chap/chap4.tex b/chap/chap4.tex index 38ad65d..1d6c758 100644 --- a/chap/chap4.tex +++ b/chap/chap4.tex @@ -197,8 +197,8 @@ void victim(size_t x, uint8_t k) { InvisiSpec\supercite{invisispec} 是使用临时结构存放推测式执行中读取的 数据，从而防止暂态访存指令结果泄露的方法。和 Spectre 攻击的检测机制结 -合后，可以作为单条不安全指令的执行机制。这种方法将不安全指令从内存中读 -到的数据放入推测式执行缓冲区中，后续的指令可以使用这条指令的执行结果， +合后，可以作为单条不安全指令的执行机制。这种方法将不安全的内存读取中取得 +的数据放入推测式执行缓冲区中，后续的指令可以使用这条指令的执行结果， 确保指令流的继续执行。在推测式执行错误时，推测式执行缓冲区的内容会被丢 弃，缓存状态不会改变，因此不会产生侧信道。推测式执行被验证为安全时，缓 冲区中的数据将会更新至存储系统。为类确保不发生访存违例 InvisiSpec 需要 @@ -260,7 +260,7 @@ Gem5 的提交阶段由 DefaultCommit 类实现，它提交 ROB 队列头部的 \end{figure} 图 \ref{fig:load_exec} 是 Gem5 中执行一条装载指令的总体流程。 -在执行阶段，处理器将装载指令传递至 LSQ，装载指令将会按序进入 LQ. Gem5 +在执行阶段，处理器将装载指令传递至 LSQ，装载指令将会按序进入装载队列（LQ）。 Gem5 用指令系统特定的 initiatAcc 方法模拟该指令系统中装载指令访问存储系统的 方式。最后 LSQ 将装载指令的信息封装为一个请求，用 sendTimingReq 将这个 请求发送至存储系统。 |