Received-SPF: pass (google.com: domain of linux-kernel+bounces-156063-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:40f1:3f00::1 as permitted sender) client-ip=2604:1380:40f1:3f00::1;
Message-ID: <de2fa68c-e815-4b21-9b8c-f1893fe49b47@oracle.com>
Date: Tue, 23 Apr 2024 20:50:45 -0400
User-Agent: Mozilla Thunderbird
Subject: Re: [RFC 3/3] x86: KVM: stats: Add a stat counter for GALog events
To: Sean Christopherson <seanjc@google.com>, Chao Gao <chao.gao@intel.com>
Cc: kvm@vger.kernel.org, pbonzini@redhat.com, linux-kernel@vger.kernel.org,
        joao.m.martins@oracle.com, boris.ostrovsky@oracle.com,
        mark.kanda@oracle.com, suravee.suthikulpanit@amd.com,
        mlevitsk@redhat.com
References: <20240215160136.1256084-1-alejandro.j.jimenez@oracle.com>
 <20240215160136.1256084-4-alejandro.j.jimenez@oracle.com>
 <ZhTj8kdChoqSLpi8@chao-email>
 <98493056-4a75-46ad-be79-eb6784034394@oracle.com>
 <ZhkQsqRjy1ba+mRm@chao-email> <Zh7E3yIYHYGTGGoB@google.com>
