CSAPP笔记——第四章处理器结构

2024-05-16 03:20

本文主要是介绍CSAPP笔记——第四章处理器结构,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

目录

Instruction Set Architecture

Programmer-Visible State

Y86-64 Instructions

Instruction Encoding

MOV

JMP

其他通用指令

指令集翻译

Y86-64 Exceptions

数字电路与处理器设计

CPU内部的处理器布局

这是寄存器文件内部的详细实现

verilog只用下面这三种语句就全够了

Y86-64的顺序实现

Organizing Processing into Stages

rmmovq %rsp, 100(%rbx)指令执行详细解释


Instruction Set Architecture

指令系统结构

指令集是计算机的软件和硬件的接口,本章节自定义一个类似于X86的处理器——Y86。

Programmer-Visible State

程序员的可见状态

这里的程序员可以是写代码的人,也可以是用汇编代码产生机器代码的编译器。

可见状态是指每条指令都会去读取或者修改处理器的某些部分

指令系统

 

Y86-64 Instructions

下面对数据传送指令进行编码

Instruction Encoding

指令编码——

低8位表示指令类型,其中低4位表示指令代码,高4位表示指令功能。

如果还有寄存器的操作,则会再加上一个字节,表示寄存器指示符字节。用来指定一个或者两个寄存器。

所以这里还需要对寄存器进行编码,如下:        

MOV

这是整数操作的4条指令代码:指令类型相同但是指令功能不同

JMP

其他通用指令

综上所述,Y86的指令集就定义完成了。通过以上,我们可以将Y86的汇编代码翻译成二进制代码表示。

指令集翻译

因为rmmovq指令对应的类型功能代码是40,寄存器%rsp对应的指令编码是42,由于Y86采用小端法表示,所以这里的偏移量需要反序,最后的长度为10字节的二进制指令表示如图:

Y86-64 Exceptions

各种指令执行状态如下:

数字电路与处理器设计

通常我们将寄存器集合称为寄存器文件,或者寄存器堆

CPU内部的处理器布局

本期视频,以寄存器文件为例,通过剖析他的具体实现,来阐述处理器设计数字电路之间的关系。

上面的寄存器文件实现可以用这个verilog代码片段实现

关于verilog与C语言类比

这是寄存器文件内部的详细实现

verilog只用下面这三种语句就全够了

Y86-64的顺序实现

如图C语言代码翻译成汇编代码:

如图汇编代码翻译成能够运行在Y86处理器上的机器码        

Organizing Processing into Stages

按阶段组织处理器运行过程

rmmovq %rsp, 100(%rbx)指令执行详细解释

例子——指令 rmmovq %rsp, 100(%rbx) 执行的全过程如下:

1.取指阶段

这里的指令长度——指令类型与指令功能占一个字节,寄存器编码占一个字节,地址偏移量占8个字节(64位),共10字节

2.译码阶段根据寄存器指示符来读取寄存器的值,并设为valA、valB

3.重点:执行阶段——

ALU根据偏移量和基址寄存器来计算访存地址 valE = valB + valC

4.访存阶段将寄存器%rsp的值写入地址ValE之中

5.没有涉及写回阶段

6.最后更新PC

   

这篇关于CSAPP笔记——第四章处理器结构的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/993728

相关文章

usaco 1.3 Mixing Milk (结构体排序 qsort) and hdu 2020(sort)

