0

我有以下代码。有人可以解释我在括号中的问题吗?

# Execution begins at address 0 (why?)
.pos 0
irmovq stack, %rsp  # Set up stack pointer  (how can i move the word "stack" in rsp)
call main   # Execute main program
halt    # Terminate program  

# Sample linked list   (what is the purpose of .align 8?)
.align 8
ele1:
.quad 0x00a
.quad ele2
ele2:
.quad 0x0b0
.quad ele3
ele3:
.quad 0xc00
.quad 0

main:
irmovq ele1,%rdi
call sum
ret


sum:


# Stack starts here and grows to lower addresses
.pos 0x100
stack:
4

2 回答 2

2

.pos <adr>是更改编译器当前虚拟地址的指令。因此,下一条编译的指令将被视为 at address <adr>,如果您将其放在<label>前面,则<label>将具有 value <adr>,因此以后在绝对地址操作的代码中的任何指令<label>都将使用 value 进行编译<adr>

编译器还在编译过程中跟踪当前的虚拟地址,所以如果你<label2>稍后使用一些指令,它就会<adr + size_of_produced_machine_code_so_far>有价值。

然后,当您在实际内存中的该位置加载机器代码时,代码中的所有绝对地址都将适合并正常工作(如果您将其加载到其他地方,它将无法正常工作,因为说明仍将引用<adr>, for它们是编译的)。

在您的示例中,这意味着一旦将该机器代码加载到内存计算机中,首先irmovq将被放置在 address 。0

为什么从地址 0 开始执行?谁知道,那是目标平台的特性。如果目标平台将从 0x300 开始执行,则将启动代码放在那里是有意义的,而不是.pos 0x300指令。


irmovq stack, %rsp # Set up stack pointer (how can i move the word "stack" in rsp)

rsp设置为包含stack符号的地址(实际上它是“堆栈”符号的值,在人类逻辑中可以看作是内存地址,但它只是数字,就像计算机中的所有内容一样),它是0x100值(因为.pos前面有指令stack:标签定义)。所以该指令确实如此rsp = 0x100


目的是.align 8什么?

对齐是指调整地址,使其可以被某个数整除而没有余数。在第一种情况下,标签ele1将具有可被 8 整除的地址。如果先前的机器代码将在某个不可整除的地址处结束,编译器将添加一些字节(通常是nop类似指令)来填补空白,直到下一个可能的地址满足align要求.

对齐对于内存控制器的性能很重要,因为它们通常在内部使用字节组,例如只能从 8 对齐地址获取四字作为 8 字节。如果您要求它从非对齐地址中获取四字,它将从(address & -8)和中获取两个 8 字节集((address & -8)+8),并从获取的 16 字节中间读取最终的 8 字节结果。(在 x86 .. 在其他平台上,未对齐的内存访问甚至可能是无效操作,导致 CPU 接收陷阱信号,在这种情况下运行崩溃处理程序)。

(为什么按位与 -8 使地址与 8 对齐?-8 = 0xF..F8 = 0b11...11000 => 最后 3 位设置为零 => 强制被 8 整除)

于 2016-10-28T18:56:09.103 回答
1

执行开始于,0因为那是.pos 0下一行的内容。

“stack”这个词没有被移动:stack它是代码中的一个标签,它将堆栈指针设置rsp为内存中的那个位置。

对齐到 8 字节边界的目的是因为处理器不会善意地桥接这样的边界。该.quad指令生成 8 字节数据。

要求教程是题外话——很容易在谷歌上搜索它们并选择你认为适合你的教程。

于 2016-10-28T18:38:01.287 回答