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

leader4

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

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

操作环境：macOS High Sierra 10.13.4
DOSBox masm5

源代码：

assume cs:code,ss:b,ds:a

a segment
        dw 1,2,3,4,5,6,7,8,9,0ah,0bh,0ch,0dh,0eh,0fh,0ffh
a ends

b segment
        dw 0,0,0,0,0,0,0,0
b ends

code segment

start:        mov ax,a
                mov ds,ax
                
                mov ax,b
                mov ss,ax
                mov sp,16

                mov cx,16          //这里原本循环8次，我改成了16次
                mov bx,0
s:        push ds:[bx]
        add  bx,2
        loop s

                mov ax,4c00h
                int 21h
code ends

end start

Zmynx_2017

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

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

leader4

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