X86的孪生兄弟,Y86指令体系结构

最新推荐文章于 2024-09-09 11:11:34 发布

见证大牛成长之路

最新推荐文章于 2024-09-09 11:11:34 发布

阅读量9.2k

点赞数 6

分类专栏：计算机系统文章标签：计算机科学计算机

本文链接：https://blog.csdn.net/shanyongxu/article/details/47813261

版权

计算机系统专栏收录该内容

23 篇文章 0 订阅

订阅专栏

X86的孪生兄弟,Y86指令体系结构

前言

为啥我的排版还是这么丑?排版如人啊,唉.说实话,上一章的内容我没搞明白,先不管了,先放一下,个人比较喜欢鲸吞的学习方式.

正文

Y86指令体系结构

Y86是一个指令体系结构(ISA),它是一个写这本书的作者出的指令集.目的是为了让我们更加清晰地了解ISA,就像在读编译原理的时候,作者会教你做个编译器是一样的道理.

我们学这个并不是为了设计指令集,因为这种工作几乎不可能发生在我们身上还是和编译原理一样,你的工作也不太可能写一个编译器,常遭一种语言,最多就是写个小例子拿来唬唬你身边的妹子.我们的目的是为了了解CPU处理器指令以及它的工作流程,学习他的思想,这对以后你的技术之路说不定有些启发.有可能你收到了启发,就领悟了一个终极技能呢?对吧

程序员看得见的东西

计算机是一个神秘的东西,他的很多密码我们都看不到,不过有了ISA的帮忙,我们就可以了解很多计算机的秘密.比如你在写博客的时候,你的CPU到底在干嘛.

理论上讲,我们在编写一个程序的时候,我们是可以知道CPU的状态的.因为在你观察程序的汇编指令时,你可以知道当程序执行到某个地方,寄存和,存储器以及条件码寄存器等等的状态是如何的.说到底,无论寄存器,存储器还是条件码寄存器等等,都是汇编指令可以访问的处理器状态.在设计和实现一个处理器的时候,只要我们能保证机器级程序(比如汇编程序)可以正常的访问程序员可见状态(比如寄存器,存储器),那么就不需要非得按照ISA真正的方式来表示我们的处理器状态.

对于Y86来说,他的程序员可见状态就是如下几种:寄存器,存储器,条件码,PC,程序状态

在Y86当中,寄存器依旧是8个,每一个寄存器可以存储一个字,也就是一个32位二进制.条件码是一个二进制的寄存器,保存着最近的算术或逻辑运算所造成的影响的信息.PC则是成虚计数器,记录当前正在执行的指令的地址.

存储器则是一个很大的字节数组,Y86的程序可以使用虚拟地址(类似于数组的下标)来访问存储器,硬件和OS会将虚拟地址翻译为实际的地址.最后一个程序状态(stat),它代表着程序的运行情况.

以上便是咱们这些码农可见的状态,或者说机器级程序可访问的CPU状态,我们在设计和实现一个处理器的时候,就是设计一系列指令去操作这些状态.

Y86指令集

下面这个图是Y86指令集,这些指令其实都是从X86指令集上意淫来的.

上面的指令大家应该不陌生吧,下面咱们简单的把每个指令的作用过一遍:

名字	作用
halt	这个指令将会终止指令的执行
nop	这是一个占位指令,他不做任何事,后续为了实现流水线,它有一定的作用
xxmovl	这是一系列的数据传送指令,其中r代表寄存器,m代表存储器,i代表立即数.比如rrmov指令,则代表将一个寄存器的值,赋给另外一个寄存器
opl	操作指令,比如加法,减法等等
jxx	条件跳转指令,,根据后面的条件进行跳转
cmovxx	条件传送指令,后面的xx代表的是条件.特别的是,条件传送只发生在两个寄存器之间,不会将数据传送到存储器.
call与ret	方法的调用和返回指令.一个将返回地址入栈,并跳到目标地址.一个将返回地址入PC,并跳到返回地址.
push和pop	入栈和出栈操作

指令编码

在图的右边,是指令所占的字节数或者说编码.一般两个寄存器占用一个字节,存储器则占用四个字街,指令的编码和功能占用一个字节.因此可以看到,比如rrmovl指令,它的字长长度是2,其中第一个字节代表了指令rrmovl,第二个字节代表了两个寄存器.

对于opl,jxx,cmovxx指令来说,都有一个fn标致,占用4个二进制位(半个字节).这个便是指令的功能部分,这个是由于他们的指令编码一样,但功能有所不同所造成的.比如对于opl,就有加,减,与,异或等操作,那么它们的指令编码第一个字节就分别为十六进制的60,61,62,63.

对于寄存器的表示,是使用4个二进制位表示的,这是一个ID标志.所有的寄存器可以看做是一个寄存器文件,其中的ID标志就类似于它们的地址.对于一些只需要一个寄存器的指令来说,另一个寄存器标志位使用0xF表示.

还有的指令需要一个字的常数,比如irmovl指令,call指令等等.这种指令,将会把常数放在最后的四个字节当中,顺序按照大端法或小端法表示(与机器和OS有关).对于call指令来说,这四个字节就是一个地址,这个地址就是绝对地址,指向了存储器当中的某一个位置,这个位置存储着代码.采用绝对地址是为了描述简单,真实当中,时采取的基于PC的相对地址.