速通汇编(六)认识栈,SS、SP寄存器,push和pop指令的作用

server/2024/9/24 13:33:48/

一,栈

(一)栈的特点

栈是一种具有特殊访问方式的存储空间,特殊在于,进出这块存储空间的数据,“先进后出,后进先出”

由于栈的这个“先进后出”的特点,我们可以利用其来很好的操作内存

在《王爽汇编》中,作者用三本书十分形象地来描述了入栈和出栈的操作,对栈比较陌生的同学可以仔细理解,很理解的同学则可跳过

入栈的方式

出栈的方式

入栈:将数据放在栈的顶部

出栈:将栈顶部的数据取出

也就是说,无论是入栈和出栈,当前操作的数据一定是当前栈中最顶部的数据,我们假想有一个指针,它会一直指着栈顶数据,帮助我们定位

(二)CPU中的栈机制

栈先进后出的这个特点对于我们操作数据是十分方便的一个机制,因此CPU中设计好了提供给我们相关的指令用这种机制来访问内存

简而言之,我们可以主观地将某块内存视作栈(实际上它在内存中是没变的,只是我们主观去刻意认为),然后用相关指令来操作它

最基本的两个入栈和出栈命令是:push(入栈),pop(出栈)

注意,入栈和出栈的操作都是以(一个字等于两个字节,1 word == 2 byte)为单位的,这意味着任何一次出入栈操作的数据一定是十六位的

例:

push ax        (√)

push bh        (×)bh是bx的高八位寄存器

pop cx          (√)

pop dl           (×)dl是dx的低八位寄存器

①初始空栈

规定为,如果将一块内存视作栈,那么这块内存最小的地址处(低地址)为栈顶,反之(高地址)为栈底,例如下图,[10000]为栈顶,[1000F]为栈底,你可以认为只不过是把从左到右(由低地址到高地址)的一块内存顺时针旋转了90度立起来方便我们看而已

此时栈指针指向[10010]处,即栈最底部[1000F]的再下一处,因为是空栈

下面将10000~1000F这段内存视作栈,并用相关指令来操作它

②【mov ax,0123】【push ax

将0123赋值给ax,然后把ax的值压入栈中

这里再次涉及到小端存储数据的方式(现有的机器基本都是小端存储),ax分为ah高位的01和al低位的23

因此高位的01应该放在[1000F]处,低位的23放在[1000E]处,因此执行完这两条汇编之后,栈中的数据应如下图所示

此时栈指针指向[1000E]处,栈顶数据是23

③【mov bx,2266】【push bx

这一步和②同理,高位的22被压入相对高位的[1000D]处,低位的66被压入相对低位的[1000C]处

此时栈指针指向[1000C]处,栈顶数据是66

 ④【mov cx,1122】【push cx

这一步和②③同理,高位的11被压入相对高位的[1000B]处,低位的22被压入相对低位的[1000A]处

此时栈指针指向[1000C]处,栈顶数据是22

(接下来3步我们整合在一起)

形如【pop 寄存器】指令的作用:将当前栈指针指向的数据放入寄存器中

⑤【pop ax】,栈指针指向[1000A]处,因此将66放入al,22放入ah(别忘了push和pop一定是以字为单位操作数据的,而不是字节),因此执行完后,ax==1122

⑥【pop bx】,同理,栈指针指向的是[1000C],将66放入bl,22放入bh,bx==2266

⑦【pop cx】,同理,栈指针指向的是[1000E],将23放入cl,01放入ch,cx==0123

最后,栈指针再次归位到[10010]处,因为栈空

总结:

①内存中地址从左到右由低到高,栈中地址从上到下由低到高,可以认为栈不过是一块内存顺时针旋转了90度立起来方便我们看而已

②假想一个栈指针,它会时刻指向栈中目前最顶部的数据

③push、pop指令操作的是至少是一个字(不能单独操作一个字节),一个字(word)==两个字节(byte)

④每使用push指令压入一个字,栈指针会向栈顶(低地址)处移动一个字的大小(相当于-2);每使用pop指令弹出一个字,栈指针会向栈底(高地址)处移动一个字的大小(相当于+2)


二,SS、SP寄存器和push、pop的作用

