qemu-devel.nongnu.org archive mirror
 help / color / mirror / Atom feed
From: Kariiem Taha <kariem.taha2.7@gmail.com>
To: Richard Henderson <richard.henderson@linaro.org>, qemu-devel@nongnu.org
Cc: Warner Losh <imp@bsdimp.com>, Stacey Son <sson@FreeBSD.org>
Subject: Re: [PATCH 10/22] Implement shmid_ds conversion between host and target.
Date: Sun, 03 Sep 2023 11:45:57 +0300	[thread overview]
Message-ID: <87sf7vlk56.fsf@gmail.com> (raw)
In-Reply-To: <11b4c59a-7fca-ec9f-428c-35dd4b02beda@linaro.org>

Richard Henderson <richard.henderson@linaro.org> writes:

> On 8/19/23 02:47, Karim Taha wrote:
>> +    if (!lock_user_struct(VERIFY_WRITE, target_sd, target_addr, 0)) {
>> +        return -TARGET_EFAULT;
>> +    }
>> +    if (host_to_target_ipc_perm(target_addr, &(host_sd->shm_perm))) {
>> +        return -TARGET_EFAULT;
>> +    }
>
> While it works, ideally you wouldn't double-lock a memory range, once here and once in 
> host_to_target_ipc_perm.  You could split out the middle of the function as 
> host_to_target_ipc_perm__locked.

Hi Richard,

Can you please verify the correctness of the following refactoring?
    void host_to_target_ipc_perm__locked(abi_ulong target_addr,
            struct ipc_perm *host_ip)
    {
        struct target_ipc_perm *target_ip = g2h_untagged(target_addr);
        __put_user(host_ip->cuid, &target_ip->cuid);
        __put_user(host_ip->cgid, &target_ip->cgid);
        __put_user(host_ip->uid, &target_ip->uid);
        __put_user(host_ip->gid, &target_ip->gid);
        __put_user(host_ip->mode, &target_ip->mode);
        __put_user(host_ip->seq, &target_ip->seq);
        __put_user(host_ip->key, &target_ip->key);
    }

    abi_long host_to_target_shmid_ds(abi_ulong target_addr,
            struct shmid_ds *host_sd)
    {
        struct target_shmid_ds *target_sd;
        target_sd = lock_user(VERIFY_WRITE, target_addr, sizeof(*target_sd), 0);
        if (!target_sd){
            return -TARGET_EFAULT;
        }

        host_to_target_ipc_perm__locked(target_addr, &(host_sd->shm_perm));
        __put_user(host_sd->shm_segsz, &target_sd->shm_segsz);
        __put_user(host_sd->shm_lpid, &target_sd->shm_lpid);
        __put_user(host_sd->shm_cpid, &target_sd->shm_cpid);
        __put_user(host_sd->shm_nattch, &target_sd->shm_nattch);
        __put_user(host_sd->shm_atime, &target_sd->shm_atime);
        __put_user(host_sd->shm_dtime, &target_sd->shm_dtime);
        __put_user(host_sd->shm_ctime, &target_sd->shm_ctime);
        unlock_user_struct(target_sd, target_addr, 1);

        return 0;
    }

As far as I understood the `page_check_range` function, defined at
accel/tcg/user-exec.c::523:

-The locked range is (target_addr, target_addr + sizeof(target_ipc_perm) -1) in case of
     host_to_target_ipc_perm function.

-The locked range is (target_addr, taregt_addr + sizeof(target_shmid_ds) -1) in case of
      host_to_target_shmid_ds function.

Since `host_to_target_shmid_ds` struct has larger size, in the original
code, is the sucess of the first lock guarantees the sucess of the
second?

If I got it wrong, please elaborate further.

If I'm correct, do you think I should call g2h_untagged in
`host_to_target_ipc_perm__locked` directly, or should I receive it as a
paremeter?

--
Kariiem Taha


  reply	other threads:[~2023-09-03  8:48 UTC|newest]

