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 9C5CAD6ED02 for ; Thu, 21 Nov 2024 11:00:59 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id E2D026B007B; Thu, 21 Nov 2024 06:00:58 -0500 (EST) Received: by kanga.kvack.org (Postfix, from userid 40) id DDBF06B0082; Thu, 21 Nov 2024 06:00:58 -0500 (EST) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id C7D1E6B0083; Thu, 21 Nov 2024 06:00:58 -0500 (EST) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0014.hostedemail.com [216.40.44.14]) by kanga.kvack.org (Postfix) with ESMTP id A85E06B007B for ; Thu, 21 Nov 2024 06:00:58 -0500 (EST) Received: from smtpin04.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay04.hostedemail.com (Postfix) with ESMTP id 4935E1A12A6 for ; Thu, 21 Nov 2024 11:00:58 +0000 (UTC) X-FDA: 82809808788.04.843C32E Received: from casper.infradead.org (casper.infradead.org [90.155.50.34]) by imf01.hostedemail.com (Postfix) with ESMTP id 105D64000D for ; Thu, 21 Nov 2024 11:00:14 +0000 (UTC) Authentication-Results: imf01.hostedemail.com; dkim=pass header.d=infradead.org header.s=casper.20170209 header.b=JvYadvDf; dmarc=none; spf=none (imf01.hostedemail.com: domain of peterz@infradead.org has no SPF policy when checking 90.155.50.34) smtp.mailfrom=peterz@infradead.org ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1732186720; a=rsa-sha256; cv=none; b=imLYXswWolimr/DeImVy36xi71nK2rd5Qg21FZjFUSXwvSRZd7JUacbslpT+N4VGYteAxU 8rrql9JIz8BluH3eisXtp+PnpsjPxxLUSE/2vj39wMUxf9mx9ZVSxjKF03heHfuKwNWatP twGgPt/TwHs2YbqOWThLLZ5+5Tn+2ck= ARC-Authentication-Results: i=1; imf01.hostedemail.com; dkim=pass header.d=infradead.org header.s=casper.20170209 header.b=JvYadvDf; dmarc=none; spf=none (imf01.hostedemail.com: domain of peterz@infradead.org has no SPF policy when checking 90.155.50.34) smtp.mailfrom=peterz@infradead.org ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1732186720; 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=/4UY6ooFSZbuurvbSSxwnqyBmiXRU+RN7sWd/ZeHliw=; b=psHek5zFpa8NYezIHaHZSeNJE5L3Tn8RVWR1kA4psXiw9MCSk5CQSpkI0c5YPa6Qo8y0mF mCvrIx9TE/CxfE/YpuFfGF/koF+RhFGW9BVo7gjotOxJD95zVq5uopuBiKCJgJzbBqUVjf 6J6q6Y/4TWf+cNa/U16s9dpUah0nybc= DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=infradead.org; s=casper.20170209; h=In-Reply-To:Content-Type:MIME-Version: References:Message-ID:Subject:Cc:To:From:Date:Sender:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description; bh=/4UY6ooFSZbuurvbSSxwnqyBmiXRU+RN7sWd/ZeHliw=; b=JvYadvDf8wQfBcmP8n49Vu8b4V He8myevpZrvQnGZCoYC7UPaLaDxDaN8isGkSBkoFWuCqj4f6/eoRNizXtlLM1sFl6vb207VusCEPX rM6N+i7nRkOt0KI6gVM+geiWqN+8GEOdkw0IgDOqsqEYDy4XvUBJdGrUJ8ZEj3PMZTu9avwTa4Kxz HDRYbKKLeRdVWcToFd1UnZNZjDcJzPVCWGnM0jU4wmviX6BgnD6uqPC5UR5SHIk/sCOmSvx7scaMX JWdWhGSfGunrzHx8rUm+NA4f554AeHyO/Ex6QP+wdOQ1f3vxZ84ZMlAl9j5W7hy2tYjZQgduZVtzS Nm55JaWg==; Received: from j130084.upc-j.chello.nl ([24.132.130.84] helo=noisy.programming.kicks-ass.net) by casper.infradead.org with esmtpsa (Exim 4.98 #2 (Red Hat Linux)) id 1tE4v6-00000006IPn-3Ttq; Thu, 21 Nov 2024 11:00:22 +0000 Received: by noisy.programming.kicks-ass.net (Postfix, from userid 1000) id 0365F30068B; Thu, 21 Nov 2024 12:00:21 +0100 (CET) Date: Thu, 21 Nov 2024 12:00:20 +0100 From: Peter Zijlstra To: Josh Poimboeuf Cc: Valentin Schneider , linux-kernel@vger.kernel.org, linux-doc@vger.kernel.org, kvm@vger.kernel.org, linux-mm@kvack.org, bpf@vger.kernel.org, x86@kernel.org, rcu@vger.kernel.org, linux-kselftest@vger.kernel.org, Steven Rostedt , Masami Hiramatsu , Jonathan Corbet , Thomas Gleixner , Ingo Molnar , Borislav Petkov , Dave Hansen , "H. Peter Anvin" , Paolo Bonzini , Wanpeng Li , Vitaly Kuznetsov , Andy Lutomirski , Frederic Weisbecker , "Paul E. McKenney" , Neeraj Upadhyay , Joel Fernandes , Josh Triplett , Boqun Feng , Mathieu Desnoyers , Lai Jiangshan , Zqiang , Andrew Morton , Uladzislau Rezki , Christoph Hellwig , Lorenzo Stoakes , Jason Baron , Kees Cook , Sami Tolvanen , Ard Biesheuvel , Nicholas Piggin , Juerg Haefliger , Nicolas Saenz Julienne , "Kirill A. Shutemov" , Nadav Amit , Dan Carpenter , Chuang Wang , Yang Jihong , Petr Mladek , "Jason A. Donenfeld" , Song Liu , Julian Pidancet , Tom Lendacky , Dionna Glaze , Thomas =?iso-8859-1?Q?Wei=DFschuh?= , Juri Lelli , Marcelo Tosatti , Yair Podemsky , Daniel Wagner , Petr Tesarik Subject: Re: [RFC PATCH v3 06/15] jump_label: Add forceful jump label type Message-ID: <20241121110020.GC24774@noisy.programming.kicks-ass.net> References: <20241119153502.41361-1-vschneid@redhat.com> <20241119153502.41361-7-vschneid@redhat.com> <20241119233902.kierxzg2aywpevqx@jpoimboe> <20241120145649.GJ19989@noisy.programming.kicks-ass.net> <20241120145746.GL38972@noisy.programming.kicks-ass.net> <20241120165515.qx4qyenlb5guvmfe@jpoimboe> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20241120165515.qx4qyenlb5guvmfe@jpoimboe> X-Rspamd-Queue-Id: 105D64000D X-Stat-Signature: zwuxh4u7canne7arwsjd48bnsa7bu5nc X-Rspam-User: X-Rspamd-Server: rspam05 X-HE-Tag: 1732186814-7887 X-HE-Meta: U2FsdGVkX1+QNqdBog/qlOUdfcSU0/yKxSdFnoBL82XMqN5NuS18w75kVcBU+IMnIbVNP+xc3pXiRBKXJJz97Jzw28ALSC3ifyh1AmZjGHr/Q/xwHJngobh2e3XwakNm1UMCAcWNiNkAqXDBYYP/re59D0xvv/gyY0DfJiAstAqT/3TP0oZEuQkOkQE3ZxUPyFr0Ih9Tl/P7IULcS2JXBYFK4ciz2xf2upslAAwC8a653x+uBUq42TCzLhcocKCoccKsYENUaWr0+5GzXK06h9rIVU/kc2fd+I32vbzuZjWLZIVRcMIhdbES65VujKUDy9ozKdyCOHAxu5QFMD2BgO814mI/8oZ9g68Y25s+in1ny3okVSYycLWM5YCWKIPko+HgHZtSJ17jOTVDB/r/2xMFWokQjapZvZ74M3v1fbM39kLDVYtOOh+GjIwiHlM7ELQcvmsuiya7knosu4DYPM2f+LDYdbl4a1a3b3n8aPfRmS24KNBHJ7pjBubcRul9HjtPy2XQC/HRISlcCpiZK58iaxAeG7QHn3PxwveuoAUk96z8HBNTaEbeiDGQgA+NGfGhqQeGUM5zK8V51Umk68IIpyHsz6xpL267g0SQmcLQpL9y+mfry1RNieYbGeY7C8lDkLfwnxQ0Z33ZhqXMt8hYZG0zM7A32W2KIqH423C78dupXeZjqN48JdmXO+ApyuO+GH4gH5TZqfH3Kp+E0PljQ57agD4jRzUB5frNPuufQVsPXR7TvgxNZlVEWAMAK5DOX92dIzB7139lrzNVjzzC3uMoMymigzmOVf8CqDK0kAcOjHGVtB4aceBzaSLAmmcZFa+40zsDECmqkqkJ9JlavNg7ddd6mzdYKtqOUrq1+XX46NM044UytVdCpCUzCFqLbuf2629NGaKdyM1YJoF7XtBeggyGynMcYdeYkGlFnD0qLGDN+xZgRVH/zrXYv0XqKvQ5BdDOf9fWeJJ VEXI2z4a ut1HOpi3ULvnExFhZbvzz6M+bQellR0T+DnlpCScKP90740KFOYsVOaWUX6G2KsR9XDHt9XD2jmgLSM424Dm4+KCoCGPNF0eamsnJ001hf0DZISyes2ir8g0IFOULClqnsIurHDWDqOrC/Ts3sM2MgqJcfuOAZd4DIs6xRxXakpSWUPu1cQlu2JsH0FESf0v6iqa6qP6AKnTA6XNZ1DWGo8x91Jq61sZCTljVnStJIURPRJBxA/9hFtYgO3r7fURI8yHWt8qK3Pz3/pz6Z8AAqZyJPUDqG81ylvqj+G17QEP+subrRCVIqLiCmA== 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: List-Subscribe: List-Unsubscribe: On Wed, Nov 20, 2024 at 08:55:15AM -0800, Josh Poimboeuf wrote: > On Wed, Nov 20, 2024 at 03:57:46PM +0100, Peter Zijlstra wrote: > > On Wed, Nov 20, 2024 at 03:56:49PM +0100, Peter Zijlstra wrote: > > > > > But I think we can make the fall-back safer, we can simply force the IPI > > > when we poke at noinstr code -- then NOHZ_FULL gets to keep the pieces, > > > but at least we don't violate any correctness constraints. > > > > I should have read more; that's what is being proposed. > > Hm, now I'm wondering what you read, as I only see the text poke IPIs > being forced when the caller sets force_ipi, rather than the text poke > code itself detecting a write to .noinstr. Right, so I had much confusion and my initial thought was that it would do something dangerous. Then upon reading more I see it forces the IPI for these special keys -- with that force_ipi thing. Now, there's only two keys marked special, and both have a noinstr presence -- the entire reason they get marked. So effectively we force the IPI when patching noinstr, no? But yeah, this is not quite the same as not marking anything and simply forcing the IPI when the target address is noinstr. And having written all that; perhaps that is the better solution, it sticks the logic in text_poke and ensure it automagically work for all its users, obviating the need for special marking. Is that what you were thinking?