2-2、栈SS:SP

语雀原文链接

1、栈的概念

• 栈是一种具有特殊的访问方式的存储空间。
• 栈有两个基本操作：入栈 + 出栈。入栈就是将一个新的元素放到栈顶，出栈就是从栈顶取出一个元素。栈顶的元素总是最后入栈，需要出栈时，又最先被从栈中取出。栈的这种操作规则被称为：LIFO(Last In First Out，后进先出)

2、CPU的栈机制

• 8086CPU提供入栈和出栈指令，最基本的两个是PUSH(入栈)和POP(出栈)
• push ax 表示将寄存器ax中的数据送入栈中
• pop ax 表示从栈顶取出数据送入ax
• 8086CPU的入栈和出栈操作都是以字为单位进行的。

例子1：简化流程

• 例子如下（注意高地址放高八位，低地址放低八位）

例子2：PUSH

• 上述例子我们有两个疑问
  • 疑问1：CPU如何知道10000H~1000FH这段内存空间要被当作栈来使用
  • 疑问2：push pop怎么知道哪个内存单元是栈顶单元
• 对于疑问2：8086CPU中，有两个寄存器，段寄存器SS和寄存器SP，栈顶的段地址存放在在SS中，偏移地址存放在SP中。任意时刻，SS:SP指向栈顶元素。
• PUSH执行步骤如下
  • 第一步：SP=SP-2
  • 第二步：向SS:SP指向的内存单元中送人数据

• debug验证

例子3：POP

• POP执行步骤如下
  • 第一步：从SS:SP指向的内存单元中的数据送入AX
  • 第二步：SP=SP+2

• POP执行前栈顶元素，1000CH处的数据是2266H，POP执行后，1000CH处的数据仍然是2266H，不会改变，只是不在栈中
• debug验证

例子4：栈空

• 栈空，SP指向栈空间最高地址单元的下一个单元。
• 下例子中栈空间是10000H~1000FH，栈空，此时的SS:IP=1000H:0010H

3、栈顶超界

push超界

• 当栈满的时候，再使用push指令，会发生栈顶超界问题

pop超界

• 当栈空的时候使用pop指令出栈，会发生栈顶超界问题

解决方法

• 栈顶超界是危险的，因为我们既然将一段空间安排为栈，那么在栈空间之外的空间里很可能存放了具有其他用途的数据、代码等，这些数据、代码可能是我们自己程序中的，也可能是别的程序中的(毕竟一个计算机系统中并不是只有我们自己的程序在运行)。但是由于我们在入栈出栈时的不小心,而将这些数据、代码意外地改写，将会引发一连串的错误。
• 我们当然希望CPU可以帮我们解决这个问题，比如说在CPU中有记录栈顶上限和栈底的寄存器，我们可以通过填写这些寄存器来指定栈空间的范围，然后，CPU在执行push指令的时候靠检测栈顶上限寄存器、在执行pop指令的时候靠检测栈底奇存器保证不会超界。
• 8086CPU不保证我们对栈的操作不会超界。我们在编程的时候要自己操心栈顶超界的问题，要根据可能用到的最大栈空间，来安排栈的大小，防止入栈的数据太多而导致的超界；执行出栈操作的时候也要注意，以防栈空的时候继续出栈而导致的超界。

4、push pop指令

• 写法

push 寄存器
pop 寄存器

push 段寄存器
pop 段寄存器

push 内存单元
pop 内存单元

• 段寄存器SS不能直接被赋值，但是SP可以被直接赋值

5、中断机制

• 写以下指令
  • mov ax,2000
  • mov ss,ax
  • mov sp,10

• 只执行两个t，按理来说mov sp,10没有被执行，但是SP=0010
• 这是以后课程要研究的中断机制：Debug的T命令在执行修改寄存器SS的指令时，下一条指令也紧接着被执行

6、数据段 代码段 栈段

• 我们可以将一段内存定义为一个段，用一个段地址指示段，用偏移地址访问段内的单元。这完全是我们自己的安排。
  • 我们可以用一个段存放数据，将它定义为"数据段";
  • 我们可以用一个段存放代码，将它定义为"代码段";
  • 我们可以用一个段当作栈,将它定义为"栈段"。
• 我们可以这样安排，但若要让CPU按照我们的安排来访问这这些段，就要：

对于数据段，将它的段地址放在DS中，用mov、add、sub等访问内存单元的指令时，CPU就将我们定义的数据段中的内容当作数据来访问:
对于代码段，将它的段地址CS中，将段中第一条指令的偏移地址放在IP中,这样CPU就将执行我们定义的代码段中的指令
对于栈段，将它的段地址放在SS中，将栈顶单元的偏移地上放在SP中，这样CPU在需要进行栈操作的时候，比如执行push、pop指令等，就将我们定义的栈段当作找空间来用

• 可见,不管我们如何安排，CPU将内存中的某段内容当作代码，是因CS:IP指向了那里；CPU将某段内存当作栈，是因为SS:SP指向了那里。

我们将10000H~1001F安排为代码段，则里面存储以下代码
设置CS=1000H,IP=0000H，这段代码开始执行。
mov ax,1000H
mov ss,ax
mov sp,0020H     //初始化栈顶SS:SP=1000:0020=10020H

mov ax,cs
mov ds,ax       //设置数据段段地址DS=1000H

mov ax,[0]
add ax,[2]
mov bx,[4]
add bx,[6]

push ax
push bx
pop ax
pop bx

可以看到,在这段代码中,我们又将10000H~1001FH安排为栈段和数据段。
10000H~1001FH这段内存,既是代码段,又是栈段和数据段。

一段内存,可以既是代码的存储空间,又是数据的存储空间,还可以是栈空间,也可以什么也不
是。关键在于CPU中寄存器的设置,即CS、IP,SS、SP,DS的指向。