(一)SS、SP寄存器

在前文中,我们反复提到以下两点:

①栈是我们主观假想出来的具有特殊存储方式的内存,与普通内存别无二致

②假想一个栈指针,它会时刻指向栈中目前最顶部的数据

怎么让cpu知道我们把哪块内存视作栈了呢?这个假想出来的栈指针要如何表现呢?cpu提供给我们两个寄存器解决了这两个问题

回想一下,其实就像学习CS、IP寄存器时一样,我们当时解决的问题是“汇编指令和普通数据在内存中存储起来后没有差别(都是二进制数),但是cpu会将[CS:IP]指向的地址视作汇编来执行”;

所以现在举一反三,又需要两个这样的寄存器,一个用来标识段地址,一个用来标识偏移地址,它们共同指向我们主观视作栈的一块内存的栈顶数据,它的地址则是[SS:SP]

因此,[SS:SP]就是实际cpu中的栈指针

(二)push指令

 push指令主要有两种用法:

push 寄存器,例如:【push ax】

此处必须是十六位寄存器(前文已经阐述过)

当本条指令被执行之后,cpu会将指定寄存器ax的数据赋值给[SS:SP]处(即栈顶)

执行完后,SP寄存器的值会-2,因为新压入了两个字节的数据成为了新的栈顶数据,栈指针会向低地址偏移两个字节

push [偏移地址],例如:【push [0011]】

当本条指令被执行之后,cpu会将指定物理地址[DS:0011]处(不明白为什么是DS的,请仔细复习上一篇<速通汇编(五)>)的数据(同样是十六位数据,如FFFF)赋值给[SS:SP]处(即栈顶)

执行完后,SP寄存器的值会-2,因为新压入了两个字节的数据成为了新的栈顶数据,栈指针会向低地址偏移两个字节

实例:

①先用r命令查看寄存器,观察到SS和SP的值,然后用d命令查询[SS:SP]处内存的值

②在[0000:0000]处提前写入数据12ab34cd,修改DS的值为0000(这样待会push [0]时,[0]就代表[0000:0000])

④a命令在[CS:IP]即[073f:0100]处写入汇编

mov ax,1234】【push ax

push [0]

⑤执行前两条汇编mov ax,1234】【push ax】,执行完后查看栈的变化

观察到,ax中的1234被压入栈中,ah的12在高地址,al的34在低地址,且SP==00FD-2==00FB,符合预期

(注:观察到此处栈顶数据左边的内存数据发生变化,这是正常现象,无需关心)

⑥执行第3条汇编push [0]】,执行完后查看栈的变化

观察到,[0000:0000]处的两个字节12和AB,分别被压入栈的低和高地址处,且SP==00FB-2==00F9,符合预期

(三)pop指令

(pop指令用来弹出栈顶数据,弹出后不是说消失了,你要找个其它位置存放的)

pop指令主要有两种用法:

pop 寄存器,例如:【pop ax】

此处必须是十六位寄存器(前文已经阐述过)

当本条指令被执行之后,cpu会将[SS:SP]处(即栈顶)的数据弹出,赋值给指定寄存器ax

执行完后,SP寄存器的值会+2,因为弹出了栈顶数据,栈指针会向高地址处偏移2个字节

pop [偏移地址],例如:【pop [0011]】

当本条指令被执行之后,cpu会将[SS:SP]处(即栈顶)的数据弹出,赋值给指定物理地址[DS:0011]处

执行完后,SP寄存器的值会+2,因为弹出了栈顶数据,栈指针会向高地址处偏移2个字节

实例:

①a命令在在[CS:IP]处写入汇编

pop ax】【pop [0011]

②执行第一条汇编pop ax】,执行完后查看栈与ax的变化

观察到,栈顶数据12AB被弹出,低位的12放入al中,高位的AB放入ah中,ax==AB12

且SP==00F9+2==00FB,符合预期

③执行第二条汇编pop [0011]】,执行完后查看栈与[0000:0011]处的变化

观察到,栈顶数据3412被弹出,低位的34放入低位的[0000:0011]处,高位的12放入高位的[0000:0012]处

且SP==00FB+2==00FD,符合预期


三,栈越界相关问题

