upd

5 files changed, 9 insertions, 5 deletions

diff --git a/chap/chap1.tex b/chap/chap1.tex
index 2807cb7..30e335b 100644
--- a/chap/chap1.tex
+++ b/chap/chap1.tex
@@ -3,6 +3,8 @@
 
 \chapter{绪论}\label{sec:intro}
 
+本章首先介绍论文的选题背景，然后介绍论文的研究平台和环境，最后介绍论文的组织结构。
+
 \section{选题背景与研究意义}
 
 现代微处理器使用了超标量流水线、乱序执行等设计，通过利用程序内的指令级
diff --git a/chap/chap2.tex b/chap/chap2.tex
index ff33fb0..17f99c1 100644
--- a/chap/chap2.tex
+++ b/chap/chap2.tex
@@ -838,7 +838,7 @@ MeltdownPrime 和 SpectrePrime \supercite{meltdownprime} 是一种使用
 Prime+Probe 方式进行 Meltdown 和 Spectre 攻击的形式。通过利用缓存一致
 性协议的缓存行失效机制，可以达到和 Flush+Reload 方式的同等精度。
 
-\section{本章总结}
+\section{小结}
 
 本章首先介绍侧信道攻击，接着分类介绍各个变体的 Meltdown 型攻击和
 Spectre 型攻击，最后介绍 NetSpectre 等攻击的其他利用形式。
diff --git a/chap/chap3.tex b/chap/chap3.tex
index d888b48..329d223 100644
--- a/chap/chap3.tex
+++ b/chap/chap3.tex
@@ -809,7 +809,7 @@ Conditional Speculation 定义了安全相关的概念，并将其用于安全�
 SpectreGuard 是基于隐私数据标记的防御方法，它针对 Spectre 攻击中所有的
 侧信道，而不限于缓存信道。它的设计简单，但是需要软件的支持。
 
-\section{本章总结}
+\section{小结}
 
 本章介绍了现有的 Meltdown 和 Spectre 的防御方法，重点介绍 Spectre 的防
 御方法，包括软件防御和硬件防御。最后分析了各种防御方案的特性和缺点。
diff --git a/chap/chap4.tex b/chap/chap4.tex
index 892ecea..0a3b471 100644
--- a/chap/chap4.tex
+++ b/chap/chap4.tex
@@ -384,7 +384,7 @@ FenceDelay 标志。
 了 PrevBrsResolved 属性，或者（2）AfterTaintedBranch 未设置，并且源寄存
 器均未被标记。
 
-\section{本章小结}
+\section{小结}
 
 本章前两节介绍本文设计的基于信息流追踪的 Spectre 组件的检测方法，讨论
 了执行可能泄露数据的装载指令的几种方法。第三节介绍了在 gem5 中实现这些
diff --git a/chap/chap5.tex b/chap/chap5.tex
index 4264699..e16fe51 100644
--- a/chap/chap5.tex
+++ b/chap/chap5.tex
@@ -1,4 +1,6 @@
-\chapter{评测}\label{sec:eval}
+\chapter{功能验证与性能评测}\label{sec:eval}
+
+本文设计了一种可用于防御 Spectre 攻击的微体系结构。本章对这种微体系结构进行功能验证，说明它满足威胁模型所要求的安全性质，并且对这种设计进行性能评测。
 
 \section{评测环境}
 
@@ -239,7 +241,7 @@ SpecLoad 的数量只减少了 67\%，而性能开销接近 20\% 的 calculix �
 SpecLoad 减少的数量也在 70\% 以下。
 
 %\Todo: 评测结果的分析
-\section{本章总结}
+\section{小结}
 
 本章先介绍了评测环境，列出了各个处理器配置的基本参数。其后给出了评测指
 标，包括安全性的测试和性能测试的指标。最后给出了安全测试的方法和结果，