20135306黄韧 信息安全系统设计基础第四章学习总结

第四章 处理器体系结构

4.1 Y86指令集体系结构

程序员可见的状态

·释义:Y86程序中的每条指令都会读取或修改处理器状态的某些部分。

Y86→IA32

·8个程序寄存器

%eax，%ecx，%edx，%ebx，%esi，%edi，%esp ,%ebp

·存储器

释义：从概念上来讲就是一个很大的字节数组，保存着程序和数据。

·Y86指令

见书中图片

·Y86指令的更多细节

*IA32的movl指令分成了4个不同的指令：irmovl、rrmovl、mrmovl和rmmovl，分别显示地指明源和目的的格式。

PS：源可以是立即数（i），寄存器（r）或存储器（m）

指令名字的第一个字母就表明了源的类型，第二个字母指明了目的类型。

△同IA32一样，不允许从一个存储器地址直接传送到另一个存储器地址，也不允许将立即数传送到存储器。

*四个整数操作指令：addl、subl、andl、xorl。

*七个跳转指令：jmp、jle、jl、je、jne、jge、jg。

*六个条件传送指令：cmovle、cmovl、cmove、cmovne、cmovge、cmovg

*call指令将返回地址入栈，然后跳到目的地址。

*push1和pop1指令实现了入栈和出栈。

*halt指令停止指令的执行。

指令编码

·每条指令的第一个字节表明指令的类型。这个字节分为两个部分，每部分四位：高4位是代码部分，低4位是功能部分。

·8个程序寄存器中每个都有相应的0~7的寄存器标识符。

·程序寄存器存在CPU中的一个寄存器文件中，这个寄存器文件就是一个小的、以寄存器ID作为地址的随机访问存储器。

PS：有的指令只有一个字节长，而有的需要操作数的指令编码就更长一些。

有些指令需要一个附加的4字节常数字，这个字能作为irmovl的立即数数据，rmmovl和mrmovl的地址指示符的偏移量，以及分支指令和调用指令的目的地址。

△指令集的一个重要性质就是字节编码必须有唯一的解释。

Y86异常

• 状态码stat，停止执行指令。
                         

4.2逻辑设计和硬件控制语言HCL

• 在硬件设计中，用电子电路来计算对位进行计算的函数，以及在各种存储器元素存储位。
• 一个数字系统需要三个主要的组成部分：1、计算对位进行操作的函数的组合逻辑。2、存储位的存储器元素。3、控制存储器元素更新的时钟信号。

逻辑门

• 逻辑门是数字电路的基本计算元素。他们产生的输出，等于他们输入位值的某个布尔函数
• And && or|| not!
  

组合电路和HCL布尔表达式

• 将很多的逻辑门组合成一个网，就能构成计算块，称为组合电路。
• 两条限制：
  +两个或多个逻辑门的输出不能连接在一起。
  +这个网必须是无环的。
• 字级的组合逻辑电路和HCL整数表达式
• 执行字级计算的组合电路根据输入字的各个位，用逻辑门来计算输出字的各个位。
• 在HCL中，我们将所有字级的信号都声明为int，不指定字的大小。HCL允许比较字是否相等。
• 画字级电路的时候，我们用中等粗度的线来表示携带字的每个位的线路，而用虚线来表示布尔信号结果。
• 组合逻辑电路可以设计成在字级数据上执行许多不同类型的操作。

集合关系

• 将一个信号与许多可能匹配的信号做比较，以此来验证正在处理的某个指令代码是否属于某一类指令代码。

存储器和时钟

• 为了产生时序电路。
• 时钟寄存器：存储单个位或字。时钟信号控制寄存器加载输入值。
• 随机访问存储器：存储多个字，用地址来选择该读或该写哪个字。

4.3  Y86的顺序实现

• SEQ处理器

将处理组织成阶段

• 1.阶段

取指→译码→执行→访问→写回→更新PC

• 2.OPl（整数和逻辑运算），rrmovl（寄存器-寄存器传送）和irmovl（立即数-寄存器传送）类型的指令所需的处理。
• 3.rmmovl和mrmovl所需要的处理。
• 4.处理pushl和popl指令所需的步骤。
• 5.跳转，call和ret三类控制转移指令的处理。

SEQ硬件结构

• 1.实现SEQ的画图惯例：（见书中图示）

（1）浅灰色方框表示硬件单元。

（2）控制逻辑快是用灰色圆角矩形表示的。

（3）线路的名字在百色椭圆中说明。

（4）宽度为字长的数据连接用中等粗度的线表示。

（5）宽度为字节或更窄的数据连接用细线表示。

（6）单个位的连接用虚线来表示。

SEQ的时序

• 1.SEQ的实现包括组合逻辑和两种存储器设备：

（1）时钟寄存器-程序计数器和条件码寄存器。

（2）随机访问存储器-寄存器文件，指令存储器和数据存储器。

（3）剩下四个：

• 条件码寄存器：只在执行整数运算指令时装载
• 数据存储器：只在执行rmmovl、pushl或call时写入
• 寄存器文件：两个写端口允许每个时钟周期更新两个程序寄存器。
• 特殊寄存器：0xF表示此端口不应执行写操作。

SEQ阶段的实现

• 在控制逻辑中必须被显式引用的常数：

（1）nop指令：PC+1，别的只经过不改变。

（2）halt指令：使处理器状态变为HLT，导致停止运行。

•  1.取指阶段：

以PC为第一个字节，读6个字节。

（1）两个逻辑块：

• 指令代码：icode
• 指令功能：ifun

（2）三个一位的信号

• instr_valid:发现不合法的指令.
• need_regids:包含寄存器指示符字节吗
• need_valC:包括常数字吗
• 2.译码和写回阶段

都需要访问寄存器文件，根据四个端口的情况，判断应该读哪个寄存器产生信号valA、valB

• 3.执行阶段

（1）包括算术/逻辑单元ALU，输出的是valE。

（2）包括条件码寄存器。

• 4.访存阶段

（1）读或者写程序数据。

（2）根据icode,imem_error,instr_valid,dmem_error，从指令执行的结果计算状态码Stat。

• 5.更新PC阶段

会产生程序计数器的新值。

实验

构建YIS环境：
cd ~/Code/shiyanlou_cs413
wget http://labfile.oss.aliyuncs.com/courses/413/sim.tar
tar -xvf sim.tar
cd sim
sudo apt-get install tk
sudo ln -s /usr/lib/x86_64-linux-gnu/libtk8.6.so /usr/lib/libtk.so
sudo ln -s /usr/lib/x86_64-linux-gnu/libtk8.6.so /usr/lib/libtk.so
make

 

YIS测试:
cd y86-code
进入测试代码，教材p239页代码为asuml.ys,可以通过
make asuml.yo
进行汇编，asuml.yo就是汇编后的结果，见教材p238。
make all
可以汇编运行所有代码结果。

 

 

 

 

参考资料

1. 教材：第四章《处理器体系结构》，详细学习指导：http://group.cnblogs.com/topic/73069.html
2. 课程资料：https://www.shiyanlou.com/courses/413 实验五，课程邀请码：W7FQKW4Y
3. 教材中代码运行、思考一下，读代码的学习方法：http://www.cnblogs.com/rocedu/p/4837092.html。