Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
Message-ID: <93d0e5e9-eec1-cdab-be5b-cd65f792e5ac@amd.com>
Date:   Tue, 18 Apr 2023 14:17:25 -0400
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
 Thunderbird/102.10.0
Cc:     yazen.ghannam@amd.com, x86@kernel.org, linux-edac@vger.kernel.org,
        linux-kernel@vger.kernel.org, patches@lists.linux.dev
Subject: Re: [PATCH v2] x86/mce: Always call memory_failure() when there is a
 valid address
Content-Language: en-US
To:     Tony Luck <tony.luck@intel.com>, Borislav Petkov <bp@alien8.de>
References: <a5d0c575-ba4f-1120-c7ee-bc37e8d40402@amd.com>
 <20230418180343.19167-1-tony.luck@intel.com>
From:   Yazen Ghannam <yazen.ghannam@amd.com>
In-Reply-To: <20230418180343.19167-1-tony.luck@intel.com>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?ZnU5N1JRM3NKbWlTOExMOGVaY1Jxb0FVUlY2K1ZFcS9ETm9JMUVsMmp3RFMw?=
 =?utf-8?B?UCs1cGZuMk9ET0lhb2RzQlcyU3d3aUJ0UXN5QVR6VjhRRkpBNjh2MTVybUsx?=
 =?utf-8?B?OXhaWEpCUlFMRmljZTI1VGl1ejN4T2VPeW9Xeng0NWZHQzBPYzc1Skp2Z09V?=
 =?utf-8?B?RjdkSFp2ZEU3VUJ6K0RQR3BkLzdXK1krUGtwdFlYazJhSlRMYnVPUGx5ZDd3?=
 =?utf-8?B?OFdLRGdHYmNUcllRRHpMbVVUSFQ5cE1uUFJ1MktERnRKR1lUVmUrVGtmNFFO?=
 =?utf-8?B?RklWaE1RZXQrKzNIV1E4bzFmL2hXNmtGc0ZFMGhNRE1WY1ZJQnhrTTNsWDE3?=
 =?utf-8?B?TUhNVnRkVjJnNlVDWVFpSHphR0N4ZG8raS8vaWFWMFpMQWJwbGQ2TmxCclYz?=
 =?utf-8?B?bGdZM2kyaXM1WDlNcjBGcWgxSGlHSlNkVnIzRDNkSDZpbVNmbHE3MjRiUzRO?=
 =?utf-8?B?VmFVTzFFems2OG1OYThCR3hJQWZFVE1FTWxBaVJLVXNSeFJVYWo0clJmL2J0?=
 =?utf-8?B?SEJUT1pQUmt3bGlXSFdIMmNDN09FTFZmaEVQRTNmZWUxWjVMYjEraUkzRGF5?=
 =?utf-8?B?M0pVUUhKTzRSeFROUVY1c0ZqbXBQZWhWY1VZengrcFRNWDdzNFJLb2ZHV2Mv?=
 =?utf-8?B?WmVlYkZ6QW1IbzVtcy9haEdZRy8vT3Z6UGRWY0JYSWQ4dmptN0pVeWg2OGFm?=
 =?utf-8?B?d1k5UlU5T1dxQTF2Mno2RzVnUjQ2RXhXd3Y5UjRYNWtEOERqa05ZVmNvc1VE?=
 =?utf-8?B?TjdsMEU0OFp0bEowYTFaaGtFZDdQODErY3RTZUFDQ01TOUtSQlg3eFcyNm5z?=
 =?utf-8?B?WTZEVFA4NE9kZGgyNUpxLzBTbjZWckk5LzFlMXBpL2c2SmlZL2NBQzlZbGlv?=
 =?utf-8?B?dUJkcHcxODFyWGw1UVI4SXhrK2RZcXZINDdxbC9WalFXbElSaDd5RDhTU3I2?=
 =?utf-8?B?T0Y3RzFza2c4V1doSnovSG03VVRXWGVSSlFTWThQa0dablYvUExVQnpkY2oy?=
 =?utf-8?B?eXZKM01ZNG1SQW5iTnU1ZjczUUM3NzRIQnZ0VHppR1pkbEhvQUlYQUNIeVQw?=
 =?utf-8?B?NCtERTNNQU90anBPZTNvMWlOTEZ4ZjJiRXo1ODgrMjV2M3BsQitRMHRMN2lu?=
 =?utf-8?B?Q0dJZ2pCZmU5K1lnclo4V2FjNit5STVMdFZaaVlxbkk3T3E2LzFyTkxTYzFT?=
 =?utf-8?B?alhSS0UycUtJczB2VmNzZXh6blBLeUxtS1EwQVZLTzlRUU1wdk92ajZxcUU0?=
 =?utf-8?B?VDEyQVlScXNrTXBjS1F3Rms3WWZBTkNLem1DUllJdk1ScWs3TE45emZzTjZE?=
 =?utf-8?B?N0wzWnh0dC9oOEE4RVZRR0hrNHlMeWx3VE9GSEVLZGN1Y2k3RmlrUEZqWGJm?=
 =?utf-8?B?MEFQMS9NSGlZdkxLYXhNdlczRkZ4clp0ME5jRm5PS1VsdDd6NTlmQXRvN1hQ?=
 =?utf-8?B?MG1zRGdjVlVmZVZQdkxkRUs2K05hL0MzTjVtdFkrWmMvY1B5SkhLVUlVM0h2?=
 =?utf-8?B?dkxiKy9rSkUrdDhkcENIQjBoaU5aSlJJOFVzbzdBWHQ4bGtIVklyb2R0UDFO?=
 =?utf-8?B?RmN5eEcxQ0dJWHJ3THhrTG5KWnV6ODE3dk5WdnpYWXBmVDNtM1hMbXdxc2Ur?=
 =?utf-8?B?V1BDMmgwSFgyZlJyaC9UL1N1czMyNWd3YXIrZ20xRHVrM2QwcG13NDB6ektv?=
 =?utf-8?B?di82SlRCQWh1Rjd2cEdKYVBzdHBzTFh4ZEtFUHNWbWdBbDJaR09id3FudXkr?=
 =?utf-8?B?N0NibDdVYkdqNW5BQTRqQklsQldNZmtzeFo0TWs3c1lPMzd6WEtPYWhhM2pJ?=
 =?utf-8?B?VUlPM0ZYRi92YWFyeFZvb2hDaEFYcVNoZTNQSDA2RXFxMUZNSzZvdDViajN5?=
 =?utf-8?B?YkVJTGltNi9QU2hyVExrN3lLcWNlVWN4MjhDWUJ1Q3ZRc0FOeGl6MDA5YnRY?=
 =?utf-8?B?b3QremltUGJsQUxXS3ZVVjlqTUJ2UW93Vk93MnVqR0wzQzZZWC9sOWt0bFZE?=
 =?utf-8?B?ZVdLaE14dUhKa1dsR2ZZbDl2U3VIK2hOZisxMjZJQmFYOVFKS2NzekVSdFg2?=
 =?utf-8?B?ZHZGbHE1WHhDald5TXpRR0FyTTAxcWsraEl3TzVQUU93M0ZIQUcwWFJPRGtQ?=
 =?utf-8?Q?/c7Ks1fXoZYzCSFwaacpMZmW9?=
