diff options
Diffstat (limited to 'chap/chap3.tex')
| -rw-r--r-- | chap/chap3.tex | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/chap/chap3.tex b/chap/chap3.tex index 19b358e..a5fe00c 100644 --- a/chap/chap3.tex +++ b/chap/chap3.tex @@ -137,7 +137,7 @@ SafeSpec\supercite{safespec}提出了一种设计原则保护处理器免受推 \label{fig:safespec} \end{figure} -虽然SafeSpec原则上很简单，但必须解决许多与其安全性，复杂性和性能相关的 +虽然 SafeSpec 原则上很简单，但必须解决许多与其安全性，复杂性和性能相关的 问题。 将状态从影子状态移动到提交状态有两种选择。第一种选择是等待分支（Wait @@ -663,8 +663,8 @@ Matrix[X,Y] {}={} & (IQ[X].opcode == Memory) \\ 也是攻击者推断出秘密数据的要求。 \end{enumerate} -在 TPBuf 过滤器中，以上行为模式称为 S-pattern. 如果观察到推测式执行的 -指令序列具有以下特征，则认为它具有 S-pattern: +在 TPBuf 过滤器中，以上行为模式称为S-模式。如果观察到推测式执行的 +指令序列具有以下特征，则认为它具有S-模式： \begin{enumerate} \item 至少有两个指令 A 和 B 访问不同的内存页 @@ -689,7 +689,7 @@ TPBuf 的结构如图 \ref{fig:tpbuf} 所示。TPBuf 的条目和装载存储队 它的条目分配、提交等操作和 LSQ 一起进行。TPBuf 包含了所有进行中的推测式 的访存指令。为了避免攻击者访问未授权的数据，并将其传播到自己的地址空间， 需要先用 TLB 获得访问的物理地址，将其写入 TPBuf 中该访问对应的一 -项。TPBuf 检测 S-pattern，并将结果再传至缓存命中过滤器，决定是否阻止一 +项。TPBuf 检测S-模式，并将结果再传至缓存命中过滤器，决定是否阻止一 个可疑推测式执行的请求。 % 分配：当在LSQ中分配存储器访问指令时，它们也在TPBuf中分配并且A位被置位。并且根据TPBuf中的A位生成掩码。 |