Content-Language: en-US
From: Alejandro Jimenez <alejandro.j.jimenez@oracle.com>
In-Reply-To: <Zh7E3yIYHYGTGGoB@google.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Precedence: bulk
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: 
	=?utf-8?B?TmVXOHcvakQ1c2lLVnVCUXB0bWxxMkRHSXRDUytQOHViYS9vYXJQeDgrdENY?=
 =?utf-8?B?eDRBeXBndnkvbXVINVh0VE5kM3RMKytPU3FFeklWTzkwMFA5SDVKM2hSVko5?=
 =?utf-8?B?aVFxTmdoQlZ5ckdRL0dwZ3ZsYWtjNXJONjVNUlpUVnNXMTFENVlCSjF1bTRW?=
 =?utf-8?B?cG9JTFFXaFBVeEdYOHlLWDFhNXJtL2lLUWlYWmFxVEduWlltTDVkZXpXdElo?=
 =?utf-8?B?dFBlamtLbG5HeWZsbHhWUVh0QWp5OFFFVVovTEhzSnlTaktaUTE1cmtOOG5F?=
 =?utf-8?B?L0FNbWphRUVqTG5GVlIvZ29taU9QR0t5K3cyMDRhTS9oSVB1T0oreCtzQmph?=
 =?utf-8?B?K2lFZWYzMXVqSlpSeWhnR2VDUllsZGNKdDdpMCtRampjTnh3VXZmVW1nN0VD?=
 =?utf-8?B?K2NqRWtpakw4V0h5TmtGb2JGa04rOXJmR1FPY0FZY2ZwdHZWNVFwcDFNY0F0?=
 =?utf-8?B?b3lFSWpiVG5IeGdEWFVMb3RVL0hJaW1ZVldqejdQbC9PY2VqRG4yTm5DaERt?=
 =?utf-8?B?SFJwR2NoeEZEaVFSYUlBTDR1d1NIdlRpZDROTDdlditlQ0NRR2pteThEb1Zj?=
 =?utf-8?B?ZEE2ei82VDBtNVhTWEsxWlA2clRGWWZNb2oyT3QvRWo5dzVvNENqb0RwdlZE?=
 =?utf-8?B?VlFnRVY0OXBUWlMyNUdrZHE1aXJFMHA3Y1VuYzI1bk94MU1RdmZpREtlSi9u?=
 =?utf-8?B?RDBjSmJITGVkYWhKWnQ3b0FnRkN6d2lIRzMrb2xiOVZIcVdNSWJuZGhqcm1U?=
 =?utf-8?B?eTJENEpRSVlQYU1JM1ViL3ZKOHR0c0E0YlBEa1Fwb3R3dEtiODMvSlVlaktS?=
 =?utf-8?B?ZGZhYmFGQ3grZlgzcG9jeU8rK3A2UUFVZHpXN3lKcUNWNkZQcG95OERVTjRh?=
 =?utf-8?B?R2NhbUo5Rk5YajZoWW1wNW1xVHpFV0RrNjhsWDM2UVk1WnQrQXB4NXBFMmlN?=
 =?utf-8?B?Sk1rTHpJWVpLOXg5QW9NVjB2VERjaDJGUnQvNHg0UjJkeFZWRnpseFY1YWUy?=
 =?utf-8?B?bDZUYmRNZ2dreFl4OVBJcys4MXlQSm4wVGFRYy9jUnQ0dWtkdklhbW1tNDBp?=
 =?utf-8?B?bHhFWVV6SXMzNitzSTRWMEdGczBoV1pIRkNGYy9SYk5VR09jRytUdjhyTCtZ?=
 =?utf-8?B?aDdEM2dKSUJ4V1BGZGhTd201NSs0WTV2YWU1NFpZTFpVZFRIV1d6WlVseVEv?=
 =?utf-8?B?VEdkK1lNODJEaFl4aGJpV2VyRFNvb3AvOTR5emVic1NjNU8rcVFyaloyQ0ln?=
 =?utf-8?B?dE96d3Nuc3NQNkpNMEtCVkZ2RCtqL09QY2N1NHY3YlBNN0Z3WThzS3lkQ3Fr?=
 =?utf-8?B?VEhVc2dFQm9adlJJZzFRNFBOcm8ySXJvUVU3OUE4aG9zQXp2UnlxYjI2MGpu?=
 =?utf-8?B?OEIyaDJjYnJVZjZyeW1ybjl6QWF5R1RxTmFVRmxJSHhSRjluWHQyVHRWQ1Fi?=
 =?utf-8?B?Q3NmVllLRCtJVmJhWlord0N4NVlRZDVsbWZoVlEyZTd1VGljNzlZRm5Xb0Fw?=
 =?utf-8?B?ZzdkTEV0Ymh0aDFvRmVpUGF1SEI2eGJQeGNUTTdyalBFR2kzakJQeGJoTC84?=
 =?utf-8?B?WCs4TFhzWGNneUxKMGV3L0JlQkZXTk50MHlnbDB0bnp3bU5NdUk5MTFsR3JZ?=
 =?utf-8?B?L3U2WVg5QmxDbUxRM09BMHdtL3RiTGN2UGtodkI2VHdiWEJQeXRRbmRtSXFF?=
 =?utf-8?B?TnU5Zk13MVdJK3BkbHMxN2dZSlo2Y2JlMHNod3Nsa2p5Z0hDeUJscGE1OUIz?=
 =?utf-8?B?R1dUcGp5QXVjRFlKUUxrRE5qT2JFZDJ0YXVPbWkyUXlmSHNoR0pycGVWWDRT?=
 =?utf-8?B?S2xyU0NUYWIyeU84ZHhSQ0F0UXpqWFVEVWtTR3lQUndkTkQrdkdLRlNIU2Zh?=
 =?utf-8?B?SGZmdEw0OXhoRkQ0ZUVicWxuRlJiOHdYSDV6SVJjNThoTkpjTTVuSVRXZWMz?=
 =?utf-8?B?bjU1UDk1VjM1b3Z5bUJjTGpqTmtGSVFzTHQvU0k5NUZzbkIraDhtVWVGSW56?=
 =?utf-8?B?QjFCZlhxOU4rY1dMUVlvTnRub2k5QWIxQ2wzUlpJWER0dDlTMXNrTDEzY0lW?=
 =?utf-8?B?OU1oVU9BTVdMNGFXRzVTdnJtMUlhOHpTVEZmTURoaXUybjJmTEl5NENDUThx?=
 =?utf-8?B?YmVaMXlOUEpudVZrVG1rV0dybjJtVEJYSnl6d01nd3pnQjR6MCtoeXVZdzk2?=
 =?utf-8?B?RUE9PQ==?=
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: 
	+2FP0NwZ3AXhDlcXIPCrH7RSrFTIWmXXvYzMq7YqaRFJzi1/9hHR5kiqtmxpzfSdhcGkNfcV5Aow3xSm5h9dvJO7GEJ3P6nemKQxXyoXZ1/05bmOZqwvpUv4KKqdYbSLojipGhpTdJwdMPea0Tc84jOviZgvcIMtpxyHDFKX8YydXn2X2DgfHpgfr2ixr2ro0lqx3jY8wbTQmBkmYsupHSilH4O0BUSGfa8ml4GTh+iF+5xsWdcil+lkYpOcb40PT5EdCjagNiX0c45OSBf7apLb/ZZOr/MdY/p0uiweUZe/57VYoW8nCK2VPJOXaM55qLe68bZhhrA99OaCmZcTqAuBmjc4GzmHH/i+rfv0Ii57qyj/kMWV+i39aBOH4nkJohs0Je6SIpG5U+/6nLqG2RV2dLtzrFPp2jt30WY9WnY8iSyxl/Dbwjo+HHlcMEgacMARHjWsjYdOhaJy0gJRUbiX5llzUPCpyogft4osUKjebh4djUJVdiK/mkANCQYsbp5fhXe8QL0DGISTfa2Mg8QdcLFuQIhLvQacEi0nQqpzPHexpX2hK9hQBlRcwttnNS9vGr6u8YvOGHV2qgD8qqFS0p3FhnDtD6CrxThAcV0=