X-OriginatorOrg: amd.com
X-MS-Exchange-CrossTenant-Network-Message-Id: a35a5c5f-3207-4853-e46e-08db40392a64
X-MS-Exchange-CrossTenant-AuthSource: BN8PR12MB3108.namprd12.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 18 Apr 2023 18:17:27.3147
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 3dd8961f-e488-4e60-8e11-a82d994e183d
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: JFHq79jPt/5b1a3VrjYj8JBHjYifhjrUh13IUgn/FezbftQmb96FVZyktwivYQ22qqBDHYwbukwmfiIGIWBGRw==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: SN7PR12MB6766
X-Spam-Status: No, score=-3.7 required=5.0 tests=BAYES_00,DKIM_SIGNED,
        DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FORGED_SPF_HELO,NICE_REPLY_A,
        RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS,SPF_NONE,
        T_SCC_BODY_TEXT_LINE,URIBL_BLOCKED autolearn=ham autolearn_force=no
        version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
        lindbergh.monkeyblade.net
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On 4/18/23 14:03, Tony Luck wrote:
> Linux should always take poisoned pages offline when there is an error
> report with a valid physcal address.
> 
> Note1: that call_me_maybe() will correctly handle the case currently
> covered by the test of "kill_current_task" that is deleted by this
> change because it will set the MF_MUST_KILL flag when p->mce_ripv is
> not set.
> 
> Note2: This also provides defense against the case where the logged
> error doesn't provide a physical address.
> 
> Suggested-by: Yazen Ghannam <yazen.ghannam@amd.com>
> Signed-off-by: Tony Luck <tony.luck@intel.com>
> ---
>  arch/x86/kernel/cpu/mce/core.c | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/arch/x86/kernel/cpu/mce/core.c b/arch/x86/kernel/cpu/mce/core.c
> index 2eec60f50057..f72c97860524 100644
> --- a/arch/x86/kernel/cpu/mce/core.c
> +++ b/arch/x86/kernel/cpu/mce/core.c
> @@ -1533,7 +1533,7 @@ noinstr void do_machine_check(struct pt_regs *regs)
>  		/* If this triggers there is no way to recover. Die hard. */
>  		BUG_ON(!on_thread_stack() || !user_mode(regs));
>  
> -		if (kill_current_task)
> +		if (mce_usable_address(&m))

