为什么这个程序循环？

Question

我编写了以下程序，我想知道它的行为（1）是否会一直循环；或 (2) 它有意外的行为。我知道我在函数末尾缺少ret（这使程序运行良好），但我想知道为什么程序在不包含时会循环：

# file.s
.include "utils.s"

.data
str:    .string "Tony"

.text
.globl _start
_start:
    mov $str,   %rdi
    call print_string
    mov $10, %edi
    mov $SYS_EXIT, %eax
    syscall

# utils.o
SYS_EXIT    = 60
SYS_WRITE   = 1
SYS_STDOUT  = 1

print_string:
    # void print_string(char *)
    mov %rdi,       %rsi
    mov $1,         %rdi
    mov $4,         %rdx
    mov $SYS_WRITE, %eax
    syscall

组装/链接/运行：

$ as utils.s -o utils.o && as file.s -o file.o && ld file.o utils.o -o file
$ ./file

在print_string.syscall 之后在gdb 中查看此内容时，它会返回到mov $str, %rdi，但为什么会出现这种情况？

注意：segfaults 全部在一个文件中，但当 print_string 移动到第二个文件时它会循环，所以这可能与组装/链接有关，而不是代码本身。

Answer 1

您执行了.include "utils.s"，因此call print_string 将调用您包含的print_string 的副本，而不是另一个.o 文件中的副本（不是.globl，因此甚至无法从其他文件，例如 C 中的 static void foo(char*) 函数）。

执行从print_string 结束到_start。

不要将代码放在你要去.include的文件中，只定义常量和宏。如果你确实使用了.globl print_string，那么对于同一个全局符号，您会有两个相互冲突的定义。当然，您会将每个函数的定义复制到包含它的每个其他文件中，从而违背了链接和函数的目的。

---

更详细地说，处理 .include 后的 file.s 将如下所示：

# implicit  .text  - the default section at the top of the file
SYS_EXIT    = 60
SYS_WRITE   = 1
SYS_STDOUT  = 1

print_string:
    # void print_string(char *)
    mov %rdi,       %rsi
    mov $1,         %rdi
    mov $4,         %rdx
    mov $SYS_WRITE, %eax
    syscall

.data
str:    .string "Tony"

.text
.globl _start
_start:
    mov $str,   %rdi
    call print_string
    mov $10, %edi
    mov $SYS_EXIT, %eax
    syscall

请注意，如果您省略 utils.o，ld 不会抱怨，因为此文件没有未解析的符号引用。