Futex 代码演练 - 返回 EFAULT

Question

在Linux内核源代码中futex.c的futex_wake_op函数中，我试图理解控制如何到达this 点。当在上述函数中，futex_atomic_op_inuser 返回时，就会发生这种情况-EFAULT，但 uaddr2 是可写的。

但来自来源的 futex_atomic_op_inuser ，我看到它仅在 if (!access_ok(VERIFY_WRITE, uaddr, sizeof(int)))。

futex_atomic_op_inuser依次调用 __futex_atomic_op 宏，我在代码中看到 -EFAULT，但我被告知 EFAULT 的路径不涉及调用 __futex_atomic_op code>

控件是如何到达上述点的（即if (!fshared)goto retry_private;）然后呢？

提前致谢！

Answer 1

access_ok 只是为了检查地址范围对于给定的访问是否有效，即使如此，它也不能总是给出明确的答案。请参阅源代码中的注释：

 * Returns true (nonzero) if the memory block may be valid, false (zero)
 * if it is definitely invalid.
 *
 * Note that, depending on architecture, this function probably just
 * checks that the pointer is in the user space range - after calling
 * this function, memory access functions may still return -EFAULT.

接下来，即使该块有效，它也可能不存在于内存中（被交换出）。 futex_atomic_op_inuser 调用 pagefault_disable，这会禁用正常的换入过程，因此您会遇到硬故障，从 __futex_atomic_op< 返回 -EFAULT /代码>。

总之，所有这些意味着在以下情况下将到达所讨论的点：

1. 地址无效但未通过 access_ok 中的检查，或者
2. 地址有效但当前已换出。