X-OriginatorOrg: oracle.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 75f8a8fa-b012-49fe-8bcc-08dc63f89769
X-MS-Exchange-CrossTenant-AuthSource: DS7PR10MB5280.namprd10.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 24 Apr 2024 00:50:52.5433
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: ke7ROWxSc7dDyXH6MuoqJnkE4hqecxvL7B2jJdTD2PfzSQDJ6bLtZ5HrKmw/ctafYee5d1EvNBRBJI3mKJ8BX9BBUVKHCGOwXinNenrNBag=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: CH3PR10MB6689
X-Proofpoint-Virus-Version: vendor=baseguard
 engine=ICAP:2.0.293,Aquarius:18.0.1011,Hydra:6.0.650,FMLib:17.11.176.26
 definitions=2024-04-23_20,2024-04-23_02,2023-05-22_02
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 phishscore=0 suspectscore=0 bulkscore=0
 mlxlogscore=999 spamscore=0 malwarescore=0 mlxscore=0 adultscore=0
 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2404010000
 definitions=main-2404240003
X-Proofpoint-GUID: UwCIkDyjfBbj8Nasfd7YZgN5nuCAXu8_
X-Proofpoint-ORIG-GUID: UwCIkDyjfBbj8Nasfd7YZgN5nuCAXu8_