Thread overview: 79+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-08-19  9:47 [PATCH 00/22] Implement the mmap system call for FreeBSD Karim Taha
2023-08-19  9:47 ` [PATCH 01/22] Implement struct target_ipc_perm Karim Taha
2023-08-19 14:37   ` Richard Henderson
2023-08-20  4:07   ` Warner Losh
2023-08-19  9:47 ` [PATCH 02/22] Implement struct target_shmid_ds Karim Taha
2023-08-19 14:38   ` Richard Henderson
2023-08-20  4:08   ` Warner Losh
2023-08-19  9:47 ` [PATCH 03/22] Declarations for ipc_perm and shmid_ds conversion functions Karim Taha
2023-08-19 14:40   ` Richard Henderson
2023-08-20  4:08   ` Warner Losh
2023-08-19  9:47 ` [PATCH 04/22] Introduce freebsd/os-misc.h to the source tree Karim Taha
2023-08-19 14:40   ` Richard Henderson
2023-08-20  4:09   ` Warner Losh
2023-08-19  9:47 ` [PATCH 05/22] Implement shm_open2(2) system call Karim Taha
2023-08-19 15:10   ` Richard Henderson
2023-08-20  4:16     ` Warner Losh
2023-08-19  9:47 ` [PATCH 06/22] Implement shm_rename(2) " Karim Taha
2023-08-20  4:18   ` Warner Losh
2023-08-20 14:05   ` Richard Henderson
2023-08-19  9:47 ` [PATCH 07/22] Add bsd-mem.c to meson.build Karim Taha
2023-08-20  4:19   ` Warner Losh
2023-08-20 14:06   ` Richard Henderson
2023-08-19  9:47 ` [PATCH 08/22] Implement target_set_brk function in bsd-mem.c instead of os-syscall.c Karim Taha
2023-08-20  4:22   ` Warner Losh
2023-08-20 14:12   ` Richard Henderson
2023-08-19  9:47 ` [PATCH 09/22] Implement ipc_perm conversion between host and target Karim Taha
2023-08-20  4:23   ` Warner Losh
2023-08-20 14:16   ` Richard Henderson
2023-08-19  9:47 ` [PATCH 10/22] Implement shmid_ds " Karim Taha
2023-08-20  4:25   ` Warner Losh
2023-08-20 14:20   ` Richard Henderson
2023-09-03  8:45     ` Kariiem Taha [this message]
2023-09-05  1:43       ` Richard Henderson
2023-08-19  9:47 ` [PATCH 11/22] Introduce bsd-mem.h to the source tree Karim Taha
2023-08-20  4:26   ` Warner Losh
2023-08-20 14:21   ` Richard Henderson
2023-08-19  9:47 ` [PATCH 12/22] Implement mmap(2) and munmap(2) Karim Taha
2023-08-20  4:27   ` Warner Losh
2023-08-20 14:25   ` Richard Henderson
2023-08-19  9:47 ` [PATCH 13/22] Implement mprotect(2) Karim Taha
2023-08-20  4:28   ` Warner Losh
2023-08-20 14:25   ` Richard Henderson
2023-08-19  9:47 ` [PATCH 14/22] Implement msync(2) Karim Taha
2023-08-20  4:34   ` Warner Losh
2023-08-20 14:37   ` Richard Henderson
2023-08-19  9:47 ` [PATCH 15/22] Implement mlock(2), munlock(2), mlockall(2), munlockall(2), madvise(2), minherit(2) Karim Taha
2023-08-20  4:37   ` Warner Losh
2023-08-20 14:42     ` Richard Henderson
2023-08-20 14:43   ` Richard Henderson
2023-08-19  9:48 ` [PATCH 16/22] Implement mincore(2) Karim Taha
2023-08-20  4:37   ` Warner Losh
2023-08-20 14:55   ` Richard Henderson
2023-08-19  9:48 ` [PATCH 17/22] Implement do_obreak function Karim Taha
2023-08-20  4:40   ` Warner Losh
2023-08-20 15:03   ` Richard Henderson
2023-08-19  9:48 ` [PATCH 18/22] Implement shm_open(2) Karim Taha
2023-08-20  4:42   ` Warner Losh
2023-08-20 15:04   ` Richard Henderson
2023-08-20 15:10     ` Richard Henderson
2023-08-19  9:48 ` [PATCH 19/22] Implement shm_unlink(2) and shmget(2) Karim Taha
2023-08-20  4:42   ` Warner Losh
2023-08-20 15:05   ` Richard Henderson
2023-08-20 15:07   ` Richard Henderson
2023-08-19  9:48 ` [PATCH 20/22] Implement shmctl(2) Karim Taha
2023-08-20  4:43   ` Warner Losh
2023-08-20 15:13   ` Richard Henderson
2023-09-09  1:59     ` Karim Taha
2023-09-09 17:51       ` Richard Henderson
2023-08-19  9:48 ` [PATCH 21/22] Implement shmat(2) and shmdt(2) Karim Taha
2023-08-20  4:44   ` Warner Losh
2023-08-20 15:30   ` Richard Henderson
2023-08-22 18:03     ` Warner Losh
2023-08-22 18:11       ` Richard Henderson
2023-08-22 19:54         ` Warner Losh
2023-08-22 21:00           ` Richard Henderson
2023-08-19  9:48 ` [PATCH 22/22] Add stubs for vadvise(), sbrk() and sstk() Karim Taha
2023-08-20  4:45   ` Warner Losh
2023-08-20 15:35   ` Richard Henderson
2023-08-20 20:42     ` Warner Losh

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=87sf7vlk56.fsf@gmail.com \
    --to=kariem.taha2.7@gmail.com \
    --cc=imp@bsdimp.com \
    --cc=qemu-devel@nongnu.org \
    --cc=richard.henderson@linaro.org \
    --cc=sson@FreeBSD.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).