Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.37 as permitted sender) client-ip=23.128.96.37;
References: <e939c924-1dfa-4a6a-9309-2430f19467f5@paulmck-laptop>
 <87wmu2ywrk.ffs@tglx>
 <fa1249f7-9a5d-4696-9246-4913365b6715@paulmck-laptop>
 <20231205100114.0bd3c4a2@gandalf.local.home>
 <1375e409-2593-45e1-b27e-3699c17c47dd@paulmck-laptop>
 <87il5cpfn1.fsf@oracle.com>
 <106ab2d8-f63b-4c52-a93f-fc499d43fc13@paulmck-laptop>
User-agent: mu4e 1.4.10; emacs 27.2
From:   Ankur Arora <ankur.a.arora@oracle.com>
To:     paulmck@kernel.org
Cc:     Ankur Arora <ankur.a.arora@oracle.com>,
        Steven Rostedt <rostedt@goodmis.org>,
        Thomas Gleixner <tglx@linutronix.de>,
        linux-kernel@vger.kernel.org, peterz@infradead.org,
        torvalds@linux-foundation.org, linux-mm@kvack.org, x86@kernel.org,
        akpm@linux-foundation.org, luto@kernel.org, bp@alien8.de,
        dave.hansen@linux.intel.com, hpa@zytor.com, mingo@redhat.com,
        juri.lelli@redhat.com, vincent.guittot@linaro.org,
        willy@infradead.org, mgorman@suse.de, jon.grimm@amd.com,
        bharata@amd.com, raghavendra.kt@amd.com,
        boris.ostrovsky@oracle.com, konrad.wilk@oracle.com,
        jgross@suse.com, andrew.cooper3@citrix.com, mingo@kernel.org,
        bristot@kernel.org, mathieu.desnoyers@efficios.com,
        geert@linux-m68k.org, glaubitz@physik.fu-berlin.de,
        anton.ivanov@cambridgegreys.com, mattst88@gmail.com,
        krypton@ulrich-teichert.org, David.Laight@aculab.com,
        richard@nod.at, mjguzik@gmail.com,
        Simon Horman <horms@verge.net.au>,
        Julian Anastasov <ja@ssi.bg>,
        Alexei Starovoitov <ast@kernel.org>,
        Daniel Borkmann <daniel@iogearbox.net>