On 4/16/24 14:35, Sean Christopherson wrote:
> On Fri, Apr 12, 2024, Chao Gao wrote:
>> On Tue, Apr 09, 2024 at 09:31:45PM -0400, Alejandro Jimenez wrote:
>>>
>>> On 4/9/24 02:45, Chao Gao wrote:
>>>>> diff --git a/arch/x86/kvm/svm/avic.c b/arch/x86/kvm/svm/avic.c
>>>>> index 4b74ea91f4e6..853cafe4a9af 100644
>>>>> --- a/arch/x86/kvm/svm/avic.c
>>>>> +++ b/arch/x86/kvm/svm/avic.c
>>>>> @@ -165,8 +165,10 @@ int avic_ga_log_notifier(u32 ga_tag)
>>>>> 	 * bit in the vAPIC backing page. So, we just need to schedule
>>>>> 	 * in the vcpu.
>>>>> 	 */
>>>>> -	if (vcpu)
>>>>> +	if (vcpu) {
>>>>> 		kvm_vcpu_wake_up(vcpu);
>>>>> +		++vcpu->stat.ga_log_event;
>>>>> +	}
>>>>>
>>>>
>>>> I am not sure why this is added for SVM only.
>>>
>>> I am mostly familiar with AVIC, and much less so with VMX's PI, so this is
>>> why I am likely missing potential stats that could be useful to expose from
>>> the VMX  side. I'll be glad to implement any other suggestions you have.
>>>
>>>
>>> it looks to me GALog events are
>>>> similar to Intel IOMMU's wakeup events. Can we have a general name? maybe
>>>> iommu_wakeup_event
>>>
>>> I believe that after:
>>> d588bb9be1da ("KVM: VMX: enable IPI virtualization")
>>>
>>> both the VT-d PI and the virtualized IPIs code paths will use POSTED_INTR_WAKEUP_VECTOR
>>> for interrupts targeting a blocked vCPU. So on Intel hosts enabling IPI virtualization,
>>> a counter incremented in pi_wakeup_handler() would record interrupts from both virtualized
>>> IPIs and VT-d sources.
>>>
>>> I don't think it is correct to generalize this counter since AMD's implementation is
>>> different; when a blocked vCPU is targeted:
>>>
>>> - by device interrupts, it uses the GA Log mechanism
>>> - by an IPI, it generates an AVIC_INCOMPLETE_IPI #VMEXIT
>>>
>>> If the reasoning above is correct, we can add a VMX specific counter (vmx_pi_wakeup_event?)
>>> that is increased in pi_wakeup_handler() as you suggest, and document the difference
>>> in behavior so that is not confused as equivalent with the ga_log_event counter.
>>
>> Correct. If we cannot generalize the counter, I think it is ok to
>> add the counter for SVM only. Thank you for the clarification.
> 
> There's already a generic stat, halt_wakeup, that more or less covers this case.

I don't think we can extrapolate PI-originated wake ups from halt_wakeup, since it
can/will also be triggered with APICv/AVIC disabled.

> And despite what the comment says, avic_ga_log_notifier() does NOT schedule in
> the task, kvm_vcpu_wake_up() only wakes up blocking vCPUs, no more, no less.

True, both the GA log and the PI wake up handler just call kvm_vcpu_wake_up().

> 
> I'm also not at all convinced that KVM needs to differentiate between IPIs and
> device interrupts that arrive when the vCPU isn't in the guest.  E.g. this can
> kinda sorta be used to confirm IRQ affinity, but if the vCPU is happily running
> in the guest, such a heuristic will get false negatives.
> 
> And for confirming that GA logging is working, that's more or less covered by the
> proposed APICv stat.  If AVIC is enabled, the VM has assigned devices, and GA logging
> *isn't* working, then you'll probably find out quite quickly because the VM will
> have a lot of missed interrupts, e.g. vCPUs will get stuck in HLT.

ACK, if the device interrupts are not being handled correctly there will be lots of
complaints during device initialization as we have seen before.
There is one scenario in which you can have APICv/AVIC enabled but only doing the
IPI acceleration, while device interrupts are still using the legacy path.
It requires booting the host kernel with 'amd_iommu_intr=legacy'(AMD) or with
'intremap=nopost'(Intel), so that is a special case since you must explicitly
request the behavior.

In short, I typically use the GA Log tracepoint to confirm IOMMU AVIC is working
as expected, so I wanted to provide the equivalent via the stats.
If we want to have a common stat, we could have a pi_wakeup stat that is incremented
both in ga_log and vmx_pi_wakeup_event, but I do understand that is not strictly
necessary, specially if we want to be conservative with the number of stats.

Thank you,
Alejandro