[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v2] x86/PV: assert page state in mark_pv_pt_pages_rdonly()
- To: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
- From: Jan Beulich <jbeulich@xxxxxxxx>
- Date: Wed, 18 Aug 2021 08:17:42 +0200
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=suse.com; dmarc=pass action=none header.from=suse.com; dkim=pass header.d=suse.com; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=m+G49FQJKYWnI41qMhbtslsWd5uw5CnBykHg6pV9yXc=; b=lGDGm4yDOnHgCGmrEOTN+K23aORayjNoxhosdVX8twXi4fbaiYpaCaMBrMiZGLhvbxZ5YUV0V4KTW9nnffchaIWFOKhV3XVZtwwBzCFqEdBNrSzMHiVdIuIY+Lqw330vfvKzU3Rkj6BY6buXhKS+au196z1DYFaXL3tAJBvnQ0QJwTcOU3QMpJxMV3/2mnsuygzT0rt1rpwqzrtc2KXVaXjbEdCT9LadEkEiT1Hd+sNLveWYYfwnb5Px3NdFvmK6100fRpE3AWYzvMjy0NTa3nzIe58IXUUI9nt9qNcSbR+/WpbNPDHW4QKb3Yf8tRaoB2RrQUHeGojPHOK8ECyX2g==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=UDC6w+XPHGaQsxHZb83huZoED7xse0DK3GO25RQrHbYSfSDNZrlN/OYzNZS3kbdykbI2bO9rzLsThoLHGiwZ69RAcGEQf2Yb0IgMbFmpEGZ/GejclK5zEbMA7GxX3VkRgMYE/apXHTIBEQXuITsDiqs4FTteyo9hEX+y0qXvUj56D7CuRwH99tIsffcHa0+xKr0T2+sQpwS80mnPWPIBNXqB7ZvvgS8P0/juPcvfLBpgSnuecl63KdxeJcWCJA2f4NxKzQNNeMTrFGEXaM1rebXnOhR/NmenJmRDdO00sXaKGQPxkCaY889iUZw3IyJa1LqKjUk5t4bXoLtw2JoFPQ==
- Authentication-results: lists.xenproject.org; dkim=none (message not signed) header.d=none;lists.xenproject.org; dmarc=none action=none header.from=suse.com;
- Cc: Wei Liu <wl@xxxxxxx>, Roger Pau Monné <roger.pau@xxxxxxxxxx>, "xen-devel@xxxxxxxxxxxxxxxxxxxx" <xen-devel@xxxxxxxxxxxxxxxxxxxx>
- Delivery-date: Wed, 18 Aug 2021 06:18:03 +0000
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
On 17.08.2021 19:25, Andrew Cooper wrote:
> On 17/08/2021 15:29, Jan Beulich wrote:
>> About every time I look at dom0_construct_pv()'s "calculation" of
>> nr_pt_pages I question (myself) whether the result is precise or merely
>> an upper bound. I think it is meant to be precise, but I think we would
>> be better off having some checking in place. Hence add ASSERT()s to
>> verify that
>> - all pages have a valid L1...Ln (currently L4) page table type and
>> - no other bits are set, in particular the type refcount is still zero.
>>
>> Signed-off-by: Jan Beulich <jbeulich@xxxxxxxx>
>
> Reviewed-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>, thanks.
>
> Are you planning further cleanups here imminently? If not, I can
> probably shuffle some of the easy ROUNDUP() refactoring in the direction
> of an intern or grad.
Not any cleanup, I don't think, but quite a few further changes to make
Dom0 use large IOMMU page mappings where possible (without introducing
logic yet to un-shatter split pages, not the least because relying on
just that would then undermine the secondary effect of improving boot
time). The two changes posted so far were really just fallout from that
work, with it seeming reasonable to post up front to reduce the size of
the actual series, which has grown quite a bit longer than I though it
would.
Jan
|
