From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from YT3PR01CU008.outbound.protection.outlook.com (mail-canadacentralazon11020126.outbound.protection.outlook.com [52.101.189.126]) (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 D0394339853 for ; Mon, 16 Mar 2026 21:02:00 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=fail smtp.client-ip=52.101.189.126 ARC-Seal:i=2; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1773694922; cv=fail; b=WtVph3rooU+B4xpUcUm0vAjzWh4BQCp3ZLY3Ho+jjmMGlHTFQSqFsXnjmMbrsWt+A/vO6Ca+MA/kYfFFwAoyy76FpsSW/HWhEoc0ijuheywedYvQYnWke1wbzjC/hAyUIK+6Th3j5B7YN/id/zmkg3DUVqfRgj4KgYu0ayjwfE8= ARC-Message-Signature:i=2; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1773694922; c=relaxed/simple; bh=wF4zjXiDXgH6AC8QwqC4X8fFW2jdZZBJk9q1rwBsSFI=; h=Message-ID:Date:Subject:To:Cc:References:From:In-Reply-To: Content-Type:MIME-Version; b=gMv1JKHOtXfLhnjSZmkjqbjtYvRK3bpDNBqmiIRzpo1SZWNuKd2ni/Sbwa8tEnPSP58PZz+IPZ9hgg4Tnju5WiUjgeuC7fkfQythErl1XFBh9DEvOY+MNjXMq1JoI7VMINdMzwo/5eZffb5ib5wvebNR65pYj7OgVix08iLO85c= 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=R39vLuZq; arc=fail smtp.client-ip=52.101.189.126 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="R39vLuZq" ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=Vlr0kB21TJPHhlVAzYYA0RZNnAXmfsdhX1DCpXXG+1prdsePey3Ywznh/U+GOJutrdLHl16WayQe8AWowPhphqyVf+6VpJfH4p5BZNqKTqmzZU5neHXUU8HbFnjdraRi3l5R4TqT6k2JvmasrSbh1BhEVFsVhBi77hTUnX3S7IzOmxfzMVoy57zhipFwb/948HsmPZqvIafaroXrbWxJXo5yoTL+WCjHZaRCjeeBBq5236X8s8bQSXXzM5oeCLhNZ13Y66oqBb8wqMyu+PFv3a7fQahqxB1CU6y7s3qeZjF4NlJNUOHv30oZKT8ag2rwPap2CFOO6T4RUI7ndEA1ZA== 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=P45D3zkle+0t+z1H3zpx/odW5IdvPt4BFTnRp07lWiE=; b=y6zZJQm5yCQjPMN9zpm2/CTDEcjS8+n1qK1flmi7xEzziUEfwuLHwwJ2W21d4oBcMmP0arFH4mnrSeACXncooTmHW/JjpTHF+4kosI9TNeLgB3791q/q6EED3XXt8Dl25vl6kwBLdyM0D4hkVBsD70SRcfYG/rygHtjW1Rgpc1p3AHlwsQLYdxjk+rfOvr88rpy/gKwtuBOiBumtupJtpXDqUckx43wbfp/luzWzON30dumZy3Uw4Nj3qEEYYaXIRJVHkBT/eIbebdLkiazoxDEkBTejuQbyBcU6nK7NQdGdA63ld7an31PMi6rvbyFu+YA9DSQOheL7apujhJ4W0g== 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=P45D3zkle+0t+z1H3zpx/odW5IdvPt4BFTnRp07lWiE=; b=R39vLuZq9TbmGIB3JNKBMIJ08tQ1aBQe8JCnktAiot41wxE73qSRCNZgoDb6Py2PEgMld0hPfoqfF9/byQiwiOfvgJJ9BrT9kWYOIHdFM99i5SbSep48ThUF3BPub8/kzu6ziwLnIHjoQ4M+H+Vjap0cMb5IbnjfCpbr+nD5xsWp3y+1sq/1DYPU3Y4A89ABVHHEcWOrDY6gjC3VSa1sRGQckLFn5kjEVkbi17iAeOB7h6YPHBDmGle7ucN14cCEc8PL19+C8PDFjCAQMhgryMAo98R+Qe6/UO+SSV8yZ8N2eanbLIhY7Ht0mUztjl9OOBcc68LQ2HoM0LXF5FxIDw== 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 YT2PR01MB8789.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:b01:b8::18) 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 21:01:59 +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 21:01:55 +0000 Message-ID: Date: Mon, 16 Mar 2026 17:01:53 -0400 User-Agent: Mozilla Thunderbird Subject: Re: [RFC PATCH] futex: Introduce __vdso_robust_futex_unlock To: Thomas Gleixner , =?UTF-8?Q?Andr=C3=A9_Almeida?= Cc: linux-kernel@vger.kernel.org, Carlos O'Donell , Sebastian Andrzej Siewior , Peter Zijlstra , Florian Weimer , Rich Felker , Torvald Riegel , Darren Hart , Ingo Molnar , Davidlohr Bueso , Arnd Bergmann , "Liam R . Howlett" References: <20260311185409.1988269-1-mathieu.desnoyers@efficios.com> <87eclopu0j.ffs@tglx> <874imfpukd.ffs@tglx> <871phjplj4.ffs@tglx> From: Mathieu Desnoyers Content-Language: en-US In-Reply-To: <871phjplj4.ffs@tglx> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-ClientProxiedBy: YQZPR01CA0027.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:c01:86::8) 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_|YT2PR01MB8789:EE_ X-MS-Office365-Filtering-Correlation-Id: 44922c97-9d10-4f20-7791-08de839f4162 X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|10070799003|1800799024|366016|7416014|376014|18002099003|56012099003|22082099003; X-Microsoft-Antispam-Message-Info: PEIzF77oY8ypVTJV5r4i3mFgWcQcmidWM0H1fIgaAqMdU474uDBUVaa4notEX13zepILsE6J7PPjTMj7r2Q16RUgDYSr2FjQU+ahFf+pq5O9wEJQH2OZH3rdBw7SPt8DImA3gK/fCT+jDq8CarWFB3+s+G667IpcpIQ5Gs1NUvnGN0XvPzkT0LigxDsxMIE8zouox9o8Ih99zyHdSqqLcudqpx52TvwWk09E3t5dv7wu0fp8o/lhDHjN9KfGA5+Bl5dnB1n8Ub4MFWlcidNc5HslopHPp13P9P/Abvs9r+RoAL/Pohw8dk7A6Vo6iy1O1EIIABqtx9j/3GbEQvIJhUSCesIfgEBf2xpkS4/6Hw6+O1b4OOQKxoQeKvRr7RFTTeSt4Txums11/IQQKvWKB8lgI/WO9+QEz9JYdSqCvM1vsF2NBuWCzMj7miS1xb1o+L5iYGfTS9a0jH40KvaenOHKNoNPCGEJoVZh7COqn4wseqe3yJ2dZrA8yUEIRfOTVKwmFd+3WhmkRi0L1yAUeXhhiYLz4JHOFmf/JcA6Qow5zr8u3Tb8+jJQPLq4UCRsCKGMLRr4B1oSdPnVGUdMVPa8fkBb2zh5ja6G3ZWJuVMJO0aVQxIh41xpSCXsUzqEZjqSXkqggDH3IzPnmBHxNnBq3jYVDfgyGk4/3HrpI7lMw3GFWHv5SuTmA5JOH+jx 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)(10070799003)(1800799024)(366016)(7416014)(376014)(18002099003)(56012099003)(22082099003);DIR:OUT;SFP:1102; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 2 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?T01Ha2swanV3MTRnWkpIY2R1NENEbk1LR3lzNWYxbExUUlA5VlE2V1Q2ZW1x?= =?utf-8?B?L1hVN1NZV2RJSFNtd1Zzeis5M2JaNVBlTkVWc1dHQ2dNVjBaZ0xaVnFTWTQw?= =?utf-8?B?SXVnUHpibTBhejlsNmM3UVFsd2FxOUx0djNUcE10OUF4cllwR2dYT0JRcUkr?= =?utf-8?B?TGd2MjdRQXZpOCtQMTg3NWsyc09ucEgwQ09xNXc0ZUpqZndWVTBQYmIxWmd6?= =?utf-8?B?YXVoVnVyVndZZmlJN21USm1yVTJxRDkrV2g1Y0I0SThMbTZNVmJiN2cwUWIw?= =?utf-8?B?L3BjQkNwUTd1dE02eXVCUmlTemNsbmJGRmYxRXdKNVFWQmVIdm9tTTMvYW1q?= =?utf-8?B?dWV2NTJmTXZjNHdFWE4wVEdWREQ0YzJyeUNGQW12MGxJaWV2ZjJwZ3ZwUjFk?= =?utf-8?B?ZTBoeTU0c2FPcFlubjFTUkhKQVlsbVU2d2k1Vk96SWMzVnc3bmpITnIwckFF?= =?utf-8?B?WmFudVJDUWRlNmxJbEtIbDA1TllvWjNla1h3bmRMK2RBUVpaa0xyUU9tSk9L?= =?utf-8?B?dVFMWmhpM0RiVHBFaWt5MjZTd2NuVGpuelB2dWxiNXROSGo4cTVUMUNZRlpq?= =?utf-8?B?aTg0Y1VvdExMaDNKczc0WWdOT0NXLy9TQ2UvVUNFaGhpWnMrQUJiUy9KQ3hl?= =?utf-8?B?SUs0dkJRQ2pPMHlndk83eXlOenlJa0V3YkYxNHNmNVAzRnZEK0owVXdSemYy?= =?utf-8?B?VHZyUGpuSkh2YTlFMHh4MmZ4STBsczhhd05WZHRzV2E4L3Q5WXJaYlRLTXZD?= =?utf-8?B?SUxCSjhNUnFYNXF3RDdVdWh3V2FnZ1Q3RUdkakZ4bE56M3g0V1RvUWtVQkx0?= =?utf-8?B?TEpEQWJ2Y0Q5bzhSYlA1WTRpYTJrY2ZQYzBmMzNCbHpEbTJGSkd5RkdTZW1P?= =?utf-8?B?OU1JVnR2akgwVElWblJUdVhBMUNidnF6TGZWTyt5ZUVCTnc3dUN6ejlwQ0Er?= =?utf-8?B?elM2SmpBdG0vOENoL2R4YmRhY25KUy8rK3J6MTE1MktCRkpwMmxUN3dDa1RP?= =?utf-8?B?UXNvekpsZGN0eWdHdHdQVHJJVHhPK2JGVUdOckxxazcwUk4vTVFlY2Q1djhX?= =?utf-8?B?UExWK2dNSks5eHFoekVLYkxuZE5hc0kxSERBcjE0b3Y2dHptakg4cjZFSDRm?= =?utf-8?B?YTJpbTlXZ0JPM3hWNE16Nlkybko2VkJOM2poakx5MlRtc1RrRnRHQmZQZm82?= =?utf-8?B?U3RUMWF0cUFtMk1yUW8veXBtbnJMK3d5ZEx1aHFkdm12ckhZMDFoclVldWRt?= =?utf-8?B?c3VEVHQzaStUdkpnaTg2MzNIMlFZTUpkQWFBdFY2OVZPVnppZzBFMVQvcjFO?= =?utf-8?B?R3RHL2Q5RjZUK2IweStjUklxUXJ6ODBUZlVGRFhUdC9mTkFQcWpaQkZYWkFS?= =?utf-8?B?Tlo5UDlzYnA4bUhkTWpodGZsaEVZK2RQMS9tYURQNEpLcXBRUTVOQW50K3Vo?= =?utf-8?B?aW1jSHZNaTlPaFQvSlY4NU94VXNZNVUwOW1vYnVOOGNOL2V4TDNCVGRTS2FF?= =?utf-8?B?ZGh0VUxrZjBCY1JzdDhGRVpUdSs4aStwdTd1eWM0enVQZnhhYkxZckh2ZFNy?= =?utf-8?B?WGlnWXd6azJuRDlGcU5rN2plangzSGY2NmpEcXZMQWJoWEZDYWs5VFhuNzN0?= =?utf-8?B?YUdmdVFjU1hIeW1QQzBueU81ZzZEU2lIVDkxQ0JUSVI3OU5WWC9xd2tYOGRJ?= =?utf-8?B?TFdOUWtkQkRZM2tQMWo5MUhqeXpZTk9PODNjZ1h5b25TQjBoT0ZjNmFBUHlQ?= =?utf-8?B?TW1UOXI0RDFES0V4NDdwNnZacCtWZklQZnpHemR2bzRONkdXdzVzVWRYeFk0?= =?utf-8?B?RDUvcXNOeWlSbXFtZGoxR2E4cTFaUzNYTTNxSTQxUm1ZL3o4a2wrc2FSM2Zw?= =?utf-8?B?QTJvczZUSE5ITXpDN3NqWEpvNWUxek1NQ1ZhU0dqa1EveGN4c3BlR0ZFWmJU?= =?utf-8?B?UWJSUCtnaHQyejFBSjZPb3o5aFZzaUR6dllwdDN0RVhQVFphNFRJN3J3Znpm?= =?utf-8?B?ZzlNeHRhWFVXTEkzbGkxOVpqcUtFVXRNSytwNWVyY3RCMmxVWG13R1ZzSDRT?= =?utf-8?B?a2FZbVJKM3IrdXhSbTFxTGRsWjRCRmNHVGcxOFhzWFFPRVl5dG9OVXdseTdU?= =?utf-8?B?Y0l6WTJHM2MrMWJGR2duRlJ3L2ZzUSsvNEc0Y0ozMHVDM1NHUHdiR1FrSFVQ?= =?utf-8?B?TGpYaGdlSGVKTGo3Tko4V3JTY21TcEcwQlo3dy9yaFR0VllQYUU5c0UrbjVs?= =?utf-8?B?aFNRWmowZGpta0ZjQjU1RHBOa0gzVXAxZitxaGVVZ2tVNUNyUHBKZmR4MXlK?= =?utf-8?B?OGZjby9CYlYzSGdlTnlJb2p4S1h2aDJTdGJaVDA5UERnR3hIM3Z2Y3BoNExL?= =?utf-8?Q?vsBxdDn/L+PbQkNe0DVnZDLFnrbtkKjID3VpqCnY9+xv8?= X-MS-Exchange-AntiSpam-MessageData-1: pQ9ELp3OZ+rvVtWYzQzQtU13JcYjHThkH9fNzFDwNG/HUs3znWdSveRN X-OriginatorOrg: efficios.com X-MS-Exchange-CrossTenant-Network-Message-Id: 44922c97-9d10-4f20-7791-08de839f4162 X-MS-Exchange-CrossTenant-AuthSource: YT2PR01MB9175.CANPRD01.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 16 Mar 2026 21:01:55.4600 (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: FXHmvAMbvW8ZsEEd32supkvYSYieCfaJE0MUjYQBf54kKQNx0Rc/jBZNo7oj3wgnqOa0bDq9ByUuwxiQw6jF2qU6rVcthJmDiTOpdEp5XvA= X-MS-Exchange-Transport-CrossTenantHeadersStamped: YT2PR01MB8789 On 2026-03-16 16:27, Thomas Gleixner wrote: > On Mon, Mar 16 2026 at 15:36, Mathieu Desnoyers wrote: >> On 2026-03-16 13:12, Thomas Gleixner wrote: >>> sys_exit() is different because there a task voluntarily exits and if >>> it does so between the unlock and the clearing of the op pointer, >>> then so be it. That'd be wilfull ignorance or malice and not any >>> different from the task doing the corruption itself in user space >>> right away. >> >> I'm not sure about this one. How about the two following scenario: >> A concurrent thread calls sys_exit concurrently with the vdso. Is this >> something we should handle or consider it "wilfull ignorance/malice" ? > > I don't understand your question. What has the exit to do with the VDSO? You mentioned that "if a task exits between unlock and clearing of the op pointer, then so be it". But that exit could be issued by another thread, not necessarily by the thread doing the unlock + pointer clear. But I understand that your series takes care of this by: - clearing the op pointer within the futex syscall, - tracking the insn range and ZF state within the vDSO. I'm fine with your approach, I was just not sure about your comment about it being "different" for sys_exit. Thanks, Mathieu -- Mathieu Desnoyers EfficiOS Inc. https://www.efficios.com