(以下是《王爽汇编》原文节选,提到的CPU通指8086CPU)

上文已经完全说明,CPU由SS和SP来指向栈顶地址,并提供push和pop指令来出入栈

有个问题是,CPU不会保证我们对栈的操作不超界

也就是说,CPU只知道栈顶在何处(由[SS:SP]指示),而不知道我们安排的栈空间有多大。这点就好像 CPU 只知道当前要执行的指令在何处(由CS:IP指示),而不知道要执行的指令有多少从这两点上我们可以看出CPU的工作机理,它只考虑当前的情况:当前的顶在何处、当前要执行的指令是哪一条

我们在编程的时候要自己操心栈顶超界的问题,要根据可能用到的最大栈空间,来安排栈的大小,防止入栈的数据太多而导致的超界;执行出栈操作的时候也要注意,以防栈空的时候继续出栈而导致的超界


http://www.ppmy.cn/server/121365.html

相关文章

学习记录:js算法(三十七): 搜索二维矩阵

文章目录 搜索二维矩阵我的思路网上思路 总结 搜索二维矩阵 给你一个满足下述两条属性的 m x n 整数矩阵&#xff1a; ● 每行中的整数从左到右按非严格递增顺序排列。 ● 每行的第一个整数大于前一行的最后一个整数。 给你一个整数 target &#xff0c;如果 target 在矩阵中&a…

最近的生活

最近的生活&#xff0c;让我先回忆一下子。 第一个&#xff0c;我和室友报名了一个游泳俱乐部&#xff0c;但是实际上是一个豪庭的健身房&#xff0c;我们磨价钱磨了一下午&#xff0c;我还从来没有水里玩过呢&#xff0c;甚至一度觉得我进到水里面&#xff0c;耳朵会进水&…

二刷LeetCode:“51.N皇后 37.解数独”题解心得(简单易懂)

引言&#xff08;初遇噩梦&#xff0c;再遇坦然&#xff09; 在阅读本文之前&#xff0c;建议大家已经接触过回溯算法&#xff0c;并完成回溯相关题目&#xff0c;例如&#xff1a;子集问题、组合问题、排列问题。 子集&#xff1a;子集II、子集 组合&#xff1a;组合、组合总和…

Go语言流程控制

Go语言流程控制 1.IF-ELSE2.Switch-Caseswitch 语句Type Switch 3.select 语句4.循环语句 1.IF-ELSE Go 编程语言中 if 语句的语法如下&#xff1a; if 布尔表达式 {/* 在布尔表达式为 true 时执行 */ }例如&#xff1a; package mainimport "fmt"func main() {va…

展锐平台的手机camera 系统isptool 架构

展锐平台的isptool 主要用于支持展锐各代芯片isp的各效果模块快速tuning和参数生成打包。 具体需要&#xff1a; 一、工具段能在线实时预览到调试sensor经过isp 处理后的图像&#xff0c;也就是各模块的参数在当下实时生效&#xff0c;通过工具能在PC 上在线观看到修改的效果。…

Spring Cloud 教程(一) | 认识Spring Cloud

Spring Cloud Alibaba教程&#xff08;一&#xff09; | 认识Spring Cloud Alibaba 前言一、SpringBoot和SpringCloud区别二、SpringCloud 第一代&#xff08;Spring Cloud Netflix&#xff09;三、SpringCloud 第二代&#xff08;Spring Cloud Alibaba&#xff09; 前言 sp…

Appium独立测试自动化初始化脚本

1、查看环境初始化参数 确保appium已经开起来了&#xff0c;设置ip ,并点击启动 打开夜神模拟器&#xff0c;点击工具--设置 最下面的版本说明&#xff0c;双击进去 版本号这里再去单击。 直到进入到开发者模式。 可能我们不是开发者模式打开的状态&#xff0c;所以软件访问模…

验收测试:从需求到交付的全程把控!

在软件开发过程中&#xff0c;验收测试是一个至关重要的环节。它不仅是对软件质量的把关&#xff0c;也是对整个项目周期的全程把控。从需求分析到最终的软件交付&#xff0c;验收测试都需要严格进行&#xff0c;以确保软件能够符合预期的质量和性能要求。 一、需求分析阶段 在…