到了这题学会了结构体排序 于是回去修改了 1.2 milking cows 的算法~ 结构体排序核心: 1.结构体定义 struct Milk{int price;int milks;}milk[5000]; 2.自定义的比较函数,若返回值为正,qsort 函数判定a>b ;为负,a<b;为0,a==b; int milkcmp(const void *va,c

【学习笔记】 陈强-机器学习-Python-Ch15 人工神经网络(1)sklearn

系列文章目录 监督学习:参数方法 【学习笔记】 陈强-机器学习-Python-Ch4 线性回归 【学习笔记】 陈强-机器学习-Python-Ch5 逻辑回归 【课后题练习】 陈强-机器学习-Python-Ch5 逻辑回归(SAheart.csv) 【学习笔记】 陈强-机器学习-Python-Ch6 多项逻辑回归 【学习笔记 及 课后题练习】 陈强-机器学习-Python-Ch7 判别分析 【学

系统架构师考试学习笔记第三篇——架构设计高级知识(20)通信系统架构设计理论与实践

本章知识考点:         第20课时主要学习通信系统架构设计的理论和工作中的实践。根据新版考试大纲,本课时知识点会涉及案例分析题(25分),而在历年考试中,案例题对该部分内容的考查并不多,虽在综合知识选择题目中经常考查,但分值也不高。本课时内容侧重于对知识点的记忆和理解,按照以往的出题规律,通信系统架构设计基础知识点多来源于教材内的基础网络设备、网络架构和教材外最新时事热点技术。本课时知识

自定义类型:结构体(续)

目录 一. 结构体的内存对齐 1.1 为什么存在内存对齐? 1.2 修改默认对齐数 二. 结构体传参 三. 结构体实现位段 一. 结构体的内存对齐 在前面的文章里我们已经讲过一部分的内存对齐的知识,并举出了两个例子,我们再举出两个例子继续说明: struct S3{double a;int b;char c;};int mian(){printf("%zd\n",s

论文阅读笔记: Segment Anything

文章目录 Segment Anything摘要引言任务模型数据引擎数据集负责任的人工智能 Segment Anything Model图像编码器提示编码器mask解码器解决歧义损失和训练 Segment Anything 论文地址: https://arxiv.org/abs/2304.02643 代码地址:https://github.com/facebookresear

数学建模笔记—— 非线性规划

数学建模笔记—— 非线性规划 非线性规划1. 模型原理1.1 非线性规划的标准型1.2 非线性规划求解的Matlab函数 2. 典型例题3. matlab代码求解3.1 例1 一个简单示例3.2 例2 选址问题1. 第一问 线性规划2. 第二问 非线性规划 非线性规划 非线性规划是一种求解目标函数或约束条件中有一个或几个非线性函数的最优化问题的方法。运筹学的一个重要分支。2

【C++学习笔记 20】C++中的智能指针

智能指针的功能 在上一篇笔记提到了在栈和堆上创建变量的区别,使用new关键字创建变量时,需要搭配delete关键字销毁变量。而智能指针的作用就是调用new分配内存时,不必自己去调用delete,甚至不用调用new。 智能指针实际上就是对原始指针的包装。 unique_ptr 最简单的智能指针,是一种作用域指针,意思是当指针超出该作用域时,会自动调用delete。它名为unique的原因是这个

查看提交历史 —— Git 学习笔记 11

查看提交历史 查看提交历史 不带任何选项的git log-p选项--stat 选项--pretty=oneline选项--pretty=format选项git log常用选项列表参考资料 在提交了若干更新,又或者克隆了某个项目之后,你也许想回顾下提交历史。 完成这个任务最简单而又有效的 工具是 git log 命令。 接下来的例子会用一个用于演示的 simplegit

记录每次更新到仓库 —— Git 学习笔记 10

记录每次更新到仓库 文章目录 文件的状态三个区域检查当前文件状态跟踪新文件取消跟踪(un-tracking)文件重新跟踪(re-tracking)文件暂存已修改文件忽略某些文件查看已暂存和未暂存的修改提交更新跳过暂存区删除文件移动文件参考资料 咱们接着很多天以前的 取得Git仓库 这篇文章继续说。 文件的状态 不管是通过哪种方法,现在我们已经有了一个仓库,并从这个仓

忽略某些文件 —— Git 学习笔记 05

忽略某些文件 忽略某些文件 通过.gitignore文件其他规则源如何选择规则源参考资料 对于某些文件,我们不希望把它们纳入 Git 的管理,也不希望它们总出现在未跟踪文件列表。通常它们都是些自动生成的文件,比如日志文件、编译过程中创建的临时文件等。 通过.gitignore文件 假设我们要忽略 lib.a 文件,那我们可以在 lib.a 所在目录下创建一个名为 .gi