Subject: Re: [RFC PATCH 47/86] rcu: select PREEMPT_RCU if PREEMPT
In-reply-to: <106ab2d8-f63b-4c52-a93f-fc499d43fc13@paulmck-laptop>
Date:   Wed, 06 Dec 2023 17:33:06 -0800
Message-ID: <87sf4en6el.fsf@oracle.com>
Content-Type: text/plain
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?mtcvrvFE8ARUoy1XFiYuTTsf55lc1DKpPCNWIFp0iwfmqrUex/vRBGAJbruM?=
 =?us-ascii?Q?dI12zDy367O2saTfbcpAUfV8bkLgafD//eX5ZnnTbz1YLMForLySCGiToRhU?=
 =?us-ascii?Q?fPP1azON6x0JEPdZp+zTw1i683Qslfeo+bydNw+E4MUnqT1o4VzOMFENUu1F?=
 =?us-ascii?Q?2ADA7+jdzGbu6WBpjzer45NngT+l/fBOcv2A/yZ3yIN4jIWmtEzpYpx0wT/P?=
 =?us-ascii?Q?mRNmkQE45jzL82mXPrUNGC6OIlenZkr4Fa5pzPT5r0aShTUz/aWsIszNd2Ic?=
 =?us-ascii?Q?A2QkydgjI8xGiByohudZLYVgkysjlawJc14Vy+vfZDQlseVpTbimNFazZuly?=
 =?us-ascii?Q?YObSG8LsXVu3SVfygCmtu4cGP+4qADigG/zZ6V2cC2DPJIeT/dtmKqHFcMT/?=
 =?us-ascii?Q?TtF5OU5wtcTlocqU8b//hOrBUcETc9AFpFIczcCWCm+r7XJQ8tDN495wCsYQ?=
 =?us-ascii?Q?nsQJkBa7j0wpSGkjnS1uv4AJUvzkZqnjXvIH0hw+U3+H9y5IgUsFOb9mhbF+?=
 =?us-ascii?Q?g0grrk0sagvYWkzMp4w+ol5ykQlKSERzhIgYM9UT/8VvkShjo8pQLC6lxexm?=
 =?us-ascii?Q?pupdHjx8WuLu5RJO099nAJmTv6drJdvr527QODWskBRajBQrvmyikxfnj2Li?=
 =?us-ascii?Q?MMneyuQkB6MZny4pZ+UX3eugAMz6BU4fCjp8G0km5+ssqQAI5nGPs4H5H+Jh?=
 =?us-ascii?Q?KN9R7alXmqA6F5AVuJBVSYS8wbnySYHWdyHof62C5KC7dg+Ve6jnAhS84bH8?=
 =?us-ascii?Q?3Uqkb7ChpKTWWgfnS2PRW3k6dRd81d01HX3H5pTAjt4bMyDrf9f/C9aaowPO?=
 =?us-ascii?Q?lVVadgKfKen6zbRFe/U5FhwIFLnncG6u79W2sM0z6qwE1ispwws9j2BWScCe?=
 =?us-ascii?Q?+r7B99xMw7LPbNY86z1e2neIuq+W15gla6qiHjeqFLjCCH1NLWSG6CNeP4X9?=
 =?us-ascii?Q?GzZTu9e9Sv5YG8xbRV2h6PD0MKERfbvKtecc4xBhwSSX+QUJ7jarmxoo3Lt9?=
 =?us-ascii?Q?aOipH8r4c+HcPA+A8nf//pGpyaelpH0Q67L92uGRuyBAl7Zo6lZ7rn0KLwVS?=
 =?us-ascii?Q?DVqvDGIr4BTR5ifPiWv8CByEFD3atAphQEwwBVNCItuSs4cFuYg4W43pMHZf?=
 =?us-ascii?Q?M0lCtDr1ToCHEnf4g6JDdPhiO4ep95/RsqdZNITdT+WrpK/5kt6SERO1PKCH?=
 =?us-ascii?Q?L1S1hoLlWGFjDpdZYoc8Ra/doP3RULIWBJcZF0gN3Igcy2OqZLiyIRYtNOgM?=
 =?us-ascii?Q?/WQu0zox+iZb1aYFDbUpS7GG3YaNxGxeXao4S+BF4lsx1jTH9cYTjr3rRplH?=
 =?us-ascii?Q?dOmDKNM/wczQ8LldEZryMK1dvkdyZyQQ7r4ZdDkapGNaoZcHHGywPGtr3i1X?=
 =?us-ascii?Q?9qN6GQGURLIN5v+I4xuyFbeZK/fSMF1nvZaJ2BB5IpKtXV1GXFdRaFAbUK8U?=
 =?us-ascii?Q?otyLkqJuc/BFBDCfs7MqwHWWBciZYFaAJL/UWRu1SaiSwRQmS8BGu3PM0Zed?=
 =?us-ascii?Q?9qzL1LOSfDcnilDPELwDjtxk7LWwKWjF0dBkME4GWkqejolFS8QIrpzeanGd?=
 =?us-ascii?Q?/IFItqxwqjr8T1Q8xtltTw/6Yk2gNmQAI5QKCfYcKx58Nzh9f083PrKn4+qA?=
 =?us-ascii?Q?0Q=3D=3D?=
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: =?us-ascii?Q?PiqD8tbO1Duiye8NR/9LO2v0UblBhoO4NV1uEE70j5cg7nh36xjI4Z8YhuyY?=
 =?us-ascii?Q?ZJsmHPAARIS9l7ER95BgjQjsJj4sLUqFUNwu2/31W6wK72LQbZoFpZy9ne4x?=
 =?us-ascii?Q?0T3fZFuxiI9+oUlRWpXsoAbEPAwlCXVZz1BBTmQmGAw9zN/7ERA3tUNnwZOb?=
 =?us-ascii?Q?2vtkfGyHSAKUCPdbsOs0xWHm5nzwDsNCvqx+zpQprnI+qjLdVVTS7bd1SmDr?=
 =?us-ascii?Q?c+YaRJFNj+UigMf/6bk608OzAu/BsKwd+8pqcp5BtYCuTibVaZ8bXnKPWNKn?=
 =?us-ascii?Q?yy+FyHUKZQNz0OfMi9TjUJ+SC2iG8VVSmk/DcWz+bMfbH9YoV/5XEHBCw9rz?=
 =?us-ascii?Q?ATDjM+/h6wrbjdcI+mn/jJ5PmM+7diW15lD7PrKP5eBxWvpz2let4duX/bZ0?=
 =?us-ascii?Q?ectLFvtg0NuSZ2/ZNNYZ00mV1ocIt+B1M11yV1ZFxW6o/wEdTVjaw600k6qJ?=
 =?us-ascii?Q?xC8Y9TbY1CIr1ev2q3/r2KSJKuWQiDgTe4oM1uMJbM6pfhctgTFZgA9AMfzP?=
 =?us-ascii?Q?8HjNuZC0EqkaD57zzIH8HLtb9j+xC5LCCu7Toh1w3Pg+ZDy31qqJzZ8Jvoi9?=
 =?us-ascii?Q?3JWHA818ypqDxlzLfutCqWjJoNgp3GuDJFAK5s00QcNmntsLUR6D6TuMAx+k?=
 =?us-ascii?Q?+BI0J4Zzhrhf0zG8v8ztj3MfYuH0VszgwYHVqr4kXUniZyJLoYE9tGl3Z25Q?=
 =?us-ascii?Q?uhsjpK/xoeTT66gw6JUlpYS/1jWo4+RBt9OL/RP24qYqDfWsUX6TRO1Pvu4b?=
 =?us-ascii?Q?nGIAIkADV6hQgSbii4/TjmJ20MjK4+KR2Z4tke2m/11pDCEM9eNputq6aZ7Y?=
 =?us-ascii?Q?zdb7lmDrALfQ0NgeR4yPHDCasJJKnjyGjJsA6QAuPKBnWJmOhMETTnujqz70?=
 =?us-ascii?Q?4y46TpmnjcvzSRsOl/XE9/ZuMKdhSUz76y7jl5FvisnZLnSCFe1n/RRPoL75?=
 =?us-ascii?Q?68endRmrHxEJou5tmaTmMzllWhelPnT3iEjBvS7quxi1o9Yp8HuLCw3ccr+D?=
 =?us-ascii?Q?z6e2rzqQNwNNjN7cDT5Wew3AtQmlmJ4pSj1W+YBANy/TtYWqEOHxkVMqaorL?=
 =?us-ascii?Q?3i0Ixi1BE0CilvlR3YH0gJteXQnCBXXcvA5TdZG5J86Y7y5TEah0+sUojwKe?=
 =?us-ascii?Q?57bL/wi8z9MLU2znzKbxMGNLW9QQLwCXMzDHG3qV4EDYcMm4EexM/fjSd0Rx?=
 =?us-ascii?Q?Euqs9uJ8v2e8HfAocGFhSKVPn1/blIV2fw37i7nVtPci0RHy2+/f9gcT5vFB?=
 =?us-ascii?Q?+M5dWm683fA8cF/6jcC7eaPvFtMuPY7ZJ1ecIQgHs/LJWGfnotLJj2XqmXFW?=
 =?us-ascii?Q?w6RVfQC8LTawQZGbfTY8c8TduER2c8G3ShD/kGkMN7/S9jIaC4jZamFCq50M?=
 =?us-ascii?Q?NLbsud5ofulRx/So6kOOutEE9tF9o7EXTxFtJsZfzHIqiF/MnyXCL0t1IxnB?=
 =?us-ascii?Q?rr/3VruJkpjsDgzwymmc9uxP9TpLSrT8BznTn/QrglSBL9SDiMFTxWDVHr5U?=
 =?us-ascii?Q?hkWlEjKpSIoJ8fpmTPxppTjJSylXxsFQdgpMEXaZXuje4wtkv7hJqBWWfH9m?=
 =?us-ascii?Q?wn8F0lVZnShUwEI1T409/hIWG0uCGZWDS1sVhY5cMdr4AwqIw8jw4lACW/gy?=
 =?us-ascii?Q?to7QSwv+iRz8z71oHTLmMVA=3D?=
