From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by smtp.lore.kernel.org (Postfix) with ESMTP id 573D8C001DE for ; Mon, 31 Jul 2023 21:26:21 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 8EDAB2800AB; Mon, 31 Jul 2023 17:26:20 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id 8766728007A; Mon, 31 Jul 2023 17:26:20 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 73E2C2800AB; Mon, 31 Jul 2023 17:26:20 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0012.hostedemail.com [216.40.44.12]) by kanga.kvack.org (Postfix) with ESMTP id 6362428007A for ; Mon, 31 Jul 2023 17:26:20 -0400 (EDT) Received: from smtpin26.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay03.hostedemail.com (Postfix) with ESMTP id 310D5A03C5 for ; Mon, 31 Jul 2023 21:26:20 +0000 (UTC) X-FDA: 81073190520.26.1B77BC2 Received: from galois.linutronix.de (Galois.linutronix.de [193.142.43.55]) by imf23.hostedemail.com (Postfix) with ESMTP id 5F39014000E for ; Mon, 31 Jul 2023 21:26:18 +0000 (UTC) Authentication-Results: imf23.hostedemail.com; dkim=pass header.d=linutronix.de header.s=2020 header.b=VQcvH21r; dkim=pass header.d=linutronix.de header.s=2020e header.b=XmYoW7zS; dmarc=pass (policy=none) header.from=linutronix.de; spf=pass (imf23.hostedemail.com: domain of tglx@linutronix.de designates 193.142.43.55 as permitted sender) smtp.mailfrom=tglx@linutronix.de ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1690838778; h=from:from:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:content-transfer-encoding: in-reply-to:in-reply-to:references:references:dkim-signature; bh=IOyZYQGm0MoJgeRcATNSzytWw/GODfx4yBoXl9xBt9w=; b=R/8uBPBXPj0WtGQ6UC13mG9uGVDvuE6NHVTkaIk41JGj39rzauLB5MXo2p2YZl7JKPmaBK uVhi4kahXHhqCzVHnLPpB05elnH4tYG5qG0IiYL4fXHyOrJfFNWk7i+DtTsv2kx9cuCdlx dW4cEbGa/ed5OODP4Rp5URRQH+6K+vk= ARC-Authentication-Results: i=1; imf23.hostedemail.com; dkim=pass header.d=linutronix.de header.s=2020 header.b=VQcvH21r; dkim=pass header.d=linutronix.de header.s=2020e header.b=XmYoW7zS; dmarc=pass (policy=none) header.from=linutronix.de; spf=pass (imf23.hostedemail.com: domain of tglx@linutronix.de designates 193.142.43.55 as permitted sender) smtp.mailfrom=tglx@linutronix.de ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1690838778; a=rsa-sha256; cv=none; b=opi7PfHgzwcX1m+G42Tcc8IYww25Gj0yuSr3f7SXhQeCdiybjUiJspD7jw4Lbl0eSYsWiU AvgY/eR5BGRvJbPDUbCBaU9jD0oz0R+Rn1dS2xUqPlF5nCHFwQGCGcsojx0FCWOWFgpwK+ h/xGI/Ff8Eit5L0sTzz5LKouDyOwrXg= From: Thomas Gleixner DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linutronix.de; s=2020; t=1690838776; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=IOyZYQGm0MoJgeRcATNSzytWw/GODfx4yBoXl9xBt9w=; b=VQcvH21ri/7cJfk/ZgUC2zYyZE+Hx4attzSE9v0589Ifq+jW+nD+wFl1T/60qr3m9zkWCX DHQe7BreeLeAutwnpdzDa0EDjn0/rJ5E10tI0/0v48Zshmw7MiebjO/P98KPFSjGaJZQNl uBa5yvXG3ohh01KBZtHoNIaiRp259ax2gbCe3TUJngxgFsTFZBr0FWRONsTZDDqNnPyEuG OpomVeyo0Bgf4v+S8vI9glRFKST2AFyn2NyXvx+zp9SG2Az8BQh2VeSpGWOHBnvcvOOqRr CnV1doy/p+GLbpRp72Dg5ld1bZDsfPj9LM/HFFW7YkY3KRUOuSMKVgJ4jxzkcA== DKIM-Signature: v=1; a=ed25519-sha256; c=relaxed/relaxed; d=linutronix.de; s=2020e; t=1690838776; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=IOyZYQGm0MoJgeRcATNSzytWw/GODfx4yBoXl9xBt9w=; b=XmYoW7zSEC4HRRi4m8F7ZhuIprmQqfj2BrCLP75+CPmEHHaMZUWwuj4+xo3jB3OQCtguMF SIrPickUz5GdkADg== To: Peter Zijlstra Cc: axboe@kernel.dk, linux-kernel@vger.kernel.org, mingo@redhat.com, dvhart@infradead.org, dave@stgolabs.net, andrealmeid@igalia.com, Andrew Morton , urezki@gmail.com, hch@infradead.org, lstoakes@gmail.com, Arnd Bergmann , linux-api@vger.kernel.org, linux-mm@kvack.org, linux-arch@vger.kernel.org, malteskarupke@web.de Subject: Re: [PATCH v1 11/14] futex: Implement FUTEX2_NUMA In-Reply-To: <20230731180320.GR29590@hirez.programming.kicks-ass.net> References: <20230721102237.268073801@infradead.org> <20230721105744.434742902@infradead.org> <87pm48m19m.ffs@tglx> <20230731180320.GR29590@hirez.programming.kicks-ass.net> Date: Mon, 31 Jul 2023 23:26:15 +0200 Message-ID: <875y5zn56w.ffs@tglx> MIME-Version: 1.0 Content-Type: text/plain X-Rspamd-Server: rspam09 X-Rspamd-Queue-Id: 5F39014000E X-Stat-Signature: wnkx5m1jku5pedtdfmt8dfmko7g533tx X-Rspam-User: X-HE-Tag: 1690838778-515601 X-HE-Meta: U2FsdGVkX18M8yPM68GQpxKLfN36gZM0fygNLqgX9OzEfLdj2lateaDhHL9Sq+z5Qi2/EUV3/723xd4iyDufUbB/dI31EFH1YqiASisdeiD0Lc/qWeI57AQpBFOoaxs3DqTraLah/NDF8zhbNB4UJQZsHmtqdEyMtBM2zogHyJMJeuwAx1JvtmpislXAS34OmcWn+7gbOsrTvk0l590jZCg884YNN8SGUIj5uw1HX5rlfyDMvyMOeTkXyvz4WmHrRCjwIQx4ij3YDNY4RTawaKi7TyydxisjzaQtUbatSV36K5UoXZ/MnUHsin/nScfGWCU3qg8ssS6zGCGpK+tpUPD/hS97mOCroJHG9vbCdCxlGtpRTvE3VR8bhBPhuX3f+6nHprLBn/jPGTo0CoLFlyP1gYmcxZWFbhXfbVhLY+sYiJrvdhnmSr/xKApdyzt2Tjqcfn+FAXZmTeBgXXzrbLO/dQo2+3pc1M1v7O9UtHOu3MpBcV7MkmjsSDWBMGio5dAEqCv2fEuPG7VVzuj9/Nb/fEM1vdMQOcn36aj9+4CdpiwCV5EhL4SgIHmYr0zqYssdyw3U/zkaXR9Js4Q8rtm4NoCgT0Q9cP5ThbF2GszpTDbUolCbb5sP4l0EKwApzNpeC4pFCX4UPgdulMa4wxhrf3yuG4oIneEjut+yn9Dox8eIa4WSLwzYRj9AAaguridPHrrY/H/P+Jko5Cfl3mzPuh0y1H0EoCeUipvi98IBvP7Bajnv+AAY1ZZnIde3ycuvmWMlVXlV0JMcHbr+LzC/ryJK8m7XKkpcQf0pgEcecemifkEXZeRfl4KGy0AHTZFGw2hdLnAfuRf9soVkx859fq1dvEb8HcXWymIgR1OXmStchIqT9vluZxzl0xALkU8MgbJk30glEZiezT2opeWL0Ce/1ToL0BXiIVBwW0lN3M0r+WJgfITBRBtn5UsOh3I2qNM+UjNMLafECow 1BeYUNpN QBKyTOsYzqiYR4hXSL5HtPfAgLtxB4teRkIqdx4YYXA8zByRJLFUhhE67Y5RR1AV0kaGaCsiAeSsLwcwpT1YzAAlN8ZC0wraOfPS9 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: On Mon, Jul 31 2023 at 20:03, Peter Zijlstra wrote: > On Mon, Jul 31, 2023 at 07:36:21PM +0200, Thomas Gleixner wrote: >> Hmm. Shouldn't that have changed with the allowance of the 1 and 2 byte >> futexes? > > That patches comes after this.. :-) Futexes are really cursed :) > But I do have an open question here; do we want FUTEX2_NUMA futexes > aligned at futex_size or double that? That is, what do we want the > alignment of: > > struct futex_numa_32 { > u32 val; > u32 node; > }; > > to be? Having that u64 aligned will guarantee these two values end up in > the same page, having them u32 aligned (as per this patch) allows for > them to be split. Same page and same cacheline. > The current paths don't care, we don't hold locks, but perhaps it makes > sense to be conservative. I think it makes sense. >> > address -= key->both.offset; >> > >> > - if (unlikely(!access_ok(uaddr, sizeof(u32)))) >> > + if (flags & FLAGS_NUMA) >> > + size *= 2; >> > + >> > + if (unlikely(!access_ok(uaddr, size))) >> > return -EFAULT; >> > >> > if (unlikely(should_fail_futex(fshared))) >> > return -EFAULT; >> > >> > + key->both.node = -1; >> >> Please put this into an else path. > > Can do, but I figured the compiler could figure it out through dead > store elimitation or somesuch pass. Sure, but taste disagrees and it simply makes the code more obvious. >> > + if (flags & FLAGS_NUMA) { >> > + void __user *naddr = uaddr + size/2; >> >> size / 2; >> >> > + >> > + if (futex_get_value(&node, naddr, flags)) >> > + return -EFAULT; >> > + >> > + if (node == -1) { >> > + node = numa_node_id(); >> > + if (futex_put_value(node, naddr, flags)) >> > + return -EFAULT; >> > + } >> > + >> > + if (node >= MAX_NUMNODES || !node_possible(node)) >> > + return -EINVAL; >> >> That's clearly an else path too. No point in checking whether >> numa_node_id() is valid. > > No, this also checks if the value we read from userspace is valid. > > Only when the value we read from userspace is -1 do we set > numa_node_id(), otherwise we take the value as read, which then must be > a valid value. Right, but: if (node == -1) { node = numa_node_id(); if (futex_put_value(node, naddr, flags)) return -EFAULT; } else if (node >= MAX_NUMNODES || !node_possible(node)) { return -EINVAL; } makes it clear that the path where @node read from user space is != -1 needs to be validated, while your version checks the result of node = numa_node_id(); too, which does not make sense to me. Yes, it works, but ... Thanks, tglx