CSAPP|chapter04|处理器体系架构

最新推荐文章于 2024-04-25 16:12:12 发布
最新推荐文章于 2024-04-25 16:12:12 发布
阅读量1.9k 收藏 2
点赞数
文章标签： 架构
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/m0_52024881/article/details/122083309
版权

文章目录

4.处理器体系架构|

指令集"Y86-64"

4.1程序员可见的状态

在这里插入图片描述
RF:程序寄存器
CC:条件码
Start:程序状态（程序的执行状态）
PC:程序计数器
DMEM:内存

15个64位内存的程序寄存器
Y86-64 相比x86，省略了%r16
特别的:%rsp：栈指针

movq:rrmovq、irmovq、rmmovq和 mrmovq

movq前两个字母表示了源和目的格式

irmovq
源操作数是立即数（Immediate）
目的操作数是寄存器(register)
rrmovq
源操作数是寄存器(register)
目的操作数是寄存器(register)
rmmovq
源操作数是寄存器(register)
目的操作数是内存(memory)
mrmovq
源操作数是内存(memory)
目的操作数是寄存器(register)

对上面数据传送指令进行编码
在这里插入图片描述
上图中每条指令第一个字节（8bit）（前两位）表明指令的类型，这个字节分为两部分，每部分占(4bit)，高四位(4bit)表示指令代码，低四位(4bit)表示指令功能

下面为了方便给寄存器进行编号
在这里插入图片描述

寄存器编号(0-14)

0 %rax
1 %rcx
2 %rdx
3 %rbx
4 %rsp
5 %rbp
6 %rsi
7 %rdi
8 %r8
9 %r9
A %r10
B %r11
C %r12
D %r13
E %r14
F 五寄存器

irmovq，该指令的指令代码为3,指令功能为0
在这里插入图片描述
由于源操作数是立即数，因此用0xF进行填充

4.1.1 四条整数操作

对于整数的操作，我们定义了四条整数操作指令，和x86-64不同，我们定义的指令只允许对寄存器中的数据进行操作

在这里插入图片描述
以上四条指令属于同一类型，指令代码是一样的，不同的是指令的功能

Opq rA,rB 6|fn|rA|rB
addq 6|0
subq 6|1
andq 6|2
xorq 6|3

以上四条指令属于同一类型，因此指令代码是一样的，不同的是指令的功能

4.1.2 七条跳转指令

对于跳转，我们定义了7条跳转指令，它们的跳转条件和x86-64中的跳转指令相同，都是根据条件码的某种组合来判断是否进行跳转

jxx Dest

jmp 7|0
jle 7|1
jl 7|2
je 7|3
jne 7|4
jge 7|5
jg 7|6

JMP Label 1 直接跳转
JMP *Operand 1 间接跳转
JE Label JZ ZF 相等
JNE Label JNZ ~ZF 不相等
JS Label SF 负数
JNS Label ~SF 非负数

JG JNL 大于(有符号>)
JGE JNLE 大于等于(有符号)
JL JNG 小于(有符号)
JLE JNGE 小于等于(有符号)
JA JNB 大于(无符号)
JAE JNBE 大于等于(无符号)
JB JNA 小于(无符号)
JBE JNAE 小于等于(无符号)

在这里插入图片描述

4.1.3 六条数据传送指令

rrcomvq有相同的指令格式，只有条件码满足条件时才会更新目的寄存器的值

comve	S,R			相等
cmovne	S,R			不相等/非零
cmovs	S,R			负数
cmovns	S,R			非负数
cmovg	S,R			大于(有符号)
cmovge	S,R			大于等于(有符号)
cmovl	S,R			小于(有符号)
cmovle	S,R			小于等于(有符号)
cmova	S,R			大于(无符号)
cmovae	S,R			大于等于(无符号)
cmovb	S,R			小于(无符号)
cmovbe	S,R			小于等于(无符号)

cmovxx rA,rB
rrmovq 2|0
comvle 2|1
comvl 2|2
cmove 2|3
cmovne 2|4
cmovge 2|5
cmovg 2|6
在这里插入图片描述

系统操作指令
halt 0 0
nop 1 0
call Dest 8 0 Dest
ret 9 0
pushq rA A 0 rA F
popq rA B 0 rA F

在这里插入图片描述

指令编码

在上面的操作指令中

  • halt指令停止指令的执行，执行该指令会导致处理器停止，并将状态码设置为HLT
  • nop 指令表示一个空操作
  • call 和ret指令分别实现函数的调用和返回
  • push 和pop 指令分别实现入栈和出栈的操作

