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 17BAAD711C0 for ; Wed, 20 Nov 2024 16:55:23 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 1B5296B007B; Wed, 20 Nov 2024 11:55:23 -0500 (EST) Received: by kanga.kvack.org (Postfix, from userid 40) id 164FB6B009A; Wed, 20 Nov 2024 11:55:23 -0500 (EST) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 02C2C6B009B; Wed, 20 Nov 2024 11:55:22 -0500 (EST) 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 D647B6B007B for ; Wed, 20 Nov 2024 11:55:22 -0500 (EST) Received: from smtpin25.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay06.hostedemail.com (Postfix) with ESMTP id 91886AE6B8 for ; Wed, 20 Nov 2024 16:55:22 +0000 (UTC) X-FDA: 82807072110.25.E7DD50D Received: from dfw.source.kernel.org (dfw.source.kernel.org [139.178.84.217]) by imf06.hostedemail.com (Postfix) with ESMTP id 3444B180008 for ; Wed, 20 Nov 2024 16:54:43 +0000 (UTC) Authentication-Results: imf06.hostedemail.com; dkim=pass header.d=kernel.org header.s=k20201202 header.b=VbZmQLWm; dmarc=pass (policy=quarantine) header.from=kernel.org; spf=pass (imf06.hostedemail.com: domain of jpoimboe@kernel.org designates 139.178.84.217 as permitted sender) smtp.mailfrom=jpoimboe@kernel.org ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1732121585; a=rsa-sha256; cv=none; b=vuX365f++HW1UPqsXcyy0Cujcqp3J6ypf0bDAP3DxAB4V9H9moKCzQx8undpK5yFbXXW4F dy5gLGnnGON7v6NnXCsWOeYeSZMk4M4FKYC+pVtpK0mczCfeVERcsV52fT/lTG8M7RUPiS jZUSWFM8rm0Bz7gC/QY1eFKRA2FKtYY= ARC-Authentication-Results: i=1; imf06.hostedemail.com; dkim=pass header.d=kernel.org header.s=k20201202 header.b=VbZmQLWm; dmarc=pass (policy=quarantine) header.from=kernel.org; spf=pass (imf06.hostedemail.com: domain of jpoimboe@kernel.org designates 139.178.84.217 as permitted sender) smtp.mailfrom=jpoimboe@kernel.org ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1732121585; 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=PIrSp/gu+Hu+22hnHdeRz53sjk/MMrHhri2qMYdNRAA=; b=39WQzIJ9bv8tHJZUckxqocTmbGfMihzUVJ3c5faqnWdMSDDV1LQzv2P+CVfanuZOp6iDxH i7SDuVxq2TXfaNiByF3/ROMpDHxqfF7ebzXmTh2pYKB+eQcAHWIErvpWg3AUuJAYQpuISw ULL5LZjNXMkQpfsOAJqUwKC5yNnYj5w= Received: from smtp.kernel.org (transwarp.subspace.kernel.org [100.75.92.58]) by dfw.source.kernel.org (Postfix) with ESMTP id 819175C5C29; Wed, 20 Nov 2024 16:54:35 +0000 (UTC) Received: by smtp.kernel.org (Postfix) with ESMTPSA id 13F11C4CECD; Wed, 20 Nov 2024 16:55:17 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1732121719; bh=hmI5ldVmxI65EUniu7IXHlhGVAjmlmRhEepVsBj3yHs=; h=Date:From:To:Cc:Subject:References:In-Reply-To:From; b=VbZmQLWmmmhDFqloOrHNd4yk7zq1dsIkllT9SF5uvvll0QwATG2pV1ycjrppEHw5P sZMIojJZMgd8G5VEWG1M0j6a41cDR/IuouRcbUEMms2HwFIqzPp/reboy6M9n0vvuK V6mJNRXXet8swxaCH11Fx/Pv2yUn7fUuZT82hObC+atTl6QPJ3XZlINEVMvAa2bsFo 7HMtT4+usHwkxflPaBIzCClgHSBDsVV8tdWdJ3U8eKB480Sl1VsFL0DJeFcMKkST9M MkYTY2gpnxWCH+uxLkWrkyquIPO429sA2Mz+/bt6VGSde9kz8OkJWvEUD9xYatR8Z2 FEPKOJmD/ITAg== Date: Wed, 20 Nov 2024 08:55:15 -0800 From: Josh Poimboeuf To: Peter Zijlstra 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 =?utf-8?Q?Wei=C3=9Fschuh?= , 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: <20241120165515.qx4qyenlb5guvmfe@jpoimboe> 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> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <20241120145746.GL38972@noisy.programming.kicks-ass.net> X-Rspamd-Queue-Id: 3444B180008 X-Stat-Signature: r4esidqajtao5ucyuw43urhgrysdtitj X-Rspam-User: X-Rspamd-Server: rspam05 X-HE-Tag: 1732121683-272662 X-HE-Meta: U2FsdGVkX1+ZnMq2FZPH5yJwEyaPKKSsaYXgYpZm7Jv/wV88I/PigDaRANj5tgClcAptgsIKVaApQ7U+O+tgyLzDp2cFs9mDOLvSecB+ggs1QuYv7SPvWwCpLj9wCjZsFlFYKUOJRiiwEr3sXHx7Xmjn9UBaxceqqBx12GfCpdbe0kXhM4HHpiaGR/JmkTBR2F9KuP5z7fYLozFY8P+Hc9Ys4A71OcWPOXqrgPY5KjGQZifNwmacs+v25X7vmA91pXyK0/+7ks7x8utuejcwozW/e4CZWHNRRZzgG1LVpVXbmE2aBW1UA+Gagtb+Sz8KlFmmvQrrgcrAQUAGq71+wtQ97b+3gsUPhjqKuy61oBdpIMDHJPnm+XG4A9vrNfhHE7JRbbumOr7o85IqTLzrIK0l6SzSbOlgwQYARCi9MORlu315ECDyeDaIFR5Vh/yO5nc5JUFTazXhvm1il3AmYhrlZf9Fib5gxS15f3Tni2Lc9TBqycCSgPSS08FPwBvRoOHDpyLiyLKAHUaGlCGAq5f1W13rEubUWeG3yt2CghHJQ+3OQrpaUH/ReAJbhuIelKf3y3pHjoqfgV2+K1LXlk5xhrDOtVZ2sSEfG5sbBJsP95wZbltUjHQCM+BVs+iVWDg5ZMqKnnaP2nq81yalaXvAmVtcp/RE1k/JrjOdNwgKvl7vPXB3Qbz+lzF73wwYtT2WMUFtnm1lo+yRBOuTy/HaDdv9IfxVu46gCNQXyjrxm/cP9EbwAAk42n471QLe2yBP0IOCnJDVYGxqLVVKwvotTVZnENIiYg6BkUKHLsalVxmPzi3zc5aI1wQPQOwzDF4RVU8RuqrE40GJI9tflH5gj6w0eXpxk/VGPpKU8MYUeQM7TEYr7OmSIoVU3dbz18XHGLdA1mazsQI95CYFpEoTaDIMDaDAh3HnpA9EbTqv/yiu+WkosokHL+kTuOlNf99ubNM5zT+/nSlveXM omlnwjOX 4F91ssQrFk1iknhd1DQNOm2VZ5KRTpf7Cbw2boBhYML1XPCVnBH6OZKmOXGw6HboTW4ElQI98Nor3mILAnRI1BWgpepKHXmTqq/QD1gnTl13AocyetH66wTNJUDSl6CBvxoyA1EyvI/btoB4Yqm36zG6qQzpR64pdESJK2fw6yN7g4tPnaO9WZgWlrp6P8gJwMaaNLAaQn2S5wvkP6kPeadZxHkgFaedEc4ysaUKaZsh+9QcRoNzR3MGQLiUxK3XoINPTvGtPPbKkEcrcmNIFGes8DE3F1OMzKfAuWCj++CsR+aWKcf84nTM5mFwwm1mAcP8T9mf0uMSVdOLpDHLfygsIz+VrzEnwBqx1RdvUX0tBsHCpXA03dxApoIqkj9N9/h+TxA7HEZ3Tc6o8/7WRTtX/l5yrXQErVVN7okhkuSQaw3o= 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 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. -- Josh