Linux 内核系统调用返回 -1 而不是 {-1, -256}

Question

我是内核新手，遇到了一个奇怪的问题。我已经编写了一个概念验证计算器系统调用，虽然它适用于大多数计算，但当减法结果介于 -1 到 -256 之间时，它会返回 -1。如果有人可以阐明可能发生的事情，将不胜感激。下面是系统调用代码。

 SYSCALL_DEFINE3(calc, int, a, int, b , char, op) {
  int res_int;

  switch(op) {
    case '+': res_int = a + b;
              break;
    case '-': res_int = a - b;
              break;
    case '*': res_int = a * b;
              break;
    case '/': res_int = (a*1000) / b;
              break;
  }           

  printk(KERN_INFO "KERNEL CALC RESULT : %d %c %d = %ld",a, op, b, res_int);
  return res_int;
} 

编辑:内核版本:Android Linux Kernel 3.10.xxx。平台:Nexus7 ARM EABI。我不明白的是为什么它失败了。 errno 根本没有用，因为它将 -res_int 设置为 errno。另外，我不明白为什么只有当 res_int 为 {-1, -256} 时它才会失败。

a=1200, b=1300 op='-' => res_int=-100 是一个示例，其中 printk 打印 -100，但在我的用户空间应用程序中，我收到 -1。

看起来当 res_int 为 {-1, -256} 时，errno 被设置为 -res_int。

root@android:/data/local # ./calc                                              
Please enter request in 'num1 oper num2' format: 
2.45 - 2.2
returned from syscall with res_int = 250
errno = 22, strerror(errno) = Invalid argument
Calculator result = 0.250000

root@android:/data/local # ./calc                                              
Please enter request in 'num1 oper num2' format: 
2.2 - 2.45
returned from syscall with res_int = -1
errno = 250, strerror(errno) = Unknown error 250
Calculator result = -0.001000
root@android:/data/local # 

Answer 1

您没有提到您的内核版本和平台，但是 fwiw，从内核的角度来看，系统调用通常在成功时返回零，在错误时返回负数。通常这是内核人员和应用程序开发人员之间的 ABI 约定，因此代码可以相互理解。

但是用户程序总是使用C 库作为包装器来进行系统调用，C API 应该符合API 标准。也就是说，C 库将检查内核空间的返回值并据此设置 errno。 (注意 errno 在用户空间，内核不知道。)比如说，如果系统调用 foo()，从用户的角度来看，在失败时返回 -1，并且应该设置 errno 来指示错误(ERR1 表示失败 1，ERR2 表示失败 2，等等)，内核系统调用实现将返回 -ERR1 或 -ERR2因此，C 库将检查返回值是否为零，如果为负，它将向用户返回 -1，并将 errno 设置为 ERR1/ERR2。希望这会有所帮助。

更新:我检查了 glibc 的 x86_64 代码，这可能有助于理解这一点:

        .text
ENTRY (syscall)
        movq %rdi, %rax         /* Syscall number -> rax.  */
        movq %rsi, %rdi         /* shift arg1 - arg5.  */
        movq %rdx, %rsi
        movq %rcx, %rdx
        movq %r8, %r10
        movq %r9, %r8
        movq 8(%rsp),%r9        /* arg6 is on the stack.  */
        syscall                 /* Do the system call.  */
        cmpq $-4095, %rax       /* Check %rax for error.  */
        jae SYSCALL_ERROR_LABEL /* Jump to error handler if error.  */
L(pseudo_end):
        ret                     /* Return to caller.  */

PSEUDO_END (syscall)
File: "sysdeps/unix/sysv/linux/x86_64/syscall.S"

Linus 说他会确保 no 系统调用返回 -1 .. -4095 中的值作为有效结果，这样我们就可以用 -4095 进行安全测试。

更新:所以我猜测是您的 c 库转换了返回值。您的平台 ABI 可以定义在失败时返回 {-1, -256} 的系统调用，因此在这种情况下 C 包装器将返回值设置为 -1 并相应地设置 errno。