指令编码
rmmovq %rsp,0x123456789abcd(%rdx)

rmmovq
源操作数是寄存器(register)
目的操作数是内存(memory)

根据前面rmmovq指令的编码定义，该指令二进制表示第一个字节为0x40;
指令操作数部分的寄存器%rsp对应的寄存器编号为0x4,基址寄存器rdx对应的编号为0x2
该指令二进制表示中的第二个字节为0x42

指令编码中偏移量占8个字节，因此我们需要在该偏移量前面补0来凑齐8个字节。
又由于我们采用小端法存储，因此我们还要对偏移量进行字节反序操作。最终我们得到该指令的二进制表示如下

40 42 cd ab 89 67 45 23 01 00

Y86-64的状态码
值名字含义
1AOK正常操作
2HLT遇到halt指令
3ADR遇到非法地址
4INS遇到非法指令

Y86-64中c语言的汇编翻译

long sum(long *start,long count){
long sum=0;
while(count){
sum+=*start;
start ++;
count --;
}
return sum;
}

gcc -Og -S sum.c

得到

在这里插入图片描述

在这里插入图片描述
c语言代码的作用是计算一个数组的元素之和。其中指针start指向数组的起始位置，count用于表示数组的长度
可以看到，除了数据传送指令之外，Y86-64指令与x86-64的指令相差不大

看看上面的汇编代码是如何翻译成二进制指令的
在这里插入图片描述

阶段的概念

处理器在执行单条指令的时候，往往也包含着很多操作
过程组织成下面6个阶段

  1. 取址

处理器执行的所有指令都需要取址
在Y86-64指令系统中,指令的长度不是固定的，因此取址阶段需要根据指令代码判断指令是否含有寄存器指示符、是否含有常数来计算当前的指令长度

  1. 译码

在译码阶段中，处理器从寄存器文件中读取数据，寄存器文件有两个端口，可以支持同时进行两个读操作

  1. 执行

指令被正式执行的阶段，在该阶段中，算术逻辑单元（ALU）主要执行三类操作，执行算术逻辑单元，计算内存引用的有效地址，针对push和pop指令的运算

  1. 访存

对内存进行读写操作的阶段

  1. 写回

将执行结果写回到寄存器文件中

  1. 更新

将PC更新为下一条指令的地址

subq指令的各个阶段

在这里插入图片描述
看看上面这条subq指令各阶段包含的内容

在这里插入图片描述
如上图所示

  1. 取址阶段，根据指令代码来计算指令长度。
  2. 译码阶段，根据寄存器指示符来读取寄存器的值。
  3. 执行阶段，ALU 根据译码阶段读取到的操作数以及指令来执行具体的运算，并设置条件码寄存器。
  4. 访存阶段，由于减法指令不需要读写内存，因此该阶段无操作。
  5. 写回阶段，将 ALU 的运算结果写回寄存器。
  6. 更新阶段，更新程序计数器。
imovq指令的各个阶段

imovq指令的各个阶段
irmovq $8,%rsp
在这里插入图片描述

在这里插入图片描述
如前图所示

  1. 取址阶段，该指令既含有寄存器指示符字节，也含有常数字段。
  2. 译码阶段，该指令不需要从寄存器中读取数据，译码阶段无操作。(源是立即数$8)
  3. 执行阶段，虽然该指令仅仅传送数据，看似不需要 ALU，但由于 ALU 的输出端与寄存器的写入端相连，数据的传送还是需要经过 ALU，因此该指令将立即数加 0.
  4. 访存阶段，该指令不需要读写内存，因此该阶段无操作。
  5. 写回阶段，将 ALU 的运算结果写回寄存器。
  6. 更新阶段，更新程序计数器。
rrmovq指令的各个阶段

如前图所示

  1. 取址阶段，该指令既含有寄存器指示符字节，也含有常数字段。
  2. 译码阶段，从寄存器中读取数据。
  3. 执行阶段，ALU 根据偏移量和基址寄存器来计算访存地址。
  4. 访存阶段，将寄存器 rsp 的数值写入内存中。
  5. 写回阶段，由于内存地址由执行阶段得出并写入寄存器，因此写回阶段不需要进行操作。
  6. 更新阶段，更新程序计数器。
pushq指令的各个阶段