This should be !mce_usable_address().

>  			queue_task_work(&m, msg, kill_me_now);
>  		else
>  			queue_task_work(&m, msg, kill_me_maybe);

Thanks,
Yazen

P.S. I had the exact change in mind. :)

Copying old patch here. Feel free to reuse any of the commit message if
it helps.


From 1123d883470c49babe7c390c67e604b658acb913 Mon Sep 17 00:00:00 2001
From: Yazen Ghannam <yazen.ghannam@amd.com>
Date: Fri, 8 Jan 2021 04:00:35 +0000
Subject: [PATCH] x86/MCE: Call kill_me_maybe() for errors with usable address

Call kill_me_maybe() for machine check errors with a usable address.
This ensures that any memory associated with the error is properly
marked as poison.

This is needed for errors that occur on memory, but that do not have
MCG_STATUS[RIPV] set. One example is data poison consumption through the
instruction fetch units on AMD Zen-based systems.

The MF_MUST_KILL flag is passed to memory_failure() when
MCG_STATUS[RIPV] is not set. So the associated process will still be
killed.

The scenario described above occurs when hardware can precisely identify
the address of poisoned memory, but execution cannot reliably continue
for the interrupted hardware thread.

Signed-off-by: Yazen Ghannam <yazen.ghannam@amd.com>
---
 arch/x86/kernel/cpu/mce/core.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/arch/x86/kernel/cpu/mce/core.c b/arch/x86/kernel/cpu/mce/core.c
index 89c81e9992d4..bc2523384357 100644
--- a/arch/x86/kernel/cpu/mce/core.c
+++ b/arch/x86/kernel/cpu/mce/core.c
@@ -1555,7 +1555,7 @@ noinstr void do_machine_check(struct pt_regs *regs)
 		/* If this triggers there is no way to recover. Die hard. */
 		BUG_ON(!on_thread_stack() || !user_mode(regs));
 
-		if (kill_current_task)
+		if (!mce_usable_address(&m))
 			queue_task_work(&m, msg, kill_me_now);
 		else
 			queue_task_work(&m, msg, kill_me_maybe);
-- 
2.34.1