qemu-devel.nongnu.org archive mirror
 help / color / mirror / Atom feed
From: "Philippe Mathieu-Daudé" <philmd@linaro.org>
To: Pierrick Bouvier <pierrick.bouvier@linaro.org>,
	Richard Henderson <richard.henderson@linaro.org>,
	qemu-devel@nongnu.org
Subject: Re: [PATCH v3 08/33] linux-user: Remove qemu_host_page_{size, mask} from mmap.c
Date: Mon, 8 Jan 2024 14:25:23 +0100	[thread overview]
Message-ID: <4960bfc6-6ff7-468f-ad61-0c5b9be45a5f@linaro.org> (raw)
In-Reply-To: <eb59bc7a-ecad-472f-a808-146c2e12e275@linaro.org>

On 8/1/24 10:47, Pierrick Bouvier wrote:
> On 1/2/24 05:57, Richard Henderson wrote:
>> Use qemu_real_host_page_size instead.
>>
>> Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
>> ---
>>   linux-user/mmap.c | 66 +++++++++++++++++++++++------------------------
>>   1 file changed, 33 insertions(+), 33 deletions(-)
>>
>> diff --git a/linux-user/mmap.c b/linux-user/mmap.c
>> index 96c9433e27..4d3c8717b9 100644
>> --- a/linux-user/mmap.c
>> +++ b/linux-user/mmap.c
>> @@ -165,6 +165,7 @@ static int target_to_host_prot(int prot)
>>   /* NOTE: all the constants are the HOST ones, but addresses are 
>> target. */
>>   int target_mprotect(abi_ulong start, abi_ulong len, int target_prot)
>>   {
>> +    int host_page_size = qemu_real_host_page_size();
>>       abi_ulong starts[3];
>>       abi_ulong lens[3];
>>       int prots[3];
>> @@ -189,13 +190,13 @@ int target_mprotect(abi_ulong start, abi_ulong 
>> len, int target_prot)
>>       }
>>       last = start + len - 1;
>> -    host_start = start & qemu_host_page_mask;
>> +    host_start = start & -host_page_size;
>>       host_last = HOST_PAGE_ALIGN(last) - 1;
>>       nranges = 0;
>>       mmap_lock();
>> -    if (host_last - host_start < qemu_host_page_size) {
>> +    if (host_last - host_start < host_page_size) {
>>           /* Single host page contains all guest pages: sum the prot. */
>>           prot1 = target_prot;
>>           for (abi_ulong a = host_start; a < start; a += 
>> TARGET_PAGE_SIZE) {
>> @@ -205,7 +206,7 @@ int target_mprotect(abi_ulong start, abi_ulong 
>> len, int target_prot)
>>               prot1 |= page_get_flags(a + 1);
>>           }
>>           starts[nranges] = host_start;
>> -        lens[nranges] = qemu_host_page_size;
>> +        lens[nranges] = host_page_size;
>>           prots[nranges] = prot1;
>>           nranges++;
>>       } else {
>> @@ -218,10 +219,10 @@ int target_mprotect(abi_ulong start, abi_ulong 
>> len, int target_prot)
>>               /* If the resulting sum differs, create a new range. */
>>               if (prot1 != target_prot) {
>>                   starts[nranges] = host_start;
>> -                lens[nranges] = qemu_host_page_size;
>> +                lens[nranges] = host_page_size;
>>                   prots[nranges] = prot1;
>>                   nranges++;
>> -                host_start += qemu_host_page_size;
>> +                host_start += host_page_size;
>>               }
>>           }
>> @@ -233,9 +234,9 @@ int target_mprotect(abi_ulong start, abi_ulong 
>> len, int target_prot)
>>               }
>>               /* If the resulting sum differs, create a new range. */
>>               if (prot1 != target_prot) {
>> -                host_last -= qemu_host_page_size;
>> +                host_last -= host_page_size;
>>                   starts[nranges] = host_last + 1;
>> -                lens[nranges] = qemu_host_page_size;
>> +                lens[nranges] = host_page_size;
>>                   prots[nranges] = prot1;
>>                   nranges++;
>>               }
>> @@ -270,6 +271,7 @@ int target_mprotect(abi_ulong start, abi_ulong 
>> len, int target_prot)
>>   static bool mmap_frag(abi_ulong real_start, abi_ulong start, 
>> abi_ulong last,
>>                         int prot, int flags, int fd, off_t offset)
>>   {
>> +    int host_page_size = qemu_real_host_page_size();
>>       abi_ulong real_last;
>>       void *host_start;
>>       int prot_old, prot_new;
>> @@ -286,7 +288,7 @@ static bool mmap_frag(abi_ulong real_start, 
>> abi_ulong start, abi_ulong last,
>>           return false;
>>       }
>> -    real_last = real_start + qemu_host_page_size - 1;
>> +    real_last = real_start + host_page_size - 1;
>>       host_start = g2h_untagged(real_start);
>>       /* Get the protection of the target pages outside the mapping. */
>> @@ -304,12 +306,12 @@ static bool mmap_frag(abi_ulong real_start, 
>> abi_ulong start, abi_ulong last,
>>            * outside of the fragment we need to map.  Allocate a new host
>>            * page to cover, discarding whatever else may have been 
>> present.
>>            */
>> -        void *p = mmap(host_start, qemu_host_page_size,
>> +        void *p = mmap(host_start, host_page_size,
>>                          target_to_host_prot(prot),
>>                          flags | MAP_ANONYMOUS, -1, 0);
>>           if (p != host_start) {
>>               if (p != MAP_FAILED) {
>> -                munmap(p, qemu_host_page_size);
>> +                munmap(p, host_page_size);
>>                   errno = EEXIST;
>>               }
>>               return false;
>> @@ -324,7 +326,7 @@ static bool mmap_frag(abi_ulong real_start, 
>> abi_ulong start, abi_ulong last,
>>       /* Adjust protection to be able to write. */
>>       if (!(host_prot_old & PROT_WRITE)) {
>>           host_prot_old |= PROT_WRITE;
>> -        mprotect(host_start, qemu_host_page_size, host_prot_old);
>> +        mprotect(host_start, host_page_size, host_prot_old);
>>       }
>>       /* Read or zero the new guest pages. */
>> @@ -338,7 +340,7 @@ static bool mmap_frag(abi_ulong real_start, 
>> abi_ulong start, abi_ulong last,
>>       /* Put final protection */
>>       if (host_prot_new != host_prot_old) {
>> -        mprotect(host_start, qemu_host_page_size, host_prot_new);
>> +        mprotect(host_start, host_page_size, host_prot_new);
>>       }
>>       return true;
>>   }
>> @@ -373,17 +375,18 @@ static abi_ulong 
>> mmap_find_vma_reserved(abi_ulong start, abi_ulong size,
>>    */
>>   abi_ulong mmap_find_vma(abi_ulong start, abi_ulong size, abi_ulong 
>> align)
>>   {
>> +    int host_page_size = qemu_real_host_page_size();
>>       void *ptr, *prev;
>>       abi_ulong addr;
>>       int wrapped, repeat;
>> -    align = MAX(align, qemu_host_page_size);
>> +    align = MAX(align, host_page_size);
>>       /* If 'start' == 0, then a default start address is used. */
>>       if (start == 0) {
>>           start = mmap_next_start;
>>       } else {
>> -        start &= qemu_host_page_mask;
>> +        start &= -host_page_size;
>>       }
>>       start = ROUND_UP(start, align);
>> @@ -492,6 +495,7 @@ abi_ulong mmap_find_vma(abi_ulong start, abi_ulong 
>> size, abi_ulong align)
>>   abi_long target_mmap(abi_ulong start, abi_ulong len, int target_prot,
>>                        int flags, int fd, off_t offset)
>>   {
>> +    int host_page_size = qemu_real_host_page_size();
>>       abi_ulong ret, last, real_start, real_last, retaddr, host_len;
>>       abi_ulong passthrough_start = -1, passthrough_last = 0;
>>       int page_flags;
>> @@ -537,8 +541,8 @@ abi_long target_mmap(abi_ulong start, abi_ulong 
>> len, int target_prot,
>>           }
>>       }
>> -    real_start = start & qemu_host_page_mask;
>> -    host_offset = offset & qemu_host_page_mask;
>> +    real_start = start & -host_page_size;
>> +    host_offset = offset & -host_page_size;
>>       /*
>>        * If the user is asking for the kernel to find a location, do that
>> @@ -567,8 +571,7 @@ abi_long target_mmap(abi_ulong start, abi_ulong 
>> len, int target_prot,
>>        * may need to truncate file maps at EOF and add extra anonymous 
>> pages
>>        * up to the targets page boundary.
>>        */
>> -    if ((qemu_real_host_page_size() < qemu_host_page_size) &&
>> -        !(flags & MAP_ANONYMOUS)) {
>> +    if (host_page_size < TARGET_PAGE_SIZE && !(flags & MAP_ANONYMOUS)) {
>>           struct stat sb;
>>           if (fstat(fd, &sb) == -1) {
>> @@ -595,11 +598,7 @@ abi_long target_mmap(abi_ulong start, abi_ulong 
>> len, int target_prot,
>>           host_len = HOST_PAGE_ALIGN(host_len);
>>           host_prot = target_to_host_prot(target_prot);
>> -        /*
>> -         * Note: we prefer to control the mapping address. It is
>> -         * especially important if qemu_host_page_size >
>> -         * qemu_real_host_page_size.
>> -         */
>> +        /* Note: we prefer to control the mapping address. */
>>           p = mmap(g2h_untagged(start), host_len, host_prot,
>>                    flags | MAP_FIXED | MAP_ANONYMOUS, -1, 0);
>>           if (p == MAP_FAILED) {
>> @@ -665,7 +664,7 @@ abi_long target_mmap(abi_ulong start, abi_ulong 
>> len, int target_prot,
>>            * aligned, so we read it
>>            */
>>           if (!(flags & MAP_ANONYMOUS) &&
>> -            (offset & ~qemu_host_page_mask) != (start & 
>> ~qemu_host_page_mask)) {
>> +            (offset & (host_page_size - 1)) != (start & 
>> (host_page_size - 1))) {
>>               /*
>>                * msync() won't work here, so we return an error if 
>> write is
>>                * possible while it is a shared mapping
>> @@ -694,7 +693,7 @@ abi_long target_mmap(abi_ulong start, abi_ulong 
>> len, int target_prot,
>>           /* handle the start of the mapping */
>>           if (start > real_start) {
>> -            if (real_last == real_start + qemu_host_page_size - 1) {
>> +            if (real_last == real_start + host_page_size - 1) {
>>                   /* one single host page */
>>                   if (!mmap_frag(real_start, start, last,
>>                                  target_prot, flags, fd, offset)) {
>> @@ -703,21 +702,21 @@ abi_long target_mmap(abi_ulong start, abi_ulong 
>> len, int target_prot,
>>                   goto the_end1;
>>               }
>>               if (!mmap_frag(real_start, start,
>> -                           real_start + qemu_host_page_size - 1,
>> +                           real_start + host_page_size - 1,
>>                              target_prot, flags, fd, offset)) {
>>                   goto fail;
>>               }
>> -            real_start += qemu_host_page_size;
>> +            real_start += host_page_size;
>>           }
>>           /* handle the end of the mapping */
>>           if (last < real_last) {
>> -            abi_ulong real_page = real_last - qemu_host_page_size + 1;
>> +            abi_ulong real_page = real_last - host_page_size + 1;
>>               if (!mmap_frag(real_page, real_page, last,
>>                              target_prot, flags, fd,
>>                              offset + real_page - start)) {
>>                   goto fail;
>>               }
>> -            real_last -= qemu_host_page_size;
>> +            real_last -= host_page_size;
>>           }
>>           /* map the middle (easier) */
>> @@ -784,6 +783,7 @@ fail:
>>   static int mmap_reserve_or_unmap(abi_ulong start, abi_ulong len)
>>   {
>> +    int host_page_size = qemu_real_host_page_size();
>>       abi_ulong real_start;
>>       abi_ulong real_last;
>>       abi_ulong real_len;
>> @@ -793,7 +793,7 @@ static int mmap_reserve_or_unmap(abi_ulong start, 
>> abi_ulong len)
>>       int prot;
>>       last = start + len - 1;
>> -    real_start = start & qemu_host_page_mask;
>> +    real_start = start & -host_page_size;
>>       real_last = HOST_PAGE_ALIGN(last) - 1;
>>       /*
>> @@ -802,7 +802,7 @@ static int mmap_reserve_or_unmap(abi_ulong start, 
>> abi_ulong len)
>>        * The single page special case is required for the last page,
>>        * lest real_start overflow to zero.
>>        */
>> -    if (real_last - real_start < qemu_host_page_size) {
>> +    if (real_last - real_start < host_page_size) {
>>           prot = 0;
>>           for (a = real_start; a < start; a += TARGET_PAGE_SIZE) {
>>               prot |= page_get_flags(a);
>> @@ -818,14 +818,14 @@ static int mmap_reserve_or_unmap(abi_ulong 
>> start, abi_ulong len)
>>               prot |= page_get_flags(a);
>>           }
>>           if (prot != 0) {
>> -            real_start += qemu_host_page_size;
>> +            real_start += host_page_size;
>>           }
>>           for (prot = 0, a = last; a < real_last; a += 
>> TARGET_PAGE_SIZE) {
>>               prot |= page_get_flags(a + 1);
>>           }
>>           if (prot != 0) {
>> -            real_last -= qemu_host_page_size;
>> +            real_last -= host_page_size;
>>           }
>>           if (real_last < real_start) {
> 
> For me, the transformation ~page_mask == page_size - 1 and page_mask == 
> -page_size was not so intuitive, until I tried it on paper.

I have been there ;) Then when you have to deal with code related
to pages, this become natural page-related operations.

> Could it be useful to have macros PAGE_BITS(page_size), and 
> PAGE_MASK(page_size) for this?. All would be defined from page_sz, so 
> there is no duplicated data, and it would avoid a subtle error when 
> forgetting an operator, while helping to read the code.
> 
> Reviewed-by: Pierrick Bouvier <pierrick.bouvier@linaro.org>
> 



  reply	other threads:[~2024-01-08 13:26 UTC|newest]

Thread overview: 100+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-01-02  1:57 [PATCH v3 00/33] linux-user: Improve host and guest page size handling Richard Henderson
2024-01-02  1:57 ` [PATCH v3 01/33] accel/tcg: Remove qemu_host_page_size from page_protect/page_unprotect Richard Henderson
2024-01-03 15:28   ` Philippe Mathieu-Daudé
2024-01-29  9:59   ` Ilya Leoshkevich
2024-01-02  1:57 ` [PATCH v3 02/33] linux-user: Adjust SVr4 NULL page mapping Richard Henderson
2024-01-08  8:54   ` Pierrick Bouvier
2024-01-29 10:03   ` Ilya Leoshkevich
2024-01-02  1:57 ` [PATCH v3 03/33] linux-user: Remove qemu_host_page_{size, mask} in probe_guest_base Richard Henderson
2024-01-08  9:35   ` Pierrick Bouvier
2024-01-29 10:15   ` Ilya Leoshkevich
2024-01-02  1:57 ` [PATCH v3 04/33] linux-user: Remove qemu_host_page_size from create_elf_tables Richard Henderson
2024-01-08  8:55   ` Pierrick Bouvier
2024-01-29 10:18   ` Ilya Leoshkevich
2024-01-02  1:57 ` [PATCH v3 05/33] linux-user/hppa: Simplify init_guest_commpage Richard Henderson
2024-01-08  8:56   ` Pierrick Bouvier
2024-01-29 10:28   ` Ilya Leoshkevich
2024-01-29 10:45     ` Ilya Leoshkevich
2024-01-02  1:57 ` [PATCH v3 06/33] linux-user/nios2: Remove qemu_host_page_size from init_guest_commpage Richard Henderson
2024-01-08  9:11   ` Pierrick Bouvier
2024-01-02  1:57 ` [PATCH v3 07/33] linux-user/arm: " Richard Henderson
2024-01-08  9:38   ` Pierrick Bouvier
2024-01-10 22:12     ` Richard Henderson
2024-01-02  1:57 ` [PATCH v3 08/33] linux-user: Remove qemu_host_page_{size, mask} from mmap.c Richard Henderson
2024-01-08  9:47   ` Pierrick Bouvier
2024-01-08 13:25     ` Philippe Mathieu-Daudé [this message]
2024-01-29 10:53   ` Ilya Leoshkevich
2024-01-02  1:57 ` [PATCH v3 09/33] linux-user: Remove REAL_HOST_PAGE_ALIGN " Richard Henderson
2024-01-29 10:55   ` Ilya Leoshkevich
2024-01-02  1:57 ` [PATCH v3 10/33] linux-user: Remove HOST_PAGE_ALIGN " Richard Henderson
2024-01-08 10:47   ` Pierrick Bouvier
2024-01-29 10:58   ` Ilya Leoshkevich
2024-01-02  1:57 ` [PATCH v3 11/33] migration: Remove qemu_host_page_size Richard Henderson
2024-01-08 10:48   ` Pierrick Bouvier
2024-01-29 10:58   ` Ilya Leoshkevich
2024-01-02  1:57 ` [PATCH v3 12/33] hw/tpm: Remove HOST_PAGE_ALIGN from tpm_ppi_init Richard Henderson
2024-01-02 19:12   ` Philippe Mathieu-Daudé
2024-01-29 11:04   ` Ilya Leoshkevich
2024-01-02  1:57 ` [PATCH v3 13/33] softmmu/physmem: Remove qemu_host_page_size Richard Henderson
2024-01-03 15:30   ` Philippe Mathieu-Daudé
2024-01-29 14:28   ` Ilya Leoshkevich
2024-01-02  1:57 ` [PATCH v3 14/33] softmmu/physmem: Remove HOST_PAGE_ALIGN Richard Henderson
2024-01-08 11:08   ` Pierrick Bouvier
2024-01-29 14:31   ` Ilya Leoshkevich
2024-01-02  1:57 ` [PATCH v3 15/33] linux-user: Remove qemu_host_page_size from main Richard Henderson
2024-01-03 15:31   ` Philippe Mathieu-Daudé
2024-01-29 14:44   ` Ilya Leoshkevich
2024-01-02  1:57 ` [PATCH v3 16/33] linux-user: Split out target_mmap__locked Richard Henderson
2024-01-08 10:50   ` Pierrick Bouvier
2024-01-29 14:45   ` Ilya Leoshkevich
2024-01-02  1:57 ` [PATCH v3 17/33] linux-user: Move some mmap checks outside the lock Richard Henderson
2024-01-29 14:52   ` Ilya Leoshkevich
2024-01-02  1:57 ` [PATCH v3 18/33] linux-user: Fix sub-host-page mmap Richard Henderson
2024-01-08 10:54   ` Pierrick Bouvier
2024-01-29 14:57   ` Ilya Leoshkevich
2024-01-02  1:57 ` [PATCH v3 19/33] linux-user: Split out mmap_end Richard Henderson
2024-01-29 14:59   ` Ilya Leoshkevich
2024-01-02  1:57 ` [PATCH v3 20/33] linux-user: Do early mmap placement only for reserved_va Richard Henderson
2024-01-08 11:05   ` Pierrick Bouvier
2024-01-29 15:06   ` Ilya Leoshkevich
2024-01-02  1:57 ` [PATCH v3 21/33] linux-user: Split out mmap_h_eq_g Richard Henderson
2024-01-08 11:13   ` Pierrick Bouvier
2024-01-29 15:12   ` Ilya Leoshkevich
2024-02-13 19:52     ` Richard Henderson
2024-01-02  1:57 ` [PATCH v3 22/33] linux-user: Split out mmap_h_lt_g Richard Henderson
2024-01-08 12:16   ` Pierrick Bouvier
2024-01-29 15:26   ` Ilya Leoshkevich
2024-02-13 19:54     ` Richard Henderson
2024-02-14 14:24       ` Ilya Leoshkevich
2024-02-13 19:59     ` Richard Henderson
2024-01-02  1:57 ` [PATCH v3 23/33] linux-user: Split out mmap_h_gt_g Richard Henderson
2024-01-08 11:21   ` Pierrick Bouvier
2024-01-30 10:45   ` Ilya Leoshkevich
2024-01-02  1:57 ` [PATCH v3 24/33] tests/tcg: Remove run-test-mmap-* Richard Henderson
2024-01-08 11:07   ` Pierrick Bouvier
2024-01-30 10:46   ` Ilya Leoshkevich
2024-01-02  1:58 ` [PATCH v3 25/33] tests/tcg: Extend file in linux-madvise.c Richard Henderson
2024-01-30 13:13   ` Ilya Leoshkevich
2024-02-03 22:58     ` Richard Henderson
2024-01-02  1:58 ` [PATCH v3 26/33] *-user: Deprecate and disable -p pagesize Richard Henderson
2024-01-02 19:13   ` Philippe Mathieu-Daudé
2024-01-30 13:16   ` Ilya Leoshkevich
2024-01-02  1:58 ` [PATCH v3 27/33] cpu: Remove page_size_init Richard Henderson
2024-01-30 13:17   ` Ilya Leoshkevich
2024-01-02  1:58 ` [PATCH v3 28/33] accel/tcg: Disconnect TargetPageDataNode from page size Richard Henderson
2024-01-30 13:22   ` Ilya Leoshkevich
2024-01-02  1:58 ` [PATCH v3 29/33] linux-user: Allow TARGET_PAGE_BITS_VARY Richard Henderson
2024-01-30 13:47   ` Ilya Leoshkevich
2024-02-14  0:38     ` Richard Henderson
2024-01-02  1:58 ` [PATCH v3 30/33] target/arm: Enable TARGET_PAGE_BITS_VARY for AArch64 user-only Richard Henderson
2024-01-08 11:02   ` Pierrick Bouvier
2024-01-02  1:58 ` [PATCH v3 31/33] linux-user: Bound mmap_min_addr by host page size Richard Henderson
2024-01-03 15:32   ` Philippe Mathieu-Daudé
2024-01-30 13:48   ` Ilya Leoshkevich
2024-01-02  1:58 ` [PATCH v3 32/33] target/ppc: Enable TARGET_PAGE_BITS_VARY for user-only Richard Henderson
2024-01-30 13:51   ` Ilya Leoshkevich
2024-01-02  1:58 ` [PATCH v3 33/33] target/alpha: " Richard Henderson
2024-01-08 11:03   ` Pierrick Bouvier
2024-01-30 13:52   ` Ilya Leoshkevich
2024-01-05 10:17 ` [PATCH v3 00/33] linux-user: Improve host and guest page size handling Helge Deller
2024-01-05 13:55 ` Philippe Mathieu-Daudé

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=4960bfc6-6ff7-468f-ad61-0c5b9be45a5f@linaro.org \
    --to=philmd@linaro.org \
    --cc=pierrick.bouvier@linaro.org \
    --cc=qemu-devel@nongnu.org \
    --cc=richard.henderson@linaro.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).