pushq %rdx | a| 0 |2| f|
在这里插入图片描述
上面这条pushq指令各阶段的内容如下
在这里插入图片描述

  1. 取址阶段，该指令含有寄存器指示符，不含常数，因此指令长度为2字节。

  2. 译码阶段，由于 pushq 指令要将寄存器 rdx 的值保存到栈上，因此该指令不仅需要读取寄存器 rdx 的值，还需要读取寄存器 rsp 的值。

  3. 执行阶段，ALU 计算内存地址。

  4. 访存阶段，将寄存器 rdx 的值写到栈上。

  5. 写回阶段，由于寄存器 rsp 指向的内存地址发生了变化，因此更新寄存器rsp的值。

  6. 更新阶段，更新程序计数器。

je指令的各个阶段

在这里插入图片描述
上图阶段内容如下
在这里插入图片描述

  1. 取址阶段，该指令含有常数字段，不含寄存器指示符字节，因此指令长度为 9字节。
  2. 译码阶段，不需要读取寄存器，无操作。
Cond的引入

在这里插入图片描述

  1. 执行阶段，标号为Cond 的硬件单元根据条件码和指令功能来判断是否执行跳转，该模块产生一个信号Cnd，若Cnd=1，则执行跳转；Cnd = 0 则不执行跳转。
  2. 访存阶段，无操作。
  3. 写回阶段，无操作。
  4. 更新阶段，若 Cnd = 1，将 PC 的值设为0x040；若 Cnd = 0，则将 PC 的值设为当前值加 9。

4.处理器体系架构||

取地址的硬件设计

  1. 在取址阶段中，取址操作一程序计数器PC的值作为起始地址

  2. 由于Y86-64指令集中最长的指令占10字节,取址操作每次从指令内存读取10个字节

  3. 10字节分为两部分

    • 第一部分占1字节
    • 第二部分占9字节
    • 例如编码为 30 |f8 08 00 00 00 00 00 00 00 的指令，将被分为30和f008----
Split硬件单元处理第一部分（1Byte）

Split的硬件单元处理第一部分，它将这个字节分成两部分，每部分占4个比特位，使这个字节分为两个字段，分别为指令代码和指令功能。用icode和ifun 表示

根据icode可以确定当前指令的状态信息，例如指令的合法性，如果icode在0x0到0xB之间，那么它就是一条合法指令，此外通过icode可以判断当前指令是否包含寄存器指示符字节和常数字节

通过前面说过的判断结果就可以计算出当前指令的长度，例如一个指令既含寄存器指示符字节，又含常数字节，那它的长度就是10字节，如果既不含寄存器指示符字节，又不含常数字节，它的长度就是1字节

可以通过PC值加上当前的指令长度来计算内存中下一条指令的地址，用于后续的更新阶段

Align硬件单元处理第二部分

Align来产生寄存器字段和常数字段，该硬件单元通过信号need_regids来判断该指令是否包含寄存器指示符字节

  • 若need_regids =1，说明该指令包含寄存器指示符字节，那么第一个字节将被分成两个部分，每个部分占4个bit,然后分别装入寄存器指示符rA和rB中。
  • 若need_regids=0，说明该指令不包含寄存器指示符字节，此时rA,rB这两个字段设置为0xF

此外，若该指令含有常数,Align单元还将产生常数字段 valC
当need_regids=1时,valC被设为指令的第2~9字节
当need_regids=0时，valC被设为指令的1~8字节

译码阶段的硬件设计

  1. 译码阶段的操作是从寄存器文件中读取数据，在Y86-64处理器中寄存器文件有两个读端口，它支持同时进行两个读操作
    两个读端口的地址输入为
    srcA，srcB
    从寄存器文件读取的数值通过valA和valB输出

  2. 读端口的srcA和srcB用于产生寄存器的ID
    这需要寄存器指示符rA以及rB

  3. 由于某些指令例如push指令，该指令的寄存器指示符只含有目的寄存器的ID,但执行压栈操作的时候，还需要获得栈顶指针 rsp的值，因此srcA和srcB不仅需要传入rA和rB,还需要指令代码 icode

执行阶段的硬件设计

执行阶段的核心部件ALU根据指令功能 ifun来判断对输入的操作数进行何种运算。每次运行的时候，ALU都会产生三个与条件码相关的信号，零，符号，溢出

我们只希望ALU在执行算术逻辑指令时才设置条件码。而计算内存引用地址以及栈操作的时候不要设置条件码。因此我们使用Set_CC信号根据指令代码icode来控制是否需要设置条件码

在这里插入图片描述

