[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] x86/shadow: Drop dubious lastpage diagnostic
- To: Jan Beulich <jbeulich@xxxxxxxx>
- From: Andrew Cooper <Andrew.Cooper3@xxxxxxxxxx>
- Date: Fri, 20 Jan 2023 14:39:47 +0000
- Accept-language: en-GB, en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=citrix.com; dmarc=pass action=none header.from=citrix.com; dkim=pass header.d=citrix.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-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=krikSJwJPtSfS/aPAT0ciI+5ihM6utcslkC35ZInVsw=; b=J+c13e0i3K8iFMCBGrzVwEqBZ71UyzSA8nJAO9RgCB4hBv8R4vTgCu+dIA0yG78Udvw6nyir9NiKbt0K5aMxErwNDbuwFpYSp3snmX6CznK5cgNsgpmQpnrEdNE+VDK9t+z1BCeg8rOuDOeumIvk0VYI48wmk1b5HfHDmNcYUmGK3abwACsAQnKjkmuKfv5eRRy6zLpCMqoDRCl76OY3nyUkZ1yU+wB7b7Uwt1HpQiLbz6N1DRCWpwPNRaTLaZ48B3k58c28d0jbDjoyQUWqSPVyk8VKkHF+OR6JPnqkNehGL41eZm6EaCmBIhCK+lGGb0cUMDK0zOcDn7MHwAYW6g==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=mqAFUmpi6UL8Ft3velkWCFr/19x23NhAgVJm10ECAkPNl0vhWW2CKs8ykAhCimwyKym4N2y3OtCMAJGg81YFpd8fR6I6dSqfePh7CemPa6j750vYNK59mXnSpuSctZrQ0c+0xDgBxzyzLFN5JvkojsHfs0Fk7ZwA21VkkqsEXRuFpPJ8C1DupIMom7+yiBR5/X4SWfuR3zWf3H4uCjyq1EvKzQWg8wy9lwSstr+RwuiajQnZS159ynr0TB8Uj5VBk5pie5cimt58lf9NjPcZpJl1CHf6k/zqBpD/1Xi4H6qcjarHmF9S5iUNK5SRMBR+/kPxKFK3Y8FZgS5z53pfRg==
- Authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=citrix.com;
- Cc: Roger Pau Monne <roger.pau@xxxxxxxxxx>, Wei Liu <wl@xxxxxxx>, George Dunlap <George.Dunlap@xxxxxxxxxx>, "Tim (Xen.org)" <tim@xxxxxxx>, Xen-devel <xen-devel@xxxxxxxxxxxxxxxxxxxx>
- Delivery-date: Fri, 20 Jan 2023 14:40:06 +0000
- Ironport-data: A9a23:5MM/P6JEZv2DEL7SFE+R55QlxSXFcZb7ZxGr2PjKsXjdYENShGZTz WpKDG7UOfqJYjGkeY8lbI+/oEoH7ZeDyt5lSwRlqX01Q3x08seUXt7xwmUcnc+xBpaaEB84t ZV2hv3odp1coqr0/0/1WlTZhSAgk/rOHv+kUrWs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws Jb5rta31GWNglaYCUpJrfPcwP9TlK6q4mhA5wZmPaojUGL2zBH5MrpOfcldEFOgKmVkNrbSb /rOyri/4lTY838FYj9yuu+mGqGiaue60Tmm0hK6aYD76vRxjnVaPpIAHOgdcS9qZwChxLid/ jnvWauYEm/FNoWU8AgUvoIx/ytWZcWq85efSZSzXFD6I+QrvBIAzt03ZHzaM7H09c57HF9Fx PooEQtdQQmI2MmEkIK4dPJz05FLwMnDZOvzu1lG5BSAV7MDfsqGRK/Ho9hFwD03m8ZCW+7EY NYUYiZuaxKGZABTPlAQC9Q1m+LAanvXKmUE7g7K4/RppTSJpOBy+OGF3N79U9qGX8hK2G2fo XrL5T/RCRAGLt2PjzGC9xpAg8eexn+qBNlLTdVU8NZYglKY71c+EydMekGCgvWFpFKReoxQf hl8Fi0G6PJaGFaQZtv3UgC8oXWElgUBQNcWGOo/gCmSzoLE7gDfAXILJhZdadkOpMIwAzsw2 Tehj97vQDBirrCRYXac7auP6yO/PzAPKm0PbjNCShEKi+QPu6k2hxPLC9N8Sqi8i4SvHSmqm 2zQ6i8jm78UkMgHkb2h+kzKiC6toZ6PSRMp4gLQXSSu6QYRiJOZWrFEIGPztZ5oRLt1hHHa1 JTYs6ByNNwzMKw=
- Ironport-hdrordr: A9a23:Xot3hq1dtP3DrwM89PBfCgqjBdVxeYIsimQD101hICG9Kvbo6v xG785rjiMc6QxhAk3I/OrqBEDuewKkyXcY2/hyAV7mZnidhILKFvAk0WKB+UyZJ8SWzIc0v8 sOHckfeb7N5BpB/L3HCWKDYrIdKay8gcaVbJDlvhBQpG9RGsRdB6oTMGum+wZNNXV77NICZe WhDk0tnUv5RZzCBf7LX0UtW+XO49uOjZjmaRkJCxNP0nj+sRqt5bL9Hxnw5GZhbxpfhbgl6m TLiAr/++GqtOy60AbV0yvJ441Rg8aJ8KoKOCWgsLliFtzXsHfgWK1xH7mZ+DwlquCm71gn1N HKvhc7Jsx2r3fcZHu8rxfh0xTplG9G0Q6p9XaIxX/45cDpTjMzDMRMwYpfbxvC8kIl+NVxyr hC0W6Vv4deSRnAgCP+7d7VUAwCrDv+nVMy1eoIy3BPW4oXb7Fc6YQZ4UNOCZ8FWDn37Yg2ed Mee/309bJTaxeXfnrZtm5gzJinRXIoBAqLRUAEp4iczyVWlGoR9TpU+OUP2nMbsJ4tQZhN4O rJdq5ykqtVU8MQZaVhQO8cXMqsDHDXSx6kChPfHbyvfJt3ek4k3fbMkfUIDM/AQu1K8HNy8K 6xH2+xwgYJCgzT4e3k5uwIzvkMehTIYdyfovsuoqSRloeMMYYDaxfzO2zGu/HQ0ck3E4neQe j2O55TDrvlIXX1HIpVwgHkMqMib0X3UqUuy5IGckPLuM/LboHvvuzfevPaPqDsHjYvUn7+BH xGVj71OcVG8ka2QBbD8WjsZ08=
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
- Thread-index: AQHZLMTJYmmsHN9huU+OUU/Zg+9KvK6nR7kAgAAQrgCAAALWgIAABU+A
- Thread-topic: [PATCH] x86/shadow: Drop dubious lastpage diagnostic
On 20/01/2023 2:20 pm, Jan Beulich wrote:
> On 20.01.2023 15:10, Andrew Cooper wrote:
>> On 20/01/2023 1:10 pm, Jan Beulich wrote:
>>> On 20.01.2023 12:45, Andrew Cooper wrote:
>>>> This is a global variable (actually 3, one per GUEST_PAGING_LEVEL),
>>>> operated
>>>> on using atomics only (with no regard to what else shares the same
>>>> cacheline),
>>>> which emits a diagnostic (in debug builds only) without changing any
>>>> program
>>>> behaviour.
>>>>
>>>> Based on read-only p2m types including logdirty, this diagnostic can be
>>>> tripped by entirely legitimate guest behaviour.
>>> Can it? At the very least shadow doesn't use p2m_ram_logdirty, but "cooks"
>>> log-dirty handling its own way.
>>>
>>>> Signed-off-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
>>> Acked-by: Jan Beulich <jbeulich@xxxxxxxx>
>> Thanks.
>>
>>> with the last sentence above corrected (if need be: removed).
>> I can remove it, but I feel as if there ought to be something there.
>>
>> The other RO types are ram_ro, grant_map_ro and ram_shared. shared has
>> hopefully been unshared before getting to this point, while the other
>> two have unclear semantics (as neither exist in real systems).
> I'd be okay as long as the "including logdirty" part isn't there. If
> we're unsure, perhaps then also instead of "can" either "might" or
> "can possibly"?
I'll just delete it. It's not important enough for the time it's taking.
~Andrew
|