The branch main has been updated by dchagin:

URL: 
https://cgit.FreeBSD.org/src/commit/?id=07d108932ab5b5bc25221be4916ebf8874cd256f

commit 07d108932ab5b5bc25221be4916ebf8874cd256f
Author:     Dmitry Chagin <[email protected]>
AuthorDate: 2022-05-09 18:16:31 +0000
Commit:     Dmitry Chagin <[email protected]>
CommitDate: 2022-05-09 18:16:31 +0000

    linux(4): Return native error from futex_atomic_op to avoid conversion by 
the caller.
    
    MFC after:              2 weeks
---
 sys/amd64/linux/linux_support.s     |  2 +-
 sys/amd64/linux32/linux32_support.s |  2 +-
 sys/compat/linux/linux_futex.c      | 31 +++++++++++++------------------
 sys/i386/linux/linux_copyout.c      | 10 +++++-----
 4 files changed, 20 insertions(+), 25 deletions(-)

diff --git a/sys/amd64/linux/linux_support.s b/sys/amd64/linux/linux_support.s
index 79e361867f1d..1e9ad45b9623 100644
--- a/sys/amd64/linux/linux_support.s
+++ b/sys/amd64/linux/linux_support.s
@@ -39,7 +39,7 @@ futex_fault:
        je      1f
        clac
 1:     movq    $0,PCB_ONFAULT(%r8)
-       movl    $-EFAULT,%eax
+       movl    $EFAULT,%eax
        ret
 
 ENTRY(futex_xchgl_nosmap)
diff --git a/sys/amd64/linux32/linux32_support.s 
b/sys/amd64/linux32/linux32_support.s
index 2e2dbca4e24b..c92cb48e2d1a 100644
--- a/sys/amd64/linux32/linux32_support.s
+++ b/sys/amd64/linux32/linux32_support.s
@@ -39,7 +39,7 @@ futex_fault:
        je      1f
        clac
 1:     movq    $0,PCB_ONFAULT(%r8)
-       movl    $-EFAULT,%eax
+       movl    $EFAULT,%eax
        ret
 
 ENTRY(futex_xchgl_nosmap)
diff --git a/sys/compat/linux/linux_futex.c b/sys/compat/linux/linux_futex.c
index 1b4ef9e8efe8..2bcaabf2d972 100644
--- a/sys/compat/linux/linux_futex.c
+++ b/sys/compat/linux/linux_futex.c
@@ -59,7 +59,7 @@ __FBSDID("$FreeBSD$");
 
 #define        GET_SHARED(a)   (a->flags & FUTEX_SHARED) ? AUTO_SHARE : 
THREAD_SHARE
 
-static int futex_atomic_op(struct thread *, int, uint32_t *);
+static int futex_atomic_op(struct thread *, int, uint32_t *, int *);
 static int handle_futex_death(struct thread *td, struct linux_emuldata *,
     uint32_t *, unsigned int, bool);
 static int fetch_robust_entry(struct linux_robust_list **,
@@ -130,7 +130,8 @@ futex_wake_pi(struct thread *td, uint32_t *uaddr, bool 
shared)
 }
 
 static int
-futex_atomic_op(struct thread *td, int encoded_op, uint32_t *uaddr)
+futex_atomic_op(struct thread *td, int encoded_op, uint32_t *uaddr,
+    int *res)
 {
        int op = (encoded_op >> 28) & 7;
        int cmp = (encoded_op >> 24) & 15;
@@ -158,34 +159,34 @@ futex_atomic_op(struct thread *td, int encoded_op, 
uint32_t *uaddr)
                ret = futex_xorl(oparg, uaddr, &oldval);
                break;
        default:
-               ret = -ENOSYS;
+               ret = ENOSYS;
                break;
        }
 
-       if (ret)
+       if (ret != 0)
                return (ret);
 
        switch (cmp) {
        case FUTEX_OP_CMP_EQ:
-               ret = (oldval == cmparg);
+               *res = (oldval == cmparg);
                break;
        case FUTEX_OP_CMP_NE:
-               ret = (oldval != cmparg);
+               *res = (oldval != cmparg);
                break;
        case FUTEX_OP_CMP_LT:
-               ret = (oldval < cmparg);
+               *res = (oldval < cmparg);
                break;
        case FUTEX_OP_CMP_GE:
-               ret = (oldval >= cmparg);
+               *res = (oldval >= cmparg);
                break;
        case FUTEX_OP_CMP_LE:
-               ret = (oldval <= cmparg);
+               *res = (oldval <= cmparg);
                break;
        case FUTEX_OP_CMP_GT:
-               ret = (oldval > cmparg);
+               *res = (oldval > cmparg);
                break;
        default:
-               ret = -ENOSYS;
+               ret = ENOSYS;
        }
 
        return (ret);
@@ -635,13 +636,7 @@ linux_futex_wakeop(struct thread *td, struct 
linux_futex_args *args)
        umtxq_lock(&key);
        umtxq_busy(&key);
        umtxq_unlock(&key);
-       op_ret = futex_atomic_op(td, args->val3, args->uaddr2);
-       if (op_ret < 0) {
-               if (op_ret == -ENOSYS)
-                       error = ENOSYS;
-               else
-                       error = EFAULT;
-       }
+       error = futex_atomic_op(td, args->val3, args->uaddr2, &op_ret);
        umtxq_lock(&key);
        umtxq_unbusy(&key);
        if (error != 0)
diff --git a/sys/i386/linux/linux_copyout.c b/sys/i386/linux/linux_copyout.c
index bf4c874c3cf2..6dc98bc8bf5d 100644
--- a/sys/i386/linux/linux_copyout.c
+++ b/sys/i386/linux/linux_copyout.c
@@ -72,7 +72,7 @@ futex_xchgl(int oparg, uint32_t *uaddr, int *oldval)
        st.oldval = oldval;
        if (cp_slow0((vm_offset_t)uaddr, sizeof(uint32_t), true,
            futex_xchgl_slow0, &st) != 0)
-               return (-EFAULT);
+               return (EFAULT);
        return (0);
 }
 
@@ -94,7 +94,7 @@ futex_addl(int oparg, uint32_t *uaddr, int *oldval)
        st.oldval = oldval;
        if (cp_slow0((vm_offset_t)uaddr, sizeof(uint32_t), true,
            futex_addl_slow0, &st) != 0)
-               return (-EFAULT);
+               return (EFAULT);
        return (0);
 }
 
@@ -120,7 +120,7 @@ futex_orl(int oparg, uint32_t *uaddr, int *oldval)
        st.oldval = oldval;
        if (cp_slow0((vm_offset_t)uaddr, sizeof(uint32_t), true,
            futex_orl_slow0, &st) != 0)
-               return (-EFAULT);
+               return (EFAULT);
        return (0);
 }
 
@@ -146,7 +146,7 @@ futex_andl(int oparg, uint32_t *uaddr, int *oldval)
        st.oldval = oldval;
        if (cp_slow0((vm_offset_t)uaddr, sizeof(uint32_t), true,
            futex_andl_slow0, &st) != 0)
-               return (-EFAULT);
+               return (EFAULT);
        return (0);
 }
 
@@ -172,6 +172,6 @@ futex_xorl(int oparg, uint32_t *uaddr, int *oldval)
        st.oldval = oldval;
        if (cp_slow0((vm_offset_t)uaddr, sizeof(uint32_t), true,
            futex_xorl_slow0, &st) != 0)
-               return (-EFAULT);
+               return (EFAULT);
        return (0);
 }

Reply via email to