From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from YT3PR01CU008.outbound.protection.outlook.com (mail-canadacentralazon11020080.outbound.protection.outlook.com [52.101.189.80]) (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 2364B35A38E for ; Mon, 16 Mar 2026 20:52:29 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=fail smtp.client-ip=52.101.189.80 ARC-Seal:i=2; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1773694352; cv=fail; b=WvlPOWDwXe6XaOd8OyVBRb0xFLbkicUCBK81sv6BOrjdifk06whSSC1xYaleudvOKVYcskGKP6JCUIE6DHGe0nEPEtSsEoJo0sP7TZKkKQV1Df/aF9ZXtFe0IgC+eKAGJB+sXot4HR6+rFu78zJhXphD25cDS4bKdZRKUf+SsOI= ARC-Message-Signature:i=2; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1773694352; c=relaxed/simple; bh=tECz4qLFYPFSfWB8Dnk5lVcU+tBGZQeEhqRcxaHpMZM=; h=Message-ID:Date:Subject:To:Cc:References:From:In-Reply-To: Content-Type:MIME-Version; b=c4wfLEoDfa+V3Gdigs5Tmj50nDVMFWU+MDqA14Hb8GTApp5efBlt5Y6hBWRDeLemSjjiHOsUv9zFzcueW8cplpDXaaJlzghYkh/QR7szJU5Rl4zE4X8vNwQ9Iu2JlCjqTHM0Gku/M8cBAy8c6zCzQwIwpOL88UmHfGBXmuRt5xw= 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=mJa/AJLD; arc=fail smtp.client-ip=52.101.189.80 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="mJa/AJLD" ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=MfKJ/pPI6CCM925vi7xhsE24o5daME5GefwnXU+zfUvie1NUmSqMjWaW0mFn5YSooMJN2TdteEnK+LuWqPXyJ1OfnKUthkZhNy9vRTfXd+6h4X9U0X2q2O/ekiHVXBteCwRcDgjCYOyZl5MDXzTxSdaWxzzUtUPuPiJbRP2WDyr6jkFfPucZELclD30JmGDtMspwyyBrW6ceaJTE0SgtoQ1unX7tMy9J03zXzOk5XvMHAdAYSuD0YMRSI0RRxQTtP58qdVkEQhWbKA+f8Xf/tRx23bwCx9hWyzPOHDIp+LYSqXb42rXv2iCF/0zFeMXVK4dOnJ/0Xo8dEmqooblZ3g== 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=0r8uoSbmpVBuxIgmQmyeCuWuHdezoSH2mJoglndEkd8=; b=m4G0t4CHuFjgatlyvXaAHhZSO0eTFUl2V5e+HorxftYrNB+ej9G6ok8q6inAU0HwI6L1Hc0qIipa+PAXObK/lFDOVusACz/zOIIwgy8Fmwt0UyARVMrpYRg9JhMNWbmH37ogaf8ub+LHj066S2v/L63mefrupoX2kNb1mZlLe3QACh02HSZxcdtFfM0Ptl+axVtORaYN5XAjHekz6UwAW65CCKJeZ/vrhABQc/gRzE7leEwJO2gT93ogwQl7+bBcd+B4it17GtOI91eJrke9aLjrSI/L78bo9uTw0ZeF/FI3c8882sU54KXXu4k/tuuncnFQ+AYyzB33/jchAFXFmQ== 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=0r8uoSbmpVBuxIgmQmyeCuWuHdezoSH2mJoglndEkd8=; b=mJa/AJLDbpGeuPgVveHXmfmYgD8GUDja3fdqppQlVThgd+gvD9WBvgT1t4On4PNrEy/jA8JQcQAuTd9eCljbThTqBONqVs2Pa7Nw2+R88D2iTpT6SaP/K39xS8G+TyRCdnKnGIRdBAmGLZi7YJ6jZoQX3u8cBhwormUjGwDot0Iph0uky2McKprZvbA6enBlf+LFRMnZ0VnnKpq0tNifJ8J8JFOK2AkmNY0ME5zDXwTZ44gG8KcGYvnev69e6I/eyrP7GAVf7SCMKP5OfJcsUwZudXIRZMd+vz9ruLV3V+9syGbwUqB++VSXLSkiY7cSZL0LoNpdma6NLC9hfo584A== 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 YT5PR01MB12004.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:b01:17d::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9700.25; Mon, 16 Mar 2026 20:52:13 +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 20:52:26 +0000 Message-ID: <5aa75bf2-03e8-452c-ae7a-df1642dc905f@efficios.com> Date: Mon, 16 Mar 2026 16:52:24 -0400 User-Agent: Mozilla Thunderbird Subject: Re: [patch 6/8] futex: Provide infrastructure to plug the non contended robust futex unlock race 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.345973752@kernel.org> <03f563a3-caaa-4b72-bedb-b2b2a316b545@efficios.com> <87y0jro6v5.ffs@tglx> From: Mathieu Desnoyers Content-Language: en-US In-Reply-To: <87y0jro6v5.ffs@tglx> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-ClientProxiedBy: YQBP288CA0006.CANP288.PROD.OUTLOOK.COM (2603:10b6:c01:6a::16) 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_|YT5PR01MB12004:EE_ X-MS-Office365-Filtering-Correlation-Id: 693a6fcd-df4b-4749-46fe-08de839dee0e X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|1800799024|376014|7416014|366016|56012099003|18002099003|22082099003; X-Microsoft-Antispam-Message-Info: P3Zu6gdfot7jAkWGj4oB4mPJ61dDIVbXHvlw/QDtfThIeSMV4SNPojoW7BJICYkPH3ynBe3At0giBxWXow1uL32LK1LdA9XkX/BlrBrWHVRgAwejegF+jtMvRIQzcwZjuT33XtlQGnhBfGJyH0lv0A7536qjnOaPWym8WN2zZUjnNNhNP+of1NDpQqJj0HLy5Axe2Kyvxwk6nusOjXPhZy0Ni11PLxlRaBcnF0jG6/7B6AfINeK1/I9jcxTNvfNSuXxGx6zjckIOfIYhYLBiY58C0iXdB22PA72NwazDb/NydZTwEs33Q7RNcHqT/eDsU5dS+d2CiYb6TjoG+j/7IMKWD8oxI32VZsy60am+QPMp1z6SGJ6a5SEhDVrdXean/ZUDon3/QlVAIeOq/SkU0SbuKjkp2OCXps7BQ7SgvL6pse48TzW4wDaVOWgUvfeeQuuK2YibQJKxHReukuB20SPZj5kim/E4CiOQJFwSXAOEnkffjO/+vz8JgBwOwImmBzakAXMQaauk2GdTSS6qe+3Zk4JxGW4xDsRnk6vizzHSnH3EpD5+gMZ8o6imdWxR2+H092emipS0R/a4WW8pDm3dAyz439/K2sGwvuUzSJ+D9JuIIhuCZvas9RecGJEK1S2/2ER+H25kd8y/qG/sHCz4FZVN1NfPib0lVAyaXTy8vOAqXxwD0o1pLRi/ZzjV 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)(1800799024)(376014)(7416014)(366016)(56012099003)(18002099003)(22082099003);DIR:OUT;SFP:1102; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?UTI1SUFzbTlIaWNadUVlRDIrYzRSeFcwS1BZdDJrajdwQ0Y3REt3VWNneGtC?= =?utf-8?B?TWNLd245MmNHV0V4Zks5RjFrcEtlV3I2eVBwcXhhOHhaOVFVMkV0N0JPOTBB?= =?utf-8?B?YTdaM1E3QnFvMXBWbDVZUHptT0JKNjhRTFB3OFUzMktBcW1IOVNUUWxFeXRC?= =?utf-8?B?TkVpbFBWSzlDNGxVYUJOWllBamdnWjdYTk84anVIU21LTmZFNGRKbXhSN3JR?= =?utf-8?B?SUQvZ3c2bXUzeXNXR0JsVjBFdjVPK3MzalByNGd4NXNxd3ZYSGpnZTdVYzRp?= =?utf-8?B?cnVIYU9FVSs0N1VxQzdSMDEyamY2SFRYdkw0eXdVTDEvOEVjeFM5WkxRQnVw?= =?utf-8?B?QkhqbjFlTDJKRXFZZHNGYjhsclFtS2ttVERzV2h0RFZ0Qnk5c1VFbDgrN2dk?= =?utf-8?B?Q2lidXg1alRSYkkzUHNnNXV6ZTcranVES1ZTaTI0SFAyVGlmelhCZlZZRFdv?= =?utf-8?B?aG5uYmMwbFlFZzNpZW1YZ0ZWNkIyUFhxVjVoMzZpZm9YQkxoSG0xNlFraks3?= =?utf-8?B?U29mdmZjZkxndUlaYWg4YXUyREx2anNsTm1vcUFYWng1UHpzd2NrVDQ0WHIw?= =?utf-8?B?MmxKeXNoUks0RUUzYkJlOFhwbHpsMkh2cmtneStsM1dGKzNhT2ZYdm5zM2Fm?= =?utf-8?B?OXUrenBZeWV3Z3gzaW5XK2V6VzErb01wOWo0aHJUdHJoRjRMWGpqV0xuQjNC?= =?utf-8?B?d2VZQVBxNFJrclJKZHhJRVBxMHI3ZTZtK0R6T3VnNGdBMkVrUW9CcmlZelJC?= =?utf-8?B?MnIvV0VoWDB5ajVMMy96WXZVUThiTWRqeVZoVW9NV1NKN2hnczlOSUV2Rmcr?= =?utf-8?B?WjBTTVVIcjhCUEFYTVRMUjkrbEtiK2xpNUlUUVo3TDRlYVZ6aWxQVWJFMXdN?= =?utf-8?B?OFZuM1hKcXY1alRpUHpzTzdPclMzVTFQdnZmWlJDM0pKRVJRWlBNYkovOFVX?= =?utf-8?B?VW9rMzBBWXhpZWxUbmFRL29XZ2hKTDdqREZjUmJkdC9RVXJ2ZUMxcUFVY1FG?= =?utf-8?B?VGxrVjNjREd1ekNPWmVqK1J2SUZDdk13YjZLdGNpM2RFYWpuZW1SbzBSeFNz?= =?utf-8?B?emhLUlp5MCtpUlFKRE5LMlEvSnppN2VVajM1VzMvWlRMSjRRK1pJK3BzUnlx?= =?utf-8?B?ME9zZXNsRkRUOEhhWEk2KzRVZDA1RDN4S21nQUgrQmFCTFI4WkJDU1ZJVTVr?= =?utf-8?B?R3hJUklVTCtLL3ZMTG10bXVISjdhMHFKNFRoRUg1ZzBTWWQwS21DK25mNjNt?= =?utf-8?B?Q1AwSHZMbnpFV0xJcUxrNnJkSFlzQytKMTQ4eXVIWWZKQjBzbjQ3c29VVita?= =?utf-8?B?OTNvdDhYa1BmaFpJekRyUDh4d09HNFRDa3dSbys5R0ZtWHRJYTd2OWdsOXV1?= =?utf-8?B?YTZyaUprdHFaOFJjVVlPTURCK0J5S0owejhBcDBlaVBVQXdDMzhQQUJZZXdF?= =?utf-8?B?MC9icXRjYkZQR2Urc2pXWlNFYnoyaEVXaDFHUysyT2hUdytwRDBKRzYyeEVm?= =?utf-8?B?dmVMcHdtY1phNDdGVlBFQkU0dUtvTTF3SkNDKytNSFlGZGpTQTJOQ1BPNnMz?= =?utf-8?B?RXdKcUZacGp6aFZKclFlekZTUG95T3pXNGsxaWxOWW5kZmhTRElyKzM5UkU0?= =?utf-8?B?bnZGZlRTZVNFa0FSS2RQZW5rRHBHMXVjN052VTloRXNIS1p1OTBNY3JjbXlV?= =?utf-8?B?eHFLSnJkL09kV0RtSlptTWpkMWJZcDlYeitKS2xybElXWHJUKzJhR0svV3Zv?= =?utf-8?B?Yy95N0M4NC8yZDJoL25TK1hicDFDS1FIdmEyOFRtbEhCWjJETFpZdGY2SDdV?= =?utf-8?B?ZzFhdTU3Y3NHK3hLSjlHTExQaGlGaXRvSmhpdVNjcHB3Y200SXVWVHJISlFx?= =?utf-8?B?Z1A4d1BDQ1NOeWlDR1BVTUg3RzF0ejlyR1FWVFRpZnd6eURRY3BiOTBKeWY1?= =?utf-8?B?YVkvSkNheDZzM2VUR1BlNzQwY1ZTbG1VRHo3VnFweGd2QUlDampHZVlkdWdy?= =?utf-8?B?RHQ3SFhFbWtGSlNwVDExNDE2dlhYSmlhcWxxRU5HRzliZVVuNENtMVJYRjFu?= =?utf-8?B?WVlTQnRQWXVoZkJMTzdGNDV3V05GWC9JT09ocExCWVJCYjg0ZGZtRTQ3U1Iv?= =?utf-8?B?eERPVlVoN3lFdVE5M3RJUHZPczQzYVI1VEN6Q0gzSEY1ZWtGbkZ3OXhpVTBU?= =?utf-8?B?aTAxcjQ0R0ZDVHNpOHJiMEVHTXRYSVgydEduSVIxVEg2dVl5WElDUWVUUU95?= =?utf-8?B?ZThMdXlMZ1cxNkNKR2Z5eHJVL2JSVzQ1YXhZaURRcGZjdnFsMndRMGFmVGth?= =?utf-8?B?RlZCZUhWVVI5aU95ZTE2RHhSeUs2UzQ0TjhxUEZ3L0Q3UXB4RElrK0JQem8z?= =?utf-8?Q?+ViRqM0q0E8J+MsM=3D?= X-OriginatorOrg: efficios.com X-MS-Exchange-CrossTenant-Network-Message-Id: 693a6fcd-df4b-4749-46fe-08de839dee0e X-MS-Exchange-CrossTenant-AuthSource: YT2PR01MB9175.CANPRD01.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 16 Mar 2026 20:52:26.1456 (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: zqIDL8MuQEdbhLAA7KMWYV5XRvKuqrfRAkvkehtauFojeMBi665tYNfMTyuypMWdKdaaanSXVXSySJ/KQwwhNi5wtcFrtLUA9j7RyWhiRlg= X-MS-Exchange-Transport-CrossTenantHeadersStamped: YT5PR01MB12004 On 2026-03-16 16:29, Thomas Gleixner wrote: > On Mon, Mar 16 2026 at 14:35, Mathieu Desnoyers wrote: [...] >> >> Nice trick to re-use the rseq infra, but where is the added dependency >> on CONFIG_RSEQ=y ? > > Here: > > +config FUTEX_ROBUST_UNLOCK > + def_bool FUTEX && HAVE_GENERIC_VDSO && GENERIC_IRQ_ENTRY && RSEQ && HAVE_FUTEX_ROBUST_UNLOCK *blink*. Yes I missed it. Clear as day. Thanks, Mathieu -- Mathieu Desnoyers EfficiOS Inc. https://www.efficios.com