Replit上NASM x86-64汇编数字打印函数异常问题排查

问题现象 #

在Replit Linux环境下运行NASM x86-64汇编程序时，程序仅打印The factors of 后停滞，推测数字打印函数陷入循环，但单独测试该函数功能正常。

根源分析 #

1. 输出长度错误导致终端阻塞 #

程序中temp_var定义为256字节的缓冲区，temp_var_len对应长度为256，但打印单个数字仅需1字节。执行syscall时会一次性输出256个字节（其中1个是有效数字，其余为空字符），Replit终端的行缓冲机制可能因大量空字符出现阻塞，导致程序看似停滞。

2. 寄存器写入不规范 #

pnum函数中使用mov [temp_var], rax将64位寄存器值写入8位缓冲区，虽然不会直接引发错误，但会意外覆盖缓冲区后续7个字节，属于不规范操作，可能引发潜在问题。

3. 手动栈操作易出错 #

当前代码通过手动POP返回地址和参数的方式实现函数调用，这种方式破坏了标准栈帧结构，极易因栈平衡错误导致逻辑异常（虽然本次问题并非由此直接引发，但长期来看风险极高）。

修复方案 #

方案1：修复打印长度（核心修复） #

修改.data段中的temp_var和temp_var_len定义，仅保留单字节存储有效字符：

section .data                               ;Data for use in program

temp_var: db 0                              ; 仅存储单个ASCII字符
temp_var_len: equ $-temp_var                ; 长度固定为1
; ... 其余数据定义不变

方案2：规范寄存器写入 #

在pnum函数的打印逻辑中，仅将寄存器的低8位（ASCII字符值）写入缓冲区：

; 替换原有的mov [temp_var], rax
add rax, 48                     ; 转换为ASCII字符
mov byte [temp_var], al         ; 仅存储低8位到单字节变量

方案3：优化栈操作（可选，提升代码健壮性） #

改用System V AMD64标准调用约定，通过寄存器传递参数，避免手动操作返回地址：

修改pnum函数：

pnum:                                   ; 数字打印函数，参数：rdi=要打印的数字
    push rbx
    push r12
    push r13
    push r14
    mov r14, rdi                        ; 保存要打印的数字到r14

    push r14                            ; 保存数字到栈，调用cdigits
    call cdigits
    pop rbx                             ; 获取位数
    dec rbx                             ; 适配幂运算逻辑

    mov r8, 10
    push r8
    push rbx
    call pow
    pop r8

    mov r9, 10
pnumwork:
    mov rax, r14
    xor rdx, rdx
    div r8
    mov r10, rax
    imul rax, r8
    sub r14, rax
    mov rax, r10
    add rax, 48
    mov byte [temp_var], al             ; 规范写入单字节
    mov rax, 1
    mov rdi, 1
    mov rsi, temp_var
    mov rdx, temp_var_len
    syscall

    xor rdx, rdx
    mov rax, r8
    div r9
    mov r8, rax
    mov rax, r14
    cmp rax, 0
    jnz pnumwork

    pop r14
    pop r13
    pop r12
    pop rbx
    ret

修改factors中的调用逻辑：

; 替换原有的两次PUSH r9和call pnum
mov rdi, r9                         ; 用rdi传递要打印的数字
call pnum

验证效果 #

修复后，程序每次仅打印1个有效字符，不会输出大量空字符，终端缓冲正常，程序可继续执行后续逻辑，完成完整输出。

内容的提问来源于stack exchange，提问作者Cheesebellies