此外，我们使用名为Cond的硬件单元来控制跳转操作。Cond会根据指令功能和条件码寄存器来产生Cnd信号
对于跳转指令，如果Cnd=1 跳转
Cnd=0不跳转

访问阶段的硬件设计

四个控制块

  1. 读控制块
    用于进行读操作
  2. 写控制块
    用于进行写操作
  3. 内存地址控制块
    用于产生内存地址
  4. 数据输入控制块
    用于输入数据

访存阶段的最后还将根据icode判断出指令的有效性以及内存状况产生instr_valid 和imem_error 信号来计算状态码

写回阶段的硬件设计

首先为寄存器文件添加M和E,这两个写端口，对应的地址输入为dstE和dstM，需要注意的是，当执行条件传送指令 cmov时，写入操作还要根据执行阶段计算出的cnd信号，当条件不满足时候，以目的寄存器设置为0xF来禁止写入寄存器文件

更新阶段的硬件设计

更新阶段PC的值有以下三种情况

  1. call PC=call指令的常数字段
  2. ret PC=ret在访存阶段从内存中读取的返回地址
  3. jxx
    满足跳转条件cnd=1,新的PC的值等于跳转指令的常数字段
    不满足跳转条件，cnd=0,新的PC值等于当前PC值加上当前指令长度
  4. 数据输入控制块，用于输入数据
