From: Julien Grall <julien.grall@arm.com>
To: Stefano Stabellini <sstabellini@kernel.org>
Cc: proskurin@sec.in.tum.de, wei.chen@linaro.org,
steve.capper@arm.com, xen-devel@lists.xen.org
Subject: Re: [RFC 14/22] xen/arm: p2m: Re-implement p2m_cache_flush using p2m_get_entry
Date: Tue, 6 Sep 2016 15:56:56 +0100 [thread overview]
Message-ID: <ae8ac0ba-db7c-0b97-b09d-ba67d227df11@arm.com> (raw)
In-Reply-To: <alpine.DEB.2.10.1609051353370.4105@sstabellini-ThinkPad-X260>
Hi Stefano,
On 05/09/16 22:13, Stefano Stabellini wrote:
> On Thu, 28 Jul 2016, Julien Grall wrote:
>> The function p2m_cache_flush can be re-implemented using the generic
>> function p2m_get_entry by iterating over the range and using the mapping
>> order given by the callee.
>>
>> As the current implementation, no preemption is implemented, although
>> the comment in the current code claimed it. As the function is called by
>> a DOMCTL with a region of 1GB maximum, I think the preemption can be
>> left unimplemented for now.
>>
>> Finally drop the operation CACHEFLUSH in apply_one_level as nobody is
>> using it anymore. Note that the function could have been dropped in one
>> go at the end, however I find easier to drop the operations one by one
>> avoiding a big deletion in the patch that convert the last operation.
>>
>> Signed-off-by: Julien Grall <julien.grall@arm.com>
>>
>> ---
>> The loop pattern will be very for the reliquish function. It might
>> be possible to extract it in a separate function.
>> ---
>> xen/arch/arm/p2m.c | 67 +++++++++++++++++++++++++++---------------------------
>> 1 file changed, 34 insertions(+), 33 deletions(-)
>>
>> diff --git a/xen/arch/arm/p2m.c b/xen/arch/arm/p2m.c
>> index 9a9c85c..e7697bb 100644
>> --- a/xen/arch/arm/p2m.c
>> +++ b/xen/arch/arm/p2m.c
>> @@ -722,7 +722,6 @@ enum p2m_operation {
>> INSERT,
>> REMOVE,
>> RELINQUISH,
>> - CACHEFLUSH,
>> MEMACCESS,
>> };
>>
>> @@ -978,36 +977,6 @@ static int apply_one_level(struct domain *d,
>> */
>> return P2M_ONE_PROGRESS;
>>
>> - case CACHEFLUSH:
>> - if ( !p2m_valid(orig_pte) )
>> - {
>> - *addr = (*addr + level_size) & level_mask;
>> - return P2M_ONE_PROGRESS_NOP;
>> - }
>> -
>> - if ( level < 3 && p2m_table(orig_pte) )
>> - return P2M_ONE_DESCEND;
>> -
>> - /*
>> - * could flush up to the next superpage boundary, but would
>> - * need to be careful about preemption, so just do one 4K page
>> - * now and return P2M_ONE_PROGRESS{,_NOP} so that the caller will
>> - * continue to loop over the rest of the range.
>> - */
>> - if ( p2m_is_ram(orig_pte.p2m.type) )
>> - {
>> - unsigned long offset = paddr_to_pfn(*addr & ~level_mask);
>> - flush_page_to_ram(orig_pte.p2m.base + offset);
>> -
>> - *addr += PAGE_SIZE;
>> - return P2M_ONE_PROGRESS;
>> - }
>> - else
>> - {
>> - *addr += PAGE_SIZE;
>> - return P2M_ONE_PROGRESS_NOP;
>> - }
>> -
>> case MEMACCESS:
>> if ( level < 3 )
>> {
>> @@ -1555,12 +1524,44 @@ int p2m_cache_flush(struct domain *d, gfn_t start, unsigned long nr)
>> {
>> struct p2m_domain *p2m = &d->arch.p2m;
>> gfn_t end = gfn_add(start, nr);
>> + p2m_type_t t;
>> + unsigned int order;
>>
>> start = gfn_max(start, p2m->lowest_mapped_gfn);
>> end = gfn_min(end, p2m->max_mapped_gfn);
>>
>> - return apply_p2m_changes(d, CACHEFLUSH, start, nr, INVALID_MFN,
>> - 0, p2m_invalid, d->arch.p2m.default_access);
>> + /* XXX: Should we use write lock here? */
>
> Good question. As the p2m is left unchanged by this function, I think
> that the read lock is sufficient.
It is what I thought. I will replace the todo by a comment explain why
read-lock is used here.
>
>
>> + p2m_read_lock(p2m);
>> +
>> + for ( ; gfn_x(start) < gfn_x(end); start = gfn_add(start, 1UL << order) )
>> + {
>> + mfn_t mfn = p2m_get_entry(p2m, start, &t, NULL, &order);
>> +
>> + /* Skip hole and non-RAM page */
>> + if ( mfn_eq(mfn, INVALID_MFN) || !p2m_is_ram(t) )
>> + {
>> + /*
>> + * the order corresponds to the order of the mapping in the
>> + * page table. so we need to align the gfn before
>> + * incrementing.
>> + */
>> + start = _gfn(gfn_x(start) & ~((1UL << order) - 1));
>> + continue;
>> + }
>> +
>> + /*
>> + * Could flush up to the next superpage boundary, but we would
>> + * need to be careful about preemption, so just do one 4K page
>> + * now.
>
> I think that even without preemption you should implement flushing up to
> the next superpage boundary (but not beyond "end"). You can still do it
> 4K at a time, but only call p2m_get_entry once per "order". Could be a
> decent performance improvement as cacheflush is a performance critical
> hypercall.
Good point. I will give a look for the next version.
Regards,
--
Julien Grall
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
next prev parent reply other threads:[~2016-09-06 14:56 UTC|newest]
Thread overview: 98+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-07-28 14:51 [RFC 00/22] xen/arm: Rework the P2M code to follow break-before-make sequence Julien Grall
2016-07-28 14:51 ` [RFC 01/22] xen/arm: do_trap_instr_abort_guest: Move the IPA computation out of the switch Julien Grall
2016-08-16 0:21 ` Stefano Stabellini
2016-08-16 16:20 ` Julien Grall
2016-08-31 10:01 ` Julien Grall
2016-08-31 19:43 ` Stefano Stabellini
2016-09-06 14:54 ` Julien Grall
2016-07-28 14:51 ` [RFC 02/22] xen/arm: p2m: Store in p2m_domain whether we need to clean the entry Julien Grall
2016-08-16 0:35 ` Stefano Stabellini
2016-08-31 10:29 ` Julien Grall
2016-07-28 14:51 ` [RFC 03/22] xen/arm: p2m: Rename parameter in p2m_{remove, write}_pte Julien Grall
2016-08-16 0:36 ` Stefano Stabellini
2016-07-28 14:51 ` [RFC 04/22] xen/arm: p2m: Use typesafe gfn in p2m_mem_access_radix_set Julien Grall
2016-08-16 0:39 ` Stefano Stabellini
2016-07-28 14:51 ` [RFC 05/22] xen/arm: traps: Move MMIO emulation code in a separate helper Julien Grall
2016-08-16 0:49 ` Stefano Stabellini
2016-08-31 10:36 ` Julien Grall
2016-07-28 14:51 ` [RFC 06/22] xen/arm: traps: Check the P2M before injecting a data/instruction abort Julien Grall
2016-08-23 1:05 ` Stefano Stabellini
2016-08-31 10:58 ` Julien Grall
2016-07-28 14:51 ` [RFC 07/22] xen/arm: p2m: Rework p2m_put_l3_page Julien Grall
2016-08-23 1:10 ` Stefano Stabellini
2016-07-28 14:51 ` [RFC 08/22] xen/arm: p2m: Invalidate the TLBs when write unlocking the p2m Julien Grall
2016-08-23 1:18 ` Stefano Stabellini
2016-07-28 14:51 ` [RFC 09/22] xen/arm: p2m: Change the type of level_shifts from paddr_t to unsigned int Julien Grall
2016-08-23 1:20 ` Stefano Stabellini
2016-08-31 11:04 ` Julien Grall
2016-07-28 14:51 ` [RFC 10/22] xen/arm: p2m: Move the lookup helpers at the top of the file Julien Grall
2016-07-28 14:51 ` [RFC 11/22] xen/arm: p2m: Introduce p2m_get_root_pointer and use it in __p2m_lookup Julien Grall
2016-08-23 1:34 ` Stefano Stabellini
2016-07-28 14:51 ` [RFC 12/22] xen/arm: p2m: Introduce p2m_get_entry and use it to implement __p2m_lookup Julien Grall
2016-07-30 18:37 ` Tamas K Lengyel
2016-08-31 0:30 ` [RFC 12/22] xen/arm: p2m: Introduce p2m_get_entry and use it to implement __p2m_lookupo Stefano Stabellini
2016-08-31 12:25 ` Julien Grall
2016-08-31 19:33 ` Stefano Stabellini
2016-09-01 11:37 ` Julien Grall
2016-07-28 14:51 ` [RFC 13/22] xen/arm: p2m: Replace all usage of __p2m_lookup with p2m_get_entry Julien Grall
2016-07-28 17:29 ` Tamas K Lengyel
2016-07-28 17:36 ` Tamas K Lengyel
2016-07-29 15:06 ` Julien Grall
2016-07-29 22:36 ` Tamas K Lengyel
2016-07-28 17:51 ` Julien Grall
2016-09-05 20:45 ` Stefano Stabellini
2016-07-28 14:51 ` [RFC 14/22] xen/arm: p2m: Re-implement p2m_cache_flush using p2m_get_entry Julien Grall
2016-09-05 21:13 ` Stefano Stabellini
2016-09-06 14:56 ` Julien Grall [this message]
2016-07-28 14:51 ` [RFC 15/22] xen/arm: p2m: Re-implement relinquish_p2m_mapping " Julien Grall
2016-09-05 21:58 ` Stefano Stabellini
2016-09-06 15:05 ` Julien Grall
2016-09-06 18:21 ` Stefano Stabellini
2016-09-07 7:37 ` Julien Grall
2016-07-28 14:51 ` [RFC 16/22] xen/arm: p2m: Make p2m_{valid, table, mapping} helpers inline Julien Grall
2016-09-05 22:00 ` Stefano Stabellini
2016-07-28 14:51 ` [RFC 17/22] xen/arm: p2m: Introduce a helper to check if an entry is a superpage Julien Grall
2016-09-05 22:03 ` Stefano Stabellini
2016-07-28 14:51 ` [RFC 18/22] xen/arm: p2m: Introduce p2m_set_entry and __p2m_set_entry Julien Grall
2016-07-30 18:40 ` Tamas K Lengyel
2016-08-15 10:22 ` Sergej Proskurin
2016-09-06 1:08 ` Stefano Stabellini
2016-09-06 17:12 ` Julien Grall
2016-09-06 18:51 ` Stefano Stabellini
2016-09-07 8:18 ` Julien Grall
2016-09-09 23:14 ` Stefano Stabellini
2016-07-28 14:51 ` [RFC 19/22] xen/arm: p2m: Re-implement p2m_remove_using using p2m_set_entry Julien Grall
2016-09-06 18:53 ` Stefano Stabellini
2016-07-28 14:51 ` [RFC 20/22] xen/arm: p2m: Re-implement p2m_insert_mapping " Julien Grall
2016-09-06 18:57 ` Stefano Stabellini
2016-09-15 10:38 ` Julien Grall
2016-07-28 14:51 ` [RFC 21/22] xen/arm: p2m: Re-implement p2m_set_mem_access using p2m_{set, get}_entry Julien Grall
2016-07-28 15:04 ` Razvan Cojocaru
2016-07-28 15:16 ` Julien Grall
2016-08-01 15:40 ` Julien Grall
2016-08-01 15:59 ` Tamas K Lengyel
2016-08-01 16:15 ` Julien Grall
2016-08-01 16:27 ` Tamas K Lengyel
2016-08-01 16:33 ` Julien Grall
2016-08-01 16:41 ` Tamas K Lengyel
2016-08-02 6:07 ` Razvan Cojocaru
2016-08-01 16:34 ` Mark Rutland
2016-08-01 16:57 ` Julien Grall
2016-08-01 17:26 ` Mark Rutland
2016-08-01 18:22 ` Mark Rutland
2016-08-02 9:58 ` Julien Grall
2016-08-02 10:26 ` Mark Rutland
2016-07-28 17:21 ` Tamas K Lengyel
2016-09-06 19:06 ` Stefano Stabellini
2016-09-06 19:16 ` Razvan Cojocaru
2016-09-06 19:17 ` Stefano Stabellini
2016-09-07 6:56 ` Julien Grall
2016-09-07 7:03 ` Razvan Cojocaru
2016-07-28 14:51 ` [RFC 22/22] xen/arm: p2m: Do not handle shattering in p2m_create_table Julien Grall
2016-09-06 18:59 ` Stefano Stabellini
2016-07-28 17:46 ` [RFC 00/22] xen/arm: Rework the P2M code to follow break-before-make sequence Tamas K Lengyel
2016-07-29 16:23 ` Julien Grall
2016-07-29 19:05 ` Julien Grall
2016-08-15 10:24 ` Julien Grall
2016-08-15 15:06 ` Edgar E. Iglesias
2016-08-17 2:28 ` Shanker Donthineni
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=ae8ac0ba-db7c-0b97-b09d-ba67d227df11@arm.com \
--to=julien.grall@arm.com \
--cc=proskurin@sec.in.tum.de \
--cc=sstabellini@kernel.org \
--cc=steve.capper@arm.com \
--cc=wei.chen@linaro.org \
--cc=xen-devel@lists.xen.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).