X-OriginatorOrg: oracle.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 3fb17900-be2c-4f7b-1e8c-08dbf6c4787f
X-MS-Exchange-CrossTenant-AuthSource: CO6PR10MB5409.namprd10.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 07 Dec 2023 01:33:10.0865
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: qzdvx29nW4CY1xItDzPY1w+2P2IRISlcCGb0MC2BdM9dehkKqzlTPvKJiHapGGemJCSMP1GAK3DyfZX1wi1KuAFtD9L57Sstcyfn789HWtE=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: SA1PR10MB7699
X-Proofpoint-Virus-Version: vendor=baseguard
 engine=ICAP:2.0.272,Aquarius:18.0.997,Hydra:6.0.619,FMLib:17.11.176.26
 definitions=2023-12-06_22,2023-12-06_01,2023-05-22_02
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 phishscore=0 spamscore=0
 mlxlogscore=799 suspectscore=0 adultscore=0 malwarescore=0 mlxscore=0
 bulkscore=0 classifier=spam adjust=0 reason=mlx scancount=1
 engine=8.12.0-2311290000 definitions=main-2312070012
X-Proofpoint-GUID: iotwQ-qKLkI5V8zjkVfmAVDYz6fEp7-2
X-Proofpoint-ORIG-GUID: iotwQ-qKLkI5V8zjkVfmAVDYz6fEp7-2
X-Spam-Status: No, score=-2.1 required=5.0 tests=BAYES_00,DKIM_SIGNED,
        DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_BLOCKED,
        RCVD_IN_MSPIKE_H5,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE,SPF_NONE,
        T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
        lindbergh.monkeyblade.net
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org
X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.6.4 (snail.vger.email [0.0.0.0]); Wed, 06 Dec 2023 17:35:36 -0800 (PST)


