20135203齐岳 信息安全系统设计基础第五周学习总结

20135203齐岳 信息安全系统设计基础第五周学习总结

学习计时:共10小时

  • 读书:5

  • 代码:1

  • 作业:2

  • 博客:2

    第四章 处理器体系结构

    一、学习目标

    本章内容是处理器体系结构,重点掌握ISA,并能举一反三;本章带着大家设计并实现了一个结合CISC和RISC思想的处理器Y86,一个类IA32体系的处理器;ISA在编译器编写者和处理器设计者之间提供了一个抽象。

    二、学习任务

    本章重点是4.1-4.3,流水线部分4.4-4.5供学有余力的同学自学

练习题4.1 4.2 4.5 4.6 4.8 4.10 4.11 4.12 4.16 4.17 4.19 4.21 4.24

以习题驱动,再看书,有问题及时在答疑论坛问

实验:

1 课程QQ群中,或官网下载Y86模拟器,验证教材上不少于三人HCL代码

2.构建YIS环境:

3.YIS手册下载

4.YIS测试:

三、学习过程

4.1Y86指令集体系结构

  • ISA:指令集体系结构,一个处理器支持的指令和指令的字节级编码

程序员可见的状态

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。

注意:

1.两个存储器传送指令中的存储器引用方式是简单地基址和偏移量形式,即:

Imm(Eb)     M[Imm+R[Eb]]    (基址+偏移量)寻址

2.不允许从一个存储器地址直接传送到另一个存储器地址,也不允许将立即数传送到存储器。

  • OPl(整数操作指令):addl、subl、andl和xorl。只对寄存器数据进行操作,同时还设置条件码。

  • jXX(跳转指令):jmp、jle、jl、je、jne、jge、jg,根据分支指令的类型和条件码的设置来选择分支。

  • cmovXX(条件传送指令):cmovle、cmovl、cmove、cmovne、cmovge和comvg,与寄存器-寄存器传送指令rrmovl一样,但只有当条件码满足所需要的约束时才会更新目的寄存器的值。

  • call和ret:call指令将返回地址入栈,然后跳转到目的地址。ret指令从这样的过程调用中返回。

  • pushl和popl:入栈和出栈。

  • halt:停止指令的执行。

指令编码

指令的字节级编码规则:高4位为代码部分,低四位为功能部分,功能值只有在一组相关指令共用一个代码时才有用。

8个程序寄存器当中,每个都有相应的0~7的寄存器标识符。程序寄存器存在CPU中的一个寄存器文件中,这个文件就是一个小的、以寄存器ID作为地址的随机访问存储器。

附加寄存器指示符字节:指定一个或者两个寄存器。

附加4字节的常数字:作为irmovl的立即数数据,rmmovl和mrmovl的地址指示符的偏移量,以及分支指令和调用指令的目的地址。

注意:分支指令和调用指令的目的地址是一个绝对地址。所有整数采用小端法编码。

Y86异常

状态码:描述程序执行的总体状态。

值       名字      含义
1       AOK     正常操作
2       HLT     处理器执行halt指令(指令停止)
3       ADR     遇到非法地址
4       INS     遇到非法指令

Y86中,任何AOK以外的代码都会使处理器停止执行指令,而没有异常处理程序。

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

实现一个数字系统需要的三个组成部分:计算对位进行操作的函数的组合逻辑、存储位的存储器元素,以及控制存储器元素更新的时钟信号。

计算对位进行操作的函数的组合逻辑

  • 逻辑门是数字电路的基本计算元素,输出等于输入位值的某个布尔函数。
    744942-20151018005716257-507486541.png

And:out=a&&b

744942-20151018005733554-2040581661.png

Or:out=a||b
744942-20151018005800804-1941917295.png

Not:out=!a
744942-20151018005817226-502511886.png
异或:out=(!a)b+a(!b)

  • 组合电路:很多逻辑门组合成一个网,构建的计算块

注意:

1.两个以上的逻辑门的输出不能连接在一起,否则可能使线上信号矛盾,导致一个不合法的电压或电路故障。

2.这个网必须是无环的,否则会导致网络计算有歧义。

3.多路复用器:(s&&a)||(!s&&b)(控制信号为输入位S,S为1时输出a,s为0时输出b)

  • 字级的组合电路: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),允许同时进行多端口读写操作。

4.3Y86顺序实现

将处理组织成阶段

  • 取指:从存储器读取指令字节,地址为程序计数器(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的时序

Y86指令集的计算原则:处理器从来不需要为了完成一条指令的执行而去读由该指令更新了的状态。

SEQ阶段的实现

  1. 取指阶段:包括指令存储器硬件单元。

  2. 译码和写回阶段:寄存器文件,支持同时进行两个读和两个写,每个端口有一个地址连接(寄存器ID)和一个数据连接(32根线路),既可以作为寄存器文件的输出字,又可以作为他的输入字。

  3. 执行阶段:算数逻辑单元(ALU),输出为valE信号。

  4. 访存阶段:读或者写程序数据,两个控制块产生存储器地址和存储器输入数据的值。另外两个块产生控制信号表明应该执行读还是写操作。当执行读操作时,数据存储器产生valM。

  5. 更新PC阶段:产生程序计数器的新值,依据指令的类型和是否要选择分支,新的PC可能是valC、valM或者valP。

    四、实验运行结果

    744942-20151018010048819-164241173.jpg

744942-20151018010109304-52158365.jpg

YIS测试:
asuml.yo
744942-20151018010200038-1326750130.jpg

asuml.ys
744942-20151018010220351-474260011.jpg

其余代码测试结果相同

五、遇到的问题

1.icode:ifun,rA:rB的值怎么求?代表的含义是什么?

2.在自己的虚拟机里,下载群里的代码后执行结果如下:
744942-20151018010329007-669089300.jpg

原因是下载的代码已经经过汇编,所以没有改动。
744942-20151018010553226-1696906782.jpg

这个代码的错误没有看懂。

参考资料:

1.《深入理解计算机系统》

2.Y86 Tools

转载于:https://www.cnblogs.com/July0207/p/4888752.html

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值