speoki
关注
  • 0
    点赞
  • 踩
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
CSAPP:Chapter1.6~Chapter1.7
拾春华 让思绪飞扬
10-11 389
目录   1.6 Storage Devices Form a hierarchy 1.7 The Operating System Manages the Hardware 1)os’s two primary purposes 2)Three main fundamental abstractions 3)Processes 1.6 Storage Devices Form a ...
深入理解计算机系统04：处理器体系结构
知识分享，乐在学习
12-27 939
处理器体系结构
【计算机系统】
最新发布
`雾博客
04-25 566
按位异或运算将两个运算分量的对应位按位遵照以下规则进行计算：= - 2^7 + 2^3 + 2^2 + 2 +1= -128 +15= -113。
32位汇编指令--条件传送指令
走在北风里
11-08 1435
条件传送指令如下： cmove S, D //等于0时传送 cmovz S, D //同cmove cmovne S, D //不等于0时传送 cmovnz S, D //同cmovne cmovs S, D //负数时传送 cmovns S, D //非负数时传送 cmovg S, D //有符号大于时传送 cmovnle S, D //同cmovg cmovge S, D //有符号大于等于时传送 cmovnl S, D //同cmovge cmovl S, D //有符
汇编-正点原子笔记
qq_37139358的博客
10-26 310
1、 LDR指令 LDR主要用于从存储加载数据到寄存器 Rx中， LDR也可以将一个立即数加载到寄存器 Rx中， LDR加载立即数的时候要使用“ “=”，而不是 “#”。在嵌入式开发中 LDR最常用的就是读取 CPU的寄存器值，比如 I.MX6UL有个寄存器 GPIO1_GDIR，其地址为 0X0209C004，我们现在要读取这个寄存器中的数据，示例代码如下： LDR指令使用 LDR R0, =0X0209C004 @将寄存器地址0X0209C004加载到R0中，即R0=0X0209C004 LDR R1
逻辑、移位操作与空指令的实现
望庐的博客
10-17 718
参照《自己动手写CPU》第五章，实现逻辑、移位操作和空指令
x64 ASM 常用汇编指令
热门推荐
Life runs on code
08-28 2万+
语法习惯 立即数，$ 开头 寄存器，% 开头 取地址里面的值，偏移量(%寄存器）// 除了 lea 取地址指令)外，lea就是取地址 load effecive address 整形操作通用后缀，后缀 [b w l q 1 2 4 8] byte word l… quadruple， 表示多少字节 浮点指令还有三个 [s d t 4 8 16] single double extended (修饰精
控制指令
WarEric的博客
04-22 4270
条件码 CPU维护一组单个位的条件码寄存器 - CF:进位标志。最近的操作使最高位产生了进位。可用来检查无符号操作的溢出。 - ZF:零标志。最近的操作得出得结果为0。 - SF:符号标志。最仅的操作得到的结果为负数。 - OF:溢出标志。最近的操作导致一补码溢出——正溢出或负溢出。 leaq指令是用来进行地址计算的，不改变任何条件码。 指令 基于 描述 ...
CSAPP Datalab实验
George的博客
01-14 1万+
实 验（二） 题     目  DataLab 数据表示          　    　　　　  专       业  计算机科学与技术   计算机科学与技术学院 目  录   第1章 实验基本信息... - 4 - 1.1 实验目的... - 4 - 1.2 实验环境与工具... - 4 - 1.2.1 硬件环境... - 4 - 1.2.2 软件环境... - 4 - ...
汇编指令之CMOVcc-----CMOVG
误入其途
04-20 7829
最近在上计算机原理课，接触到了部分汇编代码的问题，在国内大部分技术网站上都找不到CMOVG命令的清楚介绍。于是借助条件，到墙外搜索了一把。果然非同反响 上干货： 先解析一下命令：CMOVcc---C即conditional 条件的；MOV不用多说；cc是condition code条件代码 下面是从：64-ia-32-architectures-software-developer-manu
深入理解计算机系统 --- 处理器体系结构
qq_34916272的博客
10-28 3642
本章目的：简要介绍处理器硬件的设计，研究一个硬件系统执行某种ISA指令的方式 到目前为止，我们看到的计算机系统只限于机器语言程序级 我们知道处理器必须执行一系列指令，每条指令执行某个简单操作 指令被编码为一个或多个字节序列组成的二进制格式 一个处理器支持的指令和指令的字节级编码称为它的指令集结构(ISA) 不同处理器家族，都有不同的ISA，一个程序编译成一种机器上运行，就不能在另一种机器上运行 I...
汇编指令集合
宅男
11-03 3142
AAA 加法的ASCII码或非压缩BCD码调整指令AAD 除法的ASCII码或非压缩BCD码调整指令AAM 乘法的ASCII码或非压缩BCD码调整指令AAS 减法的ASCII码或非压缩BCD码调整指令ADD 加法指令ADC 带进位加法指令AND 逻辑与运算BSF 顺向扫描指令(从右向左扫描第一个含1的位,并把位号发至指定操作数)BSR 逆向扫描指令(从左向右扫描第一
SUB指令
qq_41683305的博客
02-02 2万+
形式： SUB dest, source 功能： 从目的操作数中减去源操作数 .data var1 DWORD 30000h var2 DWORD 10000h .code mov eax,var1 ;EAX = 30000h sub eax,var2 ;EAX = 20000h 几种形式： sub 寄存器，数据 比如：sub ax,9 ...
处理器体系结构
kexinxin1的博客
11-10 560
处理器体系结构 指令集Y86-64寄存器 Y86-64处理器每个时钟周期执行一条完整的Y86-64指令。 X86-64寄存器有 程序员可见的状态的寄存器： Y86-64的状态类似于x86-64。有15个程序寄存器：%rax,%rcx,%rdx,%rbx,%rsp,%rbp,%rsi,%rdi和%r8到%r14。这里省略了%r15以简化指令的编码。 其中%rsp被入栈、出栈、调用和返...
计算机系统课程 笔记总结 CSAPP第四章 处理器体系结构（4.1-4.3）
Zhuoning Guo's Blog
02-09 3042
GitHub计算机系统CSAPP课程资源 计算机系统课程 笔记总结 CSAPP第二章 信息的表示和处理（2.1-2.2） 计算机系统课程 笔记总结 CSAPP第二章 信息的表示和处理（2.3-2.4） 计算机系统课程 笔记总结 CSAPP第三章 程序的机器级表示（3.2-3.4） 计算机系统课程 笔记总结 CSAPP第三章 程序的机器级表示（3.5-3.7） 计算机系统课程 笔记...
Octapharma在 WFH 2018上分享新型皮下重组FVIII SubQ-8的有前景的临床前数据
美国商业资讯的博客
05-29 304
瑞士拉亨 -- (美国商业资讯) -- Octapharma今天宣布，SubQ-8临床前数据在英国格拉斯哥召开的世界血友病联盟(WFH) 2018年世界大会的一次研讨会上呈报。 SubQ-8目前正在开发中，是来自于人类细胞系的重组FVIII，用于皮下给药。SubQ-8的基础是Octapharma的人类细胞系衍生rFVIII产品simoctocog alpha结合 von Willebrand因子(...
哈工大2022CSAPP：计算机系统剖析与实践
首先，预处理阶段（Chapter 2）介绍了预处理器如何处理宏定义、条件编译和其他特定指令，使源代码更适配编译环境。学生展示了在Ubuntu下使用cpp命令进行预处理并解析了预处理结果。 接着，编译阶段（Chapter 3）...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值