[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] ubsan: Introduce CONFIG_UBSAN_FATAL to panic on UBSAN failure
- To: Julien Grall <julien@xxxxxxx>, <xen-devel@xxxxxxxxxxxxxxxxxxxx>
- From: Michal Orzel <michal.orzel@xxxxxxx>
- Date: Tue, 28 Nov 2023 18:00:27 +0100
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass (sender ip is 165.204.84.17) smtp.rcpttodomain=xen.org smtp.mailfrom=amd.com; dmarc=pass (p=quarantine sp=quarantine pct=100) action=none header.from=amd.com; dkim=none (message not signed); arc=none (0)
- 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=QWmT6zYp75+axsRYKQZyozfn8ezGii1nxBPxHLF2dIk=; b=Nxn/Auod4kZWabVrbmWiyE4j11B/j/jlWyJwbWu8xGJf5GI1e2E6swqdTHgjf1l5YADO4kQaLrh3jhe7GuRjNVZRECliJRf4S/M0JfGcNPtLde5MsTmbtTrR3GFL/+WOblaNnuoAcdHKy6pZe3fdgldb7jDVZhUvyMB5ppdyyBcfbsurVkMMCF+EgV4I//M/z7FD7I25zowpGFjViINA5E7n0gIBAoJkTHQgJXOWcRZ9V9CzrpGxoC7RGD2TLud1Y+lBMR4A+IToJUtSdW02nZS6g+8igN4hQuzbsS7sNXq1okLeUx74aM6AnKsuwMoIEsxOT4Tq6N1UMqYirIkzrQ==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=UBJcBNnrQItSRYhVBdWMrnx2XQm/zHnaV8GVaxL/qTucb/ayX6SUnjAjn0GWwSBiZ41FmLl5CPHFtXjAJE93Tqut0b4lBuZ1hAlUMWfBTF48zW+hXiqB2Ej+h/3gZ4SBAeVHKVmAV0eO6+5R7j8eRHO/I+rLSzFoM+0nx6Na8vobaNTDWd8vgIixFqrpipnKK5q2ZCAkUjspHELuojF/2nadzDN6kUBj/wuKu3BkBo+dZhL+a6FI0FYiHeHJ1h1rY9kwiKKKNrqczjgXAC2A01px2tchZj4XKJ9TfQ77CzcABO969/NbZIUtZiYhDmpr0111YySW3njWfw8LUsrbtA==
- Cc: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>, George Dunlap <george.dunlap@xxxxxxxxxx>, Jan Beulich <jbeulich@xxxxxxxx>, "Stefano Stabellini" <sstabellini@xxxxxxxxxx>, Wei Liu <wl@xxxxxxx>
- Delivery-date: Tue, 28 Nov 2023 17:01:03 +0000
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
Hi Julien,
On 28/11/2023 17:14, Julien Grall wrote:
>
>
> Hi Michal,
>
> On 27/11/2023 15:41, Michal Orzel wrote:
>> Introduce the CONFIG_UBSAN_FATAL option to cater to scenarios where prompt
>> attention to undefined behavior issues, notably during CI test runs, is
>> essential. When enabled, this option causes Xen to panic upon detecting
>> UBSAN failure (as the last step in ubsan_epilogue()).
>
> I have mixed opinions on this patch. This would be a good one if we had
> a Xen mostly free from UBSAN behavior. But this is not the case at least
> on arm32. So we would end up to stop at the first error. IOW, we would
> need to fix the first error before we can see the next one.
Well, this patch introduces a config option disabled by default.
If we end up enabling it for CI for reasons* stated by Andrew, then the natural
way
of handling such issues is to do the investigation locally. Then, you are not
forced
to select this option and you can see all the UBSAN issues if you want.
>
> So I feel it would be best if the gitlab CI jobs actually check for
> USBAN in the logs and fail if there are any. With that, we can get the
> full list of UBSAN issues on each job.
Well, I prefer Andrew suggestion (both [1] and on IRC), hence this patch.
*my plan was to first fix the UBSAN issues and then enable this option for CI.
[1]
https://lore.kernel.org/xen-devel/7421ddfd-8947-4fe1-93a6-dc25a4aa8bbc@xxxxxxxxxx/T/#t
~Michal
|
