linux - 在汇编中使用 printf 会导致管道传输时输出为空，但可以在终端上使用

Question

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

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

我用它构建

gcc -nostdlib try_printf.s -o try_printf -lc

当我运行它时，它似乎起作用了:打印出字符串hello，退出状态为0:

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

但是当我 try catch 文本时，很明显，有些东西无法正常工作:

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

XXX$ 

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

我使用printf有什么问题？

Answer 1

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

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

<小时/>

正如 Michael 所解释的，动态链接 C 库是可以的。 "Programming bottom up" 书中也是这样介绍的(参见第 8 章)。

但是，为了结束程序而不是绕过它，从 C 库调用 exit 很重要，这就是我通过调用 exit-syscall 错误所做的事情。正如 Michael 所暗示的，退出会执行很多 clean up 操作，例如刷新流。

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

1. 没有标准错误缓冲。
2. 如果标准输出/输入是终端，则它是行缓冲的。
3. 如果标准输出/输入不是终端，则它是完全缓冲的，因此在原始退出系统调用之前需要刷新。

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

因此，如果直接在终端中调用printf_try，则可以看到程序的输出，因为hello末尾有\n(在行缓冲模式下触发刷新)并且它是一个终端，也是2。案例。

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