在汇编中使用 printf 会导致管道输出为空，但在终端上有效

Question

我尝试使用我的汇编代码中的 printf，这是一个最小的示例，应该只将 hello 打印到标准输出：

.section  .rodata
hello:
    .ascii  "hello\n[=10=]"
.section .text
    .globl _start        
_start:
    movq $hello, %rdi     # first parameter
    xorl %eax, %eax       # 0 - number of used vector registers
    call printf        
#exit   
    movq , %rax
    movq [=10=], %rdi
    syscall

我用

构建它

gcc -nostdlib try_printf.s -o try_printf -lc

当我运行它时，它似乎工作：字符串 hello 被打印出来并且退出状态是 0:

XXX$ ./try_printf
hello
XXX$ echo $?
0
XXX$

但是当我尝试捕获文本时，很明显，有些地方工作不正常：

XXX$ output=$(./try_printf) 
XXX$ echo $output

XXX$

变量 output 应具有值 hello，但为空。

我对 printf 的使用有什么问题？

Answer 1

C 标准库通常包含标准 I/O 流的初始化代码 — 您通过定义自己的入口点来绕过的初始化代码。尝试定义 main 而不是 _start:

    .globl main
main:
    # _start code here.

然后使用 gcc try_printf.s -o try_printf 进行构建（即，不使用 -nostdlib）。

Answer 2

在使用像 printf 这样的 stdio 函数后，使用 call exit 而不是原始的 _exit 系统调用。 这会刷新 stdio 缓冲区（write 系统调用) 在进行 exit_group 系统调用之前）。

（或者，如果您的程序定义了 main 而不是 _start，则从 main 返回等同于调用 exit。您不能 ret 来自 _start。）调用 fflush(NULL) 也应该有效。

正如 Michael 所解释的，可以动态 link C 库。 "Programming bottom up"书中也是这样介绍的（见第8章）。

然而，为了结束程序而不是绕过它，从 C 库调用 exit 很重要，这是我错误地调用 exit-syscall。正如 Michael 所暗示的那样，exit 做了很多 clean up 就像冲洗流一样。

事情就是这样：正如 here 所解释的那样，C 库按如下方式缓冲标准流：

标准错误没有缓冲。
如果标准 out/in 是一个终端，它是行缓冲的。
如果标准 out/in 不是终端，它是完全缓冲的，因此在原始退出系统调用之前需要刷新。

在第一次为流调用 printf 时决定适用哪种情况。

所以如果直接在终端中调用printf_try，可以看到程序的输出，因为hello最后有\n（这会触发行中的刷新-缓冲模式），它是一个终端，也是 2. 案例。

通过 $(./printf_try) 调用 printf_try 意味着标准输出不再是终端（实际上我不知道它是临时文件还是内存文件）因此 3. 情况有效 - 需要显式刷新，即调用 C-exit.

在汇编中使用 printf 会导致管道输出为空，但在终端上有效

Using printf in assembly leads to empty output when piping, but works on the terminal

linux

assembly

printf

glibc

x86-64