All of lore.kernel.org
 help / color / mirror / Atom feed
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 11:44:26 +0200	[thread overview]
Message-ID: <55144da9-cf8e-4b73-8817-e72d8ff91019@gmail.com> (raw)
In-Reply-To: <49de841e-d3dd-447f-98f2-77de8b2acf94@suse.com>

[-- Attachment #1: Type: text/plain, Size: 6899 bytes --]


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.
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.

>
>>>> --- 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.

>>>> +    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.

>>>> +    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".

>
>>>> +{
>>>> +    struct p2m_domain *p2m = p2m_get_hostp2m(d);
>>>> +
>>>> +    p2m->root = p2m_allocate_root(d);
>>>> +    if ( !p2m->root )
>>>> +        return -ENOMEM;
>>>> +
>>>> +    p2m->hgatp = hgatp_from_page(p2m);
>>>> +
>>>> +    return 0;
>>>> +}
>>>> +
>>>>    static spinlock_t vmid_alloc_lock = SPIN_LOCK_UNLOCKED;
>>>>    
>>>>    /*
>>>> @@ -228,5 +313,14 @@ int p2m_set_allocation(struct domain *d, unsigned long pages, bool *preempted)
>>>>            }
>>>>        }
>>>>    
>>>> +    /*
>>>> +    * First, wait for the p2m pool to be initialized. Then allocate the root
>>> Why "wait"? There's waiting here.
>> I am not really get your question.
>>
>> "wait" here is about the initialization of the pool which happens above this comment.
> But there's no "waiting" involved. What you talk about is one thing needing to
> happen after the other.

Okay, then I will just reword comment.

Thanks.

~ Oleksii

[-- Attachment #2: Type: text/html, Size: 10131 bytes --]

  reply	other threads:[~2025-07-01  9:44 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 [this message]
2025-07-01 10:27           ` Jan Beulich
2025-07-01 14:02             ` Oleksii Kurochko
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=55144da9-cf8e-4b73-8817-e72d8ff91019@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.