为什么栈没有发生越界写入？

leader4

求大大解答下问题：
我把王爽《汇编》的第六章实验5的第6个小实验更改了一下，想看看push越界写入会发生什么。
但是并没有发生越界写入，请问这是为什么？

原题目要求：用push指令，把a段前8个数据逆序存储在b段中。
更改部分：把a段16个数据，全部写入b段。

操作环境：macOS High Sierra 10.13.4
DOSBox masm5

源代码：

1. 
   
2. assume cs:code,ss:b,ds:a
   
3. 
   
4. a segment
   
5.         dw 1,2,3,4,5,6,7,8,9,0ah,0bh,0ch,0dh,0eh,0fh,0ffh
   
6. a ends
   
7. 
   
8. b segment
   
9.         dw 0,0,0,0,0,0,0,0
   
10. b ends
    
11. 
    
12. code segment
    
13. 
    
14. start:        mov ax,a
    
15.                 mov ds,ax
    
16.                
    
17.                 mov ax,b
    
18.                 mov ss,ax
    
19.                 mov sp,16
    
20. 
    
21.                 mov cx,16          //这里原本循环8次，我改成了16次
    
22.                 mov bx,0
    
23. s:        push ds:[bx]
    
24.         add  bx,2
    
25.         loop s
    
26. 
    
27.                 mov ax,4c00h
    
28.                 int 21h
    
29. code ends
    
30. 
    
31. end start

复制代码

Zmynx_2017

首先，你这个划分方式完全不对吧？你这个一直属于代码段的内容，其次是，

至于结果是怎么样我建议你运行后看一下sp指针的变化。

leader4

自问自答一下：栈的确发生了越界，只不过是被写到底下去了。。也就是说ss不变，当sp=0时，sp-2会被指向fffe.即sp=fffe。之后继续覆盖数据。。。关键词：ss不变！即段地址不变。