20145304 《信息安全系统设计基础》第六周学习总结
2016-10-23 14:25
253 查看
20145304 《信息安全系统设计基础》第六周学习总结
教材学习内容总结
一个处理器支持的指令和指令的字节级编码称为它的指令集体系结构,ISA。Y86指令集体系结构
程序员可见状态
Y86程序中的每条指令都会读取或修改处理器状态的某些部分,称为程序员可见状态。其中包括:8个程序寄存器:%eax,%ecx,%edx,%ebx,%esi,%edi,%esp和%ebp。
条件码:ZF(零)、SF(符号)、OF(有符号溢出)
程序计数器(PC):存放当前正在执行的指令的地址
存储器:很大的字节数组,保存着程序和数据。Y86系统用虚拟地址来引用存储器的位置,硬件和操作系统软件联合起来将虚拟地址翻译成实际或者物理地址。
状态码(stat):表明程序执行的总体状态。
Y86指令
movl:irmovl、rrmovl、mrmovl、rmmovl,分别显式地指明源和目的地的格式。第一个字母表明源的类型,i(立即数)、r(寄存器)或m(存储器 ),第二个字母代表目的,可以是r或者m。整数操作指令OPl:addl、subl、andl和xorl。只对寄存器数据进行操作,同时还设置条件码。
跳转指令jXX:jmp、jle、jl、je、jne、jge、jg,根据分支指令的类型和条件码的设置来选择分支。
条件传送指令cmovXX:cmovle、cmovl、cmove、cmovne、cmovge和comvg,与寄存器-寄存器传送指令rrmovl一样,但只有当条件码满足所需要的约束时才会更新目的寄存器的值。
call指令将返回地址入栈,然后跳转到目的地址。ret指令从这样的过程调用中返回。
pushl和popl:入栈和出栈。
halt:停止指令的执行。
指令编码
每条指令的第一个字节表明指令的类型,高4位为代码部分,低4位为功能部分,功能值只有在一组相关指令共用一个代码时才有用。8个程序寄存器当中,每个都有相应的0~7的寄存器标识符。程序寄存器存在CPU中的一个寄存器文件中,这个文件就是一个小的、以寄存器ID作为地址的随机访问存储器。
附加4字节的常数字:作为irmovl的立即数数据,rmmovl和mrmovl的地址指示符的偏移量,以及分支指令和调用指令的目的地址。
分支指令和调用指令的目的地址是一个绝对地址。所有整数采用小端法编码。
指令集的一个重要性质就是字节编码必须有唯一的解释。
Y86异常
状态码Stat:描述程序执行的总体状态。值 名字 含义 1 AOK 正常操作 2 HLT 处理器执行halt指令(指令停止) 3 ADR 遇到非法地址 4 INS 遇到非法指令
逻辑设计和硬件控制语言HCL
实现一个数字系统需要的三个组成部分:计算对位进行操作的函数的组合逻辑、存储位的存储器元素,以及控制存储器元素更新的时钟信号。逻辑门
逻辑门是数字电路的基本计算元素,输出等于输入位值的某个布尔函数。AND用&&表示,OR用||表示,NOT用!表示。
逻辑门总是活动的。
组合电路和HCL布尔表达式
组合电路:很多逻辑门组合成一个网,构建的计算块。构建这些网有两条限制:1.两个以上的逻辑门的输出不能连接在一起,否则可能使线上信号矛盾,导致一个不合法的电压或电路故障。2.这个网必须是无环的,否则会导致网络计算有歧义。多路复用器:根据输入控制信号的值,从一组不同的数据信号中选出一个。
字级的组合电路和HCL整数表达式
HCL中,所有字级的信号都声明为int,不指定字的大小。多路复用函数是用情况表达式来描述的。
[
select1 : expr_1
select2 : expr_2
......
selectk : expr_k]
算数/逻辑单元(ALU):三个输入分别为标号为A和B的两个数据输入,和一个控制输入。
集合关系:判断集合关系的通用格式是
iexpr in {iexpr1,iexpr2,....iexprk}
其中被测试和待匹配的值均为整数表达式。
存储器和时钟
为了产生时序电路,必须引入按位存储信息的设备,存储设备由同一个时钟信号控制。两类存储设备:时钟寄存器:存储单个位或字,时钟信号控制寄存器加载输入值。
随机访问存储器:存储多个字,用地址来选择应该读写哪个字。
寄存器首先保持稳定(输出等于当前状态),时钟上升沿来到时,加载输入信号。Y86处理器用时钟寄存器保存程序计数器(PC),条件代码(CC)和程序状态(Stat)。
寄存器文件有两个读端口(A和B),一个写端口(W),允许同时进行多端口读写操作。
Y86的顺序实现
将处理组织成阶段
取指:从存储器读取指令字节,地址为程序计数器(PC)的值。指令指示符字节两个四位部分,称为icode(指令代码)和ifun(指令功能)。vaIP(下一条指令的地址)=PC+已取出指令的长度。译码:从寄存器文件读入最多两个操作数,得到valA和/或valB。
执行:算数逻辑单元(ALU)根据ifun的值执行指令指明的操作,计算存储器引用的有效地址,或者增加或减少栈指针。得到的值称为valE。也可根据条件码执行跳转。
访存:将数据写入存储器,或者从存储器读出数据。读出的值为valM。
写回:最多可以写两个结果到寄存器文件。
更新PC:将PC设置成下一条指令的地址。
SEQ硬件结构
取指:将程序计数器寄存器作为地址,指令存储器读取指令的字节。PC增加器计算valP,即增加了的程序计数器。译码:寄存器文件有两个读端口A和B,从这两个端口同时读寄存器的值valA和valB。
执行:根据指令类型将算数/逻辑单元(ALU)用于不同的目的。条件码寄存器有三个条件码位,ALU负责计算条件码的新值,当执行跳转指令时会根据条件码和跳转类型来计算分支信号Cnd。
访存:数据存储器读出或写入一个存储器字。指令和数据存储器访问的是相同的存储器位置,但用于不同的目的。
写回:寄存器文件有两个写端口,E用来写ALU计算出来的值,M用来写从数据存储器中读出来的值。
SEQ时序
SEQ的实现包括组合逻辑和两种存储器设备:时钟存储器(程序计数器和条件码寄存器),随机访问存储器(寄存器文件、指令存储器和数据存储器)。Y86指令集的计算原则:处理器从来不需要为了完成一条指令的执行而去读由该指令更新了的状态。
SEQ阶段的实现
取指阶段:包括指令存储器硬件单元。译码和写回阶段:寄存器文件,支持同时进行两个读和两个写,每个端口有一个地址连接(寄存器ID)和一个数据连接(32根线路),既可以作为寄存器文件的输出字,又可以作为他的输入字。
执行阶段:算数逻辑单元(ALU),输出为valE信号。
访存阶段:读或者写程序数据,两个控制块产生存储器地址和存储器输入数据的值。另外两个块产生控制信号表明应该执行读还是写操作。当执行读操作时,数据存储器产生valM。
更新PC阶段:产生程序计数器的新值,依据指令的类型和是否要选择分支,新的PC可能是valC、valM或者valP。
YIS
安装YIS![](https://oscdn.geek-share.com/Uploads/Images/Content/201610/ede93480cd22c8109cd2b7ab82bb8cbc.png)
![](https://oscdn.geek-share.com/Uploads/Images/Content/201610/faf6701d12258d078b90328506a789a3.png)
构建YIS环境
![](https://oscdn.geek-share.com/Uploads/Images/Content/201610/0a49e800094cf2694dafabc4e1bd0782.png)
YIS测试
![](https://oscdn.geek-share.com/Uploads/Images/Content/201610/86f89fff3e01d7ed8dddf489d4365ec6.png)
汇编后结果
![](https://oscdn.geek-share.com/Uploads/Images/Content/201610/17990c4508e652fbb292238aa905210a.png)
代码调试中的问题和解决过程
打开虚拟机时提示挂载失败,但安装YIS的安装包在Windows系统上,需使用共享文件夹中的安装包。解决过程:重新手动挂载,再执行安装过程。
本周代码托管截图
![](https://oscdn.geek-share.com/Uploads/Images/Content/201610/3d1d5eebe3fd5c9f4c49e6b9d646bdb3.png)
学习进度条
代码行数(新增/累积) | 博客量(新增/累积) | 学习时间(新增/累积) | 重要成长 | |
---|---|---|---|---|
目标 | 5000行 | 30篇 | 400小时 | |
第二周 | 30/30 | 1/3 | 7/17 | |
第三周 | 0/30 | 1/4 | 5/22 | |
第五周 | 30/60 | 1/5 | 10/32 | |
第六周 | 100/160 | 1/6 | 8/40 |
参考资料
《深入理解计算机系统V2》学习指导相关文章推荐
- 20145304 《信息安全系统设计基础》第三周学习总结
- 20145317《信息安全系统设计基础》第六周学习总结(1)
- 20145231熊梓宏《信息安全系统设计基础》第六周学习总结
- 20145316 许心远《信息安全系统设计基础》第六周学习总结
- 20145307《信息安全系统设计基础》第六周学习总结
- 20145304 《信息安全系统设计基础》第五周学习总结
- 20145234黄斐《信息安全系统设计基础》第六周学习总结(Y86模拟器的安装)
- 20145203 《信息安全系统设计基础》第六周学习总结
- 20145327 《信息安全系统设计基础》第六周学习总结
- 20144303 《信息安全系统设计基础》第六周学习总结(下)
- 20145333 《信息安全系统设计基础》第六周学习总结
- 20145324 《信息安全系统设计基础》第六周学习总结
- 20145208 《信息安全系统设计基础》第六周学习总结
- 20145222《信息安全系统设计基础》第六周学习总结(1)
- 20145304 《信息安全系统设计基础》第1周学习总结
- 20145234黄斐《信息安全系统设计基础》第六周学习总结(课本部分)
- 20145215《信息安全系统设计基础》第六周学习总结
- 20145311 《信息安全系统设计基础》第六周学习总结
- 20145319 《信息安全系统设计基础》第六周学习总结
- 20145320《信息安全系统设计基础》第六周学习总结