Paul E. McKenney <paulmck@kernel.org> writes:

> On Tue, Dec 05, 2023 at 12:18:26PM -0800, Ankur Arora wrote:
>>
>> Paul E. McKenney <paulmck@kernel.org> writes:
>>
>> > On Tue, Dec 05, 2023 at 10:01:14AM -0500, Steven Rostedt wrote:
>> >> On Mon, 4 Dec 2023 17:01:21 -0800
>> >> "Paul E. McKenney" <paulmck@kernel.org> wrote:
>> >>
>> >> > On Tue, Nov 28, 2023 at 11:53:19AM +0100, Thomas Gleixner wrote:
>> >> > > Paul!
>> >> > >
>> >> > > On Tue, Nov 21 2023 at 07:19, Paul E. McKenney wrote:
>> >> > > > On Tue, Nov 21, 2023 at 10:00:59AM -0500, Steven Rostedt wrote:
>> ...
>> >> > >   3) Looking at the initial problem Ankur was trying to solve there is
>> >> > >      absolutely no acceptable solution to solve that unless you think
>> >> > >      that the semantically invers 'allow_preempt()/disallow_preempt()'
>> >> > >      is anywhere near acceptable.
>> >> >
>> >> > I am not arguing for allow_preempt()/disallow_preempt(), so for that
>> >> > argument, you need to find someone else to argue with.  ;-)
>> >>
>> >> Anyway, there's still a long path before cond_resched() can be removed. It
>> >> was a mistake by Ankur to add those removals this early (and he has
>> >> acknowledged that mistake).
>> >
>> > OK, that I can live with.  But that seems to be a bit different of a
>> > take than that of some earlier emails in this thread.  ;-)
>>
>> Heh I think it's just that this thread goes to (far) too many places :).
>>
>> As Steven says, the initial series touching everything all together
>> was a mistake. V1 adds the new preemption model alongside the existing
>> ones locally defines cond_resched() as nop.
>>
>> That'll allow us to experiment and figure out where there are latency
>> gaps.
>
> Sounds very good!
>
> Again, I am very supportive of the overall direction.  Devils and details
> and all that.  ;-)

Agreed. And thanks!

--
ankur