[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] xen/domain: Fix label position in domain_teardown()
- To: Jan Beulich <jbeulich@xxxxxxxx>
- From: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
- Date: Fri, 27 Aug 2021 15:11:26 +0100
- 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-SenderADCheck; bh=1Mqrkah/0CpO1s5pop6urhDZdZNvHIy8hXn4h4jrE+4=; b=SJD6O5tlUcPjIbyG5C2lBrhVuqvpyz8VrHIImlXFBVYnPqzz5LG+Hh8QWKPKL6EK91dfCzZi5t/iebXVuvRNU+lXbCDGMjIAiJhns2Bqt+K6FLUTlHGLzPsCQ3vXB5jidZeAofFurfeqh58zQj6p6/DTdB+sW8WLFff5tURlA8QEz5Gr+N1JeJuezO+mirVoIuUdUynPGABrz+uLWQdO4LehK04NOqyZmOtqAtiVTJvNaaugN2t3jmTLtko9wD5+InmlEbp9M5W15djsBmewKdJWkewybBiI8D69yJH2lrKIu4ZAEJMXy1FyO2XArGpwYXv80E0iv0uBpGVe60BYRg==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=bYGba16iAjUtSDToVfjZVAINPnsBeYZwyacVu9nirTVKNobHoQ+ifOeE1U/n1QX7a8yo3DKLNv3jF2vfGiM364akdrfO9zZBU7BC4hiyqEHse/JovEXn2CtqyptgMxVnF/vp7Cr6tW5iD54ZShuAcoqTKSy5s3MYPN+cJBcuIWgcYrJsh2Sq2th0bQwLt7EqMCPg5L8VqFdUJN7Pz/GQNBdewyih3GefrFUuGksH6IbW5i2SUysoFEZWeVkS6+FcXWSi3ieQboxo1/aQ3gTNcxdnW6TCJVcjqlzkc7kYygIKLzZJfkW1Hll5bgGSe0cKFK1Hz3uGF6mThYWyZqocQQ==
- Authentication-results: esa2.hc3370-68.iphmx.com; dkim=pass (signature verified) header.i=@citrix.onmicrosoft.com
- Cc: Roger Pau Monné <roger.pau@xxxxxxxxxx>, Wei Liu <wl@xxxxxxx>, Xen-devel <xen-devel@xxxxxxxxxxxxxxxxxxxx>
- Delivery-date: Fri, 27 Aug 2021 14:11:42 +0000
- Ironport-hdrordr: A9a23:IAh31qF1er54Mc5RpLqEEseALOsnbusQ8zAXPiBKJCC9vPb5qy nOpoV+6faQslwssR4b9uxoVJPvfZq+z+8R3WByB8bAYOCOggLBQL2KhbGI/9SKIVydygcy78 Zdm6gVMqyMMbB55/yKnDVRxbwbsaa6GKPDv5ah8590JzsaDJ2Jd21Ce32m+ksdfnghObMJUK Cyy+BgvDSadXEefq2AdwM4t7iqnayzqHr+CyR2fyIa1A==
- Ironport-sdr: CuadnjwJkXRDPpK8CHPAE7rvFF9TxyeINjdf83Pogkv/T43iUoZaLjfiD8cRx4lxayiw4VdT9I hdBcplPe3Oc3oLjDaUIRxn1Zryux7FiWVexEJPUDoQnvHUQNK2/PvZqze4AlPynx7L5Or3Z5iM UTQvbJhmaHGPQ4yrt18u0xxHxZiZP8LomV9A0ZgU+b8mUFeOWKR+ulaWE+ihned8UvoBQ60aBh BzBWEAcUye6xtpiS708fs7dqFERpghe5K8XdD2ga7WPAjUCJS3wQ65ZGkfpGGxBERXWXWur+NE 79s4AsR3s3YhhSwOAq+x6z2d
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
On 27/08/2021 15:07, Jan Beulich wrote:
> On 27.08.2021 16:01, Andrew Cooper wrote:
>> As explained in the comments, a progress label wants to be before the
>> function
>> it refers to for the higher level logic to make sense. As it happens, the
>> effects are benign because gnttab_mappings is immediately adjacent to
>> teardown
>> in terms of co-routine exit points.
>>
>> There is and will always be a corner case with 0. Help alleviate this
>> visually (at least slightly) with a BUILD_BUG_ON() to ensure the property
>> which makes this function do anything useful.
>>
>> There is also a visual corner case when changing from PROGRESS() to
>> PROGRESS_VCPU(). The important detail is to check that there is a "return
>> rc;" logically between each PROGRESS*() marker.
>>
>> Fixes: b1ee10be5625 ("gnttab: add preemption check to
>> gnttab_release_mappings()")
>> Signed-off-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
> Acked-by: Jan Beulich <jbeulich@xxxxxxxx>
Thanks.
>
> Despite the Fixes: tag I don't really view this as requiring backport.
> Then again it would need to go to 4.15 only. Will need to make up my
> mind ...
I'd prefer you to backport it. Nothing good will come of having this
difference between 4.15 and 4.16.
Amongst other things, I'm not willing to bet we've found all the long
running loops during teardown. After all, the gnttab one was staring me
in the face for years doing domain creation/destruction cleanup, before
I actually spotted it.
~Andrew
|
