王爽《汇编语言》第9章 实验8 分析一个奇怪的程序

问：以下代码，程序为什么能正常结束？

assume cs:codesg
codesg segment
 mov ax,4c00h
 int 21h
start:
 mov ax,0 
s:
 nop
 nop
 mov di,offset s 
 mov si,offset s2 
 mov ax,cs:[si] 
 mov cs:[di],ax 

s0:
 jmp short s 
s1:
 mov ax,0
 int 21h
 mov ax,0
s2:
 jmp short s1
 nop
codesg ends
end start

执行s部分后，s改写后为：
jmp s-8
mov di,offset s
mov si,offset s2
mov ax,cs:[si]
mov cs:[di],ax
所以 jmp short s 再执行s 的时候就跳到cs:0000的位置，也就是
mov ax,4c00h
int 21
所以会正常结束。

知识点是：转移指令是在编译的时候变成相对偏移地址，这里EBF6是从s2里跳到s1的时候是反向跳8个字节的意思。
同一个表示跳转的命令代码EBF6在
s2:
jmp short s1
nop
中是jmp short s1
而在
s:
jmp 0000
mov di,offset s
mov si,offset s2
mov ax,cs:[si]
mov cs:[di],ax
时是jmp 0000