From ca0fd420d458c71d78413306b6a565bead149c62 Mon Sep 17 00:00:00 2001
From: Iru Cai <mytbk920423@gmail.com>
Date: Tue, 28 May 2019 13:53:34 +0800
Subject: more fixing

---
 chap/chap3.tex | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'chap/chap3.tex')

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位生成掩码。
-- 
cgit v1.2.3

