实验5 编写、调试具体多个段的程序
一。将下面的程序编译连接，用Debug加载、跟踪，然后回答问题。
assume cs:code,ds:data,ss:stack
data segment
dw 0123h,0456h,0789h,0abch,0defh,0fedh,0cbah,0987h
data ends
stack segment
dw 0,0,0,0,0,0,0,0
stack ends
code segment
start: mov ax,stack
mov ss,ax
mov sp,16
mov ax,data
mov ds,ax
push ds:[0]
push ds:[2]
pop ds:[2]
pop ds:[0]
mov ax,4c00h
int 21h
code ends
end start
程序分析：由于是初次接触，我们逐步讲解，废话多点。
（1）此程序考察的是内存中数据段和栈段的定义。
程序共定义了1个数据段，data段，首先明确，在程序运行开始（标号start处），这个数据段就已经被定义好了，并且分配了内存空间，并赋值了。
一个栈段，stack。同理这个数据段在没有被人工定义为栈结构时，也被定义好了。并且分配了内存空间，并赋值了。
将此程序编译并连接后，使用debug调试，（这里需要注意，以下的段地址可能由于系统不同而有差异，主要是理解概念。）
E:assembly>debug eee.exe
-r
AX=0000 BX=0000 CX=0042 DX=0000 SP=0000 BP=0000 SI=0000 DI=0000
DS=0B55 ES=0B55 SS=0B65 CS=0B67 IP=0000 NV UP EI PL NZ NA PO NC
0B67:0000 B8660B MOV AX,0B66
程序分析：我们什么也没执行，此时我们在data段定义的数据在哪？在ds：0100H处（原来讲过，程序最开始时ds：00~ds：100H是留给程序与操作系统通讯使用的psp内存段，参见书中p92）；也就是说我们在ds：100H、0B55:100H或0B65：00处可以看见这些定义的数据。见下图。
-d ds:100
0B55:0100 23 01 56 04 89 07 BC 0A-EF 0D ED 0F BA 0C 87 09 #.V.............
0B55:0110 00 00 00 00 00 00 00 00-00 00 00 00 00 00 00 00 ................
（2）mov ax,stack
mov ss,ax
mov sp,16
直到这3个指令执行完毕，此时stack数据段被人工指定为了栈结构，（ss）=offset stack，也就是说此时ss段寄存器变量才赋值为stack段的段地址。sp指针指向了栈顶。
我们在上图中，看到SS=0B65，执行完这3个指令后，我们发现SS=0B66了，我们使用d命令查询下：
-d ss:0
0B66:0000 00 00 00 00 00 00 65 0B-00 00 0B 00 67 0B 68 05 ......e.....g.h.
有二个事实：
0B66:0000==0B55:0110，我们定义的数据在内存中的位置在程序装载后，位置是固定的，也就是说数据段的物理地址一直是固定的，只不过我们表述这个数据段时，采用了不同的段地址和偏移地址。
0B66:0000 00 00 00 00 00 00 65 0B-00 00 0B 00 67 0B 68 05 ......e.....g.h.
完全等价于：
0B55:0110 00 00 00 00 00 00 00 00-00 00 00 00 00 00 00 00 ................
我们将ss指向了stack段内存，也就是说，stack这个内存段从现在开始被人工的当做了栈空间使用。在这16个字节空间里，原来都是00；为什么现在有其他数据了？这个我们先别管。它是一些其他的有用信息。
（3） mov ax,data
mov ds,ax
直到上面2个指令执行完毕，ds段寄存器的值才是offset data，也就是说此时ds指向了data段，ds：[0]和data：[0]是等价的。
此时的段地址存储在ds中；也是默认的段地址寄存器；内存单元表示直接使用[idata]寻址就行，也可以使用ds：[idata]。[0]代表第一个内存单元地址；[2]代表第三个内存单元地址。
同理：我们执行这二个指令后，将ds指向了data段。
（4） push ds:[0]
指令含义：将data段中从第一个内存单元地址开始，按照字单元（2个字节），压栈到ss栈（或stack栈中）；通俗的讲，就是将23 01这二个字节按字为单元压栈。此时sp变量有变化，原来sp=0010H（16）；压栈后（sp）=（sp）-2=16-2=000EH。也就是说栈顶改变了。（这个变化，你可以使用debug中的t命令一步一步的执行后查看）。此时我们查看下栈中有变化吗？
-d ss:0
0B66:0000 00 00 00 00 65 0B 00 00-11 00 67 0B 68 05 23 01 ....e.....g.h.#.
我们发现栈中确实存储了01 23这2个数据，而且明确了栈空间结构是从高地址向低地址发展的。至于栈中其他数据，我们不必理会。
push ds:[2]
指令含义：同理，将data段中从第三个内存单元地址开始，按照字单元（2个字节），压栈到ss栈（或stack栈中）；通俗的讲，就是将56 04这二个字节按字为单元压栈。此时sp变量有变化，原来sp=000EH（14）；压栈后（sp）=（sp）-2=14-2=000CH。也就是说栈顶改变了SP=000C。
-d ss:0
0B66:0000 00 00 65 0B 00 00 15 00-67 0B 68 05 56 04 23 01 ..e.....g.h.V.#.
（5）pop ds:[2]
指令含义：将栈中数据按字弹出，写入到段地址是ds（它的值是offset data或在我们的系统中是DS=0B65），偏移地址是[2]的内存单元中。如果默认段地址是ds，此指令直接可以写成：pop [2]
指令执行后：sp值有变化，因为是弹出一个字，故（sp）=（sp）+2 =000CH+2=000EH。也就是说栈顶指针sp指向有变化了。
这里注意栈空间中存储栈帧的顺序，也是在以后使用栈结构时候需要注意的原则：先进后出；后进先出。
我们查看下data段数据变化。
-d ds:0
0B65:0000 23 01 56 04 89 07 BC 0A-EF 0D ED 0F BA 0C 87 09 #.V.............
其实在内存第3、4字节中是pop弹栈回写的数据。实际是没有变化，但是经过了pop的回写的。
pop ds:[0]
指令含义：同理如上面，不多说了。
总结：观察栈的结构，注意执行push和pop指令的汇编层面含义和CPU执行的步骤。进一步理解内存的直接寻址方式。返回前，各寄存器状态如下：
AX=0B65 BX=0000 CX=0042 DX=0000 SP=0010 BP=0000 SI=0000 DI=0000
DS=0B65 ES=0B55 SS=0B66 CS=0B67 IP=001D NV UP EI PL NZ NA PO NC
0B67:001D B8004C MOV AX,4C00
答案：
①CPU执行程序，程序返回前，data段中的数据 不变 。
②CPU执行程序，程序返回前，CS=0B67，SS=0B66，DS=0B65 。（根据自己系统回答）
③设程序加载后，CODE段的段地址为X，则DATA段的段地址为 X-2 ，STACK段的段地址为 X-1 。
二。将下面的程序编译连接，用Debug加载、跟踪，然后回答问题。
assume cs:code,ds:data,ss:stack
data segment
dw 0123h,0456h
data ends
stack segment
dw 0,0
stack ends
code segment
start:
mov ax,stack
mov ss,ax
mov sp,16
mov ax,data
mov ds,ax
push ds:[0]
push ds:[2]
pop ds:[2]
pop ds:[0]
mov ax,4c00h
int 21h
code ends
end start
程序分析：（不再详细分析了）
首先明确：虽然我们在data段和stack段中只定义初始化了4个字节的内存，但在汇编中，直接给你分配了16个字节的空间，不足的按00补全。
结论：数据段和栈段在程序加载后实际占据的空间都是以16个字节为单位的。如果不足，以0补全填充。
在debug中查看：
-d ds:100
0B55:0100 23 01 56 04 00 00 00 00-00 00 00 00 00 00 00 00 #.V.............
0B55:0110 00 00 00 00 00 00 00 00-00 00 00 00 00 00 00 00 ................ 程序返回前
-t
AX=0B65 BX=0000 CX=0042 DX=0000 SP=0010 BP=0000 SI=0000 DI=0000
DS=0B65 ES=0B55 SS=0B66 CS=0B67 IP=001D NV UP EI PL NZ NA PO NC
0B67:001D B8004C MOV AX,4C00
答案：
（1）CPU执行程序，程序返回前，data段中的数据为多少？
执行程序后，data段有16个字节空间，前两个字数据不变，其余为00补全了。
（2）CPU执行程序，程序返回前，CS=0B67, SS=0B66, DS=0B65.
（3）程序加载后，code段地址设为X，则data段地址为(x-2),stack段的段地址为(X-1).
（4）对于如下定义的段：
name segment
......
name ends
如果段中数据位N个字节，程序加载后，该段实际占据空间为：（N/16的取整数+1）*16个字节
如果N小于16，那么实际占用16个字节（理解这个小问题）；如果N大于16，那么实际占用（N/16的取整数+1）*16个字节。其实都是这个公式。
三。将下面的程序编译连接，用Debug加载、跟踪，然后回答问题。
assume cs:code,ds:data,ss:stack
code segment
start:
mov ax,stack
mov ss,ax
mov sp,16
mov ax,data
mov ds,ax
push ds:[0]
push ds:[2]
pop ds:[2]
pop ds:[0]
mov ax,4c00h
int 21h
code ends
data segment
dw 0123h,0456h
data ends
stack segment
dw 0,0
stack ends
end start
程序分析：
这次只不过是将data和stack段放到了code段后面了。那么就要注意它们段地址的变化了。
返回前，查看
-r
AX=0B68 BX=0000 CX=0044 DX=0000 SP=0010 BP=0000 SI=0000 DI=0000
DS=0B68 ES=0B55 SS=0B69 CS=0B65 IP=001D NV UP EI PL NZ NA PO NC
0B65:001D B8004C MOV AX,4C00
总结：在汇编源代码中，我们定义的code是程序执行的代码（它存储在一个我们人为规定的段code中，在程序装载时，分配空间，并将机器码写入到这段内存中）；其他的数据段（无论是逻辑上的stack段，data段等）与代码段都相邻。只不过是装载、分配内存前后的问题。
答案：
（1）CPU执行程序，程序返回前，data段中的数据为多少？
执行程序后，data段有16个字节空间，前两个字数据不变，其余为00补全了。
（2）CPU执行程序，程序返回前，CS=0B65, SS=0B69, DS=0B68.
（3）程序加载后，code段地址设为X，则data段地址为(x+3),stack段的段地址为(X+4).
（为什么是这样？怎么计算的？看cx，程序加载时，我们发现cx=0044，含义：此程序所有机器码占用的空间是44H=68字节，data和stack由于定义的都是小于16个字节，一律按照16个字节分配空间，其余补00；剩余的36个字节就是code段真正的可执行的机器码。由于code段不足48个字节（3*16），故程序加载时也补0了）
我们可以使用debug看看：
-d cs:0
0B65:0000 B8 69 0B 8E D0 BC 10 00-B8 68 0B 8E D8 FF 36 00 .i.......h....6.
0B65:0010 00 FF 36 02 00 8F 06 02-00 8F 06 00 00 B8 00 4C ..6............L
0B65:0020 CD 21 00 00 00 00 00 00-00 00 00 00 00 00 00 00 .!..............
0B65:0030 23 01 56 04 00 00 00 00-00 00 00 00 00 00 00 00 #.V.............
0B65:0040 00 00 68 0B 68 0B 68 0B-00 00 1D 00 65 0B 68 05 ..h.h.h.....e.h.
红色的代表了代码段。紫色代表了data段。绿色是stack段
四。 如果将(1)、(2)、(3)题中的最后一条伪指令“end start”改为“end”(也就是说不指明程序的入口)，则那个程序仍然可以正确执行？请说明原因。
答案：如果不指名程序的（code段的）入口，并且使用end替换end start，都能正常运行。但只有（3）题中程序可以正确的执行（因为只有它是在内存中可执行代码在最前面）。
讲解：因为如果不指名入口，程序会从加载进内存的第一个单元起开始执行，前二个题中，定义的是数据，但CPU还是将数据当做指令代码执行了。只不过程序执行时逻辑上是错误了。但真的能执行的。
如果指明了程序的入口，CPU会直接从入口处开始执行真正的机器码，直到遇到中断指令返回。此种方式能够确保程序逻辑上的正确。因此有必要为程序来指明入口。
网上许多答案都是不太明确！
五。编写code段中的代码，将a段和b段数据依次相加，结果存入c段
assume cs:code
a segment
db 1,2,3,4,5,6,7,8
a ends
b segment
db 1,2,3,4,5,6,7,8
b ends
c segment
db 0,0,0,0,0,0,0,0
c ends
code segment
start:
？？？？？？？
mov ax,4c00h
int 21h
code ends
end start
程序分析：
（1）这个题目一下子搞出3个数据段了。呵呵，貌似我们段寄存器不够用了。cs（代码段），ss（栈段），这二个千万别碰！那只有ds和es了。思路：将a和b段我们用一个段地址表示，存储在ds中；c段我们存储在es中。？这种方式好吗？不太好。
（2）上面已经体会了，当一个数据段不足16个字节时，按16个字节分配内存空间，其余的补0。我们发现a、b段都是定义了8个字节的数值。并且是相邻的（肯定是的），那么a段的地址我们使用[bx+idata]表示，b段我们也使用[bx+idata]表示。这种方式没有把a段和b段分开。
（3）最终决定：将es指向c段，ds分开分别的指向a段和b段，这样我们在一个循环内完成所有的工作了；程序中使用了栈保存了ds的值；
最终代码如下：
assume cs:code
a segment
db 1,2,3,4,5,6,7,8
a ends
b segment
db 1,2,3,4,5,6,7,8
b ends
cz segment
db 0,0,0,0,0,0,0,0
cz ends
code segment
start:
mov ax,a
mov ds,ax ;ds指向a段
mov ax,b
mov es,ax ;es指向b段
mov bx,0
mov cx,8 ;计算8次，故计数器为8
s:
mov dl, [bx] ;将ds:[bx]内存单元按字节送入dl，此循环用到ax
add dl, es:[bx] ;将ds:[bx]与es:[bx]内存单元值相加
push ds ;保护ds值，因为下面用到ds了
mov ax, cz ;我的编译器不认C这个段的标号，故改成了CZ
mov ds, ax ;将ds指向cz段
mov [bx], dl ;将dl（a和b相对应内存单元内容之和）写入cz中
pop ds ;将ds恢复
inc bx ;bx递增
loop s
mov ax,4c00h
int 21h
code ends
end start
结果分析：
（1）ds段寄存器在程序中可以存储不同的内存段的段地址，并不是唯一存储一个段地址，es也是如此。
（2）合理利用系统自动创建的栈空间，利用栈空间来保存暂存的数据。注意压栈和弹栈的顺序，确保操作的是一个数据对象。
（3）在遇到多个数据段的情况下，这种方式可以利用一个段寄存器来对多个内存段寻址。
（4）在实际工程中，在程序中保存的数据，都是程序的一些必须的初始化的数据，其他的数据都应保存在磁盘文件中，需要时才读入内存中。此例中的a、b、cz段都是其他的数据，在这里就是演示。
六。编写code段中代码，用push指令将a段中前8个字型数据逆序存储到b段中。
assume cs:code
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
程序分析：
（1）理解掌握栈的原理，先进后出，从高地址向低地址发展。也就是说先压栈的数据，在栈底，最后被pop出。
（2）对于数据段，我们定义2个，ds指向a段，ss指向b。ss指向了b段，也就意味着b段是人工创建的一个栈结构了。
（3）对于push和pop指令：操作的是一个栈帧或栈单元，它的操作数是一个字，在8086CPU中是一个字，2个字节，这个在a、b段定义时我们应该发现，它们都是定义的字。如果定义的是db字节呢？呵呵。一样的。
最终代码如下：
assume cs:code
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 ;ds指向a段
mov ax,b
mov ss,ax ;ss指向了b段
mov sp,16 ;初始化栈顶，ss：sp指向了栈顶，意味着b段是个栈结构了。
mov bx,0
mov cx,8 ；循环读取a段8次，因为是前8个字
s:
push ds:[bx] ;直接将a段中的字单元内存压栈即可。这样在栈中的存储结构就是逆序的
add bx,2
loop s
mov ax,4c00h
int 21h
code ends
end start
运行结果debug：
-d ds:0
0B65:0000 01 00 02 00 03 00 04 00-05 00 06 00 07 00 08 00 ................
0B65:0010 09 00 0A 00 0B 00 0C 00-0D 00 0E 00 0F 00 FF 00 ................
0B65:0020 08 00 07 00 06 00 05 00-04 00 03 00 02 00 01 00 ................