From: Oleksii Kurochko <oleksii.kurochko@gmail.com>
To: Jan Beulich <jbeulich@suse.com>
Cc: "Alistair Francis" <alistair.francis@wdc.com>,
"Bob Eshleman" <bobbyeshleman@gmail.com>,
"Connor Davis" <connojdavis@gmail.com>,
"Andrew Cooper" <andrew.cooper3@citrix.com>,
"Anthony PERARD" <anthony.perard@vates.tech>,
"Michal Orzel" <michal.orzel@amd.com>,
"Julien Grall" <julien@xen.org>,
"Roger Pau Monné" <roger.pau@citrix.com>,
"Stefano Stabellini" <sstabellini@kernel.org>,
xen-devel@lists.xenproject.org
Subject: Re: [PATCH v2 06/17] xen/riscv: add root page table allocation
Date: Tue, 1 Jul 2025 16:02:03 +0200 [thread overview]
Message-ID: <a30141b2-1b02-482c-b6dd-a017d976fdc1@gmail.com> (raw)
In-Reply-To: <b658471f-28f2-4ee7-b1c1-41837daa72c2@suse.com>
[-- Attachment #1: Type: text/plain, Size: 8472 bytes --]
On 7/1/25 12:27 PM, Jan Beulich wrote:
> On 01.07.2025 11:44, Oleksii Kurochko wrote:
>> On 7/1/25 8:29 AM, Jan Beulich wrote:
>>> On 30.06.2025 18:18, Oleksii Kurochko wrote:
>>>> On 6/30/25 5:22 PM, Jan Beulich wrote:
>>>>> On 10.06.2025 15:05, Oleksii Kurochko wrote:
>>>>>> --- a/xen/arch/riscv/include/asm/p2m.h
>>>>>> +++ b/xen/arch/riscv/include/asm/p2m.h
>>>>>> @@ -26,6 +26,12 @@ struct p2m_domain {
>>>>>> /* Pages used to construct the p2m */
>>>>>> struct page_list_head pages;
>>>>>>
>>>>>> + /* The root of the p2m tree. May be concatenated */
>>>>>> + struct page_info *root;
>>>>>> +
>>>>>> + /* Address Translation Table for the p2m */
>>>>>> + paddr_t hgatp;
>>>>> Does this really need holding in a struct field? Can't is be re-created at
>>>>> any time from "root" above?
>>>> Yes, with the current one implementation, I agree it would be enough only
>>>> root. But as you noticed below...
>>>>
>>>>> And such re-creation is apparently infrequent,
>>>>> if happening at all after initial allocation. (But of course I don't know
>>>>> what future patches of yours will bring.) This is even more so if ...
>>>>>
>>>>>> --- a/xen/arch/riscv/include/asm/riscv_encoding.h
>>>>>> +++ b/xen/arch/riscv/include/asm/riscv_encoding.h
>>>>>> @@ -133,11 +133,13 @@
>>>>>> #define HGATP_MODE_SV48X4 _UL(9)
>>>>>>
>>>>>> #define HGATP32_MODE_SHIFT 31
>>>>>> +#define HGATP32_MODE_MASK _UL(0x80000000)
>>>>>> #define HGATP32_VMID_SHIFT 22
>>>>>> #define HGATP32_VMID_MASK _UL(0x1FC00000)
>>>>>> #define HGATP32_PPN _UL(0x003FFFFF)
>>>>>>
>>>>>> #define HGATP64_MODE_SHIFT 60
>>>>>> +#define HGATP64_MODE_MASK _ULL(0xF000000000000000)
>>>>>> #define HGATP64_VMID_SHIFT 44
>>>>>> #define HGATP64_VMID_MASK _ULL(0x03FFF00000000000)
>>>>> ... VMID management is going to change as previously discussed, at which
>>>>> point the value to put in hgatp will need (partly) re-calculating at certain
>>>>> points anyway.
>>>> ... after VMID management will changed to per-CPU base then it will be needed
>>>> to update re-calculate hgatp each time vCPU on pCPU is changed.
>>>> In this case I prefer to have partially calculated 'hgatp'.
>>> But why, when you need to do some recalculation anyway?
>> Less operations will be needed to do.
> Right; I wonder how big the savings would be.
Probably not big.
>
>> If we have partially prepared 'hgatp' then we have to only update VMID bits
>> instead of getting ppn for page, then calculate hgatp_mode each time.
>> But if you think it isn't really needed I can add vmid argument for hgatp_from_page()
>> and just call this function when an update of hgatp is needed.
> I think it'll need to be struct p2m_domain * that you (also?) pass in. In the
> longer run I think you will want to support all three permitted modes, with
> smaller guests using fewer page table levels.
Yes, but these modes will be const for a domain, I guess. I mean that once a mode has
been set, it isn't going to be changed. But VMID is going to be changed each time vCPU
gives control to another vCPU.
Anyway, I am okay to make update of hgatp more generic and just update it fully each
time it is needed.
>
> As to "also" - maybe it's better to change the name of the function, and pass
> in just (const if possible) struct p2m_domain *.
>
>>>>>> --- a/xen/arch/riscv/p2m.c
>>>>>> +++ b/xen/arch/riscv/p2m.c
>>>>>> @@ -41,6 +41,91 @@ void p2m_write_unlock(struct p2m_domain *p2m)
>>>>>> write_unlock(&p2m->lock);
>>>>>> }
>>>>>>
>>>>>> +static void clear_and_clean_page(struct page_info *page)
>>>>>> +{
>>>>>> + clean_dcache_va_range(page, PAGE_SIZE);
>>>>>> + clear_domain_page(page_to_mfn(page));
>>>>>> +}
>>>>> A function of this name can, imo, only clear and then clean. Question is why
>>>>> it's the other way around, and what the underlying requirement is for the
>>>>> cleaning part to be there in the first place. Maybe that's obvious for a
>>>>> RISC-V person, but it's entirely non-obvious to me (Arm being different in
>>>>> this regard because of running with caches disabled at certain points in
>>>>> time).
>>>> You're right, the current name|clear_and_clean_page()| implies that clearing
>>>> should come before cleaning, which contradicts the current implementation.
>>>> The intent here is to ensure that the page contents are consistent in RAM
>>>> (not just in cache) before use by other entities (guests or devices).
>>>>
>>>> The clean must follow the clear — so yes, the order needs to be reversed.
>>> What you don't address though - why's the cleaning needed in the first place?
>> If we clean the data cache first, we flush the d-cache and then use the page to
>> perform the clear operation. As a result, the "cleared" value will be written into
>> the d-cache. To avoid polluting the d-cache with the "cleared" value, the correct
>> sequence is to clear the page first, then clean the data cache.
> If you want to avoid cache pollution, I think you'd need to use a form of stores
> which simply bypass the cache. Yet then - why would this matter here, but not
> elsewhere? Wouldn't you better leave such to the hardware, unless you can prove
> a (meaningful) performance gain?
I thought about a case when IOMMU doesn't support coherent walks and p2m tables are
shared between CPU and IOMMU. Then my understanding is:
- clear_page(p) just zero-ing a page in a CPU's cache.
- But IOMMU can see old data or uninitialized, if they still in cache.
- So, it is need to do clean_cache() to writeback data from cache to RAM, before a
page will be used as a part of page table for IOMMU.
>
>>>>>> + unsigned int nr_pages = _AC(1,U) << order;
>>>>> Nit (style): Missing blank after comma.
>>>> I've changed that to BIT(order, U)
>>>>
>>>>>> + /* Return back nr_pages necessary for p2m root table. */
>>>>>> +
>>>>>> + if ( ACCESS_ONCE(d->arch.paging.p2m_total_pages) < nr_pages )
>>>>>> + panic("Specify more xen,domain-p2m-mem-mb\n");
>>>>> You shouldn't panic() in anything involved in domain creation. You want to
>>>>> return NULL in this case.
>>>> It makes sense in this case just to return NULL.
>>>>
>>>>> Further, to me the use of "more" looks misleading here. Do you perhaps mean
>>>>> "larger" or "bigger"?
>>>>>
>>>>> This also looks to be happening without any lock held. If that's intentional,
>>>>> I think the "why" wants clarifying in a code comment.
>>>> Agree, returning back pages necessary for p2m root table should be done under
>>>> spin_lock(&d->arch.paging.lock).
>>> Which should be acquired at the paging_*() layer then, not at the p2m_*() layer.
>>> (As long as you mean to have that separation, that is. See the earlier discussion
>>> on that matter.)
>> Then partly p2m_set_allocation() should be moved to paging_*() too.
> Not exactly sure what you mean. On x86 at least the paging layer part of
> the function is pretty slim.
I meant that part of code which is spin_lock(&d->arch.paging.lock); ... spin_unlock(&d->arch.paging.lock)
in function p2m_set_allocation() should be moved somewhere to paging_*() layer for the same logic as you
suggested to move part of p2m_allocate_root()'s code which is guarded by d->arch.paging.lock to
paging_*() layer.
Or I just misunderstood your initial idea with this paging_*() layer and its necessity.
>
>>>>>> + for ( unsigned int i = 0; i < nr_pages; i++ )
>>>>>> + {
>>>>>> + /* Return memory to domheap. */
>>>>>> + page = page_list_remove_head(&d->arch.paging.p2m_freelist);
>>>>>> + if( page )
>>>>>> + {
>>>>>> + ACCESS_ONCE(d->arch.paging.p2m_total_pages)--;
>>>>>> + free_domheap_page(page);
>>>>>> + }
>>>>>> + else
>>>>>> + {
>>>>>> + printk(XENLOG_ERR
>>>>>> + "Failed to free P2M pages, P2M freelist is empty.\n");
>>>>>> + return NULL;
>>>>>> + }
>>>>>> + }
>>>>> The reason for doing this may also want to be put in a comment.
>>>> I thought it would be enough the comment above: /* Return back nr_pages necessary for p2m root table. */
>>> That describes what the code does, but not why.
>> I will add to the comment: "... to get the memory accounting right".
> I'm sorry to be picky, but what is "right"? You want assure the root table
> memory is also accounted against the P2M pool of the domain. Can't you say
> exactly that?
It can be said in this way.
Thanks.
~ Oleksii
[-- Attachment #2: Type: text/html, Size: 12478 bytes --]
next prev parent reply other threads:[~2025-07-01 14:02 UTC|newest]
Thread overview: 161+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-06-10 13:05 [PATCH v2 00/17] xen/riscv: introduce p2m functionality Oleksii Kurochko
2025-06-10 13:05 ` [PATCH v2 01/17] xen/riscv: implement sbi_remote_hfence_gvma() Oleksii Kurochko
2025-06-18 15:15 ` Jan Beulich
2025-06-23 14:31 ` Oleksii Kurochko
2025-06-23 14:39 ` Jan Beulich
2025-06-23 14:45 ` Oleksii Kurochko
2025-06-24 10:33 ` Oleksii Kurochko
2025-06-24 10:48 ` Jan Beulich
2025-06-10 13:05 ` [PATCH v2 02/17] xen/riscv: introduce sbi_remote_hfence_gvma_vmid() Oleksii Kurochko
2025-06-18 15:20 ` Jan Beulich
2025-06-23 14:38 ` Oleksii Kurochko
2025-06-10 13:05 ` [PATCH v2 03/17] xen/riscv: introduce guest domain's VMID allocation and manegement Oleksii Kurochko
2025-06-18 15:46 ` Jan Beulich
2025-06-24 9:46 ` Oleksii Kurochko
2025-06-24 10:44 ` Jan Beulich
2025-06-24 13:47 ` Oleksii Kurochko
2025-06-24 14:01 ` Jan Beulich
2025-06-24 15:32 ` Oleksii Kurochko
2025-06-26 10:05 ` Oleksii Kurochko
2025-06-26 10:41 ` Jan Beulich
2025-06-26 11:34 ` Oleksii Kurochko
2025-06-26 11:43 ` Juergen Gross
2025-06-26 12:05 ` Oleksii Kurochko
2025-06-26 12:17 ` Teddy Astie
2025-06-26 12:37 ` Jan Beulich
2025-06-26 12:16 ` Jan Beulich
2025-06-26 12:25 ` Oleksii Kurochko
2025-06-10 13:05 ` [PATCH v2 04/17] xen/riscv: construct the P2M pages pool for guests Oleksii Kurochko
2025-06-18 15:53 ` Jan Beulich
2025-06-25 14:48 ` Oleksii Kurochko
2025-06-25 14:55 ` Jan Beulich
2025-07-01 13:04 ` Jan Beulich
2025-07-02 10:30 ` Oleksii Kurochko
2025-07-02 10:34 ` Jan Beulich
2025-07-02 11:17 ` Oleksii Kurochko
2025-07-02 11:48 ` Oleksii Kurochko
2025-07-02 11:56 ` Jan Beulich
2025-07-02 12:34 ` Oleksii Kurochko
2025-07-02 12:49 ` Jan Beulich
2025-06-10 13:05 ` [PATCH v2 05/17] xen/riscv: introduce things necessary for p2m initialization Oleksii Kurochko
2025-06-18 16:08 ` Jan Beulich
2025-06-25 15:31 ` Oleksii Kurochko
2025-06-25 15:53 ` Jan Beulich
2025-06-26 8:40 ` Oleksii Kurochko
2025-06-26 11:01 ` Jan Beulich
2025-06-26 11:55 ` Oleksii Kurochko
2025-06-10 13:05 ` [PATCH v2 06/17] xen/riscv: add root page table allocation Oleksii Kurochko
2025-06-30 15:22 ` Jan Beulich
2025-06-30 16:18 ` Oleksii Kurochko
2025-07-01 6:29 ` Jan Beulich
2025-07-01 9:44 ` Oleksii Kurochko
2025-07-01 10:27 ` Jan Beulich
2025-07-01 14:02 ` Oleksii Kurochko [this message]
2025-07-01 14:28 ` Jan Beulich
2025-06-10 13:05 ` [PATCH v2 07/17] xen/riscv: introduce pte_{set,get}_mfn() Oleksii Kurochko
2025-06-26 14:57 ` Jan Beulich
2025-06-10 13:05 ` [PATCH v2 08/17] xen/riscv: add new p2m types and helper macros for type classification Oleksii Kurochko
2025-06-26 14:59 ` Jan Beulich
2025-06-30 14:33 ` Oleksii Kurochko
2025-06-30 14:38 ` Oleksii Kurochko
2025-06-30 14:45 ` Jan Beulich
2025-06-30 15:27 ` Oleksii Kurochko
2025-06-30 15:50 ` Jan Beulich
2025-07-02 10:13 ` Oleksii Kurochko
2025-07-02 10:36 ` Jan Beulich
2025-06-30 14:42 ` Jan Beulich
2025-06-30 15:13 ` Oleksii Kurochko
2025-06-30 15:27 ` Jan Beulich
2025-06-10 13:05 ` [PATCH v2 09/17] xen/riscv: introduce page_set_xenheap_gfn() Oleksii Kurochko
2025-06-30 15:48 ` Jan Beulich
2025-07-02 15:59 ` Oleksii Kurochko
2025-07-03 5:59 ` Jan Beulich
2025-06-10 13:05 ` [PATCH v2 10/17] xen/riscv: implement guest_physmap_add_entry() for mapping GFNs to MFNs Oleksii Kurochko
2025-06-30 15:59 ` Jan Beulich
2025-07-03 11:02 ` Oleksii Kurochko
2025-07-03 11:33 ` Jan Beulich
2025-07-03 11:54 ` Oleksii Kurochko
2025-07-03 13:09 ` Jan Beulich
2025-07-03 13:28 ` Oleksii Kurochko
2025-07-03 13:34 ` Jan Beulich
2025-06-10 13:05 ` [PATCH v2 11/17] xen/riscv: implement p2m_set_entry() and __p2m_set_entry() Oleksii Kurochko
2025-07-01 13:49 ` Jan Beulich
2025-07-04 15:01 ` Oleksii Kurochko
2025-07-07 7:20 ` Jan Beulich
2025-07-07 11:46 ` Oleksii Kurochko
2025-07-07 12:53 ` Jan Beulich
2025-07-07 15:00 ` Oleksii Kurochko
2025-07-07 15:15 ` Jan Beulich
2025-07-07 16:10 ` Oleksii Kurochko
2025-07-08 7:10 ` Jan Beulich
2025-07-08 9:01 ` Oleksii Kurochko
2025-07-08 10:37 ` Oleksii Kurochko
2025-07-08 12:45 ` Jan Beulich
2025-07-08 15:42 ` Oleksii Kurochko
2025-07-08 16:04 ` Jan Beulich
2025-07-09 8:24 ` Oleksii Kurochko
2025-07-09 8:41 ` Jan Beulich
2025-06-10 13:05 ` [PATCH v2 12/17] xen/riscv: Implement p2m_free_entry() and related helpers Oleksii Kurochko
2025-07-01 14:23 ` Jan Beulich
2025-07-11 15:56 ` Oleksii Kurochko
2025-07-14 7:15 ` Jan Beulich
2025-07-14 16:01 ` Oleksii Kurochko
2025-07-14 16:17 ` Jan Beulich
2025-06-10 13:05 ` [PATCH v2 13/17] xen/riscv: Implement p2m_entry_from_mfn() and support PBMT configuration Oleksii Kurochko
2025-07-01 15:08 ` Jan Beulich
2025-07-15 14:47 ` Oleksii Kurochko
2025-07-16 11:31 ` Jan Beulich
2025-07-16 16:07 ` Oleksii Kurochko
2025-07-16 16:18 ` Jan Beulich
2025-07-17 8:56 ` Oleksii Kurochko
2025-07-17 10:25 ` Jan Beulich
2025-07-18 9:52 ` Oleksii Kurochko
2025-07-21 12:18 ` Jan Beulich
2025-07-22 10:41 ` Oleksii Kurochko
2025-07-22 11:34 ` Oleksii Kurochko
2025-07-22 12:00 ` Jan Beulich
2025-07-22 14:25 ` Oleksii Kurochko
2025-07-22 14:35 ` Jan Beulich
2025-07-22 16:07 ` Oleksii Kurochko
2025-07-23 9:46 ` Jan Beulich
2025-07-28 8:52 ` Oleksii Kurochko
2025-07-28 9:09 ` Jan Beulich
2025-07-28 11:37 ` Oleksii Kurochko
2025-07-28 11:49 ` Jan Beulich
2025-07-22 11:54 ` Jan Beulich
2025-06-10 13:05 ` [PATCH v2 14/17] xen/riscv: implement p2m_next_level() Oleksii Kurochko
2025-07-02 8:35 ` Jan Beulich
2025-07-16 11:32 ` Oleksii Kurochko
2025-07-16 11:43 ` Jan Beulich
2025-07-16 15:53 ` Oleksii Kurochko
2025-07-16 16:12 ` Jan Beulich
2025-07-17 9:42 ` Oleksii Kurochko
2025-07-17 10:37 ` Jan Beulich
2025-07-18 11:19 ` Oleksii Kurochko
2025-07-21 13:14 ` Jan Beulich
2025-06-10 13:05 ` [PATCH v2 15/17] xen/riscv: Implement superpage splitting for p2m mappings Oleksii Kurochko
2025-07-02 9:25 ` Jan Beulich
2025-07-17 16:37 ` Oleksii Kurochko
2025-07-21 13:34 ` Jan Beulich
2025-07-22 14:57 ` Oleksii Kurochko
2025-07-22 16:02 ` Jan Beulich
2025-07-23 19:51 ` Oleksii Kurochko
2025-07-24 7:58 ` Jan Beulich
2025-06-10 13:05 ` [PATCH v2 16/17] xen/riscv: implement mfn_valid() and page reference, ownership handling helpers Oleksii Kurochko
2025-07-02 10:09 ` Jan Beulich
2025-07-02 10:28 ` Jan Beulich
2025-07-18 14:37 ` Oleksii Kurochko
2025-07-21 13:39 ` Jan Beulich
2025-07-22 12:03 ` Oleksii Kurochko
2025-07-22 12:05 ` Jan Beulich
2025-07-29 13:47 ` Oleksii Kurochko
2025-07-29 14:48 ` Jan Beulich
2025-07-02 12:52 ` Orzel, Michal
2025-07-18 14:49 ` Oleksii Kurochko
2025-07-21 13:42 ` Jan Beulich
2025-07-22 13:38 ` Oleksii Kurochko
2025-07-21 13:53 ` Jan Beulich
2025-06-10 13:05 ` [PATCH v2 17/17] xen/riscv: add support of page lookup by GFN Oleksii Kurochko
2025-07-02 11:44 ` Jan Beulich
2025-07-21 9:43 ` Oleksii Kurochko
2025-07-21 14:06 ` Jan Beulich
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=a30141b2-1b02-482c-b6dd-a017d976fdc1@gmail.com \
--to=oleksii.kurochko@gmail.com \
--cc=alistair.francis@wdc.com \
--cc=andrew.cooper3@citrix.com \
--cc=anthony.perard@vates.tech \
--cc=bobbyeshleman@gmail.com \
--cc=connojdavis@gmail.com \
--cc=jbeulich@suse.com \
--cc=julien@xen.org \
--cc=michal.orzel@amd.com \
--cc=roger.pau@citrix.com \
--cc=sstabellini@kernel.org \
--cc=xen-devel@lists.xenproject.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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.