From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from YT5PR01CU002.outbound.protection.outlook.com (mail-canadacentralazon11021113.outbound.protection.outlook.com [40.107.192.113]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 8DB4433557D for ; Mon, 16 Mar 2026 18:24:42 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=fail smtp.client-ip=40.107.192.113 ARC-Seal:i=2; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1773685484; cv=fail; b=RqzEOk+jlgitZLuib/G19dpDyDrU59bc59xfd7FPe5DiK0X+0lz3uFGGbBWNcI0yo7W9dsTBERwxoOwMbtTFgRoK3VlnLjv/tX2w+EGvF/wfR75fRGu6bsn/s3dzv6fWgNcaQim+4TNnlhSj3EcEtH9lAXcrNTytWeaU3Pb3K44= ARC-Message-Signature:i=2; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1773685484; c=relaxed/simple; bh=narkKC4zsB243FRth6L+lPmOpbftOym8L6HfubG+hOA=; h=Message-ID:Date:Subject:To:Cc:References:From:In-Reply-To: Content-Type:MIME-Version; b=jrt3+kcDK/0GRNkECY0neRmfj+AjRGnKGqMOf2EHcGp+4tuaEoWRV86DPe7u8uZk7yfSC/LneZneBiogex4rmPPWOeL3XI95VnpLEknjlYmcYWVStH/uCLvCskGDRZoStQOdEyZb4oOK1L06Xtz/AdyIqJDlL93FLUdVHwSvGUo= ARC-Authentication-Results:i=2; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=efficios.com; spf=pass smtp.mailfrom=efficios.com; dkim=pass (2048-bit key) header.d=efficios.com header.i=@efficios.com header.b=QdkmMgAS; arc=fail smtp.client-ip=40.107.192.113 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=efficios.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=efficios.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=efficios.com header.i=@efficios.com header.b="QdkmMgAS" ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=ny7aFgUL9U4Tk7+IjVLWcwfHpyrO81bE4fN9ZO/qXwaG3XullAHNRmGvXVTQBjUtE+ilQMsVyoa2ZmigSfv7kqf4WFzb2xrEqq75Wg/MRdEtFCfq2Cn3DrpAmHCrB6AzL+DYrA4KZzZZTqVFh8mkRzXx9mb011kQJzHpaYxuzJJ3yJzbHDhwaElf/T9flEp0NYefmgbHOpFJZWr7Fkl6ujoswFaak+R4r0LP5LanmwgLYwxX62NgVwh+ZnXqU4VX+ykBoHsjO+P7AsgRCD0qk7Xa1RvNg0mXMYz3bWnoDAm4LcFBaTcpwmywFINmRPkcYMZ7UfzoXV/tE7k8UfVW/w== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=JntNdXNR15pMSiO2/aAkWpAmNrhPH70KnuNWb8BcbF4=; b=W5b4L/NpuJ3IDS+oGjKxrV3/aG3ElAS13q3KtLjQjVQ4jrwcAUzH0hohORL0iwJ0oIh0plqulTUwra+NiI3rlJ41/aS0TwmZU9l2Q4S7Q+EL5NwpXkO8rSCXkiXUCa1N9mkpCxZ5c+/omidv0Dd3sXRlwqzo8fF1R60oUG6P/n6wcdJ0YGUbdKYHpx16hhv+DXMJhKf/HqNYhwN9ZKWSaVsqNxlIUF/Pvqxtcuhc2bRSsvvqeGzTfgzSYIGpcdlf9qgF1VgPNop1osgZszIW4XzpQ5xi2MYRNM/eIF2FDlHLqvniPUQulR9My7yn7YIgGoHSL1LY2wBMCQSXfkC40w== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=efficios.com; dmarc=pass action=none header.from=efficios.com; dkim=pass header.d=efficios.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=efficios.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=JntNdXNR15pMSiO2/aAkWpAmNrhPH70KnuNWb8BcbF4=; b=QdkmMgASGBBHbrm+Bwr06JjhuuHPktKd5h1nEgUZm3R6lozZtLEKV+NYkqtS6vKDgt5+dq6ZidFiXrII0Fb2kLsOlnPFX/q7maAtBFkjFcQk8YvxZnNwqHygc9e5oVZUMBwdK9vve/SzHTqRqrbH2NMHpFs7PO2fCa0+Q08p7l7B86xD1wj1AHbOQJ3NmrFe6X2IMwenQXRZ7DF4Dk0jjXZ3ZgfzzWSAfq9snGs07H7pYajdcaPLql93dvGvxoON2E7uB0Pqes9y44uYPRomdSTS0iFS+Tw/rOTxW5+rRwjogg9ezCXFNrN2aJupYfynTIBgi05hIRJkUf2rKIfnLA== Authentication-Results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=efficios.com; Received: from YT2PR01MB9175.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:b01:be::5) by YQBPR01MB10512.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:c01:82::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9678.25; Mon, 16 Mar 2026 18:24:40 +0000 Received: from YT2PR01MB9175.CANPRD01.PROD.OUTLOOK.COM ([fe80::6004:a862:d45d:90c1]) by YT2PR01MB9175.CANPRD01.PROD.OUTLOOK.COM ([fe80::6004:a862:d45d:90c1%3]) with mapi id 15.20.9700.024; Mon, 16 Mar 2026 18:24:37 +0000 Message-ID: <9634b949-4585-4ba1-981a-e328a71c5c49@efficios.com> Date: Mon, 16 Mar 2026 14:24:35 -0400 User-Agent: Mozilla Thunderbird Subject: Re: [patch 4/8] futex: Add support for unlocking robust futexes To: Thomas Gleixner , LKML Cc: =?UTF-8?Q?Andr=C3=A9_Almeida?= , Sebastian Andrzej Siewior , Carlos O'Donell , Peter Zijlstra , Florian Weimer , Rich Felker , Torvald Riegel , Darren Hart , Ingo Molnar , Davidlohr Bueso , Arnd Bergmann , "Liam R . Howlett" References: <20260316162316.356674433@kernel.org> <20260316164951.209959583@kernel.org> From: Mathieu Desnoyers Content-Language: en-US In-Reply-To: <20260316164951.209959583@kernel.org> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-ClientProxiedBy: YT4P288CA0070.CANP288.PROD.OUTLOOK.COM (2603:10b6:b01:d2::18) To YT2PR01MB9175.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:b01:be::5) Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: YT2PR01MB9175:EE_|YQBPR01MB10512:EE_ X-MS-Office365-Filtering-Correlation-Id: 8cbf94e3-aa17-41b7-4e4a-08de83894809 X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|7416014|376014|366016|1800799024|22082099003|18002099003|56012099003; X-Microsoft-Antispam-Message-Info: Lqb0dc2gK/tyReG7MtqOzgYRnSA3hQlxn5CY+/p3J8Uz8De03CSzX9Bgoh6E6Nby9aJnxZLG0q5FvID1GRCF4jNNbGVatfk725ZjZDjeAq4Q4kDdFEc0wIMtqiBHnVVQ74H4CtzzOuYslNbMdU2Fi2TFaCY+LmiQirJmOFY3vELiX6asFxS+l2/GNHhFrhiuyS58JCAKyuphA4qXCgvnkd8DG7ytW7lamK/8BkIbssdaG3u65SO4J2lKTC7oSetPOkknCeTpp7V8IVWymc3xCumilMYA2RnAu3Yu7ua+JeM7eLTdd75+JNM75H9z0uheQ4SM5MPL3d9EOCrUs08xPhCzA0LErLE0X7rIdTGMQYjIOOSj7W6Rq36uj67N/UzrKbsLyCdFtqXf+DrBI39oC3Fo5Q/A4bNzZA9DMBgbq9HxrGlKjfTVqKnqM80Eq3d3/bIBedV4TonbrKcvONpxa3TC0oQzZQ2kT6CLYy3Fl2LuRBapc+FA6MlMaahyIH8lMb3IFxlQwmfyBasZ1ojlPDQpzwQ0HGeYnkofIephHzvmsGpwI/McsMSN1JHJjBI75v5WqDlkKnWljq7SSffvJhRm2IoD5SnfPiQhZ1t4xIcA2we3cxy2b0SpLfM0mc492h6HKPvEuZsvg7dG/0a39Qb/C0HpWt2CJxCmslDEs4s= X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:YT2PR01MB9175.CANPRD01.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230040)(7416014)(376014)(366016)(1800799024)(22082099003)(18002099003)(56012099003);DIR:OUT;SFP:1102; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?dENMZGUzU1BXZGxSZmtrZXRWeHM4TjZkZTNGeHBPMjNQTWFOYWQvaVRuek8v?= =?utf-8?B?YTErVm5MTXc5VUsrU0xlalpjcGhudXpZZTNhNHZHTmVIL2ZKNjYrYWpzYjVW?= =?utf-8?B?NkE4QVRtQVU5Y2JHMU5DWUVqWmE3SlR1dzVHTVFCWjRXaXVOMjlYNTdSQkRs?= =?utf-8?B?YlQ4emFtN0ZlRzY3RCtvV0swUnhRdUN1K1N2c2hTMGQxYmFJd01YbjJNV05r?= =?utf-8?B?QVpwMjU3ZU9nWFEzVEZOKzJWckhlU0VsTHF4ekpCQXUzamtkWFBHT1dCS3NW?= =?utf-8?B?bzhtN0RLazlTSE15NUpJZ1JxWjNESjVKNHhnQ2tpK2Y4dW5Yam92NkZWb1ZW?= =?utf-8?B?RWlTUXdLQmRSdWFNVGYvU3BXeDd0Qzc3dWxvd3dsbkhvOGNkU1ZvN3I4L2Fr?= =?utf-8?B?Q0pIdDVHRU5QODNSbkZScnJzWmc2T3dGR0xtV1ZZbXlIYWxDRi9aWXc5YVI0?= =?utf-8?B?LzE0Y3hnUlhnMWxkSjBzL0NrZzAxMzV2MXBNcHRha1dJQ25YYkkxWVdQSzdZ?= =?utf-8?B?a1cvYmpJN3VyazF0YU1FL1hoUHdIenNXTTJPdExZRnNLMmpScXpsZ0Y0Zmhh?= =?utf-8?B?d3hrWmxkSjRVaDNmaitJOFRyVTZUbzdhYWN1ZTFac2tua1dQVEY3VDhpSVpt?= =?utf-8?B?Z1Jyb1krMnFwRmE2YmxBVndINDFUOS9ESW5jK0hDL0NtMURUdU9jc0hjd1VH?= =?utf-8?B?YkpCbHlVQ2NqRFpsN1pqeHlGU1V1R29icEFFbUxlZ3RxNTJVMy80WWlHQnFW?= =?utf-8?B?b1RwN3hXbTBCV2FlZDNPemtWUXF3Qzl6aURYbVV5a3lJa2FMS1JzcFIvYTZE?= =?utf-8?B?YkRhL2poaWhZMGJZdVpuZEsyZEFiMEVCTTQwSmtSS3lONzlEUjFYcDlNM2hS?= =?utf-8?B?aWNHNGVwNnNMNnB0RWpkNjA1aEp3QXRDRFZjdDVER3NaVmx2Mmd6OHY0cjlG?= =?utf-8?B?NjVMdmI5eHRDRjNwL2Q3bDFETk9rMjZBMFB0OVh2cUtTV3M1WFE0T0k3WVc3?= =?utf-8?B?YU8yVmhsV2hZYTluTHh5bHJkVXpHeWcybFdKNmVNcmhTenNZa2c0MmN0Q1U2?= =?utf-8?B?V3k1RTBSRWM5UEloWFVaYUZaYkxEc0tDK1dFelpNTURsRXk0SHpXMWZpWExM?= =?utf-8?B?TWloVUlBRGc5V1d6V0FTRVFrZk9xNm4wU1lPV2pCOXAzaHJwOElyWnZMUHBD?= =?utf-8?B?K3I0TDNoQndCY0VmMG8zQUFEVTAydXJpWmN5NTJHVkNWdlg0OGM4REx3MnJN?= =?utf-8?B?THVKckRFUHl1THplcDJpeGh0SFRJU3pCcG5YRDFWSG1VVGZ0QmNuYjBYOTlV?= =?utf-8?B?cjA3S0VNaUNtWDZWSC8vUFgwallCc0plME1ZRXkrdjk0TUdPZ0thbWpXOVZC?= =?utf-8?B?RTRqQjN4WFJydHV5S3Z4TmZINHp2QXQ4b2I3c2ZOTFB3WW9SaCsvY1QyVE0v?= =?utf-8?B?UkpMM2pSQitHRXpzZUtuRS84d2ZUZ3FxdVFtRGJ0MHdnVCtnZzBLYy8zZVgv?= =?utf-8?B?WXM2THNkb3JGWEVVM2hFbU9qYWM2Yy9IUVdzL1JORVNaQmF2QWg5MkZQS2Fk?= =?utf-8?B?TEFtNklDay9ETlZmcm9qcXZ1VFZwWm1hbVJWbGtQMU53YXlQU3k3NWUxMXp2?= =?utf-8?B?RVpINDIyZlVoS1gxTlE5bVNmL2tSTzFDYXc5U0M2RVN4OXptYzdYOTE1c0o0?= =?utf-8?B?U2phZVdmRUJkWFQvU3JkMEN1K084RUR0MFZYMXVhMlB3engwTW9paWhlVElJ?= =?utf-8?B?OVdxQTNGcnJKRDdYMDlZNEw2aFQ1RmI5aVVkYzMyaWZPVUJybi9EMTN4dmdY?= =?utf-8?B?TDVwWmtrVlZIc3Q4dlUyVjNyeUY0TXZlWjZHaWF0MkM0NWQ1V2RQNTRKU0dT?= =?utf-8?B?YWdYcEppUjE0OEJRWGpubklHMjRHMUF0ems4TjUzN29DLzNWK2FxYjZxcUNE?= =?utf-8?B?UzJpaVJubU1DUXR2Mk44cHNOcHAxTUY0NktBRjB5RXBHMjExdjc4RWNFU3I5?= =?utf-8?B?anNya2RjNUl5MEQ2OVUvckFxVkw0Y204L0Jnc1VrbEt4TkwxTW13bDZRS1dy?= =?utf-8?B?djFHMzBXaVgxQWtvZUl0RzBuVlJFWWYwMnhTeU50WEdic05IOGhuVGMrNnZz?= =?utf-8?B?OWZQOFFLeCtXMit6WGFkV08xb25nSDdWWmkzTTh5bWl3TzNoUTZkL1pmT25Y?= =?utf-8?B?VnlISlF3VkJwQ1hIdWdkN05reGdPOG1lNnpYdVBaQW1TUDJhNlBUeGNsU0dk?= =?utf-8?B?eXhHdURDWDYzNnJwVzB5V3l1NFNwZzhra1Z3TVYyRUtrTXhaSUltR1V0anl5?= =?utf-8?B?Y2l0QmsxdGdTNm1hZGx0amFnanBqM2lOU2o3b24yUEhPUjRacWg3dzl0c1JU?= =?utf-8?Q?tEkh5THbppHwazTZgqwiGQyDyZSbFYxqAz24Q?= X-OriginatorOrg: efficios.com X-MS-Exchange-CrossTenant-Network-Message-Id: 8cbf94e3-aa17-41b7-4e4a-08de83894809 X-MS-Exchange-CrossTenant-AuthSource: YT2PR01MB9175.CANPRD01.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 16 Mar 2026 18:24:37.6837 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 4f278736-4ab6-415c-957e-1f55336bd31e X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: qPaGjSufEO0SsCQhO3lHyzD7KK/wHOaMeDgs0e5mMGPZsChFwv/TzCLNXCzzMrJamrnLz8TIxlfk2lgXT02fGXCbulbBod4n8ZJ+Zard+K4= X-MS-Exchange-Transport-CrossTenantHeadersStamped: YQBPR01MB10512 On 2026-03-16 13:13, Thomas Gleixner wrote: [...] > > PI futexes have a similar problem both for the non-contented user space > unlock and the in kernel unlock: > > 1) robust_list_set_op_pending(mutex); > 2) robust_list_remove(mutex); > > lval = gettid(); > 3) if (!atomic_try_cmpxchg(lock, lval, 0)) > 4) sys_futex(UNLOCK_PI,....); > 5) robust_list_clear_op_pending(); > We can document that the window in this case is between #3 and #5. Other than this detail: Reviewed-by: Mathieu Desnoyers -- Mathieu Desnoyers EfficiOS Inc. https://www.efficios.com