计算机系统——处理器体系结构
Y86-64指令集体系结构
定义一个指令集体系结构(例如 Y86-64 ) 包括定义各种状态单元、指令集和它们的编码、一组编程规范和异常事件处理。
程序员可见的状态
Y86-64 程序中的每条指令都会读取或修改处理器状态的某些部分。这称为程序员可见状态,这里的"程序员”既可以是用汇编代码写程序的人,也可以是产生机器级代码的编译器。
- 有15个程序寄存器:%rax、%rcx、%rdx、%rbx、%rsp、%rbp、%rsi、%rdi 和 %8 到 %14。
每个程序寄存器存储一个64位的字。
- 寄存器%rsp 被入栈、出栈、调用和返回指令作为栈指针。寄存器没有固定的含义或固定值。
- 有3个一位的条件码:ZF、SF 和 OF,它们保存着最近的算术或逻辑指令所造成影响的有关信息。
- 程序计数器(PC)存放当前正在执行指令的地址。
- 内存从概念上来说就是一个很大的字节数组,保存着程序和数据。
Y86-64 程序用虚拟地址来引用内存位置。硬件和操作系统软件联合起来将虚拟地址翻译成实际或物理地址,
指明数据实际存在内存中哪个地方。
- 程序状态的最后一个部分是状态码 Stat,它表明程序执行的总体状态。会指示是正常运行,还是出现了某种异常。
Y86-64指令
Y86-64 ISA中各个指令的简单描述
这个指令集就是我们处理器实现的目标。 Y86-64 指令集基本上是 x86-64 指令集的一个子集。它只包括 8 字节整数操作,寻址方式较少, 操作也较少。因为我们只有 8 字节数据, 所以称之为 ” 字( word ) " 不会有任何歧义。
指令编码
15 个程序寄存器中每个都有一 个相对应的范围在 0 到 0xE 之间的寄存器标识符 ( register ID )。
程序寄存器存在CPU 中的一个寄存器文件中,这个寄存器文件就是一个小的、以寄存器 ID 作为地址的随机访问存储器。
指令集的一个重要性质就是字节编码必须有唯一的解释。任意一个字节序列要么是一个唯一的指令序列的编码, 要么就不是一个合法的字节序列。
Y86-64异常
对于 Y86-64 , 当遇到这些异常的时候,我们就简单地让处理器停止执行指令。
在更完整的设计中,处理器通常会调用一个异常处理程序(exception handler), 这个过程被指定用来处理遇到的某种类型的异常。
Y86-64程序
指令集模拟器 YIS , 它的目的是模拟 Y86-64 机器代码程序的执行,而不用试图去模拟任何具体处理器实现的行为。这种形式的模拟有助于在有实际硬件可用之前调试程序 ,也有助于检查模拟硬件或者在硬件上运行程序的结果 。
一些Y86-64指令的详情
大多数Y86-64 指令是以一种直接明了的方式修改程序状态的,所以定义每条指令想要达到的结果并不困难。不过,两个特别的指令的组合需要特别注意一下。
pushq 指令会把栈指针减8 , 并且将一个寄存器值写入内存中。因此,当执行 pushq %rsp 指令时,处理器的行为是不确定的,因为要入栈的寄存器会被同一条指令修改。
通常有两种不同的约定: 1 ) 压入 %rsp 的原始值, 2 ) 压入减去 8 的%rsp 的值 。
逻辑设计和硬件控制语言HCL
逻辑 1 是用1.0 伏特左右的高电压表示的, 而逻辑 0 是用 0.0伏特左右的低电压表示的。
要实现一个数字系统需要三个主要的组成部分:
计算对位进行操作的函数的组合逻辑、
存储位的存储器单元,
以及控制存储器单元更新的时钟信号。
逻辑门
逻辑门是数字电路的基本计算单元。它们产生的输出,等于它们输入位值的某个布尔函数。
在 HCL 中我们还是把它们写作二元运算符, 所以, 三个输入的 AND 门, 输入为 a、b 和 c , 用 HCL 表示就是 a &&b &&c 。
逻辑门总是活动的 ( active )。
一旦一个门的输入变化了,在很短的时间内,输出就会相应地变化。
组合电路和HCL布尔表达式
将很多的逻辑门组合成一个网,就能构建计算块( com putational block), 称为组合电路(combinational circuits )。
构建的限制:
- 每个逻辑门的输入必须连接到下述选项之一:
1) 一个系统输入(称为主输入),
2) 某个存储器单元的 输出,
3) 某个逻辑门的输出。
- 两个或多个逻辑门的输出不能连接在一起。
否则它们可能会使线上的 信号矛盾,可能会导致一个不合法的电压或电路故障。