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>
>
next prev parent 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).